Dr. Romain Pascual

Wissenschaftlicher Mitarbeiter

Raum 202, Gebäude 50.34
Tel.: +49 721 608-44024
Fax: +49 721 608-44021
romain pascualXwx3∂kit edu

https://romainpascual.fr/
KIT / Institut für Informationssicherheit und Verlässlichkeit (KASTEL)

Am Fasanengarten 5
Gebäude 50.34
76131 Karlsruhe
Deutschland


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

2024
Titel Autor(en) Quelle
Formal Foundations of Consistency in Model-Driven DevelopmentRomain Pascual, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten und Wolfram Pfeifer12th 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 AnalysisKarl Kegel, Andreas Domanowski, Kevin Feichtinger, Romain Pascual und 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 und Ralf ReussnerProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems
2023
Titel Autor(en) Quelle
Transformations de graphes décorésPascale Le Gall und Romain PascualInformatique Mathématique Une photographie en 2023
2022
Titel Autor(en) Quelle
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 und Pascale Le GallGraphics and Visual Computing 6
Preserving consistency in geometric modeling with graph transformationsAgnès Arnould, Hakim Belhaouari, Thomas Bellet, Pascale Le Gall und Romain PascualMathematical Structures in Computer Science 32(3)
Topological consistency preservation with graph transformation schemesRomain Pascual, Pascale Le Gall, Agnès Arnould und Hakim BelhaouariScience of Computer Programming 214