Valentin Besnard
Valentin Besnard
ERIS Team, ESEO, Angers
Verified email at eseo.fr
Title
Cited by
Cited by
Year
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
82018
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
62018
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
62017
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
42018
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
22019
The TTC 2018 Social Media Case, by ATL and AOF
V Besnard, F Jouault, T Le Calvar, M Tisi
12018
Designing, Animating, and Verifying Partial UML Models
F Jouault, V Besnard, T Le Calvar, C Teodorov, M Brun, J Delatour
23rd International Conference on Model Driven Engineering Languages and …, 2020
2020
Modular Deployment of UML Models for V&V Activities and Embedded Execution
V Besnard, F Jouault, M Brun, C Teodorov, P Dhaussy
MoDeVVa, 2020
2020
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
2019
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
Unification de la Vérification et de l’Exécution Embarquée de Modèles
V Besnard, ET ERIS
AFADL 2019, 93 à 100, 2019
2019
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
18 ème journées sur les Approches Formelles dans l’Assistance au …, 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–13