Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Team
Romain Pascual

Dr. Romain Pascual

Researcher
Room 202, Building 50.34
Phone: +49 721 608-44024
Fax:      +49 721 608-44021
romain pascualXwx3∂kit edu

https://romainpascual.fr/
 KIT / Institute of Information Security and Dependability (KASTEL)

Am Fasanengarten 5
Building 50.34
76131 Karlsruhe
Germany


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

2025
Title Author(s) Source
Formal Foundations of Consistency in Model-Driven DevelopmentRomain Pascual, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten, and Wolfram Pfeifer12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024). Specification and Verification
2024
Title Author(s) Source
A Delta-Oracle for Fast Model Merge Conflict Estimation using Sketch-Based Critical Pair AnalysisKarl Kegel, Andreas Domanowski, Kevin Feichtinger, Romain Pascual, and Uwe AßmannProceedings 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 EngineeringKevin Feichtinger, Karl Kegel, Romain Pascual, Uwe Aßmann, Bernhard Beckert, and Ralf ReussnerProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems
2023
Title Author(s) Source
Transformations de graphes décorésPascale Le Gall and Romain PascualInformatique Mathématique Une photographie en 2023
2022
Title Author(s) Source
Inference of graph transformation rules for the design of geometric modeling operationsRomain PascualUniversité Paris-Saclay
Inferring topological operations on generalized maps: Application to subdivision schemesRomain Pascual, Hakim Belhaouari, Agnès Arnould, and Pascale Le GallGraphics and Visual Computing 6
Preserving consistency in geometric modeling with graph transformationsAgnès Arnould, Hakim Belhaouari, Thomas Bellet, Pascale Le Gall, and Romain PascualMathematical Structures in Computer Science 32(3)
Topological consistency preservation with graph transformation schemesRomain Pascual, Pascale Le Gall, Agnès Arnould, and Hakim BelhaouariScience of Computer Programming 214