Valentin Besnard

According to our database, Valentin Besnard authored at least 14 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• 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

AMT: A Runtime Verification Tool of Video Streams.

Valentin Besnard, Mathieu Huet, Stoyan Bivolarov, Nourredine Saadi, Guillaume Cornard

Proceedings of the Runtime Verification - 23rd International Conference, 2023

2021

Unified verification and monitoring of executable UML specifications.

Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy

Softw. Syst. Model., 2021

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, Jérôme Delatour

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

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

PhD thesis, 2020

Designing, animating, and verifying partial UML Models.

Frédéric Jouault, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour

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

Modular deployment of UML models for V&V activities and embedded execution.

Valentin Besnard, Frédéric Jouault, Matthias Brun, Ciprian Teodorov, Philippe Dhaussy, Jérôme Delatour

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

2019

Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach.

Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy

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

A Model Checkable UML Soccer Player.

Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

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, Valentin Besnard, Jean-Michel Bruel, Martin Gogolla, Andreas Kästner, Adrian Rutle

Proceedings of the Software Technologies: Applications and Foundations, 2018

The TTC 2018 Social Media Case, by ATL and AOF.

Valentin Besnard, Frédéric Jouault, Théo Le Calvar, Massimo Tisi

Proceedings of the 11th Transformation Tool Contest, 2018

Embedded UML Model Execution to Bridge the Gap Between Design and Runtime.

Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy

Proceedings of the Software Technologies: Applications and Foundations, 2018

Unified LTL Verification and Embedded Execution of UML Models.

Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy

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

2017

Towards One Model Interpreter for Both Design and Deployment.

Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, David Olivier, Ciprian Teodorov

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017