A Generic Approach to Monitor Program Executions. - Erwan Jahier; Mireille Ducassé (ICLP, 1999)

Un traceur d'exécution de programme ne sert pas qu'au débogage. - Erwan Jahier; Mireille Ducassé (JFPLC, 1999)

Specifying Byrd's Box Model with a Continuation Semantics. - Erwan Jahier; Mireille Ducassé; Olivier Ridoux (WLPE@ICLP, 1999)

Collecting Graphical Abstract Views of Mercury Program Executions. - Erwan Jahier (AADEBUG, 2000)

Spécification de modèles de traces à l'aide d'une sémantique par continuations. - Erwan Jahier; Mireille Ducassé; Olivier Ridoux (JFPLC, 2000)

Specifying Prolog Trace Models with a Continuation Semantics. - Erwan Jahier; Mireille Ducassé; Olivier Ridoux (LOPSTR (LNCS 2042: Selected Papers), 2000)

Prototyping CLP(FD) tracers: a trace model and an experimental validation environment. - Ludovic Langevine; Pierre Deransart; Mireille Ducassé; Erwan Jahier (WLPE, 2001)

Efficient Automated Trace Analysis: Examples with Morphine. - Mireille Ducassé; Erwan Jahier (RV@CAV, 2001)

Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation. - Ludovic Langevine; Pierre Deransart; Mireille Ducassé; Erwan Jahier (JFPLC, 2002)

Generic program monitoring by trace analysis. - Erwan Jahier; Mireille Ducassé (Theory Pract. Log. Program., 2002)

Generic and Efficient Program Monitoring by trace analysis - Erwan Jahier; Mireille Ducassé (CoRR, 2003)

On the Importance of Modeling the Environment when Analyzing Sensor Networks. - Ludovic Samper; Florence Maraninchi; Erwan Jahier (SECON, 2006)

Describing and Executing Random Reactive Systems. - Pascal Raymond; Erwan Jahier; Yvan Roux (SEFM, 2006)

Case studies with Lurette V2. - Erwan Jahier; Pascal Raymond; Philippe Baufreton (Int. J. Softw. Tools Technol. Transf., 2006)

Virtual execution of AADL models via a translation into synchronous programs. - Erwan Jahier; Nicolas Halbwachs; Pascal Raymond; Xavier Nicollin; David Lesens (EMSOFT, 2007)

Specifying and Executing Reactive Scenarios With Lutin. - Pascal Raymond; Yvan Roux; Erwan Jahier (SLA++P@ETAPS, 2007)

Lutin: A Language for Specifying and Executing Reactive Scenarios. - Pascal Raymond; Yvan Roux; Erwan Jahier (EURASIP J. Embed. Syst., 2008)

Synchronous Modeling and Validation of Priority Inheritance Schedulers. - Erwan Jahier; Nicolas Halbwachs; Pascal Raymond (FASE, 2009)

Engineering functional requirements of reactive systems using synchronous languages. - Erwan Jahier; Nicolas Halbwachs; Pascal Raymond (SIES, 2013)

Environment-Model Based Testing of Control Systems: Case Studies. - Erwan Jahier; Simplice Djoko Djoko; Chaouki Maiza; Eric Lafont (TACAS, 2014)

Environment-Model Based Testing with Differential Evolution in an Industrial Setting. - Annamária Szenkovits; Noémi Gaskó; Erwan Jahier (EvoApplications (1), 2016)

RDBG: a Reactive Programs Extensible Debugger. - Erwan Jahier (SCOPES, 2016)

The W-SEPT Project: Towards Semantic-Aware WCET Estimation. - Claire Maiza; Pascal Raymond; Catherine Parent-Vigouroux; Armelle Bonenfant; Fabienne Carrier; Hugues Cassé; Philippe Cuenot; Denis Claraz; Nicolas Halbwachs; Erwan Jahier; Hanbing Li; Marianne De Michiel; et al. (WCET, 2017)

Improving WCET Evaluation using Linear Relation Analysis. - Pascal Raymond; Claire Maiza; Catherine Parent-Vigouroux; Erwan Jahier; Nicolas Halbwachs; Fabienne Carrier; Mihail Asavoae; Rémy Boutonnet (Leibniz Trans. Embed. Syst., 2019)

Exploring Worst Cases of Self-stabilizing Algorithms Using Simulations. - Erwan Jahier; Karine Altisen; Stéphane Devismes (SSS, 2023)

sasa: a SimulAtor of Self-stabilizing Algorithms. - Karine Altisen; Stéphane Devismes; Erwan Jahier (Comput. J., 2023)

Model checking of distributed algorithms using synchronous programs. - Erwan Jahier; Karine Altisen; Stéphane Devismes; Gabriel B. Sant'Anna (Theor. Comput. Sci., 2025)