Romain Pascual

According to our database, Romain Pascual authored at least 14 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

A generic query-modify framework for volumetric mesh processing.

Guillaume Damiand, Vincent Nivoliers, Romain Pascual

Comput. Graph., 2025

Observable Semantics for Characterising Consistency Between Heterogeneous Models.

Henriette Färber, Romain Pascual, Terru Stübinger, Mattias Ulbrich

Proceedings of the Software Engineering and Formal Methods - 23rd International Conference, 2025

Program Synthesis for Geometric Modeling.

Romain Pascual, Pascale Le Gall, Hakim Belhaouari, Agnès Arnould

Proceedings of the Logic-Based Program Synthesis and Transformation, 2025

2024

Exploitation of local adjacencies for parallel construction of a Reeb graph variant: cerebral vascular tree case.

Charles Lepaire, Hakim Belhaouari, Romain Pascual, Philippe Meseure

J. WSCG, 2024

Instantiation of Jerboa Rule Schemes, a Set-based Explanation.

Romain Pascual

CoRR, 2024

A Note on Los's Theorem for Kripke-Joyal Semantics.

Marc Aiguier, Romain Pascual

CoRR, 2024

Ultraproducts in abstract categorical logic.

Marc Aiguier, Isabelle Bloch, Romain Pascual

CoRR, 2024

A Delta-Oracle for Fast Model Merge Conflict Estimation using Sketch-Based Critical Pair Analysis.

Karl Kegel, Andreas Domanowski, Kevin Feichtinger, Romain Pascual, Uwe Aßmann

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering.

Kevin Feichtinger, Karl Kegel, Romain Pascual, Uwe Aßmann, Bernhard Beckert, Ralf H. Reussner

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Formal Foundations of Consistency in Model-Driven Development.

Romain Pascual, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten, Wolfram Pfeifer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

2022

Preserving consistency in geometric modeling with graph transformations.

Agnès Arnould, Hakim Belhaouari, Thomas Bellet, Pascale Le Gall, Romain Pascual

Math. Struct. Comput. Sci., March, 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

PhD thesis, 2022

Topological consistency preservation with graph transformation schemes.

Romain Pascual, Pascale Le Gall, Agnès Arnould, Hakim Belhaouari

Sci. Comput. Program., 2022

Inferring topological operations on generalized maps: Application to subdivision schemes.

Romain Pascual, Hakim Belhaouari, Agnès Arnould, Pascale Le Gall

Graph. Vis. Comput., 2022