Formal Foundations of Consistency in Model-Driven DevelopmentOct 29, 2024ISoLA 2024Read moreOct 29, 2024
Formal Foundations of Consistency in Model-Driven DevelopmentJul 1, 2024KeY Symposium 2024Read moreJul 1, 2024
Consistent geometric modeling operationsNov 16, 2023Formal Methods research seminarRead moreNov 16, 2023
Graph transformations and application to geometric modelingNov 10, 2023Groupe de travail toposiqueRead moreNov 10, 2023
An approach for inferring geometric expressions in topology-based modelingOct 6, 2023FM&AI working groupRead moreOct 6, 2023
Transformations de graphes décorés, Application aux opérations de modélisation géométriqueJun 22, 2023EJCIMRead moreJun 22, 2023
Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologiqueJun 8, 2023AFADL 2023Read moreJun 8, 2023
Graph transformation: a tool for designing geometric modeling operationsApr 11, 2023APR seminarRead moreApr 11, 2023
Graph transformation for reasoning about geometric modeling operationsMar 30, 2023PPS seminarRead moreMar 30, 2023
Inference of graph transformation rules for the design of geometric modeling operationsFeb 2, 2023IG Team SeminarRead moreFeb 2, 2023
Inference of graph transformation rules for the design of geometric modeling operationsNov 29, 2022Ph.D. DefenseRead moreNov 29, 2022
Inference of geometric modeling operations using generalized mapsJun 16, 2022IG Team SeminarRead moreJun 16, 2022
Déduction topologique et géométrique pour l'inférence d'opérations de modélisationMar 17, 2022Journées du GTMG 2022Read moreMar 17, 2022
Graph rewriting for topology-based geometric modelingDec 7, 2021MICS Laboratory SeminarRead moreDec 7, 2021
Combinatorial maps: transformations and application to geometric modelingSep 24, 2021GReTA SeminarRead moreSep 24, 2021
Aide à la conception d'opérations topologiques par inférenceMar 18, 2021Journées du GTMG 2021Read moreMar 18, 2021
Transformations de graphes pour la modélisation géométrique : Des cartes généralisées aux cartes orientéesMar 5, 2020IG Team seminarRead moreMar 5, 2020