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).
Specification and Verification A Delta-Oracle for Fast Model Merge Conflict Estimation
using Sketch-Based Critical Pair Analysis Karl Kegel, Andreas Domanowski, Kevin Feichtinger, Romain Pascual, and Uwe Aßmann Proceedings of the ACM/IEEE 27th International
Conference on Model Driven Engineering Languages and
Systems Towards Formalizing and Relating Different Notions of
Consistency in Cyber-Physical Systems Engineering Kevin Feichtinger, Karl Kegel, Romain Pascual, Uwe Aßmann, Bernhard Beckert, and Ralf Reussner Proceedings of the ACM/IEEE 27th International
Conference on Model Driven Engineering Languages and
Systems
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