KIT - Application-oriented Formal Verification - Team

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

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

JerboaStudio: An extension of the Jerboa platform allowing for the synthesis of geometric modeling operations.

2023
Title	Author(s)	Source
Transformations de graphes décorés	Pascale Le Gall and Romain Pascual	Informatique Mathématique Une photographie en 2023

2022
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