Evaluating tool support for embedded operating system security: an experience feedback. - Matthias Pasquier; Frédéric Jouault; Matthias Brun 001; Julien Pérochon (MoDELS (Companion), 2020)

From OCL-based model static analysis to quick fixes. - Frédéric Jouault; Maxime Méré; Matthias Brun 001; Théo Le Calvar; Matthias Pasquier; Ciprian Teodorov (MoDELS (Companion), 2022)

Practical multiverse debugging through user-defined reductions: application to UML models. - Matthias Pasquier; Ciprian Teodorov; Frédéric Jouault; Matthias Brun 001; Luka Le Roux; Loïc Lagadec (MoDELS, 2022)

Debugging Paxos in the UML Multiverse. - Matthias Pasquier; Ciprian Teodorov; Frédéric Jouault; Matthias Brun 001; Loïc Lagadec (MoDELS (Companion), 2023)

Temporal Breakpoints for Multiverse Debugging. - Matthias Pasquier; Ciprian Teodorov; Frédéric Jouault; Matthias Brun 001; Luka Le Roux; Loïc Lagadec (SLE, 2023)

Débogage multivers de spécifications non déterministes. (Multiverse debugging, specification, modelisation, non-determinism). - Matthias Pasquier (2024)

AnimUML: A practical tool for partial model animation and analysis. - Frédéric Jouault; Valentin Besnard; Matthias Brun 001; Théo Le Calvar; Fabien Chhel; Mickael Clavreul; Jérôme Delatour; Maxime Méré; Matthias Pasquier; Ciprian Teodorov (Sci. Comput. Program., 2024)