Follow
Théo Le Calvar
Théo Le Calvar
IMT Atlantique, LS2N (UMR CNRS 6004), Nantes, France
Verified email at imt-atlantique.fr - Homepage
Title
Cited by
Cited by
Year
Efficient ATL Incremental Transformations.
T Le Calvar, F Jouault, F Chhel, M Clavreul
J. Object Technol. 18 (3), 2:1-17, 2019
212019
Designing, animating, and verifying partial UML Models
F Jouault, V Besnard, TL Calvar, C Teodorov, M Brun, J Delatour
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020
192020
Toward a declarative language to generate explorable sets of models
TL Calvar, F Chhel, F Jouault, F Saubion
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 1837-1844, 2019
112019
Animuml as a uml modeling and verification teaching tool
F Jouault, V Sebille, V Besnard, T Le Calvar, C Teodorov, M Brun, ...
2021 ACM/IEEE International Conference on Model Driven Engineering Languages …, 2021
42021
The TTC 2018 Social Media Case, by ATL and AOF
V Besnard, F Jouault, T Le Calvar, M Tisi
11th Transformation Tool Contest, co-located with the 2018 Software …, 2018
42018
A cross-technology benchmark for incremental graph queries
G Hinkel, A Garcia-Dominguez, R Schöne, A Boronat, M Tisi, T Le Calvar, ...
Software and Systems Modeling 21 (2), 755-804, 2022
32022
Coupling solvers with model transformations to generate explorable model sets
T Le Calvar, F Chhel, F Jouault, F Saubion
Software and Systems Modeling 20 (5), 1633-1652, 2021
32021
Intensional view definition with constrained incremental transformation rules
T Le Calvar, F Jouault, F Chhel, F Saubion, M Clavreul
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019
32019
Using process algebra to statically analyze incremental propagation graphs
T Le Calvar12, F Chhel, F Jouault, F Saubion
32018
Transformation de Modèles et Contraintes pour l’Ingénierie Dirigée par les Modeles
T Le Calvar, F Chhel, F Jouault, F Saubion, EA Groupe
JFPC 2018, 93, 2018
32018
An Exact Algorithm for Unicost Set Covering
E Demirovic, T Le Calvar, N Musliu, K Inoue
Doctoral Program of the 22nd International Conference on the Principles and …, 2016
32016
From OCL-based model static analysis to quick fixes
F Jouault, M Méré, M Brun, TL Calvar, M Pasquier, C Teodorov
Proceedings of the 25th International Conference on Model Driven Engineering …, 2022
22022
Exploration d’ensembles de modèles
T Le Calvar
Université d'Angers, 2019
22019
Transformation de modèles et programmation par contraintes avec ATLC
T Le Calvar, F Chhel, F Jouault, F Saubion
JFPC 2019-Actes des 15es Journées Francophones de Programmation par …, 2019
22019
Incremental mtl vs. gpls: Class into relational database schema
S Greiner, S Höppner, F Jouault, T Le Calvar, M Clavreul
Proceedings of the 15th Transformation Tool Contest (TTC 2023)(July 2023), 2023
12023
(Ab) using incremental ATL on the TTC 2021 incremental laboratory workflow benchmark.
F Jouault, T Le Calvar
TTC/, 2021
12021
Truth Tables to Binary Decision Diagrams in Modern ATL
D Wagelaar, F Jouault, T Le Calvar
TTC 2019 Transformation Tool Contest, 51-58, 2019
12019
Static analysis of incremental propagation graphs with process algebra
T Le Calvar, F Chhel, F Jouault, F Saubion
ACM/IEEE 21st International Conference on Model Driven Engineering Languages …, 2018
12018
AnimUML: A practical tool for partial model animation and analysis
F Jouault, V Besnard, M Brun, T Le Calvar, F Chhel, M Clavreul, ...
Science of Computer Programming 232, 103050, 2024
2024
Incremental ATL solution to the TTC 2023 KMEHR to FHIR case
F Jouault, T Le Calvar, M Coyle
TTC 2023, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20