Erwan Jahier

2009
18	EE	Erwan Jahier, Nicolas Halbwachs, Pascal Raymond: Synchronous Modeling and Validation of Priority Inheritance Schedulers. FASE 2009: 140-154
2008
17	EE	Pascal Raymond, Yvan Roux, Erwan Jahier: Specifying and Executing Reactive Scenarios With Lutin. Electr. Notes Theor. Comput. Sci. 203(4): 19-34 (2008)
2007
16	EE	Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens: Virtual execution of AADL models via a translation into synchronous programs. EMSOFT 2007: 134-143
2006
15	EE	Pascal Raymond, Erwan Jahier, Yvan Roux: Describing and Executing Random Reactive Systems. SEFM 2006: 216-225
14	EE	Erwan Jahier, Pascal Raymond, Philippe Baufreton: Case studies with Lurette V2. STTT 8(6): 517-530 (2006)
2004
13		Erwan Jahier, Pascal Raymond, Philippe Baufreton: Case Studies with Lurette V2. ISoLA (Preliminary proceedings) 2004: 296-303
2003
12	EE	Erwan Jahier, Mireille Ducassé: Generic and Efficient Program Monitoring by trace analysis CoRR cs.PL/0311016: (2003)
2002
11		Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier: Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation. JFPLC 2002: 135-
10		Erwan Jahier, Mireille Ducassé: Generic program monitoring by trace analysis. TPLP 2(4-5): 611-643 (2002)
2001
9	EE	Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier: Prototyping CLP(FD) tracers: a trace model and an experimental validation environment. WLPE 2001
8	EE	Mireille Ducassé, Erwan Jahier: Efficient Automated Trace Analysis: Examples with Morphine. Electr. Notes Theor. Comput. Sci. 55(2): (2001)
2000
7	EE	Erwan Jahier: Collecting Graphical Abstract Views of Mercury Program Executions. AADEBUG 2000
6		Erwan Jahier, Mireille Ducassé, Olivier Ridoux: Spécification de modèles de traces à l'aide d'une sémantique par continuations. JFPLC 2000: 67-84
5	EE	Erwan Jahier, Mireille Ducassé, Olivier Ridoux: Specifying Prolog trace models with a continuation semantics. LOPSTR 2000
4	EE	Erwan Jahier, Mireille Ducassé, Olivier Ridoux: Specifying Prolog Trace Models with a Continuation Semantics. LOPSTR (LNCS 2042: Selected Papers) 2000: 165-182
1999
3		Erwan Jahier, Mireille Ducassé: A Generic Approach to Monitor Program Executions. ICLP 1999: 139-153
2		Erwan Jahier, Mireille Ducassé: Un traceur d'exécution de programme ne sert pas qu'au débogage. JFPLC 1999: 297-311
1	EE	Erwan Jahier, Mireille Ducassé, Olivier Ridoux: Specifying Byrd's Box Model with a Continuation Semantics. Electr. Notes Theor. Comput. Sci. 30(4): (1999)

Coauthor Index

1	Philippe Baufreton	[13] [14]
2	Pierre Deransart	[9] [11]
3	Mireille Ducassé	[1] [2] [3] [4] [5] [6] [8] [9] [10] [11] [12]
4	Nicolas Halbwachs	[16] [18]
5	Ludovic Langevine	[9] [11]
6	David Lesens	[16]
7	Xavier Nicollin	[16]
8	Pascal Raymond	[13] [14] [15] [16] [17] [18]
9	Olivier Ridoux	[1] [4] [5] [6]
10	Yvan Roux	[15] [17]

Colors in the list of coauthors