Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDM. - Frédéric Thomas; Jérôme Delatour; François Terrier; Matthias Brun 001; Sébastien Gérard (Obj. Logiciel Base données Réseaux, 2007)

Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation. - Matthias Brun 001; Jérôme Delatour; Yvon Trinquet (ICECCS, 2008)

Étude comparative pour la modélisation de plates-formes d'exécution. Application au temps réel embarqué. - Matthias Brun 001; Jérôme Delatour; Yvon Trinquet; Frédéric Thomas; Sébastien Gérard (Tech. Sci. Informatiques, 2010)

Formal Behavioral Modeling of Real-time Operating Systems. - Cédrick Lelionnais; Matthias Brun 001; Jérôme Delatour; Olivier H. Roux; Charlotte Seidner (ICEIS (2), 2012)

Use of Runtime Enforcement for the Test of Real-time Systems. - Louis-Marie Givel; Matthias Brun 001; Camille Constant; Sébastien Faucou; Olivier H. Roux (HPCC/CSS/ICESS, 2015)

Towards Functional Model Transformations with OCL. - Frédéric Jouault; Olivier Beaudoux; Matthias Brun 001; Mickael Clavreul; Guillaume Savaton (ICMT, 2015)

Testing real-time embedded software using runtime enforcement. - Louis-Marie Givel; Jean-Luc Béchennec; Matthias Brun 001; Sébastien Faucou; Olivier H. Roux (SIES, 2016)

Towards One Model Interpreter for Both Design and Deployment. - Valentin Besnard; Matthias Brun 001; Philippe Dhaussy; Frédéric Jouault; David Olivier; Ciprian Teodorov (MoDELS (Satellite Events), 2017)

Improving Incremental and Bidirectional Evaluation with an Explicit Propagation Graph. - Frédéric Jouault; Olivier Beaudoux; Matthias Brun 001; Fabien Chhel; Mickael Clavreul (STAF Workshops, 2017)

Unified LTL Verification and Embedded Execution of UML Models. - Valentin Besnard; Matthias Brun 001; Frédéric Jouault; Ciprian Teodorov; Philippe Dhaussy (MoDELS, 2018)

Embedded UML Model Execution to Bridge the Gap Between Design and Runtime. - Valentin Besnard; Matthias Brun 001; Frédéric Jouault; Ciprian Teodorov; Philippe Dhaussy (STAF Workshops, 2018)

Testing Real-Time Systems With Runtime Enforcement. - Jean-Luc Béchennec; Sébastien Faucou; Olivier H. Roux; Matthias Brun 001; Louis-Marie Givel (IEEE Des. Test, 2018)

A Model Checkable UML Soccer Player. - Valentin Besnard; Ciprian Teodorov; Frédéric Jouault; Matthias Brun 001; Philippe Dhaussy (MoDELS (Companion), 2019)

Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach. - Valentin Besnard; Ciprian Teodorov; Frédéric Jouault; Matthias Brun 001; Philippe Dhaussy (MoDELS, 2019)

Modular deployment of UML models for V&V activities and embedded execution. - Valentin Besnard; Frédéric Jouault; Matthias Brun 001; Ciprian Teodorov; Philippe Dhaussy; Jérôme Delatour (MoDELS (Companion), 2020)

Designing, animating, and verifying partial UML Models. - Frédéric Jouault; Valentin Besnard; Théo Le Calvar; Ciprian Teodorov; Matthias Brun 001; Jérôme Delatour (MoDELS, 2020)

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)

AnimUML as a UML Modeling and Verification Teaching Tool. - Frédéric Jouault; Valentin Sebille; Valentin Besnard; Théo Le Calvar; Ciprian Teodorov; Matthias Brun 001; Jérôme Delatour (MoDELS (Companion), 2021)

Unified verification and monitoring of executable UML specifications. - Valentin Besnard; Ciprian Teodorov; Frédéric Jouault; Matthias Brun 001; Philippe Dhaussy (Softw. Syst. Model., 2021)

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)

Smart Home Model Verification with AnimUML (Poster). - Frédéric Jouault; Ciprian Teodorov; Matthias Brun 001 (STAF Workshops, 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)

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)