Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu

Filtrer vos résultats

12 Résultats
authFullName_s : Frédéric Jouault
Page :
triés par

Modular Deployment of UML Models for V&V Activities and Embedded Execution

 Valentin Besnard , Frédéric Jouault , Matthias Brun , Ciprian Teodorov , Philippe Dhaussy et al.
MoDeVVa, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419227⟩
Communication dans un congrès hal-02929122v1

Unified verification and monitoring of executable UML specifications. A transformation-free approach

 Valentin Besnard , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Philippe Dhaussy et al.
Software and Systems Modeling, 2021, ⟨10.1007/s10270-021-00923-9⟩
Article dans une revue hal-03463358v1

Towards one Model Interpreter for Both Design and Deployment

 Valentin Besnard , Matthias Brun , Philippe Dhaussy , Frédéric Jouault , David Olivier et al.
3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States
Communication dans un congrès hal-01585318v1

Unified LTL Verification and Embedded Execution of UML Models

 Valentin Besnard , Matthias Brun , Frédéric Jouault , Ciprian Teodorov , Philippe Dhaussy et al.
21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark
Communication dans un congrès hal-01887948v1

Designing, Animating, and Verifying Partial UML Models

 Frédéric Jouault , Valentin Besnard , Théo Le Calvar , Ciprian Teodorov , Matthias Brun et al.
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

A Model Checkable UML Soccer Player

 Valentin Besnard , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Philippe Dhaussy et al.
3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany
Communication dans un congrès hal-02375996v1

Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCD

 Frédéric Jouault , Ciprian Teodorov , Jérôme Delatour , Luka Le Roux , Philippe Dhaussy et al.
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109
Article dans une revue hal-01006656v1

Embedded UML Model Execution to Bridge the Gap Between Design and Runtime

 Valentin Besnard , Matthias Brun , Frédéric Jouault , Ciprian Teodorov , Philippe Dhaussy et al.
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

Practical multiverse debugging through user-defined reductions

 Matthias Pasquier , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Luka Le Roux et al.
MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, Canada. pp.87-97, ⟨10.1145/3550355.3552447⟩
Communication dans un congrès hal-03891589v1

From OCL-based model static analysis to quick fixes

 Frédéric Jouault , Maxime Méré , Matthias Brun , Théo Le Calvar , Matthias Pasquier et al.
21st International Workshop on OCL and Textual Modeling / MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal (Canada), Canada. pp.889-893, ⟨10.1145/3550356.3561562⟩
Communication dans un congrès hal-03937212v1
Image document

Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach

 Valentin Besnard , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Philippe Dhaussy et al.
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

AnimUML as a UML Modeling and Verification Teaching Tool

 Frédéric Jouault , Valentin Sebille , Valentin Besnard , Théo Le Calvar , Ciprian Teodorov et al.
MODELS 2021, Nov 2021, Fukuoka (virtual), Japan. pp.615-619
Communication dans un congrès hal-03408698v1
Page :