Hakim Belhaouari

According to our database, Hakim Belhaouari authored at least 14 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Topological Data Structure: The Fast Marching Example.

Sofian Toujja, Thierry Bay, Hakim Belhaouari, Laurent Fuchs

Proceedings of the 18th International Joint Conference on Computer Vision, 2023

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., March, 2022

Topological consistency preservation with graph transformation schemes.

Romain Pascual, Pascale Le Gall, Agnès Arnould, Hakim Belhaouari

Sci. Comput. Program., 2022

Inferring topological operations on generalized maps: Application to subdivision schemes.

Romain Pascual, Hakim Belhaouari, Agnès Arnould, Pascale Le Gall

Graph. Vis. Comput., 2022

2020

Transparent Parallelization of Enrichment Operations in Geometric Modeling.

Pierre Bourquat, Hakim Belhaouari, Philippe Meseure, Valentin Gauthier, Agnès Arnould

Proceedings of the 15th International Joint Conference on Computer Vision, 2020

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

A General Physical-topological Framework using Rule-based Language for Physical Simulation.

Fatma Ben Salah, Hakim Belhaouari, Agnès Arnould, Philippe Meseure

Proceedings of the 12th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP 2017) - Volume 1: GRAPP, Porto, Portugal, February 27, 2017

Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions.

Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall

Proceedings of the Graph Transformation - 10th International Conference, 2017

2014

Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling.

Hakim Belhaouari, Agnès Arnould, Pascale Le Gall, Thomas Bellet

Proceedings of the Graph Transformation - 7th International Conference, 2014

2012

A Design by Contract Approach to Verify Access Control Policies.

Hakim Ferrier-Belhaouari, Pierre Konopacki, Régine Laleau, Marc Frappier

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011

Specification and Verification of Access Control Policies in EB3SEC: Work in Progress.

Pierre Konopacki, Hakim Belhaouari, Marc Frappier, Régine Laleau

Proceedings of the Foundations and Practice of Security, 2011

2008

A Lightweight Container Architecture for Runtime Verification.

Hakim Belhaouari, Frédéric Peschanski

Proceedings of the Runtime Verification, 8th International Workshop, 2008

A Constraint Logic Programming Approach to Automated Testing.

Hakim Belhaouari, Frédéric Peschanski

Proceedings of the Logic Programming, 24th International Conference, 2008

Automated Generation of Test Cases from Contract-Oriented Specifications: A CSP-Based Approach.

Hakim Belhaouari, Frédéric Peschanski

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008