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⟩