Valentin Besnard

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