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).
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 und 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 und Ralf Reussner Proceedings of the ACM/IEEE 27th International
Conference on Model Driven Engineering Languages and
Systems
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