Théo Le Calvar

21 papers A 1B 1Misc 2Journal 4Unranked 11
YearRankTypeTitle / Venue / Authors
2025 — ed.
Joint Proceedings of the STAF 2025 Workshops: OCL, OOPSLE, LLM4SE, ICMM, AgileMDE, AI4DPS, and TTC co-located with the International Conference on Software Technologies: Applications and Foundations (STAF 2025), Koblenz, Germany, June 10-13, 2025.
STAF Workshops
Amir Shayan Ahmadian, Ralf Lämmel, Sobhan Yassipour Tehrani, Iván Alfonso, Shekoufeh Kolahdouz Rahimi, Arne Lange, Thomas Weber, Colin Atkinson, Uwe Aßmann, Antonio Cicchetti, José Antonio Hernández López, Riccardo Rubei, Robert Clarisó, Lars Hamann, Mikhail Barash, Vadim Zaytsev, Andreas Schmitz, Friedrich Steimann, Maria Wimmer, Sandra Greiner, Georg Hinkel, Théo Le Calvar
2025 B conf
Modeling OCL Collection Types and Type Casting Using Constraint Programming.
ICTAI
Matthew Coyle, Samir Loudni, Théo Le Calvar, Massimo Tisi
2025 Misc conf
Towards Enforcing Structural OCL Constraints using Constraint Programming.
SAC
Matthew Coyle, Théo Le Calvar, Samir Loudni, Massimo Tisi
2025 — conf
Towards LLM Agents for Model-Based Engineering: A Case in Transformation Selection.
MODELS-C
Zakaria Hachm, Théo Le Calvar, Hugo Bruneliere, Massimo Tisi
2025 — conf
Universal Variability Language to Dot.
STAF Workshops
Georg Hinkel, Sandra Greiner, Théo Le Calvar
2024 J jnl
AnimUML: A practical tool for partial model animation and analysis.
Sci. Comput. Program.
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
2023 — conf
Incremental ATL solution to the TTC 2023 KMEHR to FHIR case.
Agile MDE/MeSS/TTC@STAF
Frédéric Jouault, Théo Le Calvar, Matthew Coyle
2023 — conf
Incremental MTL vs. GPLs: Class into Relational Database Schema.
Agile MDE/MeSS/TTC@STAF
Sandra Greiner, Stefan Höppner, Frédéric Jouault, Théo Le Calvar, Mickael Clavreul
2022 J jnl
A cross-technology benchmark for incremental graph queries.
Softw. Syst. Model.
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
2022 — conf
From OCL-based model static analysis to quick fixes.
MoDELS (Companion)
Frédéric Jouault, Maxime Méré, Matthias Brun, Théo Le Calvar, Matthias Pasquier, Ciprian Teodorov
2021 — conf
(Ab)using incremental ATL on the TTC 2021 incremental laboratory workflow benchmark.
TTC/
Frédéric Jouault, Théo Le Calvar
2021 — conf
AnimUML as a UML Modeling and Verification Teaching Tool.
MoDELS (Companion)
Frédéric Jouault, Valentin Sebille, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour
2021 J jnl
Coupling solvers with model transformations to generate explorable model sets.
Softw. Syst. Model.
Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion
2020 A conf
Designing, animating, and verifying partial UML Models.
MoDELS
Frédéric Jouault, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour
2019 J jnl
Efficient ATL Incremental Transformations.
J. Object Technol.
Théo Le Calvar, Frédéric Jouault, Fabien Chhel, Mickael Clavreul
2019 — —
Exploration d'ensembles de modèles. (Model Sets Exploration).
Théo Le Calvar
2019 — conf
Intensional View Definition with Constrained Incremental Transformation Rules.
MoDELS (Companion)
Théo Le Calvar, Frédéric Jouault, Fabien Chhel, Frédéric Saubion, Mickael Clavreul
2019 Misc conf
Toward a declarative language to generate explorable sets of models.
SAC
Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion
2019 — conf
Truth Tables to Binary Decision Diagrams in Modern ATL.
TTC@STAF
Dennis Wagelaar, Théo Le Calvar, Frédéric Jouault
2018 — conf
The TTC 2018 Social Media Case, by ATL and AOF.
TTC@STAF
Valentin Besnard, Frédéric Jouault, Théo Le Calvar, Massimo Tisi
2018 — conf
Using process algebra to statically analyze incremental propagation graphs.
MoDELS (Workshops)
Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion