Yves-Marie Quemener

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2007
Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry.
Proceedings of the SDL 2007: Design for Dependable Systems, 2007

2006
Application of Two Test Generation Tools to an Industrial Case Study.
Proceedings of the Testing of Communicating Systems, 2006

2002
A Typical Testing Problem: Validating WML Cellphones.
Proceedings of the Model Checking of Software, 2002

Techniques for Abstracting SDL Specifications.
Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002

Testing Mobile Agents.
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.
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.
Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002

1996
Model-checking of infinite graphs defined by graph grammars.
Proceedings of the First International Workshop on Verification of Infinite State Systems, 1996

Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars.
Proceedings of the Formal Description Techniques IX: Theory, 1996

1995
Model-checking of infinite Kripke structures defined by simple graph grammars.
Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995


  Loading...