Valentin Besnard
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
2
Active years
2017–2023
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | RV | AMT: A Runtime Verification Tool of Video Streams. | Valentin Besnard, Mathieu Huet, Stoyan Bivolarov, Nourredine Saadi, Guillaume Cornard |
| 2021 | MODELS | AnimUML as a UML Modeling and Verification Teaching Tool. | Frdric Jouault, Valentin Sebille, Valentin Besnard, Tho Le Calvar, Ciprian Teodorov, Matthias Brun, Jrme Delatour |
| 2020 | MODELS | Modular deployment of UML models for V&V activities and embedded execution. | Valentin Besnard, Frdric Jouault, Matthias Brun, Ciprian Teodorov, Philippe Dhaussy, Jrme Delatour |
| 2020 | MODELS | Designing, animating, and verifying partial UML Models. | Frdric Jouault, Valentin Besnard, Tho Le Calvar, Ciprian Teodorov, Matthias Brun, Jrme Delatour |
| 2019 | MODELS | A Model Checkable UML Soccer Player. | Valentin Besnard, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Philippe Dhaussy |
| 2019 | MODELS | Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach. | Valentin Besnard, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Philippe Dhaussy |
| 2018 | MODELS | Unified LTL Verification and Embedded Execution of UML Models. | Valentin Besnard, Matthias Brun, Frdric Jouault, Ciprian Teodorov, Philippe Dhaussy |
| 2017 | MODELS | Towards One Model Interpreter for Both Design and Deployment. | Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frdric Jouault, David Olivier, Ciprian Teodorov |