Matthias Pasquier

According to our database, Matthias Pasquier authored at least 6 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

AnimUML: A practical tool for partial model animation and analysis.

Frédéric Jouault, Valentin Besnard, Matthias Brun, Théo Le Calvar, Fabien Chhel, Mickael Clavreul, Jérôme Delatour, Maxime Méré, Matthias Pasquier, Ciprian Teodorov

Sci. Comput. Program., January, 2024

2023

Temporal Breakpoints for Multiverse Debugging.

Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec

Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023

Debugging Paxos in the UML Multiverse.

Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Loïc Lagadec

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022

Practical multiverse debugging through user-defined reductions: application to UML models.

Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

From OCL-based model static analysis to quick fixes.

Frédéric Jouault, Maxime Méré, Matthias Brun, Théo Le Calvar, Matthias Pasquier, Ciprian Teodorov

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2020

Evaluating tool support for embedded operating system security: an experience feedback.

Matthias Pasquier, Frédéric Jouault, Matthias Brun, Julien Pérochon

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020