Skip to Main content
Number of documents

13

Théo Le Calvar


Journal articles2 documents

  • Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion. Coupling solvers with model transformations to generate explorable model sets. Software and Systems Modeling, Springer Verlag, 2021, 20 (5), pp.1633-1652. ⟨10.1007/s10270-021-00867-0⟩. ⟨hal-03594336⟩
  • Théo Le Calvar, Frédéric Jouault, Fabien Chhel, Mickael Clavreul. Efficient ATL Incremental Transformations. The Journal of Object Technology, Chair of Software Engineering, 2019, Journal of Object Technology, 18 (3), pp.2:1-17. ⟨10.5381/jot.2019.18.3.a2⟩. ⟨hal-02461445⟩

Conference papers10 documents

  • Frédéric Jouault, Valentin Sebille, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, et al.. AnimUML as a UML Modeling and Verification Teaching Tool. MODELS 2021, Nov 2021, Fukuoka (virtual), Japan. pp.615-619. ⟨hal-03408698⟩
  • Théo Le Calvar, Frédéric Jouault, Fabien Chhel, Frédéric Saubion, Eugene Syriani. Génération d’ensembles de modèles explorables par couplage de contraintes et de transformation de modèles. Journée Francophones de Programmation par Contraintes (JFPC) 2021, Jun 2021, Virtual, France. ⟨hal-03594386⟩
  • Frédéric Jouault, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, et al.. Designing, Animating, and Verifying Partial UML Models. 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada. pp.211-217, ⟨10.1145/3365438.3410967⟩. ⟨hal-02931876⟩
  • Théo Le Calvar, Frédéric Jouault, Fabien Chhel, Frédéric Saubion, Mickael Clavreul. Intensional View Definition with Constrained Incremental Transformation Rules. 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⟩. ⟨hal-02492143⟩
  • Dennis Wagelaar, Frédéric Jouault, Théo Le Calvar. Truth Tables to Binary Decision Diagrams in Modern ATL. TTC 2019 Transformation Tool Contest, Jul 2019, Eindhoven, Netherlands. pp.51-58. ⟨hal-02492056⟩
  • Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion. Transformation de modèles et programmation par contraintes avec ATL C. JPFC 2019, Jun 2019, Albi, France. ⟨hal-03594942⟩
  • Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion. Toward a Declarative Language to Generate Explorable Sets of Models. 34th ACM/SIGAPP Symposium on Applied Computing (SAC ’19), Apr 2019, Limassol, Cyprus. ⟨hal-01948080⟩
  • Valentin Besnard, Frédéric Jouault, Théo Le Calvar, Massimo Tisi. The TTC 2018 Social Media Case, by ATL and AOF. 11th Transformation Tool Contest, co-located with the 2018 Software Technologies: Applications and Foundations (STAF 2018), Jun 2018, Toulouse, France. ⟨hal-01996093⟩
  • Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion. Transformation de Modèles et Contraintes pour l’Ingénierie Dirigée par les Modèles. JFPC2018, Jun 2018, Amiens, France. ⟨hal-01804542⟩
  • Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion. Using process algebra to statically analyze incremental propagation graphs. 18th International Workshop in OCL and Textual Modeling, Oct 2018, Copenhague, Denmark. ⟨hal-01887900⟩

Poster communications1 document

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