- 42
- 9
- 8
- 7
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Martin Quinson
80
Documents
Presentation
Publications
- 11
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 22
- 16
- 13
- 10
- 8
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 4
- 1
- 4
- 1
- 2
- 6
- 6
- 1
- 4
- 2
- 7
- 1
- 7
- 4
- 5
- 3
- 2
- 4
- 2
- 3
- 4
- 4
|
|
Computational Science of Computer SystemsDistributed, Parallel, and Cluster Computing [cs.DC]. Université de Lorraine, 2013
Habilitation à diriger des recherches
tel-00927316v1
|
|
|
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. ⟨NNT : ⟩
Theses
tel-00006169v1
|
|
|
Simulating the Network Environment of Sandboxes to Hide Virtual Machine Introspection PausesEuroSec 2024 - 17th European Workshop on Systems Security, Apr 2024, Athène, Greece. pp.1-7, ⟨10.1145/3642974.3652280⟩
Conference papers
hal-04537165v1
|
|
|
Studying the end-to-end performance, energy consumption and carbon footprint of fog applicationsISCC 2024 - 29th IEEE Symposium on Computers and Communications, Jun 2024, Paris, France. pp.1-7
Conference papers
hal-04581677v1
|
|
|
SmolPhone: a smartphone with energy limitsIGSC 2023 - 14th International Green and Sustainable Computing, C. Mani Krishna; Michele Magno, Oct 2023, Toronto, Canada. pp.4
Conference papers
hal-04156447v3
|
|
|
A Wi-Fi Energy Model for Scalable SimulationWoWMoM 2023 - 24th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, Jun 2023, Boston (MA), United States. pp.1-10
Conference papers
hal-04055720v1
|
|
|
A Flow-Level Wi-Fi Model for Large Scale Network SimulationMSWiM 2022 - International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, Oct 2022, Montreal, Canada. ⟨10.1145/3551659.3559022⟩
Conference papers
hal-03777726v1
|
|
|
Automated performance prediction of microservice applications using simulationMASCOTS 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⟩
Conference papers
hal-03389508v1
|
|
|
The MPI BUGS INITIATIVE: a Framework for MPI Verification Tools EvaluationCorrectness 2021: Fifth International Workshop on Software Correctness for HPC Applications, Nov 2021, St. Louis, United States. pp.1-9
Conference papers
hal-03474762v1
|
|
|
A Large-Scale Wired Network Energy Model for Flow-Level SimulationsAINA 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⟩
Conference papers
hal-02020045v2
|
|
|
Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed ProgramsFORTE 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⟩
Conference papers
hal-02109769v1
|
|
|
Network-aware energy-efficient virtual machine management in distributed Cloud infrastructures with on-site photovoltaic productionSBAC-PAD 2018 - International Symposium on Computer Architecture and High Performance Computing, Sep 2018, Lyon, France. pp.1-8, ⟨10.1109/cahpc.2018.8645901⟩
Conference papers
hal-01856657v1
|
|
|
Co-simulation of FMUs and Distributed Applications with SimGridSIGSIM-PADS ’18 : 2018 SIGSIM Principles of Advanced Discrete Simulation, May 2018, Rome, Italy. pp.145-156, ⟨10.1145/3200921.3200932⟩
Conference papers
hal-01762540v1
|
SMPI Courseware: Teaching Distributed-Memory Computing with MPI in SimulationEduHPC-18 - Workshop on Education for High-Performance Computing, Nov 2018, Dallas, United States. ⟨10.1109/eduhpc.2018.00006⟩
Conference papers
hal-04480028v1
|
|
|
|
SMPI Courseware: Teaching Distributed-Memory Computing with MPI in SimulationEduHPC-18 - Workshop on Education for High-Performance Computing, Nov 2018, Dallas, United States. pp.1-10
Conference papers
hal-01891513v1
|
|
|
Verifying MPI Applications with SimGridMCCorrectness 2017 - First International Workshop on Software Correctness for HPC Applications, Nov 2017, Denver, United States. pp.28-33, ⟨10.1145/3145344.3145345⟩
Conference papers
hal-01632421v1
|
|
|
Simulation Toolbox for Studying Energy Consumption in Wired NetworksCNSM: International Conference on Network and Service Management, Nov 2017, Tokyo, Japan. pp.1-5
Conference papers
hal-01630226v1
|
|
|
Predicting the Energy Consumption of MPI Applications at Scale Using a Single NodeCluster 2017, IEEE, Sep 2017, Hawaii, United States
Conference papers
hal-01523608v2
|
|
|
Impact of Shutdown Techniques for Energy-Efficient Cloud Data CentersICA3PP: 16th International Conference on Algorithms and Architectures for Parallel Processing, Dec 2016, Granada, Spain. pp.203-210
Conference papers
hal-01362530v1
|
|
|
When sharing computer science with everyone also helps avoiding digital prejudicesSCRATCH, Aug 2015, Amsterdam, Netherlands
Conference papers
hal-01154767v1
|
|
|
System-level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed ApplicationsFormal Approaches to Parallel and Distributed Systems (4PAD) - Special Session of Parallel, Distributed and network-based Processing (PDP), Mar 2015, Turku, Finland
Conference papers
hal-01097204v1
|
|
|
A Teaching System To Learn Programming: the Programmer's Learning MachineACM Conference on Innovation and Technology in Computer Science Education 2015, Jul 2015, Vilnius, Lithuania. ⟨10.1145/2729094.2742626⟩
Conference papers
hal-01238377v1
|
|
|
System-level State Equality Detection for the Dynamic Verification of Distributed ApplicationsEuroSys - 9th European Conference on Computer Systems, Apr 2014, Amsterdam, Netherlands
Conference papers
hal-00997941v1
|
|
|
Toward Better Simulation of MPI Applications on Ethernet/TCP NetworksPMBS13 - 4th International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems, Nov 2013, Denver, United States
Conference papers
hal-00919507v1
|
|
|
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
Conference papers
hal-00907887v1
|
|
|
Scalable Multi-Purpose Network Representation for Large Scale Distributed System SimulationCCGrid 2012 -- The 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2012, Ottawa, Canada. pp.19
Conference papers
hal-00650233v2
|
|
|
Assessing the Performance of MPI Applications Through Time-Independent Trace ReplaySecond 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
Conference papers
inria-00546992v1
|
|
|
Parallel Simulation of Peer-to-Peer SystemsCCGrid 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⟩
Conference papers
inria-00602216v4
|
|
|
Émulation d'applications distribuées sur des plates-formes virtuelles simuléesRencontres francophones du Parallélisme (RenPar'20), May 2011, Saint Malo, France
Conference papers
inria-00565341v1
|
|
|
Single Node On-Line Simulation of MPI Applications with SMPIInternational Parallel & Distributed Processing Symposium, IEEE, May 2011, Anchorange (AK), United States
Conference papers
inria-00527150v1
|
|
|
SimGrid MC: Verification Support for a Multi-API Simulation Platform13th 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⟩
Conference papers
inria-00593505v1
|
|
|
A High-Level Language for Modeling Algorithms and their Properties13th Brazilian Symposium on Formal Methods - SBMF'2010, Nov 2010, Natal, Brazil
Conference papers
inria-00537779v1
|
|
|
Synthesizing Generic Experimental Environments for SimulationFifth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, Nov 2010, Fukuoka, Japan
Conference papers
inria-00502839v1
|
|
|
A Simple Model of Communication APIs - Application to Dynamic Partial-order Reduction10th International Workshop on Automated Verification of Critical Systems - AVOCS 2010, Sep 2010, Düsseldorf, Germany
Conference papers
inria-00532889v1
|
|
|
Extending PlusCal: A Language for Describing Concurrent and Distributed AlgorithmsActes des deuxièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, Mar 2010, Pau, France
Conference papers
inria-00544137v1
|
|
|
Model-checking Distributed Applications with GRASExploiting Concurrency Efficiently and Correctly - EC2 workshop associated to CAV 2009, Jun 2009, Grenoble, France
Conference papers
inria-00378374v2
|
|
|
SimGrid: a Generic Framework for Large-Scale Distributed Experiments9th International conference on Peer-to-peer computing - IEEE P2P 2009, Sep 2009, Seattle, United States
Conference papers
inria-00435802v1
|
|
|
Byte-Range Asynchronous Locking in Distributed Settings17th Euromicro International Conference on Parallel, Distributed and network-based Processing - PDP 2009, Feb 2009, Weimar, Germany
Conference papers
inria-00338189v1
|
A First Step Towards Automatically Building Network Representations13th International Euro-Par Conference - Euro-Par 2007, Aug 2008, Rennes, France. pp.160-169, ⟨10.1007/978-3-540-74466-5_18⟩
Conference papers
inria-00407692v1
|
|
|
|
SimGrid: a Generic Framework for Large-Scale Distributed Experiments10th IEEE International Conference on Computer Modeling and Simulation - EUROSIM / UKSIM 2008, Apr 2008, Cambrige, United Kingdom
Conference papers
inria-00260697v1
|
|
|
Assessing the Quality of Automatically Built Network RepresentationsWorkshop 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⟩
Conference papers
inria-00188408v1
|
|
|
GRAS: a Research and Development Framework for Grid and P2P Infrastructures18th IASTED International Conference on PARALLEL AND DISTRIBUTED COMPUTING AND SYSTEMS, Nov 2006, Dallas, United States
Conference papers
inria-00108389v1
|
|
|
The SIMGRID Project: Simulation and Deployment of Distributed ApplicationsThe 15th IEEE International Symposium on High Performance Distributed Computing (HPDC'06), Jun 2006, Paris, France
Conference papers
inria-00108428v1
|
|
|
Automatic deployment of the Network Weather Service using the Effective Network ViewHigh-Performance Grid Computing Workshop, associated to IPDPS'04, Apr 2004, Santa Fe, New Mexico, USA
Conference papers
inria-00119253v1
|
A Scalable Approach to Network Enabled Servers8th International EuroPar Conference, 2002, Paderborn, Germany. pp.4
Conference papers
hal-01431508v1
|
|
|
Quantifying the tiny-Small design of the SmolPhoneICT4S 2024 - 10th International Conference on ICT for Sustainability, Jun 2024, Stockhlom, Sweden. pp.1-4, 2024
Conference poster
hal-04589322v1
|
|
|
Dataflow Algorithm aRchitecture co-design of SKA pipeline for Exascale Radio AstronomyISC High Performance 2021, Jun 2021, Virtual conference, France. pp.1
Conference poster
hal-03233205v2
|
|
|
Co-Simulation of Power Systems and Computing Systems using the FMI StandardIM 2021 - IFIP/IEEE International Symposium on Integrated Network Management, May 2021, Bordeaux / Virtual, France. , pp.130-131
Conference poster
hal-03217565v1
|
|
|
Prototypage rapide d'un supercalculateur dédié à la radioastronomieL'Interdisciplinarité. Voyages au-delà des disciplines, CNRS Edition, 2023, 978-2-271-13983-2
Book sections
hal-03704333v1
|
Une approche hiérarchique des serveurs de calculsFrançoise Baude. Calcul réparti à grande échelle, Hermès Science Paris, pp.23, 2002, 2-7462-0472-X
Book sections
hal-01431513v1
|
|
|
Predicting the Performance and the Power Consumption of MPI Applications With SimGrid2017
Preprints, Working Papers, ...
hal-01446134v1
|
|
|
System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications2015
Preprints, Working Papers, ...
hal-01558049v1
|
SimGrid: a Sustained Effort for the Versatile Simulation of Large Scale Distributed Systems2013
Preprints, Working Papers, ...
hal-00926437v1
|