Accéder directement au contenu

Martin Quinson

3
Documents

Présentation

Publications

891939
Image document

System-level state equality detection for the formal dynamic verification of legacy distributed applications

 Marion Guthmuller , Gabriel Corona , Martin Quinson
Journal of Logical and Algebraic Methods in Programming, 2018, 96, pp.1 - 11. ⟨10.1016/j.jlamp.2017.12.004⟩
Article dans une revue hal-01900120v1
Image document

System-level State Equality Detection for the Dynamic Verification of Distributed Applications

 Marion Guthmuller , Martin Quinson
EuroSys - 9th European Conference on Computer Systems, Apr 2014, Amsterdam, Netherlands
Communication dans un congrès hal-00997941v1
Image document

Émulation d'applications distribuées sur des plates-formes virtuelles simulées

 Marion Guthmuller , Lucas Nussbaum , Martin Quinson
Rencontres francophones du Parallélisme (RenPar'20), May 2011, Saint Malo, France
Communication dans un congrès inria-00565341v1