Publications

Henriette Färber, Romain Pascual, Terru Stübinger, Mattias Ulbrich (2025). Observable Semantics for Characterising Consistency Between Heterogeneous Models. SEFM 2025.

Guillaume Damiand, Vincent Nivoliers, Romain Pascual (2025). A Generic Query-Modify Framework for Volumetric Mesh Processing. Computers & Graphics.

Romain Pascual, Arne Lange, Thomas Weber, Lars König, Michael Kirsten, Terru Stübinger (2025). Towards Examining the Complexity of Consistency. MoDEVVa 2025.

Karl Kegel, Romain Pascual, Kevin Feichtinger, Andreas Domanowski, Marie Clausnitzer, Uwe Aßmann (2025). A Conceptual Framework for Fine-Grained Quality Assessment in Version Graphs. MoM 2025.

Romain Pascual, Pascale Le Gall, Hakim Belhaouari, Agnès Arnould (2025). Program Synthesis for Geometric Modeling. LOPSTR 2025.

Romain Pascual (2024). Instantiation of Jerboa Rule Schemes, a Set-based Explanation. arXiv preprint.

Marc Aiguier, Romain Pascual (2024). A Note on Los's Theorem for Kripke-Joyal Semantics. arXiv preprint.

Romain Pascual, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten, Wolfram Pfeifer (2024). Formal Foundations of Consistency in Model-Driven Development. In ISoLA.

Karl Kegel, Andreas Domanowski, Kevin Feichtinger, Romain Pascual, Uwe Aßmann (2024). A Delta-Oracle for Fast Model Merge Conflict Estimation using Sketch-Based Critical Pair Analysis. ME 2024.

Kevin Feichtinger, Karl Kegel, Romain Pascual, Uwe Aßmann, Bernhard Beckert, Ralf Reussner (2024). Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering. MPM4CPS 2024.

Marc Aiguier, Isabelle Bloch, Romain Pascual (2024). Ultraproducts in abstract categorical logic. arXiv preprint.

Charles Lepaire, Hakim Belhaouari, Romain Pascual, Philippe Meseure (2024). Exploitation of local adjacencies for parallel construction of a Reeb graph variant: cerebral vascular tree case. WSCG.

Pascale Le Gall, Romain Pascual (2023). Transformations de graphes décorés. Informatique Mathématique Une photographie en 2023.

Romain Pascual, Pascale Le Gall, Hakim Belhaouari, Agnès Arnould (2023). Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique. AFADL'23.

Romain Pascual (2022). Inference of graph transformation rules for the design of geometric modeling operations. Ph.D. thesis.

Agnès Arnould, Hakim Belhaouari, Thomas Bellet, Pascale Le Gall, Romain Pascual (2022). Preserving consistency in geometric modeling with graph transformations. MSCS.

Romain Pascual, Hakim Belhaouari, Agnès Arnould, Pascale Le Gall (2022). Inferring topological operations on generalized maps: Application to subdivision schemes. GVC.

Romain Pascual, Hakim Belhaouari, Agnès Arnould, Pascale Le Gall (2022). A First Step Towards the Inference of Geological Topological Operations. Eurographics 2022 (Poster).

Romain Pascual, Pascale Le Gall, Agnès Arnould, Hakim Belhaouari (2021). Topological consistency preservation with graph transformation schemes. SCP.