Accéder directement au contenu
Nombre de documents

13

Valentin Besnard


Article dans une revue1 document

  • Emily J. Southern, Valentin Besnard, Sébastien Lahaye, Andy M. Tyrrell, Shuhei Miyashita. Catalytic self-folding of 2D structures through cascading magnet reactions. Royal Society Open Science, The Royal Society, 2019, 6, ⟨10.1098⟩. ⟨hal-02378962⟩

Communication dans un congrès11 documents

  • Valentin Besnard, Frédéric Jouault, Matthias Brun, C Teodorov, Philippe Dhaussy. Modular Deployment of UML Models for V&V Activities and Embedded Execution. MoDeVVa, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419227⟩. ⟨hal-02929122⟩
  • Frédéric Jouault, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, et al.. Designing, Animating, and Verifying Partial UML Models. 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada. pp.211-217, ⟨10.1145/3365438.3410967⟩. ⟨hal-02931876⟩
  • Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy. Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach. 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, 2019, Munich, Germany. pp.161-171, ⟨10.1109/MODELS.2019.000-5⟩. ⟨hal-02433749⟩
  • Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy. A Model Checkable UML Soccer Player. 3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany. ⟨hal-02375996⟩
  • Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, Ciprian Teodorov. EMI : Un Interpréteur de Modèles Embarqué pour l’Exécution et la Vérification de Modèles UML. 18 ème journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels, Jun 2019, Toulouse, France. pp.101-104. ⟨hal-02375948⟩
  • Valentin Besnard. Unification de la Vérification et de l’Exécution Embarquée de Modèles. AFADL 2019, Jun 2019, Toulouse, France. pp.93 à 100. ⟨hal-02375968⟩
  • Valentin Besnard, Frédéric Jouault, Théo Le Calvar, Massimo Tisi. The TTC 2018 Social Media Case, by ATL and AOF. 11th Transformation Tool Contest, co-located with the 2018 Software Technologies: Applications and Foundations (STAF 2018), Jun 2018, Toulouse, France. ⟨hal-01996093⟩
  • Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy. Embedded UML Model Execution to Bridge the Gap Between Design and Runtime. MDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Jun 2018, Toulouse, France. ⟨hal-01802247⟩
  • Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy. Unified LTL Verification and Embedded Execution of UML Models. 21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark. ⟨hal-01887948⟩
  • Hugo Bruneliere, Romina Eramo, Abel Gomez, Valentin Besnard, Jean-Michel Bruel, et al.. Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap. MDE@DeRun 2018 workshop, co-located with the Software Technologies: Applications and Foundations (STAF 2018) federation of conferences, Jun 2018, Toulouse, France. ⟨10.1007/978-3-030-04771-9_40⟩. ⟨hal-01890878⟩
  • Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, David Olivier, et al.. Towards one Model Interpreter for Both Design and Deployment. 3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States. ⟨hal-01585318⟩

Thèse1 document

  • Valentin Besnard. 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. Systèmes embarqués. ENSTA Bretagne, 2020. Français. ⟨tel-03150281⟩