Valentin Besnard

14 papers A 3B 1Journal 2Unranked 7

Year	Rank	Type	Title / 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