Follow
Valentin Besnard
Valentin Besnard
ERIS Team, ESEO, Angers
Verified email at eseo.fr
Title
Cited by
Cited by
Year
Unified LTL verification and embedded execution of UML models
V Besnard, M Brun, F Jouault, C Teodorov, P Dhaussy
Proceedings of the 21th ACM/IEEE International Conference on Model Driven …, 2018
302018
Designing, animating, and verifying partial UML Models
F Jouault, V Besnard, TL Calvar, C Teodorov, M Brun, J Delatour
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020
182020
Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap: Report on the MDE@ DeRun 2018 Workshop
H Bruneliere, R Eramo, A Gomez, V Besnard, JM Bruel, M Gogolla, ...
Software Technologies: Applications and Foundations: STAF 2018 Collocated …, 2018
142018
Verifying and monitoring UML models with observer automata: a transformation-free approach
V Besnard, C Teodorov, F Jouault, M Brun, P Dhaussy
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019
132019
Towards One Model Interpreter for Both Design and Deployment.
V Besnard, M Brun, P Dhaussy, F Jouault, D Olivier, C Teodorov
MoDELS (Satellite Events), 102-108, 2017
132017
Unified verification and monitoring of executable UML specifications: a transformation-free approach
V Besnard, C Teodorov, F Jouault, M Brun, P Dhaussy
Software and Systems Modeling 20 (6), 1825-1855, 2021
122021
Embedded UML model execution to bridge the gap between design and runtime
V Besnard, M Brun, F Jouault, C Teodorov, P Dhaussy
Software Technologies: Applications and Foundations: STAF 2018 Collocated …, 2018
92018
Animuml as a uml modeling and verification teaching tool
F Jouault, V Sebille, V Besnard, T Le Calvar, C Teodorov, M Brun, ...
2021 ACM/IEEE International Conference on Model Driven Engineering Languages …, 2021
42021
A model checkable UML soccer player
V Besnard, C Teodorov, F Jouault, M Brun, P Dhaussy
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019
42019
Catalytic self-folding of 2D structures through cascading magnet reactions
EJ Southern, V Besnard, B Lahaye, AM Tyrrell, S Miyashita
Royal Society open science 6 (7), 182128, 2019
42019
The TTC 2018 Social Media Case, by ATL and AOF
V Besnard, F Jouault, T Le Calvar, M Tisi
11th Transformation Tool Contest, co-located with the 2018 Software …, 2018
42018
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
V Besnard
ENSTA Bretagne, 2020
32020
Modular deployment of UML models for V&V activities and embedded execution
V Besnard, F Jouault, M Brun, C Teodorov, P Dhaussy, J Delatour
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020
32020
Unification de la Vérification et de l’Exécution Embarquée de Modèles
V Besnard, ET ERIS
Actes des 18èmes journées sur les Approches Formelles dans l’Assistance au …, 2019
12019
EMI: Un Interpréteur de Modèles Embarqué pour l’Exécution et la Vérification de Modèles UML
V Besnard, M Brun, P Dhaussy, F Jouault, C Teodorov
Actes des 18èmes journées sur les Approches Formelles dans l’Assistance au …, 2019
12019
AnimUML: A practical tool for partial model animation and analysis
F Jouault, V Besnard, M Brun, T Le Calvar, F Chhel, M Clavreul, ...
Science of Computer Programming 232, 103050, 2024
2024
AMT: A Runtime Verification Tool of Video Streams
V Besnard, M Huet, S Bivolarov, N Saadi, G Cornard
International Conference on Runtime Verification, 315-326, 2023
2023
2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)| 978-1-6654-2484-4/21/$31.00© 2021 IEEE| DOI: 10.1109/MODELS …
S Abrahão, B Adhikari, I Alfonso, H Ali, QUA Ali, JPA Almeida, V Amaral, ...
Verifying and Monitoring UML Models with Observer Automata
V BESNARD, C TEODOROV, F JOUAULT, M BRUN, P DHAUSSY
The system can't perform the operation now. Try again later.
Articles 1–19