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)

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)

The TTC 2018 Social Media Case, by ATL and AOF. - Valentin Besnard; Frédéric Jouault; Théo Le Calvar; Massimo Tisi (TTC@STAF, 2018)

Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap - Report on the MDE@DeRun 2018 Workshop. - Hugo Bruneliere; Romina Eramo; Abel Gómez 001; Valentin Besnard; Jean-Michel Bruel; Martin Gogolla; Andreas Kästner; Adrian Rutle (STAF Workshops, 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)

EMI : Une approche pour unifier l'analyse et l'exécution embarquée à l'aide d'un interpréteur de modèles pilotable - Application aux modèles UML des systèmes embarqués. (EMI : An approach to unify analysis and embedded execution with a controllable model interpreter - Application to UML models of embedded systems). - Valentin Besnard (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)

AMT: A Runtime Verification Tool of Video Streams. - Valentin Besnard; Mathieu Huet; Stoyan Bivolarov; Nourredine Saadi; Guillaume Cornard (RV, 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)