Accéder directement au contenu

Martin Quinson

67
Documents

Présentation

Publications

Image document

Computational Science of Computer Systems

Martin Quinson
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lorraine, 2013
HDR tel-00927316v1
Image document

Découverte automatique des caractéristiques et capacités d'une plate-forme de calcul distribué

Martin Quinson
Modélisation et simulation. Ecole normale supérieure de lyon - ENS LYON, 2003. Français. ⟨NNT : ⟩
Thèse tel-00006169v1
Image document

Sthread: In-Vivo Model Checking of Multithreaded Programs

Gene Cooperman , Martin Quinson
The Art, Science, and Engineering of Programming, inPress, ⟨10.22152/programming-journal.org/2020/4/13⟩
Article dans une revue hal-02449080v1
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

Simulating MPI applications: the SMPI approach

Augustin Degomme , Arnaud Legrand , Georges Markomanolis , Martin Quinson , Mark Lee Stillwell
IEEE Transactions on Parallel and Distributed Systems, 2017, 28 (8), pp.14. ⟨10.1109/TPDS.2017.2669305⟩
Article dans une revue hal-01415484v2
Image document

Versatile, Scalable, and Accurate Simulation of Distributed Applications and Platforms

Henri Casanova , Arnaud Giersch , Arnaud Legrand , Martin Quinson , Frédéric Suter
Journal of Parallel and Distributed Computing, 2014, 74 (10), pp.2899-2917. ⟨10.1016/j.jpdc.2014.06.008⟩
Article dans une revue hal-01017319v2

Idée reçue : l'informatique nomade, c'est la liberté !

Martin Quinson , Jean-Christophe Bach
Interstices, 2013
Article dans une revue hal-00794187v1
Image document

Experimental Methodologies for Large-Scale Systems: a Survey

Jens Gustedt , Emmanuel Jeannot , Martin Quinson
Parallel Processing Letters, 2009, 19 (3), pp.399-418. ⟨10.1142/S0129626409000304⟩
Article dans une revue inria-00364180v2

Performance Evaluation of Linear Algebra Routines

Eddy Caron , Frédéric Desprez , Martin Quinson , Frédéric Suter
International Journal of High Performance Computing Applications, 2004, International Journal of High Performance Computing Applications, 18 (3), pp.373-390. ⟨10.1177/1094342004046046⟩
Article dans une revue inria-00000234v1

Scilab to Scilab//, the OURAGAN Project

Eddy Caron , Serge Chaumette , Sylvain Contassot-Vivier , Frédéric Desprez , Eric Fleury
Parallel Computing, 2001, 27 (11), pp.1497-1519. ⟨10.1016/S0167-8191(01)00101-6⟩
Article dans une revue inria-00000277v1
Image document

SmolPhone: a smartphone with energy limits

Joseph Paturel , Clément Quinson , Martin Quinson , Simon Rokicki
IGSC 2023 - 14th International Green and Sustainable Computing, C. Mani Krishna; Michele Magno, Oct 2023, Toronto, Canada. pp.4
Communication dans un congrès hal-04156447v3
Image document

A Flow-Level Wi-Fi Model for Large Scale Network Simulation

Clément Courageux-Sudan , Loic Guegan , Anne-Cécile Orgerie , Martin Quinson
MSWiM 2022 - International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, Oct 2022, Montreal, Canada. ⟨10.1145/3551659.3559022⟩
Communication dans un congrès hal-03777726v1
Image document

A Large-Scale Wired Network Energy Model for Flow-Level Simulations

Loic Guegan , Betsegaw Lemma Amersho , Anne-Cécile Orgerie , Martin Quinson
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⟩
Communication dans un congrès hal-02020045v2
Image document

Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs

The Anh Pham , Thierry Jéron , Martin Quinson
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⟩
Communication dans un congrès hal-02109769v1
Image document

Network-aware energy-efficient virtual machine management in distributed Cloud infrastructures with on-site photovoltaic production

Benjamin Camus , Fanny Dufossé , Anne Blavette , Martin Quinson , Anne-Cécile Orgerie
SBAC-PAD 2018 - International Symposium on Computer Architecture and High Performance Computing, Sep 2018, Lyon, France. pp.1-8, ⟨10.1109/cahpc.2018.8645901⟩
Communication dans un congrès hal-01856657v1
Image document

Co-simulation of FMUs and Distributed Applications with SimGrid

Benjamin Camus , Anne-Cécile Orgerie , Martin Quinson
SIGSIM-PADS ’18 : 2018 SIGSIM Principles of Advanced Discrete Simulation, May 2018, Rome, Italy. pp.145-156, ⟨10.1145/3200921.3200932⟩
Communication dans un congrès hal-01762540v1
Image document

SMPI Courseware: Teaching Distributed-Memory Computing with MPI in Simulation

Henri Casanova , Arnaud Legrand , Martin Quinson , Frédéric Suter
EduHPC-18 - Workshop on Education for High-Performance Computing, Nov 2018, Dallas, United States. pp.1-10
Communication dans un congrès hal-01891513v1
Image document

Predicting the Energy Consumption of MPI Applications at Scale Using a Single Node

Franz C. Heinrich , Tom Cornebize , Augustin Degomme , Arnaud Legrand , Alexandra Carpen-Amarie
Cluster 2017, IEEE, Sep 2017, Hawaii, United States
Communication dans un congrès hal-01523608v2
Image document

Simulation Toolbox for Studying Energy Consumption in Wired Networks

Anne-Cécile Orgerie , Betsegaw Lemma Amersho , Timothée Haudebourg , Martin Quinson , Myriana Rifai
CNSM: International Conference on Network and Service Management, Nov 2017, Tokyo, Japan. pp.1-5
Communication dans un congrès hal-01630226v1
Image document

Verifying MPI Applications with SimGridMC

The Anh Pham , Thierry Jéron , Martin Quinson
Correctness 2017 - First International Workshop on Software Correctness for HPC Applications, Nov 2017, Denver, United States. pp.28-33, ⟨10.1145/3145344.3145345⟩
Communication dans un congrès hal-01632421v1
Image document

Impact of Shutdown Techniques for Energy-Efficient Cloud Data Centers

Issam Raïs , Anne-Cécile Orgerie , Martin Quinson
ICA3PP: 16th International Conference on Algorithms and Architectures for Parallel Processing, Dec 2016, Granada, Spain. pp.203-210
Communication dans un congrès hal-01362530v1
Image document

When sharing computer science with everyone also helps avoiding digital prejudices

Marie Duflot , Martin Quinson , Florent Masseglia , Didier Roy , Julien Vaubourg
SCRATCH, Aug 2015, Amsterdam, Netherlands
Communication dans un congrès hal-01154767v1
Image document

A Teaching System To Learn Programming: the Programmer's Learning Machine

Martin Quinson , Gérald Oster
ACM Conference on Innovation and Technology in Computer Science Education 2015, Jul 2015, Vilnius, Lithuania. ⟨10.1145/2729094.2742626⟩
Communication dans un congrès hal-01238377v1
Image document

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

Marion Guthmuller , Martin Quinson , Gabriel Corona
Formal Approaches to Parallel and Distributed Systems (4PAD) - Special Session of Parallel, Distributed and network-based Processing (PDP), Mar 2015, Turku, Finland
Communication dans un congrès hal-01097204v1
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

Toward Better Simulation of MPI Applications on Ethernet/TCP Networks

Paul Bedaride , Augustin Degomme , Stéphane Genaud , Arnaud Legrand , George Markomanolis
PMBS13 - 4th International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems, Nov 2013, Denver, United States
Communication dans un congrès hal-00919507v1
Image document

On the Convergence of Experimental Methodologies for Distributed Systems: Where do we stand?

Maximiliano Geier , Lucas Nussbaum , Martin Quinson
WATERS - 4th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, Jul 2013, Paris, France
Communication dans un congrès hal-00907887v1
Image document

Scalable Multi-Purpose Network Representation for Large Scale Distributed System Simulation

Laurent Bobelin , Arnaud Legrand , Márquez Alejandro González David , Pierre Navarro , Martin Quinson
CCGrid 2012 -- The 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2012, Ottawa, Canada. pp.19
Communication dans un congrès hal-00650233v2
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
Image document

Parallel Simulation of Peer-to-Peer Systems

Martin Quinson , Cristian Rosa , Christophe Thiery
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⟩
Communication dans un congrès inria-00602216v4
Image document

Single Node On-Line Simulation of MPI Applications with SMPI

Pierre-Nicolas Clauss , Mark Stillwell , Stéphane Genaud , Frédéric Suter , Henri Casanova
International Parallel & Distributed Processing Symposium, IEEE, May 2011, Anchorange (AK), United States
Communication dans un congrès inria-00527150v1
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

Assessing the Performance of MPI Applications Through Time-Independent Trace Replay

Frédéric Desprez , George Markomanolis , Martin Quinson , Frédéric Suter
Second International Workshop on Parallel Software Tools and Tool Infrastructures (PSTI 2011) Held in conjunction with ICPP 2011, the 40th International Conference on Parallel Processing, Sep 2011, Taipei, Taiwan
Communication dans un congrès inria-00546992v1
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

Synthesizing Generic Experimental Environments for Simulation

Martin Quinson , Laurent Bobelin , Frédéric Suter
Fifth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, Nov 2010, Fukuoka, Japan
Communication dans un congrès inria-00502839v1
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

SimGrid: a Generic Framework for Large-Scale Distributed Experiments

Martin Quinson
9th International conference on Peer-to-peer computing - IEEE P2P 2009, Sep 2009, Seattle, United States
Communication dans un congrès inria-00435802v1
Image document

Byte-Range Asynchronous Locking in Distributed Settings

Martin Quinson , Flavien Vernier
17th Euromicro International Conference on Parallel, Distributed and network-based Processing - PDP 2009, Feb 2009, Weimar, Germany
Communication dans un congrès inria-00338189v1
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

A First Step Towards Automatically Building Network Representations

Lionel Eyraud-Dubois , Arnaud Legrand , Martin Quinson , Frédéric Vivien
13th International Euro-Par Conference - Euro-Par 2007, Aug 2008, Rennes, France. pp.160-169, ⟨10.1007/978-3-540-74466-5_18⟩
Communication dans un congrès inria-00407692v1
Image document

SimGrid: a Generic Framework for Large-Scale Distributed Experiments

Henri Casanova , Arnaud Legrand , Martin Quinson
10th IEEE International Conference on Computer Modeling and Simulation - EUROSIM / UKSIM 2008, Apr 2008, Cambrige, United Kingdom
Communication dans un congrès inria-00260697v1
Image document

Assessing the Quality of Automatically Built Network Representations

Lionel Eyraud-Dubois , Martin Quinson
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⟩
Communication dans un congrès inria-00188408v1
Image document

GRAS: a Research and Development Framework for Grid and P2P Infrastructures

Martin Quinson
18th IASTED International Conference on PARALLEL AND DISTRIBUTED COMPUTING AND SYSTEMS, Nov 2006, Dallas, United States
Communication dans un congrès inria-00108389v1
Image document

The SIMGRID Project: Simulation and Deployment of Distributed Applications

Martin Quinson , Henri Casanova , Arnaud Legrand , Kayo Fujiwara
The 15th IEEE International Symposium on High Performance Distributed Computing (HPDC'06), Jun 2006, Paris, France
Communication dans un congrès inria-00108428v1
Image document

Automatic deployment of the Network Weather Service using the Effective Network View

Arnaud Legrand , Martin Quinson
High-Performance Grid Computing Workshop, associated to IPDPS'04, Apr 2004, Santa Fe, New Mexico, USA
Communication dans un congrès inria-00119253v1

A Scalable Approach to Network Enabled Servers

Eddy Caron , Frédéric Desprez , Frédéric Lombard , Jean-Marc Nicod , Martin Quinson
8th International EuroPar Conference, 2002, Paderborn, Germany. pp.4
Communication dans un congrès hal-01431508v1

Une approche hiérarchique des serveurs de calculs

Eddy Caron , Frédéric Desprez , Eric Fleury , Frédéric Lombard , Jean-Marc Nicod
Françoise Baude. Calcul réparti à grande échelle, Hermès Science Paris, pp.23, 2002, 2-7462-0472-X
Chapitre d'ouvrage hal-01431513v1
Image document

Hiding Virtual Machine Introspection Pauses in Networked Sandboxes with Network Simulation

Léo Cosseron , Martin Quinson , Louis Rilling , Matthieu Simonin
RR-9528, Inria Rennes - Bretagne Atlantique & IRISA. 2023, pp.1-14
Rapport hal-04282253v1
Image document

Médiation Scientifique : une facette de nos métiers de la recherche

Antoine Rousseau , Aurélie Darnaud , Brice Goglin , Céline Acharian , Christine Leininger
[Interne] Inria. 2013, pp.34
Rapport hal-00804915v1
Image document

Improving Simulations of MPI Applications Using A Hybrid Network Model with Topology and Contention Support

Paul Bedaride , Stéphane Genaud , Augustin Degomme , Arnaud Legrand , George Markomanolis
[Research Report] RR-8300, INRIA. 2013, pp.22
Rapport hal-00821446v1
Image document

Towards Scalable, Accurate, and Usable Simulations of Distributed Applications and Systems

Olivier Beaumont , Laurent Bobelin , Henri Casanova , Pierre-Nicolas Clauss , Bruno Donassolo
[Research Report] RR-7761, INRIA. 2011, pp.36
Rapport inria-00631141v1
Image document

The Java Learning Machine: A Learning Management System Dedicated To Computer Science Education

Martin Quinson , Gérald Oster
[Research Report] RR-7537, INRIA. 2011
Rapport inria-00565344v1
Image document

Model-checking Distributed Applications with GRAS

Cristian Rosa , Martin Quinson , Stephan Merz
[Research Report] RR-7052, INRIA. 2009, pp.11
Rapport inria-00422159v1
Image document

Handling Very Large Platforms with the New SimGrid Platform Description Formalism

Marc-Eduard Frincu , Martin Quinson , Frédéric Suter
[Technical Report] RT-0348, INRIA. 2008, pp.27
Rapport inria-00256883v3
Image document

A First Step Towards Automatically Building Network Representations

Lionel Eyraud-Dubois , Arnaud Legrand , Martin Quinson , Frédéric Vivien
[Research Report] LIP RR-2007-08, INRIA, LIP. 2007
Rapport inria-00130734v3
Image document

GRAS: a Research and Development framework for Grid services

Martin Quinson
[Research Report] RR-5789, INRIA. 2006, pp.24
Rapport inria-00070232v1
Image document

An Application-Level Network Mapper

Arnaud Legrand , Frédéric Mazoit , Martin Quinson
[Research Report] RR-5792, INRIA. 2006
Rapport inria-00071214v1
Image document

A Scalable Approach to Network Enabled Servers

Eddy Caron , Philippe Combes , Sylvain Contassot-Vivier , Frédéric Desprez , Frédéric Lombard
[Research Report] RR-4501, INRIA. 2002
Rapport inria-00072087v1

A Scalable Approach to Network Enabled Servers

Eddy Caron , Philippe Combes , Sylvain Contassot-Vivier , Frédéric Desprez , Jean-Marc Nicod
[Research Report] RR-2002-21, LIP - ENS Lyon. 2002
Rapport hal-01431507v1
Image document

Dynamic Performance Forecasting for Network-Enabled Servers in a Heterogeneous Environment

Frédéric Desprez , Martin Quinson , Frédéric Suter
[Research Report] RR-4320, INRIA. 2001
Rapport inria-00072267v1

SCILAB to SCILAB// - The Ouragan Project

Eddy Caron , Serge Chaumette , Sylvain Contassot-Vivier , Frédéric Desprez , Eric Fleury
[Research Report] RR-2001-24, LIP - ENS Lyon. 2001
Rapport hal-01436419v1
Image document

SCILAB to SCILAB// - The Ouragan Project

Frédéric Desprez , Martin Quinson , Frédéric Suter , Eric Fleury , Emmanuel Jeannot
[Research Report] RR-4203, INRIA. 2001
Rapport inria-00072419v1