Romain Pascual

According to our database, Romain Pascual authored at least 17 papers between 2022 and 2026.

Collaborative distances:

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

2026

Slicing Models for Equiconsistency with Alloy.

Marc Thieme, Shobhit Singh, Terru Stübinger, Romain Pascual, Mattias Ulbrich

Proceedings of the Rigorous State-Based Methods - 12th International Conference, 2026

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

Towards Examining the Complexity of Consistency.

Romain Pascual, Arne Lange, Thomas Weber, Lars König, Michael Kirsten, Terru Stübinger

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

A Conceptual Framework for Fine-Grained Quality Assessment in Version Graphs.

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

Proceedings of the 28th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 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 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