Hakim Belhaouari

15 papers B 4C 1Misc 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2025 C conf
Program Synthesis for Geometric Modeling.
LOPSTR
Romain Pascual, Pascale Le Gall, Hakim Belhaouari, Agnès Arnould
2024 J jnl
Exploitation of local adjacencies for parallel construction of a Reeb graph variant: cerebral vascular tree case.
J. WSCG
Charles Lepaire, Hakim Belhaouari, Romain Pascual, Philippe Meseure
2023 — conf
Topological Data Structure: The Fast Marching Example.
VISIGRAPP (1: GRAPP)
Sofian Toujja, Thierry Bay, Hakim Belhaouari, Laurent Fuchs
2022 J jnl
Inferring topological operations on generalized maps: Application to subdivision schemes.
Graph. Vis. Comput.
Romain Pascual, Hakim Belhaouari, Agnès Arnould, Pascale Le Gall
2022 J jnl
Preserving consistency in geometric modeling with graph transformations.
Math. Struct. Comput. Sci.
Agnès Arnould, Hakim Belhaouari, Thomas Bellet, Pascale Le Gall, Romain Pascual
2022 J jnl
Topological consistency preservation with graph transformation schemes.
Sci. Comput. Program.
Romain Pascual, Pascale Le Gall, Agnès Arnould, Hakim Belhaouari
2020 Misc conf
Transparent Parallelization of Enrichment Operations in Geometric Modeling.
VISIGRAPP (1: GRAPP)
Pierre Bourquat, Hakim Belhaouari, Philippe Meseure, Valentin Gauthier, Agnès Arnould
2017 — conf
A General Physical-topological Framework using Rule-based Language for Physical Simulation.
VISIGRAPP (1: GRAPP)
Fatma Ben Salah, Hakim Belhaouari, Agnès Arnould, Philippe Meseure
2017 J jnl
A Modular Approach Based On Graph Transformation To Simulate Tearing And Fractures On Various Mechanical Models.
J. WSCG
Fatma Ben Salah, Hakim Belhaouari, Agnès Arnould, Philippe Meseure
2017 B conf
Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions.
ICGT
Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall
2014 B conf
Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling.
ICGT
Hakim Belhaouari, Agnès Arnould, Pascale Le Gall, Thomas Bellet
2011 — conf
Specification and Verification of Access Control Policies in EB3SEC: Work in Progress.
FPS
Pierre Konopacki, Hakim Belhaouari, Marc Frappier, Régine Laleau
2008 B conf
A Constraint Logic Programming Approach to Automated Testing.
ICLP
Hakim Belhaouari, Frédéric Peschanski
2008 B conf
A Lightweight Container Architecture for Runtime Verification.
RV
Hakim Belhaouari, Frédéric Peschanski
2008 — conf
Automated Generation of Test Cases from Contract-Oriented Specifications: A CSP-Based Approach.
HASE
Hakim Belhaouari, Frédéric Peschanski