Refereed Publications:

• TAP'20 K. Altisen, S. Devismes, E. Jahier SASA: a SimulAtor of Self-stabilizing Algorithms 14th International Conference on Tests and Proofs [bibtex]
  
  
• LITES'19 Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, Rémy Boutonnet : Improving WCET evaluation using linear relation analysis [bibtex]
  
  
• SCOPES'16 E. Jahier: RDBG: a Reactive Programs Extensible Debugger 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES'16), May 23th to 25th, 2016, Sankt Goar, Germany [bibtex]
  
  
• EVO'16 A. Szenkovits, N. Gaskó, E. Jahier: Environment-Model Based Testing with Differential Evolution in an Industrial Setting EvoApplications (1) 2016: 819-830 [bibtex]
  
  
• TACAS'14 E. Jahier, S. Djoko-Djoko, C. Maiza, E. Lafont Environment-Model Based Testing of Control Systems: Case Studies
  International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Grenoble, France, 5-13 April 2014 [bibtex]
  
  
• SIES'13 E. Jahier, N. Halbwachs, P. Raymond Engineering Functional Requirements of Reactive Systems using Synchronous Languages
  International Symposium on Industrial Embedded Systems. Porto, Portugal, 19 - 21 June, 2013 [bibtex]
  
  
• FASE'09 E. Jahier, N. Halbwachs, P. Raymond Synchronous modeling and validation of priority inheritance schedulers
  Proc. of Fundamental Approaches to Software Engineering. York, UK, 22 - 29 March, 2009
  
  
• EURASIP'08 P. Raymond, Y. Roux, and E. Jahier Lutin: a language for specifying and executing reactive scenarios EURASIP Journal on Embedded Systems Volume 2008 (2008), Article ID 753821
  
  
  • Workshop version of this article:
    SLA++P'07 P. Raymond, Y. Roux, E. Jahier "Specifying and executing reactive scenarios with Lutin" ETAPS'07 Satellite Workshop on Model-driven High-level Programming of Embedded Systems, March 31, 2007, Braga, Portugal
  
  
• EMSOFT'07 N. Halbwachs, E. Jahier, P. Raymond, X. Nicollin, D. Lesens Virtual execution of AADL models via a translation into synchronous programs Seventh International Conference on Embedded Software (EMSOFT 2007), September 30 - October 5, 2007 Salzburg, Austria
  
  
• CSTVA'06 E. Jahier, P. Raymond "Generating random values using Binary Decision Diagrams and Convex Polyhedra" Workshop on Constraints in Software Testing, Verification and Analysis Co-located with CP'06 September 25-29, 2006 - Cité des Congrès - Nantes, France
  
  
• A short version of this article has been published as a book Chapter in May 2007:
  Trends in Constraint Programming, "Generating random values using Binary Decision Diagrams and Convex Polyhedra", Chapter 22, pp 349-356, May 2007, published by ISTE. [bibtex]


• SEFM'06 P. Raymond, E. Jahier, Y. Roux "Describing and executing random reactive systems" 4th IEEE International Conference on Software Engineering and Formal Methods Pune, India, September 11-15, 2006.


• IWWAN'06 L. Samper, F. Maraninchi, L. Mounier, E. Jahier and P. Raymond "On the Importance of Modeling the Environment when Analyzing Sensor Networks" 3rd International Workshop on Wireless Ad-hoc and Sensor Networks, June 2006, New York, USA.


• STTT'06 E. Jahier, P. Raymond, P. Baufreton "Case Studies with Lurette V2" (pre-print) International Journal on Software Tools for Technology Transfer (STTT), Volume 8, Number 6, November 2006 [Details]


• Conference version of this article:
ISoLa'04: E. Jahier, P. Raymond, P. Baufreton "Case Studies with Lurette V2" First International Symposium on Leveraging Applications of Formal Method 30th October - 2st November 2004, Paphos, Cyprus [Details]


• AADEBUG'03 F. Gaucher, E. Jahier, B. Jeannet and F. Maraninchi "Automatic State Reaching for Debugging Reactive Programs" Fifth International Workshop on Automated and Algorithmic Debugging September 8-10, Ghent, Belgium [Details]


• TPLP'02: E. Jahier and M. Ducassé "Generic Program Monitoring by Trace Analysis" in the Theory and Practice of Logic Programming journal, Volume 2 part 4&5, pp 613-645, September 2002, Special Issue Program Development, Cambridge University Press.


• WLPE'01: L. Langevine, P. Deransart, M. Ducassé and E. Jahier "Prototyping CLP(FD) Tracers: a Trace Model and an Experimental Validation Environment" Eleventh Workshop on Logic Programming Environments, December 2001, Paphos, Cyprus. Computer Research Repository.


• RV'01: M. Ducassé, E. Jahier "Efficient Automated Trace Analysis: Examples with Morphine" Workshop on Runtime Verification, July 2001, Elsevier Science Publishers, Electronic Notes in Theoretical Computer Science Vol. 55-2


• AADEBUG'00: E. Jahier, "Collecting Graphical Abstract Views of Mercury Program Executions" Fourth International Workshop on Automated Debugging, Munich, Germany, 28-30 August 2000.


• LOPSTR'00: E. Jahier, M. Ducassé, O. Ridoux, "Specifying Prolog execution models with a continuation semantics" Tenth International Workshop on Logic-based Program Synthesis and Transformation London, UK, 24-28 July 2000, LNCS 2042, p. 165.


• French version of this article:
JFPLC'00: E. Jahier, M. Ducassé, O. Ridoux, "Spécification de modèles de traces à l'aide d'une sémantique par continuations" Journées Francophones de Programmation en Logique et par Contraintes, Touraïvane editor, Éditions Hermès (ISBN 9-782746-201477), June 2000.

• Short version of this article:
WLPE'99: E. Jahier, M. Ducassé, O. Ridoux, "Specifying Byrd's Box Model with a continuation semantics" Tenth Workshop on Logic Programming Environments, Electronic Notes in Theoretical Computer Science, Vol 30 No 4, 7 pages, November 1999.



• ICLP'99: E. Jahier, M. Ducassé, "A generic approach to monitor program executions" Proceedings of the International Conference on Logic Programming, D. De Schreye editor, MIT Press (ISBN 9-780263-541046-9000), November 1999, pages 139-153.


• JFPLC'99: E. Jahier, M. Ducassé, "Un traceur ne sert pas qu'au débogage" Journées Francophones de Programmation en Logique et par Contraintes, F. Fages editor, Éditions Hermès (ISBN 2-7462-0025-2), June 1999, pages 297-311.

• Analyse dynamique de programmes : mise en oeuvre automatisée d'analyseurs performants et spécifications de modèle d'exécution, IRISA-INSA, 15 Décembre 2000, under the direction of Mireille Ducassé.