Valentin Besnard

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 13

Top Topics

Unified Modeling Language

Top Venues

MoDELS (Companion)

Sci. Comput. Program.

Publications

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
AnimUML: A practical tool for partial model animation and analysis. Sci. Comput. Program. 232 (2024)
Valentin Besnard, Mathieu Huet, Stoyan Bivolarov, Nourredine Saadi, Guillaume Cornard
AMT: A Runtime Verification Tool of Video Streams. RV (2023)
Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy
Unified verification and monitoring of executable UML specifications. Softw. Syst. Model. 20 (6) (2021)
Frédéric Jouault, Valentin Sebille, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour
AnimUML as a UML Modeling and Verification Teaching Tool. MoDELS (Companion) (2021)
Frédéric Jouault, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour
Designing, animating, and verifying partial UML Models. MoDELS (2020)
Valentin Besnard, Frédéric Jouault, Matthias Brun, Ciprian Teodorov, Philippe Dhaussy, Jérôme Delatour
Modular deployment of UML models for V&V activities and embedded execution. MoDELS (Companion) (2020)
Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy
A Model Checkable UML Soccer Player. MoDELS (Companion) (2019)
Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy
Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach. MoDELS (2019)
Valentin Besnard, Frédéric Jouault, Théo Le Calvar, Massimo Tisi
The TTC 2018 Social Media Case, by ATL and AOF. TTC@STAF (2018)
Hugo Brunelière, Romina Eramo, Abel Gómez, Valentin Besnard, Jean-Michel Bruel, Martin Gogolla, Andreas Kästner, Adrian Rutle
Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap - Report on the MDE@DeRun 2018 Workshop. STAF Workshops (2018)
Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy
Embedded UML Model Execution to Bridge the Gap Between Design and Runtime. STAF Workshops (2018)
Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy
Unified LTL Verification and Embedded Execution of UML Models. MoDELS (2018)
Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, David Olivier, Ciprian Teodorov
Towards One Model Interpreter for Both Design and Deployment. MoDELS (Satellite Events) (2017)