1. Recherche
22 résultats  enregistrer la recherche
hal-00925345v1  Communication dans un congrès
Jonathan Hayman, Tobias Heindel. Pattern Graphs and Rule-Based Models: The Semantics of Kappa
Frank Pfenning. FOSSACS - 16th International Conference on Foundations of Software Science and Computation Structures, Mar 2013, Rome, Italy. Springer, 7794, pp.1--16, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-37075-5>
...
hal-00380517v2  Autre publication
Alexander Heußner, Grégoire Sutre, Tristan Le Gall. Extrapolation-based Path Invariants for Abstraction Refinement of Fifo Systems
RR-1459-09. Rapport de Recherche RR-1459-09 LaBRI. 2009
...
tel-00994222v1  Thèse
Dhouha Bouamor. Constitution de ressources linguistiques multilingues à partir de corpus de textes parallèles et comparables
Autre [cs.OH]. Université Paris Sud - Paris XI, 2014. Français. <NNT : 2014PA112032>
...
hal-00688776v1  Communication dans un congrès
Alexander Heußner, Tristan Le Gall, Grégoire Sutre. McScM: A General Framework for the Verification of Communicating Machines
Cormac Flanagan and Barbara König. 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Apr 2012, Tallinn, Estonia. Springer Verlag, 7214, pp.487-484, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-28756-5>
...
tel-01157951v1  Thèse
Morgane Marchand. Domaines et fouille d'opinion : une étude des marqueurs multi-polaires au niveau du texte
Autre [cs.OH]. Université Paris Sud - Paris XI, 2015. Français. < NNT : 2015PA112026 >
...
tel-00676901v1  Thèse
Ilias Garnier. Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques
Autre [cs.OH]. Université Paris Sud - Paris XI, 2012. Français. <NNT : 2012PA112018>
...
tel-00659360v1  Thèse
Asma Charfi Smaoui. Compilation optimisée des modèles UML
Autre [cs.OH]. Université Paris Sud - Paris XI, 2011. Français. <NNT : 2011PA112305>
...
tel-00713536v1  Thèse
Charly Bechara. Study and design of a manycore architecture with multithreaded processors for dynamic embedded applications
Other [cs.OH]. Université Paris Sud - Paris XI, 2011. English. <NNT : 2011PA112283>
inria-00528590v1  Communication dans un congrès
Olivier Bouissou, Eric Conquet, Patrick Cousot, Radhia Cousot, Jérôme Feret et al.  Space Software Validation using Abstract Interpretation
The International Space System Engineering Conference : Data Systems in Aerospace - DASIA 2009, May 2009, Istambul, Turkey. European Space Agency, pp.1-7, 2009
...
inria-00527850v1  Rapport
Cedric Dumoulin, Sébastien Gerard. Have Multiple Views with one Single Diagram! A Layer Based Approach of UML Diagrams
[Research Report] RR-7432, INRIA. 2010, pp.9
...
tel-00772257v1  Thèse
Takoua Ben Rhouma. Composition des modèles de lignes de produits logiciels
Autre [cs.OH]. Université Paris Sud - Paris XI, 2012. Français. <NNT : 2012PA112299>
...
tel-00724470v1  Thèse
Morayo Adedjouma. Processus d’ingénierie des exigences dans un environnment à base de modèles selon les normes automobiles
Other [cs.OH]. Université Paris Sud - Paris XI, 2012. English. <NNT : 2012PA112131>
...
tel-00781811v2  Thèse
Olivier Bichler. Contribution à la conception d'architecture de calcul auto-adaptative intégrant des nanocomposants neuromorphiques et applications potentielles
Autre [cond-mat.other]. Université Paris Sud - Paris XI, 2012. Français. <NNT : 2012PA112289>
...
tel-00758807v1  Thèse
Mohamed-Lamine Boukhanoufa. Adaptabilité et reconfiguration des systèmes temps-réel embarqués
Autre [cs.OH]. Université Paris Sud - Paris XI, 2012. Français. <NNT : 2012PA112220>
...
tel-00671383v1  Thèse
Wassim El Hajj Chehade. Déploiement multiplateforme d'applications multitâche par la modélisation
Autre [cs.OH]. Université Paris Sud - Paris XI, 2011. Français. <NNT : 2011PA112042>
...
tel-00432052v1  Thèse
Mehdi Embarek. Un système de question-réponse dans le domaine médical : le système Esculape
Autre [cs.OH]. Université Paris-Est, 2008. Français. <NNT : 2008PEST0208>
...
tel-00998391v1  Thèse
Wei Wang. Extraction d'Information Non Supervisée à Partir de Textes – Extraction et Regroupement de Relations entre Entités
Autre [cs.OH]. Université Paris Sud - Paris XI, 2013. Français. <NNT : 2013PA112059>
...
tel-00647906v1  Thèse
Saoussen Rekik. Méthodologie pour un processus d’analyse temporelle dirigé par les modèles pour les systèmes automobiles
Autre [cs.OH]. Université Paris Sud - Paris XI, 2011. Français. <NNT : 2011PA112239>
...
tel-00659063v1  Thèse
Michel Batteux. Diagnosticabilité et diagnostic de systèmes technologiques pilotés : développement d'une chaîne de conception outillée d'un système de diagnostic appliquée aux systèmes technologiques pilotés
Autre [cs.OH]. Université Paris Sud - Paris XI, 2011. Français. <NNT : 2011PA112316>
...
tel-00686811v1  Thèse
Ludovic Jean-Louis. Approches supervisées et faiblement supervisées pour l’extraction d’événements et le peuplement de bases de connaissances
Autre [cs.OH]. Université Paris Sud - Paris XI, 2011. Français. <NNT : 2011PA112288>
...
tel-00789543v1  Thèse
Paolo Herms. Certification of a Tool Chain for Deductive Program Verification
Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English. <NNT : 2013PA112006>
...
hal-01006499v1  Communication dans un congrès
Sebastien Bardin, Philippe Herrman, Jérôme Leroux, Olivier Ly, Renaud Tabary et al.  The BINCOA Framework for Binary Code Analysis
Gopalakrishnan, Ganesh and Qadeer, Shaz. Computer Aided Verification, 2011, United Kingdom. 6806, pp.165-170, 2011, <10.1007/978-3-642-22110-1_13>

Contact


archive-ouverte@inria.fr