Travelled to:1 × France
1 × India
1 × USA
3 × United Kingdom
Collaborated with:M.Ducassé P.Raymond O.Ridoux N.Halbwachs Y.Roux S.D.Djoko C.Maiza E.Lafont
Talks about:model (4) specifi (2) continu (2) system (2) semant (2) prolog (2) execut (2) trace (2) synchron (1) prioriti (1)
Person: Erwan Jahier
DBLP: Jahier:Erwan
Contributed to:
2014
2009
2006
20002000
1999Wrote 6 papers:
- TACAS-2014-JahierDML #case study #modelling #testing
- Environment-Model Based Testing of Control Systems: Case Studies (EJ, SDD, CM, EL), pp. 636–650.
- FASE-2009-JahierHR #inheritance #modelling #validation
- Synchronous Modeling and Validation of Priority Inheritance Schedulers (EJ, NH, PR), pp. 140–154.
- SEFM-2006-RaymondJR #random
- Describing and Executing Random Reactive Systems (PR, EJ, YR), pp. 216–225.
- LOPSTR-2000-JahierDR #continuation #modelling #prolog #semantics #specification
- Specifying Prolog trace models with a continuation semantics (EJ, MD, OR).
- LOPSTR-J-2000-JahierDR #continuation #modelling #prolog #semantics #specification
- Specifying Prolog Trace Models with a Continuation Semantics (EJ, MD, OR), pp. 165–182.
- ICLP-1999-JahierD #approach #monitoring
- A Generic Approach to Monitor Program Executions (EJ, MD), pp. 139–153.