| Virtual execution of AADL models via a translation into synchronous programs E Jahier, N Halbwachs, P Raymond, X Nicollin, D Lesens Proceedings of the 7th ACM & IEEE international conference on Embedded …, 2007 | 72 | 2007 |
| Lutin: A language for specifying and executing reactive scenarios P Raymond, Y Roux, E Jahier EURASIP Journal on Embedded Systems 2008, 2008 | 49 | 2008 |
| Case studies with Lurette V2 E Jahier, P Raymond, P Baufreton International Journal on Software Tools for Technology Transfer 8, 517-530, 2006 | 38 | 2006 |
| The Lustre V6 reference manual E Jahier, P Raymond, N Halbwachs Verimag, Grenoble, Dec, 2016 | 35 | 2016 |
| Automatic state reaching for debugging reactive programs F Gaucher, E Jahier, F Maraninchi, B Jeannet | 30 | 2003 |
| Specifying Prolog trace models with a continuation semantics E Jahier, M Ducassé, O Ridoux Logic Based Program Synthesis and Transformation, 165-181, 2001 | 23* | 2001 |
| Environment-Model Based Testing of Control Systems: Case Studies E Jahier, S Djoko-Djoko, C Maiza, E Lafont International Conference on Tools and Algorithms for the Construction and …, 2014 | 22 | 2014 |
| Engineering Functional Requirements of Reactive Systems using Synchronous Languages E Jahier, N Halbwachs, P Raymond International Symposium on Industrial Embedded Systems, 2013. SIES'13, 2013 | 21 | 2013 |
| Synchronous modeling and validation of priority inheritance schedulers E Jahier, N Halbwachs, P Raymond Fundamental Approaches to Software Engineering, 140-154, 2009 | 18* | 2009 |
| The lucky language reference manual E Jahier, P Raymond Technical Report TR-2004-6, Verimag Technical Report, 2005 | 18 | 2005 |
| Specifying and executing reactive scenarios with Lutin P Raymond, Y Roux, E Jahier Electronic Notes in Theoretical Computer Science 203 (4), 19-34, 2008 | 17 | 2008 |
| Prototyping clp (fd) tracers: a trace model and an experimental validation environment L Langevine, P Deransart, M Ducasse, E Jahier Arxiv preprint cs/0111043, 2001 | 17* | 2001 |
| Generic program monitoring by trace analysis E Jahier, M Ducassé Theory and Practice of Logic Programming 2 (4-5), 611-643, 2002 | 16 | 2002 |
| On the importance of modeling the environment when analyzing sensor networks L Samper, F Maraninchi, E Jahier 2006 3rd Annual IEEE Communications Society on Sensor and Ad Hoc …, 2006 | 14 | 2006 |
| Describing and executing random reactive systems P Raymond, E Jahier, Y Roux Fourth IEEE International Conference on Software Engineering and Formal …, 2006 | 14 | 2006 |
| A Generic Approach to Monitor Program Executions. E Jahier, M Ducassé International Conference on Logic Programming (ICLP), 139-153, 1999 | 14 | 1999 |
| The lurette v2 user guide E Jahier Verimag Research Report, 2004 | 11 | 2004 |
| Efficient automated trace analysis: Examples with morphine M Ducassé, E Jahier Electronic Notes in Theoretical Computer Science 55 (2), 118-133, 2001 | 11 | 2001 |
| Collecting graphical abstract views of Mercury program executions E Jahier AADEBUG'00 - International Workshop on Automated Debugging, Munich, Germany …, 2000 | 10 | 2000 |
| Generating random values using Binary decision diagrams and convex polyhedra E Jahier, P Raymond Trends in Constraint Programming, 349-356, 2007 | 9 | 2007 |
Pascal RaymondCNRS VERIMAGVerified email at univ-grenoble-alpes.fr
