The SCEAS System
Navigation Menu

Search the dblp DataBase


Yves-Marie Quemener: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mikael Marche, Yves-Marie Quemener
    A Model for Conformance Testing of Mobile Agents in a MASIF Framework. [Citation Graph (0, 0)][DBLP]
    FAABS, 2002, pp:173-192 [Conf]
  2. Yves-Marie Quemener, Thierry Jéron
    Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars. [Citation Graph (0, 0)][DBLP]
    FORTE, 1996, pp:364-379 [Conf]
  3. Sergiy Boroday, Alexandre Petrenko, Roland Groz, Yves-Marie Quemener
    Test Generation for CEFSM Combining Specification and Fault Coverage. [Citation Graph (0, 0)][DBLP]
    TestCom, 2002, pp:355-372 [Conf]
  4. Ana R. Cavalli, Stéphane Maag, Wissam Mallouli, Mikael Marche, Yves-Marie Quemener
    Application of Two Test Generation Tools to an Industrial Case Study. [Citation Graph (0, 0)][DBLP]
    TestCom, 2006, pp:134-148 [Conf]
  5. Mikael Marche, Yves-Marie Quemener, Roland Groz
    Testing Mobile Agents. [Citation Graph (0, 0)][DBLP]
    TestCom, 2002, pp:95-110 [Conf]
  6. Sergiy Boroday, Roland Groz, Alexandre Petrenko, Yves-Marie Quemener
    Techniques for Abstracting SDL Specifications. [Citation Graph (0, 0)][DBLP]
    SAM, 2002, pp:141-157 [Conf]
  7. Yves-Marie Quemener
    A Typical Testing Problem: Validating WML Cellphones. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:241- [Conf]
  8. Olaf Burkart, Yves-Marie Quemener
    Model-checking of infinite graphs defined by graph grammars. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:5, n:, pp:- [Journal]
  9. Yves-Marie Quemener, Thierry Jéron
    Model-checking of infinite Kripke structures defined by simple graph grammars. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal]
  10. Guillaume Châtelet, Benoit Parreaux, Yves-Marie Quemener
    Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2007, pp:242-257 [Conf]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002