Documentation
Français (FR)

Anglais (EN)

Frédéric Jouault

5

Documents

Identifiants chercheurs

frederic-jouault
IdRef : 110218140
0000-0002-2395-9623
Google Scholar : https://scholar.google.fr/citations?user=BqfL80YAAAAJ

Présentation

Publications

1010394

	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
	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
	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
	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
	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