Using process algebra to statically analyze incremental propagation graphs. - Théo Le Calvar; Fabien Chhel; Frédéric Jouault; Frédéric Saubion (MoDELS (Workshops), 2018)

The TTC 2018 Social Media Case, by ATL and AOF. - Valentin Besnard; Frédéric Jouault; Théo Le Calvar; Massimo Tisi (TTC@STAF, 2018)

Intensional View Definition with Constrained Incremental Transformation Rules. - Théo Le Calvar; Frédéric Jouault; Fabien Chhel; Frédéric Saubion; Mickael Clavreul (MoDELS (Companion), 2019)

Toward a declarative language to generate explorable sets of models. - Théo Le Calvar; Fabien Chhel; Frédéric Jouault; Frédéric Saubion (SAC, 2019)

Truth Tables to Binary Decision Diagrams in Modern ATL. - Dennis Wagelaar; Théo Le Calvar; Frédéric Jouault (TTC@STAF, 2019)

Efficient ATL Incremental Transformations. - Théo Le Calvar; Frédéric Jouault; Fabien Chhel; Mickael Clavreul (J. Object Technol., 2019)

Exploration d'ensembles de modèles. (Model Sets Exploration). - Théo Le Calvar (2019)

Designing, animating, and verifying partial UML Models. - Frédéric Jouault; Valentin Besnard; Théo Le Calvar; Ciprian Teodorov; Matthias Brun 001; Jérôme Delatour (MoDELS, 2020)

AnimUML as a UML Modeling and Verification Teaching Tool. - Frédéric Jouault; Valentin Sebille; Valentin Besnard; Théo Le Calvar; Ciprian Teodorov; Matthias Brun 001; Jérôme Delatour (MoDELS (Companion), 2021)

(Ab)using incremental ATL on the TTC 2021 incremental laboratory workflow benchmark. - Frédéric Jouault; Théo Le Calvar (TTC/, 2021)

Coupling solvers with model transformations to generate explorable model sets. - Théo Le Calvar; Fabien Chhel; Frédéric Jouault; Frédéric Saubion (Softw. Syst. Model., 2021)

From OCL-based model static analysis to quick fixes. - Frédéric Jouault; Maxime Méré; Matthias Brun 001; Théo Le Calvar; Matthias Pasquier; Ciprian Teodorov (MoDELS (Companion), 2022)

A cross-technology benchmark for incremental graph queries. - Georg Hinkel; Antonio García-Domínguez; René Schöne; Artur Boronat; Massimo Tisi; Théo Le Calvar; Frédéric Jouault; József Marton; Tamás Nyíri; János Benjamin Antal; Márton Elekes 001; Gábor Szárnyas (Softw. Syst. Model., 2022)

Incremental MTL vs. GPLs: Class into Relational Database Schema. - Sandra Greiner 001; Stefan Höppner; Frédéric Jouault; Théo Le Calvar; Mickael Clavreul (Agile MDE/MeSS/TTC@STAF, 2023)

Incremental ATL solution to the TTC 2023 KMEHR to FHIR case. - Frédéric Jouault; Théo Le Calvar; Matthew Coyle (Agile MDE/MeSS/TTC@STAF, 2023)

AnimUML: A practical tool for partial model animation and analysis. - Frédéric Jouault; Valentin Besnard; Matthias Brun 001; Théo Le Calvar; Fabien Chhel; Mickael Clavreul; Jérôme Delatour; Maxime Méré; Matthias Pasquier; Ciprian Teodorov (Sci. Comput. Program., 2024)

Towards Enforcing Structural OCL Constraints using Constraint Programming. - Matthew Coyle; Théo Le Calvar; Samir Loudni; Massimo Tisi (SAC, 2025)