Accéder directement au contenu

Martin Quinson

4
Documents

Présentation

Publications

859830
"stephan-merz"
Image document

SimGrid MC: Verification Support for a Multi-API Simulation Platform

 Stephan Merz , Martin Quinson , Cristian Rosa
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.274-288, ⟨10.1007/978-3-642-21461-5_18⟩
Communication dans un congrès inria-00593505v1
Image document

A Simple Model of Communication APIs ­ - Application to Dynamic Partial-order Reduction

 Cristian Rosa , Stephan Merz , Martin Quinson
10th International Workshop on Automated Verification of Critical Systems - AVOCS 2010, Sep 2010, Düsseldorf, Germany
Communication dans un congrès inria-00532889v1
Image document

Model-checking Distributed Applications with GRAS

 Cristian Rosa , Martin Quinson , Stephan Merz
Exploiting Concurrency Efficiently and Correctly - EC2 workshop associated to CAV 2009, Jun 2009, Grenoble, France
Communication dans un congrès inria-00378374v2
Image document

Model-checking Distributed Applications with GRAS

 Cristian Rosa , Martin Quinson , Stephan Merz
[Research Report] RR-7052, INRIA. 2009, pp.11
Rapport inria-00422159v1