Research Interests
- Theoretical Computer Science
- Formal Methods
- Graph rewriting
- Consistency preservation
Projects
- JerboaStudio: An extension of the Jerboa platform allowing for the synthesis of geometric modeling operations.
Publications
Title
Author(s)
Source
Formal Foundations of Consistency in Model-Driven
Development Romain Pascual, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten, and Wolfram Pfeifer 12th International Symposium on Leveraging Applications of
Formal Methods, Verification and Validation (ISoLA 2024)
Title
Author(s)
Source
Transformations de graphes décorés Pascale Le Gall and Romain Pascual Informatique Mathématique Une photographie en 2023
Title
Author(s)
Source
Inference of graph transformation rules for the design of geometric modeling operations Romain Pascual Université Paris-Saclay Inferring topological operations on generalized maps: Application to subdivision schemes Romain Pascual, Hakim Belhaouari, Agnès Arnould, and Pascale Le Gall Graphics and Visual Computing 6 Preserving consistency in geometric modeling with graph transformations Agnès Arnould, Hakim Belhaouari, Thomas Bellet, Pascale Le Gall, and Romain Pascual Mathematical Structures in Computer Science 32(3) Topological consistency preservation with graph transformation schemes Romain Pascual, Pascale Le Gall, Agnès Arnould, and Hakim Belhaouari Science of Computer Programming 214