- 1
- 1
- 1
- 1
- 1
- 1
Martin Quinson
6
Documents
Présentation
Publications
- 2
- 2
- 1
- 1
- 1
- 6
- 4
- 1
- 1
- 1
- 3
- 2
|
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
|
|
Extending PlusCal: A Language for Describing Concurrent and Distributed AlgorithmsActes des deuxièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, Mar 2010, Pau, France
Communication dans un congrès
inria-00544137v1
|
|
A High-Level Language for Modeling Algorithms and their Properties13th Brazilian Symposium on Formal Methods - SBMF'2010, Nov 2010, Natal, Brazil
Communication dans un congrès
inria-00537779v1
|
|
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
|
|
Model-checking Distributed Applications with GRAS[Research Report] RR-7052, INRIA. 2009, pp.11
Rapport
inria-00422159v1
|