Théo Le Calvar

According to our database, Théo Le Calvar authored at least 16 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

AnimUML: A practical tool for partial model animation and analysis.

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

Sci. Comput. Program., January, 2024

2023

Incremental ATL solution to the TTC 2023 KMEHR to FHIR case.

Frédéric Jouault, Théo Le Calvar, Matthew Coyle

Proceedings of the Post Proceedings of the STAF 2023 Workshops TTC 2023, 2023

Incremental MTL vs. GPLs: Class into Relational Database Schema.

Sandra Greiner, Stefan Höppner, Frédéric Jouault, Théo Le Calvar, Mickael Clavreul

Proceedings of the Post Proceedings of the STAF 2023 Workshops TTC 2023, 2023

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, Gábor Szárnyas

Softw. Syst. Model., 2022

From OCL-based model static analysis to quick fixes.

Frédéric Jouault, Maxime Méré, Matthias Brun, Théo Le Calvar, Matthias Pasquier, Ciprian Teodorov

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

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

(Ab)using incremental ATL on the TTC 2021 incremental laboratory workflow benchmark.

Frédéric Jouault, Théo Le Calvar

Proceedings of the TTC 2020/2021, 2021

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, Jérôme Delatour

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

2020

Designing, animating, and verifying partial UML Models.

Frédéric Jouault, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour

Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2019

Exploration d'ensembles de modèles. (Model Sets Exploration).

Théo Le Calvar

PhD thesis, 2019

Efficient ATL Incremental Transformations.

Théo Le Calvar, Frédéric Jouault, Fabien Chhel, Mickael Clavreul

J. Object Technol., 2019

Truth Tables to Binary Decision Diagrams in Modern ATL.

Dennis Wagelaar, Théo Le Calvar, Frédéric Jouault

Proceedings of the 12th Transformation Tool Contest, 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

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Intensional View Definition with Constrained Incremental Transformation Rules.

Théo Le Calvar, Frédéric Jouault, Fabien Chhel, Frédéric Saubion, Mickael Clavreul

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

2018

The TTC 2018 Social Media Case, by ATL and AOF.

Valentin Besnard, Frédéric Jouault, Théo Le Calvar, Massimo Tisi

Proceedings of the 11th Transformation Tool Contest, 2018

Using process algebra to statically analyze incremental propagation graphs.

Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion

Proceedings of MODELS 2018 Workshops: ModComp, 2018