erwan jahier
erwan jahier
CNRS/Verimag
Adresse e-mail validée de univ-grenoble-alpes.fr
Titre
Citée par
Citée par
Année
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
612007
Lutin: A language for specifying and executing reactive scenarios
P Raymond, Y Roux, E Jahier
EURASIP Journal on Embedded Systems 2008, 2008
442008
Case studies with Lurette V2
E Jahier, P Raymond, P Baufreton
International Journal on Software Tools for Technology Transfer 8 (6), 517-530, 2006
402006
Automatic state reaching for debugging reactive programs
F Gaucher, E Jahier, F Maraninchi, B Jeannet
252003
Specifying Prolog trace models with a continuation semantics
E Jahier, M Ducassé, O Ridoux
Logic Based Program Synthesis and Transformation, 165-181, 2001
25*2001
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
212013
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
182014
Generic program monitoring by trace analysis
E Jahier, M Ducassé
Theory and Practice of Logic Programming 2 (4-5), 611-643, 2002
182002
The lucky language reference manual
E Jahier, P Raymond
Technical Report TR-2004-6, Verimag Technical Report, 2005
172005
The lustre v6 reference manual
E Jahier, P Raymond, N Halbwachs
Verimag, Grenoble, Dec, 2016
162016
Synchronous modeling and validation of priority inheritance schedulers
E Jahier, N Halbwachs, P Raymond
Fundamental Approaches to Software Engineering, 140-154, 2009
16*2009
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
16*2001
Describing and executing random reactive systems
P Raymond, E Jahier, Y Roux
Fourth IEEE International Conference on Software Engineering and Formal …, 2006
152006
A Generic Approach to Monitor Program Executions.
E Jahier, M Ducassé
International Conference on Logic Programming (ICLP), 139-153, 1999
151999
Efficient automated trace analysis: Examples with morphine
M Ducassé, E Jahier
Electronic Notes in Theoretical Computer Science 55 (2), 118-133, 2001
122001
Specifying and executing reactive scenarios with Lutin
P Raymond, Y Roux, E Jahier
Electronic Notes in Theoretical Computer Science 203 (4), 19-34, 2008
112008
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
112006
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
82007
The lurette v2 user guide
E Jahier
Verimag Research Report, 2004
72004
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20