Yves-Marie Quemener

According to our database, Yves-Marie Quemener authored at least 10 papers between 1995 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2007

Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry.

Guillaume Châtelet, Benoit Parreaux, Yves-Marie Quemener

Proceedings of the SDL 2007: Design for Dependable Systems, 2007

2006

Application of Two Test Generation Tools to an Industrial Case Study.

Ana R. Cavalli, Stéphane Maag, Wissam Mallouli, Mikael Marche, Yves-Marie Quemener

Proceedings of the Testing of Communicating Systems, 2006

2002

A Typical Testing Problem: Validating WML Cellphones.

Yves-Marie Quemener

Proceedings of the Model Checking of Software, 2002

Techniques for Abstracting SDL Specifications.

Sergiy Boroday, Roland Groz, Alexandre Petrenko, Yves-Marie Quemener

Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002

Testing Mobile Agents.

Mikael Marche, Yves-Marie Quemener, Roland Groz

Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

Test Generation for CEFSM Combining Specification and Fault Coverage.

Sergiy Boroday, Alexandre Petrenko, Roland Groz, Yves-Marie Quemener

Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

A Model for Conformance Testing of Mobile Agents in a MASIF Framework.

Mikael Marche, Yves-Marie Quemener

Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002

1996

Model-checking of infinite graphs defined by graph grammars.

Olaf Burkart, Yves-Marie Quemener

Proceedings of the First International Workshop on Verification of Infinite State Systems, 1996

Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars.

Yves-Marie Quemener, Thierry Jéron

Proceedings of the Formal Description Techniques IX: Theory, 1996

1995

Model-checking of infinite Kripke structures defined by simple graph grammars.

Yves-Marie Quemener, Thierry Jéron

Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995