Martin Quinson

57 papers A 5B 8C 9Journal 15Unranked 18

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Lowering entry barriers to developing custom simulators of distributed applications and platforms with SimGrid. Parallel Comput. Henri Casanova, Arnaud Giersch, Arnaud Legrand, Martin Quinson, Frédéric Suter
2025	—	`conf`	Mitigation of the Impact of Virtual Machine Introspection Pauses on Multi-core Virtual Machines. ESORICS Workshops (3) Léo Cosseron, Louis Rilling, Martin Quinson
2025	C	`conf`	Towards Efficient Verification of Parallel Applications with Mc SimGrid. FORTE Mathieu Laurent, Thierry Jéron, Martin Quinson
2025	J	`jnl`	Towards Efficient Verification of Parallel Applications with Mc SimGrid. CoRR Matthieu Laurent, Thierry Jéron, Martin Quinson
2024	—	`conf`	Simulating the Network Environment of Sandboxes to Hide Virtual Machine Introspection Pauses. EuroSec@EUROSYS Léo Cosseron, Louis Rilling, Matthieu Simonin, Martin Quinson
2024	C	`conf`	Studying the end-to-end performance, energy consumption and carbon footprint of fog applications. ISCC Clément Courageux-Sudan, Anne-Cécile Orgerie, Martin Quinson
2023	C	`conf`	A Wi-Fi Energy Model for Scalable Simulation. WoWMoM Clément Courageux-Sudan, Anne-Cécile Orgerie, Martin Quinson
2023	—	`conf`	SmolPhone: a smartphone with energy limits. IGSC Joseph Paturel, Clément Quinson, Martin Quinson, Simon Rokicki
2022	A	`conf`	A Flow-Level Wi-Fi Model for Large Scale Network Simulation. MSWiM Clément Courageux-Sudan, Loïc Guegan, Anne-Cécile Orgerie, Martin Quinson
2021	B	`conf`	Automated performance prediction of microservice applications using simulation. MASCOTS Clément Courageux-Sudan, Anne-Cécile Orgerie, Martin Quinson
2021	B	`conf`	Co-Simulation of Power Systems and Computing Systems using the FMI Standard. IM Adrien Gougeon, Benjamin Camus, François Lemercier, Martin Quinson, Anne Blavette, Anne-Cécile Orgerie
2021	—	`conf`	The MPI Bugs Initiative: a Framework for MPI Verification Tools Evaluation. Correctness@SC Mathieu Laurent, Emmanuelle Saillard, Martin Quinson
2020	J	`jnl`	Sthread: In-Vivo Model Checking of Multithreaded Programs. CoRR Gene Cooperman, Martin Quinson
2020	J	`jnl`	Sthread: In-Vivo Model Checking of Multithreaded Programs. Art Sci. Eng. Program. Gene Cooperman, Martin Quinson
2019	B	`conf`	A Large-Scale Wired Network Energy Model for Flow-Level Simulations. AINA Loic Guegan, Betsegaw Lemma Amersho, Anne-Cécile Orgerie, Martin Quinson
2019	C	`conf`	Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs. FORTE The Anh Pham, Thierry Jéron, Martin Quinson
2018	—	`conf`	Co-simulation of FMUs and Distributed Applications with SimGrid. SIGSIM-PADS Benjamin Camus, Anne-Cécile Orgerie, Martin Quinson
2018	C	`conf`	Network-Aware Energy-Efficient Virtual Machine Management in Distributed Cloud Infrastructures with On-Site Photovoltaic Production. SBAC-PAD Benjamin Camus, Fanny Dufossé, Anne Blavette, Martin Quinson, Anne-Cécile Orgerie
2018	J	`jnl`	Quantifying the impact of shutdown techniques for energy-efficient data centers. Concurr. Comput. Pract. Exp. Issam Raïs, Anne-Cécile Orgerie, Martin Quinson, Laurent Lefèvre
2018	—	`conf`	SMPI Courseware: Teaching Distributed-Memory Computing with MPI in Simulation. EduHPC@SC Henri Casanova, Arnaud Legrand, Martin Quinson, Frédéric Suter
2018	J	`jnl`	System-level state equality detection for the formal dynamic verification of legacy distributed applications. J. Log. Algebraic Methods Program. Marion Guthmuller, Gabriel Corona, Martin Quinson
2017	C	`conf`	Predicting the Energy-Consumption of MPI Applications at Scale Using Only a Single Node. CLUSTER Franz Christian Heinrich, Tom Cornebize, Augustin Degomme, Arnaud Legrand, Alexandra Carpen-Amarie, Sascha Hunold, Anne-Cécile Orgerie, Martin Quinson
2017	J	`jnl`	Simulating MPI Applications: The SMPI Approach. IEEE Trans. Parallel Distributed Syst. Augustin Degomme, Arnaud Legrand, George S. Markomanolis, Martin Quinson, Mark Stillwell, Frédéric Suter
2017	B	`conf`	Simulation toolbox for studying energy consumption in wired networks. CNSM Anne-Cécile Orgerie, Betsegaw Lemma Amersho, Timothée Haudebourg, Martin Quinson, Myriana Rifai, Dino Lopez Pacheco, Laurent Lefèvre
2017	—	`conf`	Verifying MPI Applications with SimGridMC. CORRECTNESS@SC The Anh Pham, Thierry Jéron, Martin Quinson
2016	C	`conf`	Impact of Shutdown Techniques for Energy-Efficient Cloud Data Centers. ICA3PP Issam Raïs, Anne-Cécile Orgerie, Martin Quinson
2015	B	`conf`	A Teaching System to Learn Programming: the Programmer's Learning Machine. ITiCSE Martin Quinson, Gérald Oster
2015	C	`conf`	System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications. PDP Marion Guthmuller, Martin Quinson, Gabriel Corona
2014	J	`jnl`	Versatile, scalable, and accurate simulation of distributed applications and platforms. J. Parallel Distributed Comput. Henri Casanova, Arnaud Giersch, Arnaud Legrand, Martin Quinson, Frédéric Suter
2013	—	`book`	Computational Science of Computer Systems. (Méthodologies d'expérimentation pour l'informatique distribuée à large échelle). Martin Quinson
2013	J	`jnl`	SimGrid: a Sustained Effort for the Versatile Simulation of Large Scale Distributed Systems. CoRR Henri Casanova, Arnaud Giersch, Arnaud Legrand, Martin Quinson, Frédéric Suter
2013	—	`conf`	Toward Better Simulation of MPI Applications on Ethernet/TCP Networks. PMBS@SC Paul Bédaride, Augustin Degomme, Stéphane Genaud, Arnaud Legrand, George S. Markomanolis, Martin Quinson, Mark Stillwell, Frédéric Suter, Brice Videau
2012	B	`conf`	Parallel Simulation of Peer-to-Peer Systems. CCGRID Martin Quinson, Cristian Daniel Rosa, Christophe Thiery
2012	B	`conf`	Scalable Multi-purpose Network Representation for Large Scale Distributed System Simulation. CCGRID Laurent Bobelin, Arnaud Legrand, David A. González Márquez, Pierre Navarro, Martin Quinson, Frédéric Suter, Christophe Thiery
2011	—	`conf`	Assessing the Performance of MPI Applications through Time-Independent Trace Replay. ICPP Workshops Frederic Desprez, George S. Markomanolis, Martin Quinson, Frédéric Suter
2011	—	`conf`	SimGrid MC: Verification Support for a Multi-API Simulation Platform. FMOODS/FORTE Stephan Merz, Martin Quinson, Cristian Daniel Rosa
2011	A	`conf`	Single Node On-Line Simulation of MPI Applications with SMPI. IPDPS Pierre-Nicolas Clauss, Mark Stillwell, Stéphane Genaud, Frédéric Suter, Henri Casanova, Martin Quinson
2010	—	`conf`	A High-Level Language for Modeling Algorithms and Their Properties. SBMF Sabina Akhtar, Stephan Merz, Martin Quinson
2010	J	`jnl`	A Simple Model of Communication APIs - Application to Dynamic Partial-order Reduction. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Cristian Daniel Rosa, Stephan Merz, Martin Quinson
2010	—	`conf`	Synthesizing Generic Experimental Environments for Simulation. 3PGCIC Martin Quinson, Laurent Bobelin, Frédéric Suter
2010	—	`conf`	Tutorial I: Simulation for large-scale distributed computing research. HPCS Martin Quinson
2009	C	`conf`	Byte-Range Asynchronous Locking in Distributed Settings. PDP Martin Quinson, Flavien Vernier
2009	J	`jnl`	Experimental Methodologies for Large-Scale Systems: a Survey. Parallel Process. Lett. Jens Gustedt, Emmanuel Jeannot, Martin Quinson
2009	—	`conf`	SimGrid: a Generic Framework for Large-Scale Distributed Experiments. Peer-to-Peer Computing Martin Quinson
2008	—	`conf`	SimGrid: A Generic Framework for Large-Scale Distributed Experiments. UKSim Henri Casanova, Arnaud Legrand, Martin Quinson
2007	J	`jnl`	A First Step Towards Automatically Building Network Representations CoRR Lionel Eyraud-Dubois, Arnaud Legrand, Martin Quinson, Frédéric Vivien
2007	—	`conf`	A First Step Towards Automatically Building Network Representations. Euro-Par Lionel Eyraud-Dubois, Arnaud Legrand, Martin Quinson, Frédéric Vivien
2007	B	`conf`	Assessing the Quality of Automatically Built Network Representations. CCGRID Lionel Eyraud-Dubois, Martin Quinson
2006	A	`conf`	The SIMGRID Project Simulation and Deployment of Distributed Applications. HPDC Arnaud Legrand, Martin Quinson, Henri Casanova, Kayo Fujiwara
2004	A	`conf`	Automatic Deployment of the Network Weather Service Using the Effective Network View. IPDPS Arnaud Legrand, Martin Quinson
2004	J	`jnl`	Performance Evaluation of Linear Algebra Routines. Int. J. High Perform. Comput. Appl. Eddy Caron, Frédéric Desprez, Martin Quinson, Frédéric Suter
2003	—	`—`	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). Martin Quinson
2002	—	`conf`	A Scalable Approach to Network Enabled Servers (Research Note). Euro-Par Eddy Caron, Frederic Desprez, Frédéric Lombard, Jean-Marc Nicod, Laurent Philippe, Martin Quinson, Frédéric Suter
2002	—	`conf`	A Scalable Approach to Network Enabled Servers. ASIAN Philippe Combes, Frédéric Lombard, Martin Quinson, Frédéric Suter
2002	A	`conf`	Dynamic Performance Forcasting for Network-Enabled Servers in a Metacomputing Environment. IPDPS Martin Quinson
2002	J	`jnl`	Un outil de prédiction dynamique de performances dans un environnement de metacomputing. Tech. Sci. Informatiques Martin Quinson
2001	J	`jnl`	SCILAB to SCILAB Parallel Comput. 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