Skip to Main content Skip to Navigation


...
tel-00006169v1  Theses
Martin Quinson. Découverte automatique des caractéristiques et capacités d'une plate-forme de calcul distribué
Modélisation et simulation. Ecole normale supérieure de lyon - ENS LYON, 2003. Français
...
inria-00378374v2  Conference papers
Cristian RosaMartin QuinsonStephan Merz. Model-checking Distributed Applications with GRAS
Exploiting Concurrency Efficiently and Correctly - EC2 workshop associated to CAV 2009, Jun 2009, Grenoble, France
...
hal-02020045v2  Conference papers
Loic GueganBetsegaw AmershoAnne-Cécile OrgerieMartin Quinson. A Large-Scale Wired Network Energy Model for Flow-Level Simulations
AINA 2019 - 33rd International Conference on Advanced Information Networking and Applications, Mar 2019, Matsue, Japan. pp.1047-1058, ⟨10.1007/978-3-030-15032-7_88⟩
...
inria-00527150v1  Conference papers
Pierre-Nicolas ClaussMark StillwellStéphane GenaudFrédéric SuterHenri Casanova et al.  Single Node On-Line Simulation of MPI Applications with SMPI
International Parallel & Distributed Processing Symposium, IEEE, May 2011, Anchorange (AK), United States
...
hal-02109769v1  Conference papers
The Anh PhamThierry JéronMartin Quinson. Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs
FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2019, Copenhagen, Denmark. pp.224-241, ⟨10.1007/978-3-030-21759-4_13⟩
...
inria-00537779v1  Conference papers
Sabina AkhtarStephan MerzMartin Quinson. A High-Level Language for Modeling Algorithms and their Properties
13th Brazilian Symposium on Formal Methods - SBMF'2010, Nov 2010, Natal, Brazil
...
inria-00602216v4  Conference papers
Martin QuinsonCristian RosaChristophe Thiery. Parallel Simulation of Peer-to-Peer Systems
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⟩
...
tel-00927316v1  Habilitation à diriger des recherches
Martin Quinson. Computational Science of Computer Systems
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lorraine, 2013
...
inria-00544137v1  Conference papers
Sabina AkhtarStephan MerzMartin Quinson. Extending PlusCal: A Language for Describing Concurrent and Distributed Algorithms
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
...
hal-01097204v1  Conference papers
Marion GuthmullerMartin QuinsonGabriel Corona. System-level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications
Formal Approaches to Parallel and Distributed Systems (4PAD) - Special Session of Parallel, Distributed and network-based Processing (PDP), Mar 2015, Turku, Finland
...
inria-00593505v1  Conference papers
Stephan MerzMartin QuinsonCristian Rosa. SimGrid MC: Verification Support for a Multi-API Simulation Platform
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⟩
...
inria-00435802v1  Conference papers
Martin Quinson. SimGrid: a Generic Framework for Large-Scale Distributed Experiments
9th International conference on Peer-to-peer computing - IEEE P2P 2009, Sep 2009, Seattle, United States
...
inria-00364180v2  Journal articles
Jens GustedtEmmanuel JeannotMartin Quinson. Experimental Methodologies for Large-Scale Systems: a Survey
Parallel Processing Letters, World Scientific Publishing, 2009, 19 (3), pp.399-418. ⟨10.1142/S0129626409000304⟩
...
inria-00108389v1  Conference papers
Martin Quinson. GRAS: a Research and Development Framework for Grid and P2P Infrastructures
18th IASTED International Conference on PARALLEL AND DISTRIBUTED COMPUTING AND SYSTEMS, Nov 2006, Dallas, United States
...
inria-00338189v1  Conference papers
Martin QuinsonFlavien Vernier. Byte-Range Asynchronous Locking in Distributed Settings
17th Euromicro International Conference on Parallel, Distributed and network-based Processing - PDP 2009, Feb 2009, Weimar, Germany
...
inria-00565341v1  Conference papers
Marion GuthmullerLucas NussbaumMartin Quinson. Émulation d'applications distribuées sur des plates-formes virtuelles simulées
Rencontres francophones du Parallélisme (RenPar'20), May 2011, Saint Malo, France
...
inria-00188408v1  Conference papers
Lionel Eyraud-DuboisMartin Quinson. Assessing the Quality of Automatically Built Network Representations
Workshop on Programming Models for Grid Computing - organized at IEEE/ACM International Symposium on Cluster Computing and the Grid - CCGrid 2007, May 2007, Rio de Janeiro, Brazil. pp.795 - 800, ⟨10.1109/CCGRID.2007.25⟩
...
inria-00532889v1  Conference papers
Cristian RosaStephan MerzMartin Quinson. A Simple Model of Communication APIs ­ - Application to Dynamic Partial-order Reduction
10th International Workshop on Automated Verification of Critical Systems - AVOCS 2010, Sep 2010, Düsseldorf, Germany
...
hal-00997941v1  Conference papers
Marion GuthmullerMartin Quinson. System-level State Equality Detection for the Dynamic Verification of Distributed Applications
EuroSys - 9th European Conference on Computer Systems, Apr 2014, Amsterdam, Netherlands
...
hal-00907887v1  Conference papers
Maximiliano GeierLucas NussbaumMartin Quinson. On the Convergence of Experimental Methodologies for Distributed Systems: Where do we stand?
WATERS - 4th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, Jul 2013, Paris, France
...
hal-01238377v1  Conference papers
Martin QuinsonGérald Oster. A Teaching System To Learn Programming: the Programmer's Learning Machine
ACM Conference on Innovation and Technology in Computer Science Education 2015, Jul 2015, Vilnius, Lithuania. ⟨10.1145/2729094.2742626⟩
...
hal-02449080v1  Journal articles
Gene CoopermanMartin Quinson. Sthread: In-Vivo Model Checking of Multithreaded Programs
The Art, Science, and Engineering of Programming, aosa, Inc., In press, ⟨10.22152/programming-journal.org/2020/4/13⟩