- 3
- 1
- 1
- 1
Martin Quinson
6
Documents
Présentation
Publications
- 2
- 2
- 1
- 1
- 1
- 6
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
|
Parallel Simulation of Peer-to-Peer SystemsCCGrid 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
|
|
SimGrid MC: Verification Support for a Multi-API Simulation Platform13th 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
|
|
A Simple Model of Communication APIs - Application to Dynamic Partial-order Reduction10th International Workshop on Automated Verification of Critical Systems - AVOCS 2010, Sep 2010, Düsseldorf, Germany
Communication dans un congrès
inria-00532889v1
|
|
Model-checking Distributed Applications with GRASExploiting Concurrency Efficiently and Correctly - EC2 workshop associated to CAV 2009, Jun 2009, Grenoble, France
Communication dans un congrès
inria-00378374v2
|
|
Towards Scalable, Accurate, and Usable Simulations of Distributed Applications and Systems[Research Report] RR-7761, INRIA. 2011, pp.36
Rapport
inria-00631141v1
|
|
Model-checking Distributed Applications with GRAS[Research Report] RR-7052, INRIA. 2009, pp.11
Rapport
inria-00422159v1
|