- 10
- 6
- 2
Frédéric Jouault
18
Documents
Identifiants chercheurs
- frederic-jouault
- IdRef : 110218140
- 0000-0002-2395-9623
- Google Scholar : https://scholar.google.fr/citations?user=BqfL80YAAAAJ
Présentation
Publications
- 18
- 15
- 9
- 7
- 5
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
AnimUML: a Practical Tool for Partial Model Animation and AnalysisScience of Computer Programming, 2023, pp.103050. ⟨10.1016/j.scico.2023.103050⟩
Article dans une revue
hal-04234580v1
|
Débogage Multivers de Modèles UMLAFADL, Jun 2023, Rennes, France
Communication dans un congrès
hal-04234535v1
|
|
Temporal Breakpoints for Multiverse DebuggingSoftware Language Engineering 2023, Oct 2023, Lisbonne, Portugal
Communication dans un congrès
hal-04234632v1
|
|
Génération de correctifs pour les modèles partiels d'AnimUMLIHM/GL-IHM, 2023, Troyes, France
Communication dans un congrès
hal-04234501v1
|
|
Debugging Paxos in the UML MultiverseMODELS-C/MoDeVVa, Oct 2023, Västerås, Sweden
Communication dans un congrès
hal-04234688v1
|
|
From OCL-based model static analysis to quick fixes21st 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
|
|
AnimUML as a UML Modeling and Verification Teaching ToolMODELS 2021, Nov 2021, Fukuoka (virtual), Japan. pp.615-619
Communication dans un congrès
hal-03408698v1
|
|
Evaluating Tool Support for Embedded Operating System Security: an Experience FeedbackSecureMDE 2020, Nov 2020, Virtual Event, Canada
Communication dans un congrès
hal-02966564v1
|
|
Modular Deployment of UML Models for V&V Activities and Embedded ExecutionMoDeVVa, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419227⟩
Communication dans un congrès
hal-02929122v1
|
|
Designing, Animating, and Verifying Partial UML Models23rd 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
|
|
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
|
|
A Model Checkable UML Soccer Player3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany
Communication dans un congrès
hal-02375996v1
|
|
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
|
|
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
|
|
Improving Incremental and Bidirectional Evaluation with an Explicit Propagation Graph17th International Workshop in OCL and Textual Modeling, Jul 2017, Marburg, Germany
Communication dans un congrès
hal-01585342v1
|
|
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
|
|
|
Towards Functional Model Transformations with OCLICMT 2015 - 8th International Conference on Model Transformation, Jul 2015, L'Aquila, Italy. pp.111-120, ⟨10.1007/978-3-319-21155-8_9⟩
Communication dans un congrès
hal-01179294v1
|
Smart Home Model Verification with AnimUMLSTAF/MeSS, Jul 2022, Nantes, France
Poster de conférence
hal-04234889v1
|