Automated Generation of Test Cases from Contract-Oriented Specifications: A CSP-Based Approach. - Hakim Belhaouari; Frédéric Peschanski (HASE, 2008)

A Constraint Logic Programming Approach to Automated Testing. - Hakim Belhaouari; Frédéric Peschanski (ICLP, 2008)

A Lightweight Container Architecture for Runtime Verification. - Hakim Belhaouari; Frédéric Peschanski (RV, 2008)

Specification and Verification of Access Control Policies in EB3SEC: Work in Progress. - Pierre Konopacki; Hakim Belhaouari; Marc Frappier; Régine Laleau (FPS, 2011)

A Design by Contract Approach to Verify Access Control Policies. - Hakim Ferrier-Belhaouari; Pierre Konopacki; Régine Laleau; Marc Frappier (ICECCS, 2012)

Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling. - Hakim Belhaouari; Agnès Arnould; Pascale Le Gall; Thomas Bellet (ICGT, 2014)

Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions. - Thomas Bellet; Agnès Arnould; Hakim Belhaouari; Pascale Le Gall (ICGT, 2017)

A General Physical-topological Framework using Rule-based Language for Physical Simulation. - Fatma Ben Salah; Hakim Belhaouari; Agnès Arnould; Philippe Meseure (VISIGRAPP (1: GRAPP), 2017)

A Modular Approach Based On Graph Transformation To Simulate Tearing And Fractures On Various Mechanical Models. - Fatma Ben Salah; Hakim Belhaouari; Agnès Arnould; Philippe Meseure (J. WSCG, 2017)

Transparent Parallelization of Enrichment Operations in Geometric Modeling. - Pierre Bourquat; Hakim Belhaouari; Philippe Meseure; Valentin Gauthier; Agnès Arnould (VISIGRAPP (1: GRAPP), 2020)

Inferring topological operations on generalized maps: Application to subdivision schemes. - Romain Pascual; Hakim Belhaouari; Agnès Arnould; Pascale Le Gall (Graph. Vis. Comput., 2022)

Topological consistency preservation with graph transformation schemes. - Romain Pascual; Pascale Le Gall; Agnès Arnould; Hakim Belhaouari (Sci. Comput. Program., 2022)

Preserving consistency in geometric modeling with graph transformations. - Agnès Arnould; Hakim Belhaouari; Thomas Bellet; Pascale Le Gall; Romain Pascual (Math. Struct. Comput. Sci., 2022)

Topological Data Structure: The Fast Marching Example. - Sofian Toujja; Thierry Bay; Hakim Belhaouari; Laurent Fuchs (VISIGRAPP (1: GRAPP), 2023)

Exploitation of local adjacencies for parallel construction of a Reeb graph variant: cerebral vascular tree case. - Charles Lepaire; Hakim Belhaouari; Romain Pascual; Philippe Meseure (J. WSCG, 2024)