Erwan Jahier

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