Théo Le Calvar

Publications

Article dans une revue (4)

AnimUML: a Practical Tool for Partial Model Animation and Analysis Frédéric Jouault,Valentin Besnard,Matthias Brun,Théo Le Calvar,Fabien Chhelet al. Science of Computer Programming, 2024, pp.103050. ⟨10.1016/j.scico.2023.103050⟩ Article dans une revue hal-04234580v1
A cross-technology benchmark for incremental graph queries Georg Hinkel,Antonio Garcia-Dominguez,René Schöne,Artur Boronat,Massimo Tisiet al. Software and Systems Modeling, 2022, 21 (April), pp.755-804. ⟨10.1007/s10270-021-00927-5⟩ Article dans une revue hal-03594453v1
Coupling solvers with model transformations to generate explorable model sets Théo Le Calvar,Fabien Chhel,Frédéric Jouault,Frédéric Saubion Software and Systems Modeling, 2021, 20 (5), pp.1633-1652. ⟨10.1007/s10270-021-00867-0⟩ Article dans une revue hal-03594336v1
Efficient ATL Incremental Transformations Théo Le Calvar,Frédéric Jouault,Fabien Chhel,Mickael Clavreul The Journal of Object Technology, 2019, Journal of Object Technology, 18 (3), pp.2:1-17. ⟨10.5381/jot.2019.18.3.a2⟩ Article dans une revue hal-02461445v1

Communication dans un congrès (17)

Towards LLM Agents for Model-Based Engineering: A Case in Transformation Selection Zakaria Hachm,Théo Le Calvar,Hugo Bruneliere,Massimo Tisi SAM 2025 - 17th System Analysis and Modelling conference, Oct 2025, Grand Rapids, MI, United States. ⟨10.1109/MODELS-C68889.2025.00061⟩ Communication dans un congrès hal-05228415v1
Modeling OCL Collection Types and Type Casting using Constraint Programming Matthew Coyle,Samir Loudni,Théo Le Calvar,Massimo Tisi 2025 IEEE 37th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2025, Athène, Greece. pp.1428-1435, ⟨10.1109/ICTAI66417.2025.00206⟩ Communication dans un congrès hal-05411063v1
Towards Enforcing Structural OCL Constraints using Constraint Programming Matthew Coyle,Théo Le Calvar,Samir Loudni,Massimo Tisi SAC '25: 40th ACM/SIGAPP Symposium on Applied Computing, Mar 2025, Catania, Italy. pp.1692-1701, ⟨10.1145/3672608.3707919⟩ Communication dans un congrès hal-05068730v1
Incremental MTL vs. GPLs: Class into Relational Database Schema Sandra Greiner,Stefan Höppner,Frédéric Jouault,Théo Le Calvar,Mickaël Clavreul TTC, Jul 2023, VIRTUAL CONFERENCE, France Communication dans un congrès hal-04234722v1
Incremental ATL Solution to the TTC 2023 KMEHR to FHIR Case Frédéric Jouault,Théo Le Calvar,Matthew Coyle TTC 2023, 2023, VIRTUAL CONFERENCE, France Communication dans un congrès hal-04234741v1
Génération de correctifs pour les modèles partiels d'AnimUML Mickaël Clavreul,Frédéric Jouault,Maxime Méré,Matthias Brun,Théo Le Calvaret al. IHM/GL-IHM, 2023, Troyes, France Communication dans un congrès hal-04234501v1
From OCL-based model static analysis to quick fixes Frédéric Jouault,Maxime Méré,Matthias Brun,Théo Le Calvar,Matthias Pasquieret al. 21st International Workshop on OCL and Textual Modeling / MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal (Canada), Canada. pp.889-893, ⟨10.1145/3550356.3561562⟩ Communication dans un congrès hal-03937212v1
Génération d’ensembles de modèles explorables par couplage de contraintes et de transformation de modèles Théo Le Calvar,Frédéric Jouault,Fabien Chhel,Frédéric Saubion,Eugene Syriani Journée Francophones de Programmation par Contraintes (JFPC) 2021, Jun 2021, Virtual, France Communication dans un congrès hal-03594386v1
AnimUML as a UML Modeling and Verification Teaching Tool Frédéric Jouault,Valentin Sebille,Valentin Besnard,Théo Le Calvar,Ciprian Teodorovet al. MODELS 2021, Nov 2021, Fukuoka (virtual), Japan. pp.615-619 Communication dans un congrès hal-03408698v1
Designing, Animating, and Verifying Partial UML Models Frédéric Jouault,Valentin Besnard,Théo Le Calvar,Ciprian Teodorov,Matthias Brunet al. 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada. pp.211-217, ⟨10.1145/3365438.3410967⟩ Communication dans un congrès hal-02931876v1
Truth Tables to Binary Decision Diagrams in Modern ATL Dennis Wagelaar,Frédéric Jouault,Théo Le Calvar TTC 2019 Transformation Tool Contest, Jul 2019, Eindhoven, Netherlands. pp.51-58 Communication dans un congrès hal-02492056v1
Intensional View Definition with Constrained Incremental Transformation Rules Théo Le Calvar,Frédéric Jouault,Fabien Chhel,Frédéric Saubion,Mickael Clavreul 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Sep 2019, Munich, Germany. pp.395-402, ⟨10.1109/MODELS-C.2019.00061⟩ Communication dans un congrès hal-02492143v1
Toward a Declarative Language to Generate Explorable Sets of Models Théo Le Calvar,Fabien Chhel,Frédéric Jouault,Frédéric Saubion 34th ACM/SIGAPP Symposium on Applied Computing (SAC ’19), Apr 2019, Limassol, Cyprus Communication dans un congrès hal-01948080v1
Transformation de modèles et programmation par contraintes avec ATL C Théo Le Calvar,Fabien Chhel,Frédéric Jouault,Frédéric Saubion JPFC 2019, Jun 2019, Albi, France Communication dans un congrès hal-03594942v1
The TTC 2018 Social Media Case, by ATL and AOF Valentin Besnard,Frédéric Jouault,Théo Le Calvar,Massimo Tisi 11th Transformation Tool Contest, co-located with the 2018 Software Technologies: Applications and Foundations (STAF 2018), Jun 2018, Toulouse, France Communication dans un congrès hal-01996093v1
Transformation de Modèles et Contraintes pour l’Ingénierie Dirigée par les Modèles Théo Le Calvar,Fabien Chhel,Frédéric Jouault,Frédéric Saubion JFPC2018, Jun 2018, Amiens, France Communication dans un congrès hal-01804542v1
Using process algebra to statically analyze incremental propagation graphs Théo Le Calvar,Fabien Chhel,Frédéric Jouault,Frédéric Saubion 18th International Workshop in OCL and Textual Modeling, Oct 2018, Copenhague, Denmark Communication dans un congrès hal-01887900v1

Poster de conférence (1)

Static analysis of incremental propagation graphs with process algebra Théo Le Calvar,Fabien Chhel,Frédéric Jouault,Frédéric Saubion ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS) 2018, Oct 2018, Copenhague, Denmark. 2018 Poster de conférence hal-02715065v1

Thèse (1)

Exploration d’ensembles de modèles Théo Le Calvar Informatique et langage [cs.CL]. Université d'Angers, 2019. Français. ⟨NNT : 2019ANGE0035⟩ Thèse tel-03082010v1