![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Martin Quinson
Person information
- affiliation: INRIA, France
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2013
- [b2]Martin Quinson:
Computational Science of Computer Systems. (Méthodologies d'expérimentation pour l'informatique distribuée à large échelle). University of Lorraine, Nancy, France, 2013 - 2003
- [b1]Martin Quinson:
Découverte automatique des caractéristiques et capacités d'une plate-forme de calcul distribué. (Automatic discovery of the characteristics and capacities of a distributed computational platform). École normale supérieure de Lyon, France, 2003
Journal Articles
- 2020
- [j10]Gene Cooperman, Martin Quinson:
Sthread: In-Vivo Model Checking of Multithreaded Programs. Art Sci. Eng. Program. 4(3): 13 (2020) - 2018
- [j9]Issam Raïs
, Anne-Cécile Orgerie
, Martin Quinson
, Laurent Lefèvre:
Quantifying the impact of shutdown techniques for energy-efficient data centers. Concurr. Comput. Pract. Exp. 30(17) (2018) - [j8]Marion Guthmuller, Gabriel Corona, Martin Quinson
:
System-level state equality detection for the formal dynamic verification of legacy distributed applications. J. Log. Algebraic Methods Program. 96: 1-11 (2018) - 2017
- [j7]Augustin Degomme, Arnaud Legrand, George S. Markomanolis
, Martin Quinson
, Mark Stillwell
, Frédéric Suter
:
Simulating MPI Applications: The SMPI Approach. IEEE Trans. Parallel Distributed Syst. 28(8): 2387-2400 (2017) - 2014
- [j6]Henri Casanova
, Arnaud Giersch
, Arnaud Legrand, Martin Quinson
, Frédéric Suter
:
Versatile, scalable, and accurate simulation of distributed applications and platforms. J. Parallel Distributed Comput. 74(10): 2899-2917 (2014) - 2010
- [j5]Cristian Daniel Rosa, Stephan Merz, Martin Quinson:
A Simple Model of Communication APIs - Application to Dynamic Partial-order Reduction. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010) - 2009
- [j4]Jens Gustedt
, Emmanuel Jeannot, Martin Quinson
:
Experimental Methodologies for Large-Scale Systems: a Survey. Parallel Process. Lett. 19(3): 399-418 (2009) - 2004
- [j3]Eddy Caron, Frédéric Desprez, Martin Quinson
, Frédéric Suter:
Performance Evaluation of Linear Algebra Routines. Int. J. High Perform. Comput. Appl. 18(3): 373-390 (2004) - 2002
- [j2]Martin Quinson:
Un outil de prédiction dynamique de performances dans un environnement de metacomputing. Tech. Sci. Informatiques 21(5): 685-710 (2002) - 2001
- [j1]Eddy Caron, Serge Chaumette, Sylvain Contassot-Vivier, Frederic Desprez, Eric Fleury, Claude Gomez, Maurice Goursat, Martin Quinson
, Emmanuel Jeannot, Dominique Lazure, Frédéric Lombard, Jean-Marc Nicod, Laurent Philippe, Pierre Ramet
, Jean Roman, Frank Rubi, Serge Steer, Frédéric Suter, Gil Utard:
SCILAB to SCILAB//: The OURAGAN project. Parallel Comput. 27(11): 1497-1519 (2001)
Conference and Workshop Papers
- 2024
- [c37]Léo Cosseron
, Louis Rilling
, Matthieu Simonin
, Martin Quinson
:
Simulating the Network Environment of Sandboxes to Hide Virtual Machine Introspection Pauses. EuroSec@EUROSYS 2024: 1-7 - 2023
- [c36]Joseph Paturel
, Clément Quinson
, Martin Quinson
, Simon Rokicki
:
SmolPhone: a smartphone with energy limits. IGSC 2023: 18-21 - [c35]Clément Courageux-Sudan, Anne-Cécile Orgerie, Martin Quinson:
A Wi-Fi Energy Model for Scalable Simulation. WoWMoM 2023: 232-241 - 2022
- [c34]Clément Courageux-Sudan, Loïc Guegan
, Anne-Cécile Orgerie, Martin Quinson:
A Flow-Level Wi-Fi Model for Large Scale Network Simulation. MSWiM 2022: 111-119 - 2021
- [c33]Mathieu Laurent, Emmanuelle Saillard, Martin Quinson:
The MPI Bugs Initiative: a Framework for MPI Verification Tools Evaluation. Correctness@SC 2021: 1-9 - [c32]Adrien Gougeon, Benjamin Camus, François Lemercier, Martin Quinson, Anne Blavette, Anne-Cécile Orgerie:
Co-Simulation of Power Systems and Computing Systems using the FMI Standard. IM 2021: 730-731 - [c31]Clément Courageux-Sudan, Anne-Cécile Orgerie, Martin Quinson:
Automated performance prediction of microservice applications using simulation. MASCOTS 2021: 1-8 - 2019
- [c30]Loic Guegan
, Betsegaw Lemma Amersho, Anne-Cécile Orgerie
, Martin Quinson:
A Large-Scale Wired Network Energy Model for Flow-Level Simulations. AINA 2019: 1047-1058 - [c29]The Anh Pham
, Thierry Jéron
, Martin Quinson
:
Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs. FORTE 2019: 224-241 - 2018
- [c28]Benjamin Camus, Anne-Cécile Orgerie
, Martin Quinson
:
Co-simulation of FMUs and Distributed Applications with SimGrid. SIGSIM-PADS 2018: 145-156 - [c27]Benjamin Camus, Fanny Dufossé, Anne Blavette, Martin Quinson
, Anne-Cécile Orgerie:
Network-Aware Energy-Efficient Virtual Machine Management in Distributed Cloud Infrastructures with On-Site Photovoltaic Production. SBAC-PAD 2018: 86-92 - [c26]Henri Casanova, Arnaud Legrand, Martin Quinson
, Frédéric Suter
:
SMPI Courseware: Teaching Distributed-Memory Computing with MPI in Simulation. EduHPC@SC 2018: 21-30 - 2017
- [c25]Franz Christian Heinrich, Tom Cornebize, Augustin Degomme, Arnaud Legrand, Alexandra Carpen-Amarie, Sascha Hunold
, Anne-Cécile Orgerie, Martin Quinson
:
Predicting the Energy-Consumption of MPI Applications at Scale Using Only a Single Node. CLUSTER 2017: 92-102 - [c24]Anne-Cécile Orgerie, Betsegaw Lemma Amersho, Timothée Haudebourg, Martin Quinson
, Myriana Rifai, Dino Lopez Pacheco, Laurent Lefèvre:
Simulation toolbox for studying energy consumption in wired networks. CNSM 2017: 1-5 - [c23]The Anh Pham, Thierry Jéron
, Martin Quinson
:
Verifying MPI Applications with SimGridMC. CORRECTNESS@SC 2017: 28-33 - 2016
- [c22]Issam Raïs
, Anne-Cécile Orgerie, Martin Quinson
:
Impact of Shutdown Techniques for Energy-Efficient Cloud Data Centers. ICA3PP 2016: 203-210 - 2015
- [c21]Martin Quinson
, Gérald Oster:
A Teaching System to Learn Programming: the Programmer's Learning Machine. ITiCSE 2015: 260-265 - [c20]Marion Guthmuller, Martin Quinson
, Gabriel Corona:
System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications. PDP 2015: 451-458 - 2013
- [c19]Paul Bédaride, Augustin Degomme, Stéphane Genaud
, Arnaud Legrand, George S. Markomanolis
, Martin Quinson
, Mark Stillwell
, Frédéric Suter
, Brice Videau:
Toward Better Simulation of MPI Applications on Ethernet/TCP Networks. PMBS@SC 2013: 158-181 - 2012
- [c18]Laurent Bobelin, Arnaud Legrand, David A. González Márquez, Pierre Navarro, Martin Quinson
, Frédéric Suter
, Christophe Thiery:
Scalable Multi-purpose Network Representation for Large Scale Distributed System Simulation. CCGRID 2012: 220-227 - [c17]Martin Quinson
, Cristian Daniel Rosa, Christophe Thiery:
Parallel Simulation of Peer-to-Peer Systems. CCGRID 2012: 668-675 - 2011
- [c16]Stephan Merz, Martin Quinson
, Cristian Daniel Rosa:
SimGrid MC: Verification Support for a Multi-API Simulation Platform. FMOODS/FORTE 2011: 274-288 - [c15]Frederic Desprez, George S. Markomanolis
, Martin Quinson
, Frédéric Suter:
Assessing the Performance of MPI Applications through Time-Independent Trace Replay. ICPP Workshops 2011: 467-476 - [c14]Pierre-Nicolas Clauss, Mark Stillwell
, Stéphane Genaud
, Frédéric Suter
, Henri Casanova
, Martin Quinson
:
Single Node On-Line Simulation of MPI Applications with SMPI. IPDPS 2011: 664-675 - 2010
- [c13]Martin Quinson
, Laurent Bobelin, Frédéric Suter
:
Synthesizing Generic Experimental Environments for Simulation. 3PGCIC 2010: 222-229 - [c12]Martin Quinson:
Tutorial I: Simulation for large-scale distributed computing research. HPCS 2010 - [c11]Sabina Akhtar, Stephan Merz, Martin Quinson
:
A High-Level Language for Modeling Algorithms and Their Properties. SBMF 2010: 49-63 - 2009
- [c10]Martin Quinson
:
SimGrid: a Generic Framework for Large-Scale Distributed Experiments. Peer-to-Peer Computing 2009: 95-96 - [c9]Martin Quinson
, Flavien Vernier:
Byte-Range Asynchronous Locking in Distributed Settings. PDP 2009: 191-195 - 2008
- [c8]Henri Casanova, Arnaud Legrand, Martin Quinson
:
SimGrid: A Generic Framework for Large-Scale Distributed Experiments. UKSim 2008: 126-131 - 2007
- [c7]Lionel Eyraud-Dubois, Martin Quinson
:
Assessing the Quality of Automatically Built Network Representations. CCGRID 2007: 795-800 - [c6]Lionel Eyraud-Dubois, Arnaud Legrand, Martin Quinson, Frédéric Vivien:
A First Step Towards Automatically Building Network Representations. Euro-Par 2007: 160-169 - 2006
- [c5]Arnaud Legrand, Martin Quinson, Henri Casanova, Kayo Fujiwara:
The SIMGRID Project Simulation and Deployment of Distributed Applications. HPDC 2006: 385-386 - 2004
- [c4]Arnaud Legrand, Martin Quinson:
Automatic Deployment of the Network Weather Service Using the Effective Network View. IPDPS 2004 - 2002
- [c3]Philippe Combes, Frédéric Lombard, Martin Quinson, Frédéric Suter
:
A Scalable Approach to Network Enabled Servers. ASIAN 2002: 110-124 - [c2]Eddy Caron, Frederic Desprez, Frédéric Lombard, Jean-Marc Nicod, Laurent Philippe, Martin Quinson, Frédéric Suter:
A Scalable Approach to Network Enabled Servers (Research Note). Euro-Par 2002: 907-910 - [c1]Martin Quinson
:
Dynamic Performance Forcasting for Network-Enabled Servers in a Metacomputing Environment. IPDPS 2002
Informal and Other Publications
- 2020
- [i3]Gene Cooperman, Martin Quinson:
Sthread: In-Vivo Model Checking of Multithreaded Programs. CoRR abs/2002.06223 (2020) - 2013
- [i2]Henri Casanova, Arnaud Giersch, Arnaud Legrand, Martin Quinson, Frédéric Suter:
SimGrid: a Sustained Effort for the Versatile Simulation of Large Scale Distributed Systems. CoRR abs/1309.1630 (2013) - 2007
- [i1]Lionel Eyraud-Dubois, Arnaud Legrand, Martin Quinson, Frédéric Vivien:
A First Step Towards Automatically Building Network Representations. CoRR abs/cs/0702076 (2007)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-19 21:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint