Accéder directement au contenu

Martin Quinson

6
Documents

Présentation

Publications

859830
Image document

Parallel Simulation of Peer-to-Peer Systems

Martin Quinson , Cristian Rosa , Christophe Thiery
CCGrid 2012 -- The 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2011, Ottawa, Canada. pp.668-675, ⟨10.1109/CCGrid.2012.115⟩
Communication dans un congrès inria-00602216v4
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