Search the dblp DataBase

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]