Romain Pascual

dblp:308/6547 · DBLP profile ↗
← Back
7ranked-venue papers
3as first author
7since 2021 · last 2026
0000-0003-1282-1933ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 5 · 3 first-author · 5 since 2021Theory of computation · 3 · 1 first-author · 3 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 since 2021
YearPublicationVenuePosition
2026 Slicing Models for Equiconsistency with Alloy
Marc Thieme, Shobhit Singh, Terru Stübinger, Romain Pascual, Mattias Ulbrich
ABZ4
2025 Program Synthesis for Geometric Modeling
Romain Pascual, Pascale Le Gall, Hakim Belhaouari, Agnès Arnould
LOPSTR1
2025 Observable Semantics for Characterising Consistency Between Heterogeneous Models
Henriette Färber, Romain Pascual, Terru Stübinger, Mattias Ulbrich
SEFM2
2025 A generic query-modify framework for volumetric mesh processing
Guillaume Damiand, Vincent Nivoliers, Romain Pascual
Comput. Graph.3
2024 Formal Foundations of Consistency in Model-Driven Development
Romain Pascual, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten, Wolfram Pfeifer
ISoLA (3)1
2022 Preserving consistency in geometric modeling with graph transformations
abstract
Abstract Labeled graphs are particularly well adapted to represent objects in the context of topology-based geometric modeling. Thus, graph transformation theory is used to implement modeling operations and check their consistency. This article defines a class of graph transformation rules dedicated to embedding computations. Objects are here defined as a particular subclass of labeled graphs in which arc labels encode their topological structure (i.e., cell subdivision: vertex, edge, face) and node labels encode their embedding (i.e., relevant data: vertex positions, face colors, volume density). Object consistency is defined by labeling constraints which must be preserved by modeling operations that modify topology and/or embedding. Dedicated graph transformation variables allow us to access the existing embedding from the underlying topological structure (e.g., collecting all the points of a face) in order to compute the new embedding using user-provided functions (e.g., compute the barycenter of several points). To ensure the safety of the defined operations, we provide syntactic conditions on rules that preserve the object consistency constraints.
Agnès Arnould, Hakim Belhaouari, Thomas Bellet, Pascale Le Gall, Romain Pascual
Math. Struct. Comput. Sci.5
2022 Topological consistency preservation with graph transformation schemes
Romain Pascual, Pascale Le Gall, Agnès Arnould, Hakim Belhaouari
Sci. Comput. Program.1