Accéder directement au contenu

Martin Quinson

6
Documents

Présentation

Publications

"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

Extending PlusCal: A Language for Describing Concurrent and Distributed Algorithms

Sabina Akhtar , Stephan Merz , Martin Quinson
Actes 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
Image document

A High-Level Language for Modeling Algorithms and their Properties

Sabina Akhtar , Stephan Merz , Martin Quinson
13th Brazilian Symposium on Formal Methods - SBMF'2010, Nov 2010, Natal, Brazil
Communication dans un congrès inria-00537779v1
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