Search - INRIA - Institut National de Recherche en Informatique et en Automatique

	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	tel-01357054v1 Habilitation à diriger des recherches Rémi Douence. Composition non modulaire modulaire Génie logiciel [cs.SE]. Université de Nantes, Faculté des sciences et des techniques., 2015
	hal-00804153v1 Other publications Aurélien Bourdon, Lionel Seinturier. [Projet Econ'Home] Nouvelle architecture logicielle 2013
	hal-01009457v1 Reports Denis Roegel. Easter bracelets for 5700000 years [Research Report] 2014
	hal-01256574v1 Reports Lionel Seinturier. État de l’art sur l’interopérabilité des systèmes [Rapport de recherche] Inria. 2013
	tel-00502124v1 Theses Nicolas Loriant. Évolution dynamique des systèmes d'exploitation, une approche par la programmation par aspects Génie logiciel [cs.SE]. Université de Nantes, 2007. Français
	hal-00654335v1 Other publications Gilles Vanwormhoudt, Areski Flissi. EMFScript : Scripting méta-réflexif de modèles dans l'environnement EMF 2009
	inria-00576472v1 Reports C. Mouton. Configuration File Parser Library [Technical Report] 2009, pp.12
	inria-00576469v1 Reports C. Mouton. Linear Algebra Libraries [Technical Report] 2009, pp.35
	tel-01078911v1 Theses Matias Martinez. Extraction and Analysis of Knowledge for Automatic Software Repair Software Engineering [cs.SE]. Université Lille 1, 2014. English
	hal-01274709v1 Journal articles Dionysis Athanasopoulos, George Miskos, Valerie Issarny, Panos Vassiliadis. Cohesion-Driven Decomposition of Service Interfaces without Access to Source Code IEEE Transactions on Services Computing, IEEE, 2015, 8 (4), pp.550 - 562. ⟨10.1109/TSC.2014.2310195⟩
	hal-01493289v1 Conference papers Antoine Crinière, Jean Dumoulin, Laurent Mevel. Surveillance thermique de structures par thermographie infrarouge couplée au suivi des paramètres environnementaux : du déploiement à la standardisation Folle journée de l'imagerie Nantaise 2017, Feb 2017, Nantes, France
	tel-00340864v1 Theses Nicolas Palix. Langages dédiés au développement de services de communications Réseaux et télécommunications [cs.NI]. Université Sciences et Technologies - Bordeaux I, 2008. Français
	hal-00743981v1 Journal articles Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. More testable properties International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, 14 (4), pp.407-437. ⟨10.1007/s10009-011-0220-z⟩
	hal-00724508v1 Conference papers Omar Chebaro, Mickaël Delahaye, Nikolai Kosmatov. Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE ICSSEA 2012 - 24th International Conference on Software & Systems Engineering and their Applications, Oct 2012, Paris, France. pp.1-7
	hal-00953273v1 Conference papers Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella. Nouveaux mécanismes de filtrage de tests basés sur le modèle Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.179-180
	hal-01402539v1 Directions of work or proceedings Maureen Clerc, Laurent Bougrain, Fabien Lotte. Les interfaces Cerveau-Ordinateur 1 Maureen Clerc; Laurent Bougrain; Fabien Lotte. France. ISTE, 2016, 978-1-78405-147-1
	inria-00333637v1 Conference papers Julien Mercadal, Nicolas Palix, Charles Consel, Julia Lawall. Pantaxou: a Domain-Specific Language for Developing Safe Coordination Services Seventh International Conference on Generative Programming and Component Engineering, Oct 2008, Nashville, United States. pp.149-160
	inria-00333609v1 Conference papers Wilfried Jouve, Nicolas Palix, Charles Consel, Patrice Kadionik. A SIP-based Programming Framework for Advanced Telephony Applications 2nd LNCS Conference on Principles, Systems and Applications of IP Telecommunications, Jul 2008, Heidelberg, Germany
	inria-00333602v1 Conference papers Wilfried Jouve, Julien Lancia, Nicolas Palix, Charles Consel, Julia Lawall. High-level Programming Support for Robust Pervasive Computing Applications 6th IEEE Conference on Pervasive Computing and Communications, Mar 2008, Hong Kong, China
	inria-00586169v1 Journal articles Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart. Symbolic Supervisory Control of Infinite Transition Systems under Partial Observation using Abstract Interpretation Discrete Event Dynamic Systems, Springer Verlag, 2012, 22 (2), pp.121-161. ⟨10.1007/s10626-011-0101-3⟩
	hal-00987988v1 Journal articles Philippe Darondeau, Hervé Marchand, Laurie S. L. Ricker. Enforcing Opacity of Regular Predicates on Modal Transition Systems Discrete Event Dynamic Systems, Springer Verlag, 2015, 25 ((1-2)), pp.251-270. ⟨10.1007/s10626-014-0193-7⟩
	inria-00542784v1 Journal articles Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel. Design by Contract to improve Software Vigilance IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2006, 32 (8), pp.571--586
	hal-01055656v1 Journal articles Alexandre Bartel, Jacques Klein, Martin Monperrus, Yves Le Traon. Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges And Solutions for Analyzing Android IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2014, 40, pp.617-632. ⟨10.1109/TSE.2014.2322867⟩
	hal-00879441v1 Journal articles Loïc Hélouët, Hervé Marchand, Blaise Genest, Thomas Gazagnaire. Diagnosis from Scenarios Discrete Event Dynamic Systems, Springer Verlag, 2014, 24 (4), pp.353-415. ⟨10.1007/s10626-013-0158-2⟩
	inria-00594665v1 Journal articles Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart. Decentralized Control of Infinite Systems Discrete Event Dynamic Systems, Springer Verlag, 2011, 21 (3), pp.359-393. ⟨10.1007/s10626-011-0106-y⟩
	inria-00423795v1 Journal articles Benoit Gaudin, Hervé Marchand. An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-Based Approach Discrete Event Dynamic Systems, Springer Verlag, 2007, 17 (2), pp.179-209. ⟨10.1007/s10626-006-0007-7⟩
	hal-02548907v1 Journal articles Yliès Falcone, Leonardo Mariani. Preface to the Special Section Issue on Improving Software Quality through Formal Methods Software Quality Journal, Springer Verlag, 2020, pp.1-2. ⟨10.1007/s11219-020-09508-z⟩
	hal-01078716v1 Reports Vincenzo Musco, Martin Monperrus, Philippe Preux. A Generative Model of Software Dependency Graphs to Better Understand Software Evolution [Technical Report] hal-01078716, Inria. 2014
	hal-01087321v1 Reports Laurence Duchien, Romain Rouvoy, Lionel Seinturier. Évolution de l’architecture logicielle pour le Digital Home Infrastructure - Recommandation d’architecture modulaire [Rapport de recherche] Livrable L2, Orange - France Télécom. 2012
	hal-00718134v1 Journal articles Raimundas Matulevicius, Haralambos Mouratidis, Mayer Nicolas, Dubois Eric, Patrick Heymans. Syntactic and Semantic Extensions to Secure Tropos to Support Security Risk Management Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2012, 18 (6), pp.816-844
	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Keyword Minimize

Type of deposit Minimize

Year Minimize