Erwan Jahier

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 8

Top Topics

Model Based Testing

Differential Evolution

Computationally Efficient

Reactive Systems

Top Venues

Publications

Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel B. Sant'Anna
Model Checking of Distributed Algorithms Using Synchronous Programs. SSS (2023)
Karine Altisen, Stéphane Devismes, Erwan Jahier
sasa: a SimulAtor of Self-stabilizing Algorithms. Comput. J. 66 (4) (2023)
Erwan Jahier, Karine Altisen, Stéphane Devismes
Exploring Worst Cases of Self-stabilizing Algorithms Using Simulations. SSS (2023)
Karine Altisen, Stéphane Devismes, Erwan Jahier
sasa: A SimulAtor of Self-stabilizing Algorithms. TAP@STAF (2020)
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. Leibniz Trans. Embed. Syst. 6 (1) (2019)
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, Vincent Mussot, Isabelle Puaut, Christine Rochange, Erven Rohou, Jordy Ruiz, Pascal Sotin, Wei-Tsun Sun
The W-SEPT Project: Towards Semantic-Aware WCET Estimation. WCET (2017)
Erwan Jahier
RDBG: a Reactive Programs Extensible Debugger. SCOPES (2016)
Annamária Szenkovits, Noémi Gaskó, Erwan Jahier
Environment-Model Based Testing with Differential Evolution in an Industrial Setting. EvoApplications (1) (2016)
Erwan Jahier, Simplice Djoko Djoko, Chaouki Maiza, Eric Lafont
Environment-Model Based Testing of Control Systems: Case Studies. TACAS (2014)
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond
Engineering functional requirements of reactive systems using synchronous languages. SIES (2013)
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond
Synchronous Modeling and Validation of Priority Inheritance Schedulers. FASE (2009)
Pascal Raymond, Yvan Roux, Erwan Jahier
Lutin: A Language for Specifying and Executing Reactive Scenarios. EURASIP J. Embed. Syst. 2008 (2008)
Pascal Raymond, Yvan Roux, Erwan Jahier
Specifying and Executing Reactive Scenarios With Lutin. Electron. Notes Theor. Comput. Sci. 203 (4) (2008)
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens
Virtual execution of AADL models via a translation into synchronous programs. EMSOFT (2007)
Erwan Jahier, Pascal Raymond, Philippe Baufreton
Case studies with Lurette V2. Int. J. Softw. Tools Technol. Transf. 8 (6) (2006)
Ludovic Samper, Florence Maraninchi, Erwan Jahier
On the Importance of Modeling the Environment when Analyzing Sensor Networks. SECON (2006)
Pascal Raymond, Erwan Jahier, Yvan Roux
Describing and Executing Random Reactive Systems. SEFM (2006)
Erwan Jahier, Pascal Raymond, Philippe Baufreton
Case Studies with Lurette V2. ISoLA (Preliminary proceedings) (2004)
Erwan Jahier, Mireille Ducassé
Generic and Efficient Program Monitoring by trace analysis CoRR (2003)
Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier
Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation. JFPLC (2002)
Erwan Jahier, Mireille Ducassé
Generic program monitoring by trace analysis. Theory Pract. Log. Program. 2 (4-5) (2002)
Mireille Ducassé, Erwan Jahier
Efficient Automated Trace Analysis: Examples with Morphine. Electron. Notes Theor. Comput. Sci. 55 (2) (2001)
Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier
Prototyping CLP(FD) tracers: a trace model and an experimental validation environment. WLPE (2001)
Erwan Jahier, Mireille Ducassé, Olivier Ridoux
Specifying Prolog trace models with a continuation semantics. LOPSTR (2000)
Erwan Jahier, Mireille Ducassé, Olivier Ridoux
Spécification de modèles de traces à l'aide d'une sémantique par continuations. JFPLC (2000)
Erwan Jahier
Collecting Graphical Abstract Views of Mercury Program Executions. AADEBUG (2000)
Erwan Jahier, Mireille Ducassé, Olivier Ridoux
Specifying Prolog Trace Models with a Continuation Semantics. LOPSTR (LNCS 2042: Selected Papers) (2000)
Erwan Jahier, Mireille Ducassé, Olivier Ridoux
Specifying Byrd's Box Model with a Continuation Semantics. Electron. Notes Theor. Comput. Sci. 30 (4) (1999)
Erwan Jahier, Mireille Ducassé
A Generic Approach to Monitor Program Executions. ICLP (1999)
Erwan Jahier, Mireille Ducassé
Un traceur d'exécution de programme ne sert pas qu'au débogage. JFPLC (1999)