Documentation
Français (FR)

Anglais (EN)

Valentin Besnard

15

Documents

Identifiants chercheurs

valentin-besnard
Google Scholar : https://scholar.google.fr/citations?user=rPaniGUAAAAJ

Présentation

Publications

	AnimUML: a Practical Tool for Partial Model Animation and Analysis Frédéric Jouault , Valentin Besnard , Matthias Brun , Théo Le Calvar , Fabien Chhel Science of Computer Programming, 2023, pp.103050. ⟨10.1016/j.scico.2023.103050⟩ Article dans une revue hal-04234580v1
	Catalytic self-folding of 2D structures through cascading magnet reactions Emily J. Southern , Valentin Besnard , Sébastien Lahaye , Andy M. Tyrrell , Shuhei Miyashita Royal Society Open Science, 2019, 6 Article dans une revue hal-02378962v1

	AnimUML as a UML Modeling and Verification Teaching Tool Frédéric Jouault , Valentin Sebille , Valentin Besnard , Théo Le Calvar , Ciprian Teodorov MODELS 2021, Nov 2021, Fukuoka (virtual), Japan. pp.615-619 Communication dans un congrès hal-03408698v1
	Designing, Animating, and Verifying Partial UML Models Frédéric Jouault , Valentin Besnard , Théo Le Calvar , Ciprian Teodorov , Matthias Brun 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada. pp.211-217, ⟨10.1145/3365438.3410967⟩ Communication dans un congrès hal-02931876v1
	Modular Deployment of UML Models for V&V Activities and Embedded Execution Valentin Besnard , Frédéric Jouault , Matthias Brun , Ciprian Teodorov , Philippe Dhaussy MoDeVVa, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419227⟩ Communication dans un congrès hal-02929122v1
	Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach Valentin Besnard , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Philippe Dhaussy 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⟩ Communication dans un congrès hal-02433749v1
	Unification de la Vérification et de l’Exécution Embarquée de Modèles Valentin Besnard AFADL 2019, Jun 2019, Toulouse, France. pp.93 à 100 Communication dans un congrès hal-02375968v1
	A Model Checkable UML Soccer Player Valentin Besnard , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Philippe Dhaussy 3rd 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 UML Valentin Besnard , Matthias Brun , Philippe Dhaussy , Frédéric Jouault , Ciprian Teodorov 18 è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
	Embedded UML Model Execution to Bridge the Gap Between Design and Runtime Valentin Besnard , Matthias Brun , Frédéric Jouault , Ciprian Teodorov , Philippe Dhaussy MDE@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
	The TTC 2018 Social Media Case, by ATL and AOF Valentin Besnard , Frédéric Jouault , Théo Le Calvar , Massimo Tisi 11th Transformation Tool Contest, co-located with the 2018 Software Technologies: Applications and Foundations (STAF 2018), Jun 2018, Toulouse, France Communication dans un congrès hal-01996093v1
	Unified LTL Verification and Embedded Execution of UML Models Valentin Besnard , Matthias Brun , Frédéric Jouault , Ciprian Teodorov , Philippe Dhaussy 21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark Communication dans un congrès hal-01887948v1
	Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap Hugo Bruneliere , Romina Eramo , Abel Gomez , Valentin Besnard , Jean-Michel Bruel 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⟩ Communication dans un congrès hal-01890878v1
	Towards one Model Interpreter for Both Design and Deployment Valentin Besnard , Matthias Brun , Philippe Dhaussy , Frédéric Jouault , David Olivier 3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States Communication dans un congrès hal-01585318v1

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