| 2023 | SSS | Exploring Worst Cases of Self-stabilizing Algorithms Using Simulations. | Erwan Jahier, Karine Altisen, Stphane Devismes |
| 2023 | SSS | Model Checking of Distributed Algorithms Using Synchronous Programs. | Erwan Jahier, Karine Altisen, Stphane Devismes, Gabriel B. Sant'Anna |
| 2020 | TAP | sasa: A SimulAtor of Self-stabilizing Algorithms. | Karine Altisen, Stphane Devismes, Erwan Jahier |
| 2016 | SCOPES | RDBG: a Reactive Programs Extensible Debugger. | Erwan Jahier |
| 2014 | TACAS | Environment-Model Based Testing of Control Systems: Case Studies. | Erwan Jahier, Simplice Djoko Djoko, Chaouki Maiza, Eric Lafont |
| 2009 | FASE | Synchronous Modeling and Validation of Priority Inheritance Schedulers. | Erwan Jahier, Nicolas Halbwachs, Pascal Raymond |
| 2007 | EMSOFT | Virtual execution of AADL models via a translation into synchronous programs. | Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens |
| 2006 | SECON | On the Importance of Modeling the Environment when Analyzing Sensor Networks. | Ludovic Samper, Florence Maraninchi, Erwan Jahier |
| 2006 | SEFM | Describing and Executing Random Reactive Systems. | Pascal Raymond, Erwan Jahier, Yvan Roux |
| 2004 | ISoLA | Case Studies with Lurette V2. | Erwan Jahier, Pascal Raymond, Philippe Baufreton |
| 2000 | LOPSTR | Specifying Prolog trace models with a continuation semantics. | Erwan Jahier, Mireille Ducass, Olivier Ridoux |
| 2000 | LOPSTR | Specifying Prolog Trace Models with a Continuation Semantics. | Erwan Jahier, Mireille Ducass, Olivier Ridoux |
| 1999 | ICLP | A Generic Approach to Monitor Program Executions. | Erwan Jahier, Mireille Ducass |