| Designing, animating, and verifying partial UML Models F Jouault, V Besnard, TL Calvar, C Teodorov, M Brun, J Delatour Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020 | 22 | 2020 |
| Efficient ATL Incremental Transformations. T Le Calvar, F Jouault, F Chhel, M Clavreul J. Object Technol. 18 (3), 2:1-17, 2019 | 21 | 2019 |
| Toward a declarative language to generate explorable sets of models TL Calvar, F Chhel, F Jouault, F Saubion Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 1837-1844, 2019 | 11 | 2019 |
| Animuml as a uml modeling and verification teaching tool F Jouault, V Sebille, V Besnard, T Le Calvar, C Teodorov, M Brun, ... 2021 ACM/IEEE International Conference on Model Driven Engineering Languages …, 2021 | 5 | 2021 |
| Intensional view definition with constrained incremental transformation rules T Le Calvar, F Jouault, F Chhel, F Saubion, M Clavreul 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 4 | 2019 |
| The TTC 2018 Social Media Case, by ATL and AOF V Besnard, F Jouault, T Le Calvar, M Tisi 11th Transformation Tool Contest, co-located with the 2018 Software …, 2018 | 4 | 2018 |
| From OCL-based model static analysis to quick fixes F Jouault, M Méré, M Brun, TL Calvar, M Pasquier, C Teodorov Proceedings of the 25th International Conference on Model Driven Engineering …, 2022 | 3 | 2022 |
| A cross-technology benchmark for incremental graph queries G Hinkel, A Garcia-Dominguez, R Schöne, A Boronat, M Tisi, T Le Calvar, ... Software and Systems Modeling 21 (2), 755-804, 2022 | 3 | 2022 |
| Coupling solvers with model transformations to generate explorable model sets T Le Calvar, F Chhel, F Jouault, F Saubion Software and Systems Modeling 20 (5), 1633-1652, 2021 | 3 | 2021 |
| Using process algebra to statically analyze incremental propagation graphs T Le Calvar12, F Chhel, F Jouault, F Saubion | 3 | 2018 |
| Transformation de Modèles et Contraintes pour l’Ingénierie Dirigée par les Modeles T Le Calvar, F Chhel, F Jouault, F Saubion, EA Groupe JFPC 2018, 93, 2018 | 3 | 2018 |
| An Exact Algorithm for Unicost Set Covering E Demirovic, T Le Calvar, N Musliu, K Inoue Doctoral Program of the 22nd International Conference on the Principles and …, 2016 | 3 | 2016 |
| Exploration d’ensembles de modèles T Le Calvar Université d'Angers, 2019 | 2 | 2019 |
| Transformation de modèles et programmation par contraintes avec ATLC T Le Calvar, F Chhel, F Jouault, F Saubion JFPC 2019-Actes des 15es Journées Francophones de Programmation par …, 2019 | 2 | 2019 |
| AnimUML: A practical tool for partial model animation and analysis F Jouault, V Besnard, M Brun, T Le Calvar, F Chhel, M Clavreul, ... Science of Computer Programming 232, 103050, 2024 | 1 | 2024 |
| Incremental MTL vs. GPLs: Class into Relational Database Schema. S Greiner, S Höppner, F Jouault, T Le Calvar, M Clavreul Agile MDE/MeSS/TTC@ STAF, 2023 | 1 | 2023 |
| (Ab) using incremental ATL on the TTC 2021 incremental laboratory workflow benchmark. F Jouault, T Le Calvar TTC/, 2021 | 1 | 2021 |
| Truth Tables to Binary Decision Diagrams in Modern ATL D Wagelaar, F Jouault, T Le Calvar TTC 2019 Transformation Tool Contest, 51-58, 2019 | 1 | 2019 |
| Static analysis of incremental propagation graphs with process algebra T Le Calvar, F Chhel, F Jouault, F Saubion ACM/IEEE 21st International Conference on Model Driven Engineering Languages …, 2018 | 1 | 2018 |
| Incremental ATL solution to the TTC 2023 KMEHR to FHIR case. F Jouault, T Le Calvar, M Coyle Agile MDE/MeSS/TTC@ STAF, 2023 | | 2023 |
Frédéric JouaultESEODirección de correo verificada de eseo.fr
