Erwan Jahier

According to our database, Erwan Jahier authored at least 27 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

sasa: a SimulAtor of Self-stabilizing Algorithms.

Karine Altisen, Stéphane Devismes, Erwan Jahier

Comput. J., April, 2023

Model Checking of Distributed Algorithms Using Synchronous Programs.

Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel B. Sant'Anna

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2023

Exploring Worst Cases of Self-stabilizing Algorithms Using Simulations.

Erwan Jahier, Karine Altisen, Stéphane Devismes

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2023

2019

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

2017

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, Vincent Mussot, Isabelle Puaut, Christine Rochange, Erven Rohou, Jordy Ruiz, Pascal Sotin, Wei-Tsun Sun

Proceedings of the 17th International Workshop on Worst-Case Execution Time Analysis, 2017

2016

RDBG: a Reactive Programs Extensible Debugger.

Erwan Jahier

Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems, 2016

Environment-Model Based Testing with Differential Evolution in an Industrial Setting.

Annamária Szenkovits, Noémi Gaskó, Erwan Jahier

Proceedings of the Applications of Evolutionary Computation - 19th European Conference, 2016

2014

Environment-Model Based Testing of Control Systems: Case Studies.

Erwan Jahier, Simplice Djoko Djoko, Chaouki Maiza, Eric Lafont

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013

Engineering functional requirements of reactive systems using synchronous languages.

Erwan Jahier, Nicolas Halbwachs, Pascal Raymond

Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

2009

Synchronous Modeling and Validation of Priority Inheritance Schedulers.

Erwan Jahier, Nicolas Halbwachs, Pascal Raymond

Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008

Lutin: A Language for Specifying and Executing Reactive Scenarios.

Pascal Raymond, Yvan Roux, Erwan Jahier

EURASIP J. Embed. Syst., 2008

2007

Specifying and Executing Reactive Scenarios With Lutin.

Pascal Raymond, Yvan Roux, Erwan Jahier

Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, 2007

Virtual execution of AADL models via a translation into synchronous programs.

Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

2006

Case studies with Lurette V2.

Erwan Jahier, Pascal Raymond, Philippe Baufreton

Int. J. Softw. Tools Technol. Transf., 2006

Describing and Executing Random Reactive Systems.

Pascal Raymond, Erwan Jahier, Yvan Roux

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

On the Importance of Modeling the Environment when Analyzing Sensor Networks.

Ludovic Samper, Florence Maraninchi, Erwan Jahier

Proceedings of the Third Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks, 2006

2003

Generic and Efficient Program Monitoring by trace analysis

Erwan Jahier, Mireille Ducassé

CoRR, 2003

2002

Generic program monitoring by trace analysis.

Erwan Jahier, Mireille Ducassé

Theory Pract. Log. Program., 2002

Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation.

Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier

Proceedings of the Programmation en logique avec contraintes, 2002

2001

Efficient Automated Trace Analysis: Examples with Morphine.

Mireille Ducassé, Erwan Jahier

Proceedings of the Workshop on Runtime Verification, 2001

Prototyping CLP(FD) tracers: a trace model and an experimental validation environment.

Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier

Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01), 2001

2000

Specifying Prolog Trace Models with a Continuation Semantics.

Erwan Jahier, Mireille Ducassé, Olivier Ridoux

Proceedings of the Logic Based Program Synthesis and Transformation, 2000

Spécification de modèles de traces à l'aide d'une sémantique par continuations.

Erwan Jahier, Mireille Ducassé, Olivier Ridoux

Proceedings of the Programmation en logique avec contraintes, 2000

Collecting Graphical Abstract Views of Mercury Program Executions.

Erwan Jahier

Proceedings of the Fourth International Workshop on Automated Debugging, 2000

1999

Specifying Byrd's Box Model with a Continuation Semantics.

Erwan Jahier, Mireille Ducassé, Olivier Ridoux

Proceedings of the Tenth Workshop on Logic Programming Environments, 1999

Un traceur d'exécution de programme ne sert pas qu'au débogage.

Erwan Jahier, Mireille Ducassé

Proceedings of the JFPLC'99, 1999

A Generic Approach to Monitor Program Executions.

Erwan Jahier, Mireille Ducassé

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999