The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Erwan Jahier: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Erwan Jahier
    Collecting Graphical Abstract Views of Mercury Program Executions. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 2000, pp:- [Conf]
  2. Erwan Jahier, Mireille Ducassé
    A Generic Approach to Monitor Program Executions. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:139-153 [Conf]
  3. 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]
  4. 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]
  5. 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]
  6. Erwan Jahier, Mireille Ducassé, Olivier Ridoux
    Specifying Prolog trace models with a continuation semantics. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2000, pp:- [Conf]
  7. 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]
  8. 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]
  9. Pascal Raymond, Erwan Jahier, Yvan Roux
    Describing and Executing Random Reactive Systems. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:216-225 [Conf]
  10. Erwan Jahier, Mireille Ducassé
    Generic and Efficient Program Monitoring by trace analysis [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  11. 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]
  12. 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]
  13. 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]
  14. 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]

  15. Virtual execution of AADL models via a translation into synchronous programs. [Citation Graph (, )][DBLP]


  16. Synchronous Modeling and Validation of Priority Inheritance Schedulers. [Citation Graph (, )][DBLP]


  17. Case Studies with Lurette V2. [Citation Graph (, )][DBLP]


  18. Specifying and Executing Reactive Scenarios With Lutin. [Citation Graph (, )][DBLP]


Search in 0.014secs, Finished in 0.016secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002