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
172018
Model-driven engineering for design-runtime interaction in complex systems: scientific challenges and roadmap
H Bruneliere, R Eramo, A Gomez, V Besnard, JM Bruel, M Gogolla, ...
Federation of International Conferences on Software Technologies …, 2018
122018
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
72019
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
72017
Embedded UML Model Execution to Bridge the Gap Between Design and Runtime
V Besnard, M Brun, F Jouault, C Teodorov, P Dhaussy
Federation of International Conferences on Software Technologies …, 2018
52018
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
32018
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
22020
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
12020
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
12019
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
Aide au diagnostic de vérification formelle de systèmes
V Besnard
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
V Besnard
ENSTA Bretagne, 2020
2020
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
2019
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–15