Théo Le Calvar

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 15

Top Topics

Binary Decision Diagrams

Declarative Language

Transformation Rules

Incremental Learning

Top Venues

MoDELS (Companion)

Agile MDE/MeSS/TTC@STAF

Softw. Syst. Model.

Publications

Frédéric Jouault, Valentin Besnard, Matthias Brun, Théo Le Calvar, Fabien Chhel, Mickael Clavreul, Jérôme Delatour, Maxime Méré, Matthias Pasquier, Ciprian Teodorov
AnimUML: A practical tool for partial model animation and analysis. Sci. Comput. Program. 232 (2024)
Sandra Greiner, Stefan Höppner, Frédéric Jouault, Théo Le Calvar, Mickael Clavreul
Incremental MTL vs. GPLs: Class into Relational Database Schema. Agile MDE/MeSS/TTC@STAF (2023)
Frédéric Jouault, Théo Le Calvar, Matthew Coyle
Incremental ATL solution to the TTC 2023 KMEHR to FHIR case. Agile MDE/MeSS/TTC@STAF (2023)
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, Gábor Szárnyas
A cross-technology benchmark for incremental graph queries. Softw. Syst. Model. 21 (2) (2022)
Frédéric Jouault, Maxime Méré, Matthias Brun, Théo Le Calvar, Matthias Pasquier, Ciprian Teodorov
From OCL-based model static analysis to quick fixes. MoDELS (Companion) (2022)
Frédéric Jouault, Valentin Sebille, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour
AnimUML as a UML Modeling and Verification Teaching Tool. MoDELS (Companion) (2021)
Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion
Coupling solvers with model transformations to generate explorable model sets. Softw. Syst. Model. 20 (5) (2021)
Frédéric Jouault, Théo Le Calvar
(Ab)using incremental ATL on the TTC 2021 incremental laboratory workflow benchmark. TTC/ (2021)
Frédéric Jouault, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour
Designing, animating, and verifying partial UML Models. MoDELS (2020)
Théo Le Calvar, Frédéric Jouault, Fabien Chhel, Frédéric Saubion, Mickael Clavreul
Intensional View Definition with Constrained Incremental Transformation Rules. MoDELS (Companion) (2019)
Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion
Toward a declarative language to generate explorable sets of models. SAC (2019)
Théo Le Calvar, Frédéric Jouault, Fabien Chhel, Mickael Clavreul
Efficient ATL Incremental Transformations. J. Object Technol. 18 (3) (2019)
Dennis Wagelaar, Théo Le Calvar, Frédéric Jouault
Truth Tables to Binary Decision Diagrams in Modern ATL. TTC@STAF (2019)
Valentin Besnard, Frédéric Jouault, Théo Le Calvar, Massimo Tisi
The TTC 2018 Social Media Case, by ATL and AOF. TTC@STAF (2018)
Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion
Using process algebra to statically analyze incremental propagation graphs. MoDELS (Workshops) (2018)