|
Search the dblp DataBase
Erwan Jahier:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Erwan Jahier
Collecting Graphical Abstract Views of Mercury Program Executions. [Citation Graph (0, 0)][DBLP] AADEBUG, 2000, pp:- [Conf]
- Erwan Jahier, Mireille Ducassé
A Generic Approach to Monitor Program Executions. [Citation Graph (0, 0)][DBLP] ICLP, 1999, pp:139-153 [Conf]
- Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier
Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation. [Citation Graph (0, 0)][DBLP] JFPLC, 2002, pp:135-0 [Conf]
- Erwan Jahier, Mireille Ducassé
Un traceur d'exécution de programme ne sert pas qu'au débogage. [Citation Graph (0, 0)][DBLP] JFPLC, 1999, pp:297-311 [Conf]
- Erwan Jahier, Mireille Ducassé, Olivier Ridoux
Spécification de modèles de traces à l'aide d'une sémantique par continuations. [Citation Graph (0, 0)][DBLP] JFPLC, 2000, pp:67-84 [Conf]
- Erwan Jahier, Mireille Ducassé, Olivier Ridoux
Specifying Prolog trace models with a continuation semantics. [Citation Graph (0, 0)][DBLP] LOPSTR, 2000, pp:- [Conf]
- Erwan Jahier, Mireille Ducassé, Olivier Ridoux
Specifying Prolog Trace Models with a Continuation Semantics. [Citation Graph (0, 0)][DBLP] LOPSTR (LNCS 2042: Selected Papers), 2000, pp:165-182 [Conf]
- Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier
Prototyping CLP(FD) tracers: a trace model and an experimental validation environment. [Citation Graph (0, 0)][DBLP] WLPE, 2001, pp:- [Conf]
- Pascal Raymond, Erwan Jahier, Yvan Roux
Describing and Executing Random Reactive Systems. [Citation Graph (0, 0)][DBLP] SEFM, 2006, pp:216-225 [Conf]
- Erwan Jahier, Mireille Ducassé
Generic and Efficient Program Monitoring by trace analysis [Citation Graph (0, 0)][DBLP] CoRR, 2003, v:0, n:, pp:- [Journal]
- Mireille Ducassé, Erwan Jahier
Efficient Automated Trace Analysis: Examples with Morphine. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
- Erwan Jahier, Pascal Raymond, Philippe Baufreton
Case studies with Lurette V2. [Citation Graph (0, 0)][DBLP] STTT, 2006, v:8, n:6, pp:517-530 [Journal]
- Erwan Jahier, Mireille Ducassé, Olivier Ridoux
Specifying Byrd's Box Model with a Continuation Semantics. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:4, pp:- [Journal]
- Erwan Jahier, Mireille Ducassé
Generic program monitoring by trace analysis. [Citation Graph (0, 0)][DBLP] TPLP, 2002, v:2, n:4-5, pp:611-643 [Journal]
Virtual execution of AADL models via a translation into synchronous programs. [Citation Graph (, )][DBLP]
Synchronous Modeling and Validation of Priority Inheritance Schedulers. [Citation Graph (, )][DBLP]
Case Studies with Lurette V2. [Citation Graph (, )][DBLP]
Specifying and Executing Reactive Scenarios With Lutin. [Citation Graph (, )][DBLP]
Search in 0.021secs, Finished in 0.022secs
|