VLDB 2026 Research / reviewers in the wild / expert
Hakim Belhaouari
dblp:51/5663 · also Hakim Ferrier-Belhaouari
· DBLP profile ↗
8ranked-venue papers
4as first author
3since 2021 · last 2025
0000-0003-4454-7756ORCID · 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 · 2 since 2021Theory of computation · 5 · 2 first-author · 2 since 2021Databases, data management, data science and information retrieval · 2 · 1 first-author
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Program Synthesis for Geometric Modeling
Romain Pascual, Pascale Le Gall, Hakim Belhaouari, Agnès Arnould |
LOPSTR | 3 |
| 2022 | Preserving consistency in geometric modeling with graph transformationsabstractAbstract 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. | 2 |
| 2022 | Topological consistency preservation with graph transformation schemes
Romain Pascual, Pascale Le Gall, Agnès Arnould, Hakim Belhaouari |
Sci. Comput. Program. | 4 |
| 2017 | Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions
Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall |
ICGT | 3 |
| 2014 | Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling
Hakim Belhaouari, Agnès Arnould, Pascale Le Gall, Thomas Bellet |
ICGT | 1 |
| 2012 | A Design by Contract Approach to Verify Access Control Policies
Hakim Belhaouari, Pierre Konopacki, Régine Laleau, Marc Frappier |
ICECCS | 1 |
| 2008 | A Constraint Logic Programming Approach to Automated Testing
Hakim Belhaouari, Frédéric Peschanski |
ICLP | 1 |
| 2008 | A Lightweight Container Architecture for Runtime Verification
Hakim Belhaouari, Frédéric Peschanski |
RV | 1 |