Publications HAL de martin,quinson;m,quinson

2024

Conference papers

ref_biblio
Léo Cosseron, Louis Rilling, Matthieu Simonin, Martin Quinson. Simulating the Network Environment of Sandboxes to Hide Virtual Machine Introspection Pauses. EuroSec 2024 - 17th European Workshop on Systems Security, Apr 2024, Athène, Greece. pp.1-7, ⟨10.1145/3642974.3652280⟩. ⟨hal-04537165⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04537165/file/eurosec24.pdf BibTex

2023

Conference papers

ref_biblio
Joseph Paturel, Clément Quinson, Martin Quinson, Simon Rokicki. SmolPhone: a smartphone with energy limits. IGSC 2023 - 14th International Green and Sustainable Computing, C. Mani Krishna; Michele Magno, Oct 2023, Toronto, Canada. pp.4. ⟨hal-04156447v3⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04156447/file/smolphone.pdf BibTex
ref_biblio
Clément Courageux-Sudan, Anne-Cécile Orgerie, Martin Quinson. A Wi-Fi Energy Model for Scalable Simulation. WoWMoM 2023 - 24th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, Jun 2023, Boston (MA), United States. pp.1-10. ⟨hal-04055720⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04055720/file/WoWMoM2023.pdf BibTex

Book sections

ref_biblio
Nicolas Gac, Jean-François Nezan, André Ferrari, Chiara Ferrari, Martin Quinson, et al.. Prototypage rapide d'un supercalculateur dédié à la radioastronomie. L'Interdisciplinarité. Voyages au-delà des disciplines, CNRS Edition, 2023, 978-2-271-13983-2. ⟨hal-03704333⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03704333/file/Version_auteur_pour_version_editeur_voir_l_pouvrage.pdf BibTex

Reports

ref_biblio
Léo Cosseron, Martin Quinson, Louis Rilling, Matthieu Simonin. Hiding Virtual Machine Introspection Pauses in Networked Sandboxes with Network Simulation. RR-9528, Inria Rennes - Bretagne Atlantique & IRISA. 2023, pp.1-14. ⟨hal-04282253⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04282253/file/RR-9528.pdf BibTex

2022

Conference papers

ref_biblio
Clément Courageux-Sudan, Loic Guegan, Anne-Cécile Orgerie, Martin Quinson. A Flow-Level Wi-Fi Model for Large Scale Network Simulation. MSWiM 2022 - International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, Oct 2022, Montreal, Canada. ⟨10.1145/3551659.3559022⟩. ⟨hal-03777726⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03777726/file/MSWiM2022.pdf BibTex

2021

Conference papers

ref_biblio
Mathieu Laurent, Emmanuelle Saillard, Martin Quinson. The MPI BUGS INITIATIVE: a Framework for MPI Verification Tools Evaluation. Correctness 2021: Fifth International Workshop on Software Correctness for HPC Applications, Nov 2021, St. Louis, United States. pp.1-9. ⟨hal-03474762⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03474762/file/MBI_paper.pdf BibTex
ref_biblio
Clément Courageux-Sudan, Anne-Cécile Orgerie, Martin Quinson. Automated performance prediction of microservice applications using simulation. 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⟩. ⟨hal-03389508⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03389508/file/conference_101719.pdf BibTex

Poster communications

ref_biblio
Daniel Charlet, Karol Desnos, Mickaël Dardaillon, André Ferrari, Chiara Ferrari, et al.. Dataflow Algorithm aRchitecture co-design of SKA pipeline for Exascale Radio Astronomy. ISC High Performance 2021, Jun 2021, Virtual conference, France. pp.1. ⟨hal-03233205v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03233205/file/2021_ISC_DARK_ERA_poster.pdf BibTex
ref_biblio
Adrien Gougeon, Benjamin Camus, François Lemercier, Martin Quinson, Anne Blavette, et al.. Co-Simulation of Power Systems and Computing Systems using the FMI Standard. IM 2021 - IFIP/IEEE International Symposium on Integrated Network Management, May 2021, Bordeaux / Virtual, France. , pp.130-131. ⟨hal-03217565⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03217565/file/IM2021_demo.pdf BibTex

2020

Journal articles

ref_biblio
Gene Cooperman, Martin Quinson. Sthread: In-Vivo Model Checking of Multithreaded Programs. The Art, Science, and Engineering of Programming, In press, ⟨10.22152/programming-journal.org/2020/4/13⟩. ⟨hal-02449080⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02449080/file/sthread-programming-submission-35.pdf BibTex

2019

Conference papers

ref_biblio
The Anh Pham, Thierry Jéron, Martin Quinson. Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs. 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⟩. ⟨hal-02109769⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02109769/file/Forte_paper.pdf BibTex
ref_biblio
Loic Guegan, Betsegaw Lemma Amersho, Anne-Cécile Orgerie, Martin Quinson. A Large-Scale Wired Network Energy Model for Flow-Level Simulations. 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⟩. ⟨hal-02020045v2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02020045/file/paper.pdf BibTex

2018

Journal articles

ref_biblio
Marion Guthmuller, Gabriel Corona, Martin Quinson. System-level state equality detection for the formal dynamic verification of legacy distributed applications. Journal of Logical and Algebraic Methods in Programming, 2018, 96, pp.1 - 11. ⟨10.1016/j.jlamp.2017.12.004⟩. ⟨hal-01900120⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01900120/file/journal.pdf BibTex
ref_biblio
Issam Raïs, Anne-Cécile Orgerie, Martin Quinson, Laurent Lefèvre. Quantifying the Impact of Shutdown Techniques for Energy-Efficient Data Centers. Concurrency and Computation: Practice and Experience, 2018, 30 (17), pp.1-13. ⟨10.1002/cpe.4471⟩. ⟨hal-01711812⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01711812/file/paper-wiley.pdf BibTex

Conference papers

ref_biblio
Henri Casanova, Arnaud Legrand, Martin Quinson, Frederic Suter. SMPI Courseware: Teaching Distributed-Memory Computing with MPI in Simulation. EduHPC-18 - Workshop on Education for High-Performance Computing, Nov 2018, Dallas, United States. ⟨10.1109/eduhpc.2018.00006⟩. ⟨hal-04480028⟩
Accès au bibtex
BibTex
ref_biblio
Henri Casanova, Arnaud Legrand, Martin Quinson, Frédéric Suter. SMPI Courseware: Teaching Distributed-Memory Computing with MPI in Simulation. EduHPC-18 - Workshop on Education for High-Performance Computing, Nov 2018, Dallas, United States. pp.1-10. ⟨hal-01891513⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01891513/file/main.pdf BibTex
ref_biblio
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 - International Symposium on Computer Architecture and High Performance Computing, Sep 2018, Lyon, France. pp.1-8, ⟨10.1109/cahpc.2018.8645901⟩. ⟨hal-01856657⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01856657/file/paper.pdf BibTex
ref_biblio
Benjamin Camus, Anne-Cécile Orgerie, Martin Quinson. Co-simulation of FMUs and Distributed Applications with SimGrid. SIGSIM-PADS ’18 : 2018 SIGSIM Principles of Advanced Discrete Simulation, May 2018, Rome, Italy. pp.145-156, ⟨10.1145/3200921.3200932⟩. ⟨hal-01762540⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01762540/file/main.pdf BibTex

2017

Journal articles

ref_biblio
Augustin Degomme, Arnaud Legrand, Georges Markomanolis, Martin Quinson, Mark Lee Stillwell, et al.. Simulating MPI applications: the SMPI approach. IEEE Transactions on Parallel and Distributed Systems, 2017, 28 (8), pp.14. ⟨10.1109/TPDS.2017.2669305⟩. ⟨hal-01415484v2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01415484/file/smpi_article.pdf BibTex
ref_biblio
Augustin Degomme, Arnaud Legrand, George S. Markomanolis, Martin Quinson, Mark Stillwell, et al.. Simulating MPI Applications: The SMPI Approach. IEEE Transactions on Parallel and Distributed Systems, 2017, 28 (8), pp.2387-2400. ⟨10.1109/tpds.2017.2669305⟩. ⟨hal-03150526⟩
Accès au bibtex
BibTex

Conference papers

ref_biblio
Anne-Cécile Orgerie, Betsegaw Lemma Amersho, Timothée Haudebourg, Martin Quinson, Myriana Rifai, et al.. Simulation Toolbox for Studying Energy Consumption in Wired Networks. CNSM: International Conference on Network and Service Management, Nov 2017, Tokyo, Japan. pp.1-5. ⟨hal-01630226⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01630226/file/CNSM2017-short.pdf BibTex
ref_biblio
The Anh Pham, Thierry Jéron, Martin Quinson. Verifying MPI Applications with SimGridMC. Correctness 2017 - First International Workshop on Software Correctness for HPC Applications, Nov 2017, Denver, United States. pp.28-33, ⟨10.1145/3145344.3145345⟩. ⟨hal-01632421⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01632421/file/McSimGrid-correctness17.pdf BibTex
ref_biblio
Franz C. Heinrich, Tom Cornebize, Augustin Degomme, Arnaud Legrand, Alexandra Carpen-Amarie, et al.. Predicting the Energy Consumption of MPI Applications at Scale Using a Single Node. Cluster 2017, IEEE, Sep 2017, Hawaii, United States. ⟨hal-01523608v2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01523608/file/predicting-energy-consumption-of-mpi-applications-with-a-single-node.pdf BibTex

Preprints, Working Papers, ...

ref_biblio
Franz C. Heinrich, Alexandra Carpen-Amarie, Augustin Degomme, Sascha Hunold, Arnaud Legrand, et al.. Predicting the Performance and the Power Consumption of MPI Applications With SimGrid. 2017. ⟨hal-01446134⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01446134/file/simgrid-energy-article.pdf BibTex

2016

Conference papers

ref_biblio
Issam Raïs, Anne-Cécile Orgerie, Martin Quinson. Impact of Shutdown Techniques for Energy-Efficient Cloud Data Centers. ICA3PP: 16th International Conference on Algorithms and Architectures for Parallel Processing, Dec 2016, Granada, Spain. pp.203-210. ⟨hal-01362530⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01362530/file/paper.pdf BibTex

2015

Conference papers

ref_biblio
Marie Duflot, Martin Quinson, Florent Masseglia, Didier Roy, Julien Vaubourg, et al.. When sharing computer science with everyone also helps avoiding digital prejudices: Escape computer dirty magic: learn Scratch !. SCRATCH, Aug 2015, Amsterdam, Netherlands. ⟨hal-01154767⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01154767/file/When%20sharing%20computer%20science%20with%20everyone%20also%20helps%20avoiding%20digital%20prejudices%20%281%29.pdf BibTex
ref_biblio
Martin Quinson, Gérald Oster. A Teaching System To Learn Programming: the Programmer's Learning Machine. ACM Conference on Innovation and Technology in Computer Science Education 2015, Jul 2015, Vilnius, Lithuania. ⟨10.1145/2729094.2742626⟩. ⟨hal-01238377⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01238377/file/plm-iticse-HAL.pdf BibTex
ref_biblio
Marion Guthmuller, Martin Quinson, Gabriel Corona. System-level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications. Formal Approaches to Parallel and Distributed Systems (4PAD) - Special Session of Parallel, Distributed and network-based Processing (PDP), Mar 2015, Turku, Finland. ⟨hal-01097204⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01097204/file/paper.pdf BibTex

Preprints, Working Papers, ...

ref_biblio
Marion Guthmuller, Gabriel Corona, Martin Quinson. System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications. 2015. ⟨hal-01558049⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01558049/file/journal.pdf BibTex

2014

Journal articles

ref_biblio
Henri Casanova, Arnaud Giersch, Arnaud Legrand, Martin Quinson, Frédéric Suter. Versatile, Scalable, and Accurate Simulation of Distributed Applications and Platforms. Journal of Parallel and Distributed Computing, 2014, 74 (10), pp.2899-2917. ⟨10.1016/j.jpdc.2014.06.008⟩. ⟨hal-01017319v2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01017319/file/simgrid3-journal.pdf BibTex

Conference papers

ref_biblio
Marion Guthmuller, Martin Quinson. System-level State Equality Detection for the Dynamic Verification of Distributed Applications. EuroSys - 9th European Conference on Computer Systems, Apr 2014, Amsterdam, Netherlands. ⟨hal-00997941⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00997941/file/2014-eurosys-abstract.pdf BibTex

2013

Journal articles

ref_biblio
Martin Quinson, Jean-Christophe Bach. Idée reçue : l'informatique nomade, c'est la liberté !. Interstices, 2013. ⟨hal-00794187⟩
Accès au bibtex
BibTex

Conference papers

ref_biblio
Paul Bedaride, Augustin Degomme, Stéphane Genaud, Arnaud Legrand, George Markomanolis, et al.. Toward Better Simulation of MPI Applications on Ethernet/TCP Networks. PMBS13 - 4th International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems, Nov 2013, Denver, United States. ⟨hal-00919507⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00919507/file/smpi_pmbs13.pdf BibTex
ref_biblio
Maximiliano Geier, Lucas Nussbaum, Martin Quinson. 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. ⟨hal-00907887⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00907887/file/waters.pdf BibTex

Habilitation à diriger des recherches

ref_biblio
Martin Quinson. Computational Science of Computer Systems. Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lorraine, 2013. ⟨tel-00927316⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00927316/file/hdr_quinson.pdf BibTex

Reports

ref_biblio
Paul Bedaride, Stéphane Genaud, Augustin Degomme, Arnaud Legrand, George Markomanolis, et al.. Improving Simulations of MPI Applications Using A Hybrid Network Model with Topology and Contention Support. [Research Report] RR-8300, INRIA. 2013, pp.22. ⟨hal-00821446⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00821446/file/RR-8300.pdf BibTex
ref_biblio
Antoine Rousseau, Aurélie Darnaud, Brice Goglin, Céline Acharian, Christine Leininger, et al.. Médiation Scientifique : une facette de nos métiers de la recherche. [Interne] Inria. 2013, pp.34. ⟨hal-00804915⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00804915/file/Mediation-scientifique-v0.2.pdf BibTex

Preprints, Working Papers, ...

ref_biblio
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. 2013. ⟨hal-00926437⟩
Accès au bibtex
https://arxiv.org/pdf/1309.1630 BibTex

2012

Conference papers

ref_biblio
Laurent Bobelin, Arnaud Legrand, Márquez Alejandro González David, Pierre Navarro, Martin Quinson, et al.. Scalable Multi-Purpose Network Representation for Large Scale Distributed System Simulation. CCGrid 2012 -- The 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2012, Ottawa, Canada. pp.19. ⟨hal-00650233v2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00650233/file/main.pdf BibTex

2011

Conference papers

ref_biblio
Frédéric Desprez, George Markomanolis, Martin Quinson, Frédéric Suter. Assessing the Performance of MPI Applications Through Time-Independent Trace Replay. 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. ⟨inria-00546992⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00546992/file/RR-7489.pdf BibTex
ref_biblio
Stephan Merz, Martin Quinson, Cristian Rosa. SimGrid MC: Verification Support for a Multi-API Simulation Platform. 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⟩. ⟨inria-00593505⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00593505/file/978-3-642-21461-5_18_Chapter.pdf BibTex
ref_biblio
Pierre-Nicolas Clauss, Mark Stillwell, Stéphane Genaud, Frédéric Suter, Henri Casanova, et al.. Single Node On-Line Simulation of MPI Applications with SMPI. International Parallel & Distributed Processing Symposium, IEEE, May 2011, Anchorange (AK), United States. ⟨inria-00527150⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00527150/file/RR-7426.pdf BibTex
ref_biblio
Martin Quinson, Cristian Rosa, Christophe Thiery. Parallel Simulation of Peer-to-Peer Systems. 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⟩. ⟨inria-00602216v4⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00602216/file/simix2_conference.pdf BibTex
ref_biblio
Marion Guthmuller, Lucas Nussbaum, Martin Quinson. Émulation d'applications distribuées sur des plates-formes virtuelles simulées. Rencontres francophones du Parallélisme (RenPar'20), May 2011, Saint Malo, France. ⟨inria-00565341⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00565341/file/RR-7536.pdf BibTex

Reports

ref_biblio
Olivier Beaumont, Laurent Bobelin, Henri Casanova, Pierre-Nicolas Clauss, Bruno Donassolo, et al.. Towards Scalable, Accurate, and Usable Simulations of Distributed Applications and Systems. [Research Report] RR-7761, INRIA. 2011, pp.36. ⟨inria-00631141⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00631141/file/RR-7761.pdf BibTex
ref_biblio
Martin Quinson, Gérald Oster. The Java Learning Machine: A Learning Management System Dedicated To Computer Science Education. [Research Report] RR-7537, INRIA. 2011. ⟨inria-00565344⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00565344/file/RR-7537.pdf BibTex

2010

Conference papers

ref_biblio
Sabina Akhtar, Stephan Merz, Martin Quinson. A High-Level Language for Modeling Algorithms and their Properties. 13th Brazilian Symposium on Formal Methods - SBMF'2010, Nov 2010, Natal, Brazil. ⟨inria-00537779⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00537779/file/final.pdf BibTex
ref_biblio
Martin Quinson, Laurent Bobelin, Frédéric Suter. Synthesizing Generic Experimental Environments for Simulation. Fifth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, Nov 2010, Fukuoka, Japan. ⟨inria-00502839⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00502839/file/simulacrum_3PGCIC_2010.pdf BibTex
ref_biblio
Cristian Rosa, Stephan Merz, Martin Quinson. A Simple Model of Communication APIs ­ - Application to Dynamic Partial-order Reduction. 10th International Workshop on Automated Verification of Critical Systems - AVOCS 2010, Sep 2010, Düsseldorf, Germany. ⟨inria-00532889⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00532889/file/avocs.pdf BibTex
ref_biblio
Sabina Akhtar, Stephan Merz, Martin Quinson. Extending PlusCal: A Language for Describing Concurrent and Distributed Algorithms. 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. ⟨inria-00544137⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00544137/file/GDR-GDL_Sabina.pdf BibTex

2009

Journal articles

ref_biblio
Jens Gustedt, Emmanuel Jeannot, Martin Quinson. Experimental Methodologies for Large-Scale Systems: a Survey. Parallel Processing Letters, 2009, 19 (3), pp.399-418. ⟨10.1142/S0129626409000304⟩. ⟨inria-00364180v2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00364180/file/RR-6859.pdf BibTex

Conference papers

ref_biblio
Martin Quinson. SimGrid: a Generic Framework for Large-Scale Distributed Experiments. 9th International conference on Peer-to-peer computing - IEEE P2P 2009, Sep 2009, Seattle, United States. ⟨inria-00435802⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00435802/file/tuto_p2p.pdf BibTex
ref_biblio
Cristian Rosa, Martin Quinson, Stephan Merz. Model-checking Distributed Applications with GRAS. Exploiting Concurrency Efficiently and Correctly - EC2 workshop associated to CAV 2009, Jun 2009, Grenoble, France. ⟨inria-00378374v2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00378374/file/modelcheck_ec2-RR.pdf BibTex
ref_biblio
Martin Quinson, Flavien Vernier. Byte-Range Asynchronous Locking in Distributed Settings. 17th Euromicro International Conference on Parallel, Distributed and network-based Processing - PDP 2009, Feb 2009, Weimar, Germany. ⟨inria-00338189⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00338189/file/naimitrehel_PDP.pdf BibTex

Reports

ref_biblio
Cristian Rosa, Martin Quinson, Stephan Merz. Model-checking Distributed Applications with GRAS. [Research Report] RR-7052, INRIA. 2009, pp.11. ⟨inria-00422159⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00422159/file/main-RR.pdf BibTex

2008

Conference papers

ref_biblio
Lionel Eyraud-Dubois, Arnaud Legrand, Martin Quinson, Frédéric Vivien. A First Step Towards Automatically Building Network Representations. 13th International Euro-Par Conference - Euro-Par 2007, Aug 2008, Rennes, France. pp.160-169, ⟨10.1007/978-3-540-74466-5_18⟩. ⟨inria-00407692⟩
Accès au bibtex
BibTex
ref_biblio
Henri Casanova, Arnaud Legrand, Martin Quinson. SimGrid: a Generic Framework for Large-Scale Distributed Experiments. 10th IEEE International Conference on Computer Modeling and Simulation - EUROSIM / UKSIM 2008, Apr 2008, Cambrige, United Kingdom. ⟨inria-00260697⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00260697/file/uksim.pdf BibTex

Reports

ref_biblio
Marc-Eduard Frincu, Martin Quinson, Frédéric Suter. Handling Very Large Platforms with the New SimGrid Platform Description Formalism. [Technical Report] RT-0348, INRIA. 2008, pp.27. ⟨inria-00256883v3⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00256883/file/RT-0348.pdf BibTex

2007

Conference papers

ref_biblio
Lionel Eyraud-Dubois, Martin Quinson. Assessing the Quality of Automatically Built Network Representations. 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⟩. ⟨inria-00188408⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00188408/file/alnem.pdf BibTex

Reports

ref_biblio
Lionel Eyraud-Dubois, Arnaud Legrand, Martin Quinson, Frédéric Vivien. A First Step Towards Automatically Building Network Representations. [Research Report] LIP RR-2007-08, INRIA, LIP. 2007. ⟨inria-00130734v3⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00130734/file/RR-6133.pdf BibTex

2006

Conference papers

ref_biblio
Martin Quinson. GRAS: a Research and Development Framework for Grid and P2P Infrastructures. 18th IASTED International Conference on PARALLEL AND DISTRIBUTED COMPUTING AND SYSTEMS, Nov 2006, Dallas, United States. ⟨inria-00108389⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00108389/file/gras.pdf BibTex
ref_biblio
Martin Quinson, Henri Casanova, Arnaud Legrand, Kayo Fujiwara. The SIMGRID Project: Simulation and Deployment of Distributed Applications. The 15th IEEE International Symposium on High Performance Distributed Computing (HPDC'06), Jun 2006, Paris, France. ⟨inria-00108428⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00108428/file/writeup.pdf BibTex

Reports

ref_biblio
Martin Quinson. GRAS: a Research and Development framework for Grid services. [Research Report] RR-5789, INRIA. 2006, pp.24. ⟨inria-00070232⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00070232/file/RR-5789.pdf BibTex
ref_biblio
Arnaud Legrand, Frédéric Mazoit, Martin Quinson. An Application-Level Network Mapper. [Research Report] RR-5792, INRIA. 2006. ⟨inria-00071214⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00071214/file/RR-5792.pdf BibTex

2004

Journal articles

ref_biblio
Eddy Caron, Frédéric Desprez, Martin Quinson, Frédéric Suter. Performance Evaluation of Linear Algebra Routines. International Journal of High Performance Computing Applications, 2004, International Journal of High Performance Computing Applications, 18 (3), pp.373-390. ⟨10.1177/1094342004046046⟩. ⟨inria-00000234⟩
Accès au bibtex
BibTex

Conference papers

ref_biblio
Arnaud Legrand, Martin Quinson. Automatic deployment of the Network Weather Service using the Effective Network View. High-Performance Grid Computing Workshop, associated to IPDPS'04, Apr 2004, Santa Fe, New Mexico, USA. ⟨inria-00119253⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00119253/file/ENV-NWS-wgb04.pdf BibTex

2003

Reports

ref_biblio
Arnaud Legrand, Martin Quinson. Automatic deployment of the Network Weather Service using the Effective Network View. [Research Report] LIP RR-2003-42, Laboratoire de l'informatique du parallélisme. 2003, 2+18p. ⟨hal-02102076⟩
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02102076/file/RR2003-42.pdf BibTex
ref_biblio
Arnaud Legrand, Frédéric Mazoit, Martin Quinson. An Application-Level Network Mapper. [Research Report] LIP RR-2003-09, Laboratoire de l'informatique du parallélisme. 2003, 2+15p. ⟨hal-02101826⟩
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02101826/file/RR2003-09.pdf BibTex

Theses

ref_biblio
Martin Quinson. 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 : ⟩. ⟨tel-00006169⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00006169/file/tel-000061691.pdf BibTex

2002

Conference papers

ref_biblio
Eddy Caron, Frédéric Desprez, Frédéric Lombard, Jean-Marc Nicod, Martin Quinson, et al.. A Scalable Approach to Network Enabled Servers. 8th International EuroPar Conference, 2002, Paderborn, Germany. pp.4. ⟨hal-01431508⟩
Accès au bibtex
BibTex

Book sections

ref_biblio
Eddy Caron, Frédéric Desprez, Eric Fleury, Frédéric Lombard, Jean-Marc Nicod, et al.. Une approche hiérarchique des serveurs de calculs. Françoise Baude. Calcul réparti à grande échelle, Hermès Science Paris, pp.23, 2002, 2-7462-0472-X. ⟨hal-01431513⟩
Accès au bibtex
BibTex

Reports

ref_biblio
Eddy Caron, Philippe Combes, Sylvain Contassot-Vivier, Frédéric Desprez, Jean-Marc Nicod, et al.. A Scalable Approach to Network Enabled Servers. [Research Report] RR-2002-21, LIP - ENS Lyon. 2002. ⟨hal-01431507⟩
Accès au bibtex
BibTex
ref_biblio
Eddy Caron, Philippe Combes, Sylvain Contassot-Vivier, Frédéric Desprez, Frédéric Lombard, et al.. A Scalable Approach to Network Enabled Servers. [Research Report] RR-4501, INRIA. 2002. ⟨inria-00072087⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072087/file/RR-4501.pdf BibTex

2001

Journal articles

ref_biblio
Eddy Caron, Serge Chaumette, Sylvain Contassot-Vivier, Frédéric Desprez, Eric Fleury, et al.. Scilab to Scilab//, the OURAGAN Project. Parallel Computing, 2001, 27 (11), pp.1497-1519. ⟨10.1016/S0167-8191(01)00101-6⟩. ⟨inria-00000277⟩
Accès au bibtex
BibTex

Reports

ref_biblio
Eddy Caron, Serge Chaumette, Sylvain Contassot-Vivier, Frédéric Desprez, Eric Fleury, et al.. SCILAB to SCILAB// - The Ouragan Project. [Research Report] RR-2001-24, LIP - ENS Lyon. 2001. ⟨hal-01436419⟩
Accès au bibtex
BibTex
ref_biblio
Frédéric Desprez, Martin Quinson, Frédéric Suter. Dynamic Performance Forecasting for Network-Enabled Servers in a Heterogeneous Environment. [Research Report] RR-4320, INRIA. 2001. ⟨inria-00072267⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072267/file/RR-4320.pdf BibTex
ref_biblio
Frédéric Desprez, Martin Quinson, Frédéric Suter, Eric Fleury, Emmanuel Jeannot, et al.. SCILAB to SCILAB// - The Ouragan Project. [Research Report] RR-4203, INRIA. 2001. ⟨inria-00072419⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072419/file/RR-4203.pdf BibTex