Follow
erwan jahier
erwan jahier
CNRS/Verimag/Université Grenoble Alpes
Verified email at univ-grenoble-alpes.fr
Title
Cited by
Cited by
Year
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
742007
Lutin: A language for specifying and executing reactive scenarios
P Raymond, Y Roux, E Jahier
EURASIP Journal on Embedded Systems 2008, 2008
512008
Case studies with Lurette V2
E Jahier, P Raymond, P Baufreton
International Journal on Software Tools for Technology Transfer 8, 517-530, 2006
422006
The Lustre V6 reference manual
E Jahier, P Raymond, N Halbwachs
Verimag, Grenoble, Dec, 2016
332016
Automatic state reaching for debugging reactive programs
F Gaucher, E Jahier, F Maraninchi, B Jeannet
312003
Specifying Prolog trace models with a continuation semantics
E Jahier, M Ducassé, O Ridoux
Logic Based Program Synthesis and Transformation, 165-181, 2001
24*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
232014
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
222013
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
182005
Specifying and executing reactive scenarios with Lutin
P Raymond, Y Roux, E Jahier
Electronic Notes in Theoretical Computer Science 203 (4), 19-34, 2008
172008
Generic program monitoring by trace analysis
E Jahier, M Ducassé
Theory and Practice of Logic Programming 2 (4-5), 611-643, 2002
172002
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
Describing and executing random reactive systems
P Raymond, E Jahier, Y Roux
Fourth IEEE International Conference on Software Engineering and Formal …, 2006
142006
A Generic Approach to Monitor Program Executions.
E Jahier, M Ducassé
International Conference on Logic Programming (ICLP), 139-153, 1999
141999
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
132006
Efficient automated trace analysis: Examples with morphine
M Ducassé, E Jahier
Electronic Notes in Theoretical Computer Science 55 (2), 118-133, 2001
122001
The lurette v2 user guide
E Jahier
Verimag Research Report, 2004
112004
Collecting graphical abstract views of Mercury program executions
E Jahier
AADEBUG'00 - International Workshop on Automated Debugging, Munich, Germany …, 2000
102000
Generating random values using Binary decision diagrams and convex polyhedra
E Jahier, P Raymond
Trends in Constraint Programming, 349-356, 2007
92007
The system can't perform the operation now. Try again later.
Articles 1–20