Romain Pascual

According to our database, Romain Pascual authored at least 10 papers between 2022 and 2024.

Collaborative distances:

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

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