Romain Pascual
Romain Pascual
Home
Publications
Talks
Teaching
CV (en)
CV (fr)
Contact
Light
Dark
Automatic
Publications
Type
Uncategorized
Conference paper
Journal article
Book section
Thesis
Date
2024
2023
2022
2021
Formal Foundations of Consistency in Model-Driven Development
Models are abstractions used to precisely represent specific aspects of a system in order to make work easier for engineers. This …
Romain Pascual
,
Bernhard Beckert
,
Mattias Ulbrich
,
Michael Kirsten
,
Wolfram Pfeifer
PDF
Cite
A Delta-Oracle for Fast Model Merge Conflict Estimation using Sketch-Based Critical Pair Analysis
Conflicting changes are a major challenge in branch-based development and modeling. State-of-the-art research proposes continuous …
Karl Kegel
,
Andreas Domanowski
,
Kevin Feichtinger
,
Romain Pascual
,
Uwe Aßmann
Cite
Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering
Cyber-Physical Systems (CPS) are highly complex systems integrating computational and physical processes and consist of many …
Kevin Feichtinger
,
Karl Kegel
,
Romain Pascual
,
Uwe Aßmann
,
Bernhard Beckert
,
Ralf Reussner
Cite
Exploitation of local adjacencies for parallel construction of a Reeb graph variant: cerebral vascular tree case
Strokes concerned more than 795,000 individuals annually in the United States as of 2021. Detecting thrombus (blood clot) is crucial …
Charles Lepaire
,
Hakim Belhaouari
,
Romain Pascual
,
Philippe Meseure
PDF
Cite
DOI
Transformations de graphes décorés
Les transformations de graphes sont une généralisation de la réécriture à des structures non linéaires, plébiscitées pour étudier …
Pascale Le Gall
,
Romain Pascual
PDF
Cite
Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique
La conception d’opérations de modélisation géométrique repose sur leur implantation dans un langage de programmation. Même si …
Romain Pascual
,
Pascale Le Gall
,
Hakim Belhaouari
,
Agnès Arnould
PDF
Cite
Inference of graph transformation rules for the design of geometric modeling operations
In this thesis, we present a formalization of geometric modeling operations as rules from the theory of graph transformation. First, we …
Romain Pascual
PDF
Cite
Video
Preserving consistency in geometric modeling with graph transformations
Labeled graphs are particularly well adapted to represent objects in the context of topology-based geometric modeling. Thus, graph …
Agnès Arnould
,
Hakim Belhaouari
,
Thomas Bellet
,
Pascale Le Gall
,
Romain Pascual
PDF
Cite
DOI
Inferring topological operations on generalized maps: Application to subdivision schemes
The design of correct topological modeling operations is known to be a time-consuming and challenging task. However, these operations …
Romain Pascual
,
Hakim Belhaouari
,
Agnès Arnould
,
Pascale Le Gall
PDF
Cite
DOI
A First Step Towards the Inference of Geological Topological Operations
Procedural modeling enables building complex geometric objects and scenes in a wide panel of applications. The traditional approach …
Romain Pascual
,
Hakim Belhaouari
,
Agnès Arnould
,
Pascale Le Gall
PDF
Cite
Poster
Video
DOI
Topological consistency preservation with graph transformation schemes
Topology-based geometric modeling tackles the issue of representing objects with data structures that encode the topological …
Romain Pascual
,
Pascale Le Gall
,
Agnès Arnould
,
Hakim Belhaouari
PDF
Cite
DOI
Cite
×