Documentation
Français (FR)

Anglais (EN)

Théo Le Calvar

18

Documents

Publications

	AnimUML: a Practical Tool for Partial Model Animation and Analysis Frédéric Jouault , Valentin Besnard , Matthias Brun , Théo Le Calvar , Fabien Chhel Science of Computer Programming, 2023, pp.103050. ⟨10.1016/j.scico.2023.103050⟩ Article dans une revue hal-04234580v1
	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

	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 Calvar IHM/GL-IHM, 2023, Troyes, France Communication dans un congrès hal-04234501v1
	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
	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
	From OCL-based model static analysis to quick fixes Frédéric Jouault , Maxime Méré , Matthias Brun , Théo Le Calvar , Matthias Pasquier 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
	AnimUML as a UML Modeling and Verification Teaching Tool Frédéric Jouault , Valentin Sebille , Valentin Besnard , Théo Le Calvar , Ciprian Teodorov MODELS 2021, Nov 2021, Fukuoka (virtual), Japan. pp.615-619 Communication dans un congrès hal-03408698v1
	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
	Designing, Animating, and Verifying Partial UML Models Frédéric Jouault , Valentin Besnard , Théo Le Calvar , Ciprian Teodorov , Matthias Brun 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
	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
	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
	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
	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
	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

	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