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.
Veröffentlichungen
Titel
Autor(en)
Quelle
Formal Foundations of Consistency in Model-Driven
Development Romain Pascual, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten und Wolfram Pfeifer 12th International Symposium on Leveraging Applications of
Formal Methods, Verification and Validation (ISoLA 2024)
Titel
Autor(en)
Quelle
Transformations de graphes décorés Pascale Le Gall und Romain Pascual Informatique Mathématique Une photographie en 2023
Titel
Autor(en)
Quelle
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 und 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 und Romain Pascual Mathematical Structures in Computer Science 32(3) Topological consistency preservation with graph transformation schemes Romain Pascual, Pascale Le Gall, Agnès Arnould und Hakim Belhaouari Science of Computer Programming 214