Martin Quinson
Orcid: 0000-0001-7408-054XAffiliations:
- INRIA, France
According to our database1,
Martin Quinson
authored at least 48 papers
between 2001 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
Simulating the Network Environment of Sandboxes to Hide Virtual Machine Introspection Pauses.
Proceedings of the 17th European Workshop on Systems Security, 2024
2023
Proceedings of the 24th IEEE International Symposium on a World of Wireless, 2023
2022
Proceedings of the International Conference on Modeling Analysis and Simulation of Wireless and Mobile Systems on International Conference on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2022
2021
Proceedings of the 29th International Symposium on Modeling, 2021
Proceedings of the 17th IFIP/IEEE International Symposium on Integrated Network Management, 2021
Proceedings of the 5th IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2021
2020
Art Sci. Eng. Program., 2020
2019
Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019
Proceedings of the Advanced Information Networking and Applications, 2019
2018
System-level state equality detection for the formal dynamic verification of legacy distributed applications.
J. Log. Algebraic Methods Program., 2018
Concurr. Comput. Pract. Exp., 2018
Proceedings of the 2018 IEEE/ACM Workshop on Education for High-Performance Computing, 2018
Network-Aware Energy-Efficient Virtual Machine Management in Distributed Cloud Infrastructures with On-Site Photovoltaic Production.
Proceedings of the 30th International Symposium on Computer Architecture and High Performance Computing, 2018
Proceedings of the 2018 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 2018
2017
IEEE Trans. Parallel Distributed Syst., 2017
Proceedings of the First International Workshop on Software Correctness for HPC Applications, 2017
Proceedings of the 13th International Conference on Network and Service Management, 2017
Predicting the Energy-Consumption of MPI Applications at Scale Using Only a Single Node.
Proceedings of the 2017 IEEE International Conference on Cluster Computing, 2017
2016
Proceedings of the Algorithms and Architectures for Parallel Processing, 2016
2015
Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, 2015
2014
Versatile, scalable, and accurate simulation of distributed applications and platforms.
J. Parallel Distributed Comput., 2014
2013
SimGrid: a Sustained Effort for the Versatile Simulation of Large Scale Distributed Systems.
CoRR, 2013
Proceedings of the High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation, 2013
Computational Science of Computer Systems. (Méthodologies d'expérimentation pour l'informatique distribuée à large échelle).
, 2013
2012
Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012
Scalable Multi-purpose Network Representation for Large Scale Distributed System Simulation.
Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012
2011
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011
Proceedings of the 2011 International Conference on Parallel Processing Workshops, 2011
Proceedings of the Formal Techniques for Distributed Systems, 2011
2010
A Simple Model of Communication APIs - Application to Dynamic Partial-order Reduction.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Proceedings of the Formal Methods: Foundations and Applications, 2010
Proceedings of the 2010 International Conference on High Performance Computing & Simulation, 2010
Proceedings of the 3PGCIC 2010, 2010
2009
Parallel Process. Lett., 2009
Proceedings of the 17th Euromicro International Conference on Parallel, 2009
Proceedings of the Proceedings P2P 2009, 2009
2008
Proceedings of the 10th EUROS/UKSim International Conference on Computer Modelling and Simulation, 2008
2007
Proceedings of the Euro-Par 2007, 2007
Proceedings of the Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2007), 2007
2006
Proceedings of the 15th IEEE International Symposium on High Performance Distributed Computing, 2006
2004
Int. J. High Perform. Comput. Appl., 2004
Automatic Deployment of the Network Weather Service Using the Effective Network View.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004
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).
PhD thesis, 2003
2002
Un outil de prédiction dynamique de performances dans un environnement de metacomputing.
Tech. Sci. Informatiques, 2002
Dynamic Performance Forcasting for Network-Enabled Servers in a Metacomputing Environment.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002
Proceedings of the Euro-Par 2002, 2002
Proceedings of the Advances in Computing Science, 2002
2001