Romain Pascual

16 papers B 1C 1Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
A Conceptual Framework for Fine-Grained Quality Assessment in Version Graphs.
MODELS-C
Karl Kegel, Romain Pascual, Kevin Feichtinger, Andreas Domanowski, Marie Clausnitzer, Uwe Aßmann
2025 J jnl
A generic query-modify framework for volumetric mesh processing.
Comput. Graph.
Guillaume Damiand, Vincent Nivoliers, Romain Pascual
2025 B conf
Observable Semantics for Characterising Consistency Between Heterogeneous Models.
SEFM
Henriette Färber, Romain Pascual, Terru Stübinger, Mattias Ulbrich
2025 C conf
Program Synthesis for Geometric Modeling.
LOPSTR
Romain Pascual, Pascale Le Gall, Hakim Belhaouari, Agnès Arnould
2025 — conf
Towards Examining the Complexity of Consistency.
MODELS-C
Romain Pascual, Arne Lange, Thomas Weber, Lars König, Michael Kirsten, Terru Stübinger
2024 — conf
A Delta-Oracle for Fast Model Merge Conflict Estimation using Sketch-Based Critical Pair Analysis.
MoDELS (Companion)
Karl Kegel, Andreas Domanowski, Kevin Feichtinger, Romain Pascual, Uwe Aßmann
2024 J jnl
A Note on Los's Theorem for Kripke-Joyal Semantics.
CoRR
Marc Aiguier, Romain Pascual
2024 J jnl
Exploitation of local adjacencies for parallel construction of a Reeb graph variant: cerebral vascular tree case.
J. WSCG
Charles Lepaire, Hakim Belhaouari, Romain Pascual, Philippe Meseure
2024 — conf
Formal Foundations of Consistency in Model-Driven Development.
ISoLA (3)
Romain Pascual, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten, Wolfram Pfeifer
2024 J jnl
Instantiation of Jerboa Rule Schemes, a Set-based Explanation.
CoRR
Romain Pascual
2024 — conf
Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering.
MoDELS (Companion)
Kevin Feichtinger, Karl Kegel, Romain Pascual, Uwe Aßmann, Bernhard Beckert, Ralf H. Reussner
2024 J jnl
Ultraproducts in abstract categorical logic.
CoRR
Marc Aiguier, Isabelle Bloch, Romain Pascual
2022 J jnl
Inferring topological operations on generalized maps: Application to subdivision schemes.
Graph. Vis. Comput.
Romain Pascual, Hakim Belhaouari, Agnès Arnould, Pascale Le Gall
2022 — —
Inférence de règles de transformations de graphe pour la conception d'opérations de modélisation géométrique. (Inference of graph transformation rules for the design of geometric modeling operations).
Romain Pascual
2022 J jnl
Preserving consistency in geometric modeling with graph transformations.
Math. Struct. Comput. Sci.
Agnès Arnould, Hakim Belhaouari, Thomas Bellet, Pascale Le Gall, Romain Pascual
2022 J jnl
Topological consistency preservation with graph transformation schemes.
Sci. Comput. Program.
Romain Pascual, Pascale Le Gall, Agnès Arnould, Hakim Belhaouari