Hakim Belhaouari

15 papers B 4C 1Misc 1Journal 5Unranked 4

Year	Rank	Type	Title / 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