|
Towards Efficient Verification of Parallel Applications with Mc SimGrid
Mathieu Laurent
,
Thierry Jéron
,
Martin Quinson
FORTE 2025 - 45th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Carla Ferreira, Claudio A. Mezzina, Jun 2025, Lille, France
Communication dans un congrès
hal-05042973
v1
|
|
Studying the end-to-end performance, energy consumption and carbon footprint of fog applications
Clément Courageux-Sudan
,
Anne-Cécile Orgerie
,
Martin Quinson
ISCC 2024 - 29th IEEE Symposium on Computers and Communications, Jun 2024, Paris, France. pp.1-7
Communication dans un congrès
hal-04581677
v1
|
|
Simulating the Network Environment of Sandboxes to Hide Virtual Machine Introspection Pauses
Léo Cosseron
,
Louis Rilling
,
Matthieu Simonin
,
Martin Quinson
Communication dans un congrès
hal-04537165
v1
|
|
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-04156447
v3
|
|
A Wi-Fi Energy Model for Scalable Simulation
Clément Courageux-Sudan
,
Anne-Cécile Orgerie
,
Martin Quinson
WoWMoM 2023 - 24th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, Jun 2023, Boston (MA), United States. pp.1-10
Communication dans un congrès
hal-04055720
v1
|
|
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-03777726
v1
|
|
Automated performance prediction of microservice applications using simulation
Clément Courageux-Sudan
,
Anne-Cécile Orgerie
,
Martin Quinson
MASCOTS 2021 - International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Nov 2021, virtually, France. pp.1-8, ⟨10.1109/MASCOTS53633.2021.9614260⟩
Communication dans un congrès
hal-03389508
v1
|
|
The MPI BUGS INITIATIVE: a Framework for MPI Verification Tools Evaluation
Mathieu Laurent
,
Emmanuelle Saillard
,
Martin Quinson
Correctness 2021: Fifth International Workshop on Software Correctness for HPC Applications, Nov 2021, St. Louis, United States. pp.1-9
Communication dans un congrès
hal-03474762
v1
|
|
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-02109769
v1
|
|
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-02020045
v2
|
|
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-01891513
v1
|
|
SMPI Courseware: Teaching Distributed-Memory Computing with MPI in Simulation
Henri Casanova
,
Arnaud Legrand
,
Martin Quinson
,
Frederic Suter
Communication dans un congrès
hal-04480028
v1
|
|
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-01856657
v1
|
|
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-01762540
v1
|
|
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
et al.
Cluster 2017, IEEE, Sep 2017, Hawaii, United States
Communication dans un congrès
hal-01523608
v2
|
|
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-01632421
v1
|
|
Simulation Toolbox for Studying Energy Consumption in Wired Networks
Anne-Cécile Orgerie
,
Betsegaw Lemma Amersho
,
Timothée Haudebourg
,
Martin Quinson
,
Myriana Rifai
et al.
CNSM: International Conference on Network and Service Management, Nov 2017, Tokyo, Japan. pp.1-5
Communication dans un congrès
hal-01630226
v1
|
|
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-01362530
v1
|
|
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-01097204
v1
|
|
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-01238377
v1
|
|
When sharing computer science with everyone also helps avoiding digital prejudices
Marie Duflot
,
Martin Quinson
,
Florent Masseglia
,
Didier Roy
,
Julien Vaubourg
et al.
SCRATCH, Aug 2015, Amsterdam, Netherlands
Communication dans un congrès
hal-01154767
v1
|
|
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-00997941
v1
|
|
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-00907887
v1
|
|
Toward Better Simulation of MPI Applications on Ethernet/TCP Networks
Paul Bedaride
,
Augustin Degomme
,
Stéphane Genaud
,
Arnaud Legrand
,
George Markomanolis
et al.
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-00919507
v1
|
|
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
et al.
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-00650233
v2
|
|
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-00602216
v4
|
|
É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-00565341
v1
|
|
Single Node On-Line Simulation of MPI Applications with SMPI
Pierre-Nicolas Clauss
,
Mark Stillwell
,
Stéphane Genaud
,
Frédéric Suter
,
Henri Casanova
et al.
International Parallel & Distributed Processing Symposium, IEEE, May 2011, Anchorange (AK), United States
Communication dans un congrès
inria-00527150
v1
|
|
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-00593505
v1
|
|
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-00546992
v1
|
|
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-00544137
v1
|
|
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-00502839
v1
|
|
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-00537779
v1
|
|
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-00532889
v1
|
|
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-00338189
v1
|
|
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-00435802
v1
|
|
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-00378374
v2
|
|
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-00260697
v1
|
|
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-00188408
v1
|
|
A First Step Towards Automatically Building Network Representations
Lionel Eyraud-Dubois
,
Arnaud Legrand
,
Martin Quinson
,
Frédéric Vivien
Communication dans un congrès
istex
inria-00407692
v1
|
|
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-00108428
v1
|
|
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-00108389
v1
|
|
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-00119253
v1
|
|
A Scalable Approach to Network Enabled Servers
Eddy Caron
,
Frédéric Desprez
,
Frédéric Lombard
,
Jean-Marc Nicod
,
Martin Quinson
et al.
8th International EuroPar Conference, 2002, Paderborn, Germany. pp.4
Communication dans un congrès
hal-01431508
v1
|