conf.researchr.org / Frédéric Jouault
Registered user since Thu 10 Sep 2020
Name:Frédéric Jouault
Affiliation: ERIS Team, ESEO , France
Contributions
2023
TTC
2022
MODELS
- Author of Feedback on the Formal Verification of UML Models in an Industrial Context: The Case of a Smart Device Life Cycle Management System within the Technical Track-track
- Author of Practical Multiverse Debugging through User-defined Reductions: Application to UML Models within the Technical Track-track
- Author of A cross-technology benchmark for incremental graph queries within the Journal-first-track