langues
- Français ; langue maternelle
- Anglais ; courant
enseignement
- Algorithmique 1 & 2 ; TP ; L1 ; Langage C++
- Développement Web 1 & 2 ; TP ; L1 & L2 ; HTML, CSS, Bash, PHP
- Théorie des langages et compilation ; TP ; L3 ; C++ avec Flex et Bison
- Approche Orientée Objet ; TD ; L2
- Programmation orientée objet c++ ; TP ; L3 ; cours de C++ avancé
- Réseaux ; TP ; M1 ; introduction aux réseaux
- Programmation C ; TP ; L2
- Base de données et conception ; TP ; L2 ; SQL
frameworks
- Eclipse Modeling Framework
- ATL
- Cuda
outils
- Git
- Traefik
- Docker
- Ansible
autre
- auto-hébergement
- photographie
- astrophotographie
- impression 3D
experiences Scientifiques
-
- Maître Assistant
-
2021/09 ; maintenant ; Équipe NaoMOD, LS2N, IMT-Atlantique, Nantes, France
-
- Post-Doctorat
-
2020/09 ; 2021/08 ; GEODES, Université de Montréal, Canada & équipe ERIS, ESEO-Tech, France
- Poursuite des travaux de thèses. Portage des outils développé durant la thèse à l'écosystème web
-
- Attaché Temporaire d'Enseignement et de Recherche
-
2020/01 ; 2020/08 ; LERIA, Université d'Angers, France
- Prologation des travaux commencés durant la thèse
-
- Doctorat
-
2016/09 ; 2019/12 ; LERIA, Université d'Angers, France
- Exploration d'ensembles de modèles, sous la direction de Frédéric Saubion et co-encadré par Fabien Chhel et Frédéric Jouault
-
- Séminaire Dagstuhl
-
2018/12 ; 2018/12 ; Schloss Dagstuhl, Wadern, Allemagne
- Participation au séminaire Dagstuhl #18491: Multidirectional Transformations and Synchronisations
-
- Invitation
-
2018/09 ; 2018/09 ; Université McGill, Montréal, Québec, Canada
- Invitation d'un mois par Pr. Daniel Varo
-
- Stage de Master 2
-
2016/03 ; 2016/08 ; Inoue Lab, National Institute of Informatics, Tokyo, Japon
- Multi-Objectives Distributed Constraint Optimization Problems
-
- Stage de Master 1
-
2015/04 ; 2015/06 ; LERIA, Université d'Angers, France
- Développer et incorporer une Machine Abstraite de Warren au solver ASP ASPeRiX.
encadrement
-
- Matthew Coyle ; M1 ; 2021
- Ajout d'un solveur logique à ATLc
-
- Julian Cuny-Hubert ; A3 ;
- Stage de fin d'études cycle ingénieur - ORNESS / BNP - Détection d'anomalies sur baies de stockage
-
- Valentin Ménoret ; A3 ;
- Stage de fin d'études cycle ingénieur apprenti - Smartway - Conception et implémentation d'un module de gestion de panier de fruit pour limiter la casse alimentaire en grande surface
publications
-
- Revues internationales
-
- A cross-technology benchmark for incremental graph queries
-
Georg Hinkel
Antonio Garcia-Dominguez
René Schöne
Artur Boronat
Massimo Tisi
Théo Le Calvar
Frederic Jouault
József Marton
Tamás Nyíri
János Benjamin Antal
Márton Elekes
Gábor Szárnyas
- Software and Systems Modeling (2022)
- 10.1007/s10270-021-00927-5
- Consulter l'article en ligne
-
- Congrès international
-
- Designing, animating, and verifying partial UML Models
-
Frédéric Jouault
Valentin Besnard
Théo Le Calvar
Ciprian Teodorov
Matthias Brun
Jerome Delatour
- The 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Montréal, Canada
- 10.1145/3365438.3410967
- Consulter l'article en ligne
- 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), April 2019, Limasol, Chypre
- 10.1145/3297280.3297461
- Consulter l'article en ligne
- Efficient ATL Incremental Transformations
-
Théo Le Calvar
Fabien Chhel
Frédéric Jouault
Mickael Clavreul
- The 12th International Conference on Model Transformations (ICMT '19), publié dans le Journal of Object Technology 18.3 (2019), July 2019, Eindhoven, The Netherlands
- 10.5381/jot.2019.18.3.a2
- Consulter l'article en ligne
-
- Atelier de congrès international
-
- From OCL-based Model Static Analysis to Quick Fixes
-
Frédéric Jouault
Maxime Méré
Matthias Brun
Théo Le Calvar
Matthias Pasquier
Ciprian Teodorov
- OCL Workshop, Co-located with IEEE/ACM 25th International Conference on Model Driven Engineering Languages and Systems (MODELS 2022, Montreal, Canada)
- Intensional View Definition with Constrained Incremental Transformation Rules
-
Théo Le Calvar
Frédéric Jouault
Fabien Chhel
Mickael Clavreul
- Proceedings of the 1st International Workshop on View-Oriented Software Engineering (VoSE) Co-located with the IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019, Munich, Germany)
- 10.1109/MODELS-C.2019.00061
- Truth Tables to Binary Decision Diagrams in Modern ATL
-
Dennis Wagelaar
Théo Le Calvar
Frédéric Jouault
- Proceedings of the 12th Transformation Tool Contest, July 2019, Eindhoven, The Netherlands
- Consulter l'article en ligne
- Using process algebra to statically analyze incremental propagation graphs
-
Théo Le Calvar
Fabien Chhel
Frédéric Jouault
Frédéric Saubion
- MODELS Workshops 2018, Copenhague, Danemark
- Consulter l'article en ligne
- 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), Toulouse, France
- Consulter l'article en ligne
-
- Congrès national
-
- Génération d'ensembles de modèles explorables par couplage de contraintes et de transformation de modèles
-
Théo Le Calvar
Fabien Chhel
Frédéric Jouault
Frédéric Saubion
Eugene Syriani
- JFPC 2021 - Actes des 16es Journées Francophones de Programmation par Contraintes, Nice, France
- Consulter l'article en ligne
- Transformation de modèles et programmation par contraintes avec ATLC
-
Théo Le Calvar
Fabien Chhel
Frédéric Jouault
Frédéric Saubion
- JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes, Albi, France
- Consulter l'article en ligne
- 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
- Journées Francophones de Programmation par Contraintes 2018, Amiens, France
- Consulter l'article en ligne