Skip to Main content Skip to Navigation

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-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
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⟩
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⟩
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⟩
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
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-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
hal-01762540v1  Conference papers
Benjamin CamusAnne-Cécile OrgerieMartin Quinson. Co-simulation of FMUs and Distributed Applications with SimGrid
SIGSIM-PADS ’18 : 2018 SIGSIM Principles of Advanced Discrete Simulation, May 2018, Rome, Italy. pp.145-156, ⟨10.1145/3200921.3200932⟩
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-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-01632421v1  Conference papers
The Anh PhamThierry JéronMartin Quinson. Verifying MPI Applications with SimGridMC
Correctness 2017 - First International Workshop on Software Correctness for HPC Applications, Nov 2017, Denver, United States. pp.28-33, ⟨10.1145/3145344.3145345⟩
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⟩
hal-01630226v1  Conference papers
Anne-Cécile OrgerieBetsegaw Lemma AmershoTimothée HaudebourgMartin QuinsonMyriana Rifai et al.  Simulation Toolbox for Studying Energy Consumption in Wired Networks
CNSM: International Conference on Network and Service Management, Nov 2017, Tokyo, Japan. pp.1-5
hal-01856657v1  Conference papers
Benjamin CamusFanny DufosséAnne BlavetteMartin QuinsonAnne-Cécile Orgerie. Network-aware energy-efficient virtual machine management in distributed Cloud infrastructures with on-site photovoltaic production
SBAC-PAD 2018 - International Symposium on Computer Architecture and High Performance Computing, Sep 2018, Lyon, France. pp.1-8
hal-01415484v2  Journal articles
Augustin DegommeArnaud LegrandGeorges MarkomanolisMartin QuinsonMark Stillwell et al.  Simulating MPI applications: the SMPI approach
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2017, 28 (8), pp.14. ⟨10.1109/TPDS.2017.2669305⟩