BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Jahier:Erwan

Contributed to:

TACAS 20142014
FASE 20092009
SEFM 20062006
LOPSTR 20002000
LOPSTR 20002000
ICLP 19991999

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.