Hakim Belhaouari

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 8

Top Topics

Geometric Modeling

Top Venues

VISIGRAPP (1: GRAPP)

Math. Struct. Comput. Sci.

Sci. Comput. Program.

Publications

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