- 3
- 2
Valentin Besnard
5
Documents
Identifiants chercheurs
- valentin-besnard
- Google Scholar : https://scholar.google.fr/citations?user=rPaniGUAAAAJ
Présentation
Publications
- 5
- 5
- 5
- 5
- 1
- 4
- 2
- 2
- 2
- 1
A Model Checkable UML Soccer Player3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany
Communication dans un congrès
hal-02375996v1
|
|
EMI : Un Interpréteur de Modèles Embarqué pour l’Exécution et la Vérification de Modèles UML18 ème journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels, Jun 2019, Toulouse, France. pp.101-104
Communication dans un congrès
hal-02375948v1
|
|
Unified LTL Verification and Embedded Execution of UML Models21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark
Communication dans un congrès
hal-01887948v1
|
|
Embedded UML Model Execution to Bridge the Gap Between Design and RuntimeMDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Jun 2018, Toulouse, France
Communication dans un congrès
hal-01802247v1
|
|
Towards one Model Interpreter for Both Design and Deployment3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States
Communication dans un congrès
hal-01585318v1
|