Skip to Main content Skip to Navigation


...
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
...
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
...
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 FalconeJean-Claude FernandezThierry JéronHervé MarchandLaurent 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 ChebaroMickaël DelahayeNikolai 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 TrikiYves LedruLydie Du BousquetFrédéric DadeauJulien 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 ClercLaurent BougrainFabien 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 MercadalNicolas PalixCharles ConselJulia 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 JouveNicolas PalixCharles ConselPatrice 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 JouveJulien LanciaNicolas PalixCharles ConselJulia Lawall. High-level Programming Support for Robust Pervasive Computing Applications
6th IEEE Conference on Pervasive Computing and Communications, Mar 2008, Hong Kong, China
...
inria-00542784v1  Journal articles
Yves Le TraonBenoit BaudryJean-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-00879441v1  Journal articles
Loïc HélouëtHervé MarchandBlaise GenestThomas 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 KalyonTristan Le GallHervé MarchandThierry Massart. Decentralized Control of Infinite Systems
Discrete Event Dynamic Systems, Springer Verlag, 2011, 21 (3), pp.359-393. ⟨10.1007/s10626-011-0106-y⟩
...
hal-00718134v1  Journal articles
Raimundas MatuleviciusHaralambos MouratidisMayer NicolasDubois EricPatrick 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