Accéder directement au contenu

Hakim Belhaouari

32
Documents

Publications

Image document

Preserving consistency in geometric modeling with graph transformations

Agnès Arnould , Hakim Belhaouari , Thomas Bellet , Pascale Le Gall , Romain Pascual
Mathematical Structures in Computer Science, 2022, ⟨10.1017/S0960129522000226⟩
Article dans une revue hal-03821122v1
Image document

Inferring topological operations on generalized maps: application to subdivision schemes

Romain Pascual , Hakim Belhaouari , Agnès Arnould , Pascale Le Gall
Graphics and Visual Computing, 2022, ⟨10.1016/j.gvc.2022.200049⟩
Article dans une revue hal-03491856v2
Image document

Topological consistency preservation with graph transformation schemes

Romain Pascual , Pascale Le Gall , Agnès Arnould , Hakim Belhaouari
Science of Computer Programming, 2022, 214, pp.102728. ⟨10.1016/j.scico.2021.102728⟩
Article dans une revue hal-03380327v1

Reconstruction of Volumes from Soup of Faces with a Formal Topological Approach

Hakim Belhaouari , Sébastien Horna
Computer-Aided Design and Applications, 2019, 16 (5), ⟨10.14733/cadaps.2019.972-984⟩
Article dans une revue hal-01878534v1

Persistent Naming Based on Graph Transformation Rules to Reevaluate Parametric Specification

Anaïs Cardot , David Marcheix , Xavier Skapin , Agnès Arnould , Hakim Belhaouari
Computer-Aided Design and Applications, 2019, 16 (5), pp.985-1002. ⟨10.14733/cadaps.2019.985-1002⟩
Article dans une revue hal-01992678v1
Image document

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
Journal of WSCG, 2017, 25 (1), pp.39-48
Article dans une revue hal-01525488v1
Image document

A Design by Contract Approach to Verify Access Control Policies

Hakim Belhaouari , Pierre Konopacki , Régine Laleau , Marc Frappier
IEEE Computer Society, 2012, pp.263-272. ⟨10.1109/ICECCS.2012.4⟩
Article dans une revue hal-00724267v1
Image document

Automatic detection of topological changes in modeling operations

Maxime Gaide , David Marcheix , Agnès Arnould , Xavier Skapin , Hakim Belhaouari
Computer Graphics & Visual Computing, Sep 2023, Aberystwyth, Wales, United Kingdom. pp.9-18, ⟨10.2312/cgvc20231186⟩
Communication dans un congrès hal-04228069v1
Image document

Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique

Romain Pascual , Pascale Le Gall , Hakim Belhaouari , Agnès Arnould
22ème Journées des Approches Formelles dans l’Assistance au Développement de Logiciels, AFADL’23., Jun 2023, Rennes, France
Communication dans un congrès hal-04185658v1
Image document

Topological Data Structure: The Fast Marching Example

Sofian Toujja , Thierry Bay , Hakim Belhaouari , Laurent Fuchs
18th International Conference on Computer Graphics Theory and Applications (GRAPP 2023), Feb 2023, Lisbon, France. pp.206-213, ⟨10.5220/0011686800003417⟩
Communication dans un congrès hal-04350140v1
Image document

Transparent Parallelization of Enrichment Operations in Geometric Modeling

Pierre Bourquat , Hakim Belhaouari , Philippe Meseure , Valentin Gauthier , Agnès Arnould
15th international conference on Computer Graphics Theory and Applications (VISIGRAPP/GRAPP), Feb 2020, La Valette, Malta
Communication dans un congrès hal-02421408v1

Reconstruction of Volumes from Soup of Faces with a Formal Topological Approach

Hakim Belhaouari , Sébastien Horna
CAD conference, Jul 2018, Paris, France
Communication dans un congrès hal-01878521v1

A Persistent Naming System Based on Graph Transformation Rules to Reevaluate Parametric Specification

Anaïs Cardot , David Marcheix , Xavier Skapin , Agnès Arnould , Hakim Ferrier-Belhaouari
WSCG, 2018, Plzen, Czech Republic
Communication dans un congrès hal-01883832v1

Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions

Thomas Bellet , Agnès Arnould , Hakim Belhaouari , Pascale Le Gall
International Conference on Graph Transformation ICGT 2017, Jul 2017, Marburg, Germany. pp.36-53, ⟨10.1007/978-3-319-61470-0_3⟩
Communication dans un congrès hal-01817827v1
Image document

A general physical-topological framework using rule-based language for physical simulation

Fatma Ben Salah , Hakim Belhaouari , Agnès Arnould , Philippe Meseure
12th International Conference on Computer Graphics Theory and Application (VISIGRAPP/GRAPP 2017), Feb 2017, Porto, Portugal. ⟨10.5220/0006119802200227⟩
Communication dans un congrès hal-01482733v1

A Topological Approach for Automated Unstructured Meshing of Complex Reservoir

Valentin Gauthier , Agnès Arnould , Hakim Belhaouari , Sébastien Horna , Michel Perrin
15th European Conference on the Mathematics of Oil Recovery 2016 (ECMOR XV), Aug 2016, Amsterdam, Netherlands
Communication dans un congrès hal-01789851v1
Image document

Simulation de modèles mécaniques à base topologique à l'aide de règles de transformation de graphes

Fatma Ben Salah , Hakim Belhaouari , Agnès Arnould , Philippe Meseure
29e Journées Françaises d'Informatique Graphique, Nov 2016, Grenoble, France
Communication dans un congrès hal-01457731v1
Image document

Préservation de la cohérence des transformations topologiques et géométriques

Valentin Gauthier , Thomas Bellet , Hakim Belhaouari , Agnès Arnould
15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, France
Communication dans un congrès hal-01817884v1

Évaluation de la modélisation à base de transformation de graphes avec Jerboa

Valentin Gauthier , Hakim Belhaouari , Agnès Arnould
Journées de l'Association Française Graphique (AFIG), Nov 2015, Lyon, France
Communication dans un congrès hal-01286541v1

JERBOA: A Graph Transformation Library for Topology-Based Geometric Modeling

Hakim Belhaouari , Agnès Arnould , Pascale Le Gall , Thomas Bellet
7th International Conference on Graph Transformation (ICGT 2014), Jul 2014, York, United Kingdom. ⟨10.1007/978-3-319-09108-2_18⟩
Communication dans un congrès hal-01012851v1

Jerboa: un modeleur géométrique à base de règles de transformations de graphes

Hakim Belhaouari , Agnès Arnould
Journées de l'Association Française Graphique (AFIG), Nov 2014, Reims, France
Communication dans un congrès hal-01286540v1

A Design by Contract Approach to Verify Access Control Policies

Hakim Belhaouari , Pierre Konopacki , Régine Laleau , Marc Frappier
International Conference on Engineering of Complex Computer Systems (ICECCS), 2012, Unknown, Unknown Region. pp.263-272
Communication dans un congrès hal-01224630v1

A Constraint Logic Programming Approach to Automated Testing

Hakim Belhaouari , Frédéric Peschanski
24th International Conference on Logic Programming, Dec 2008, Udine, Italy. pp.754-758, ⟨10.1007/978-3-540-89982-2_71⟩
Communication dans un congrès hal-01303857v1

A Lightweight Container Architecture for Runtime Verification

Hakim Belhaouari , Frédéric Peschanski
Workshop on Runtime Verification, Mar 2008, Budapest, Hungary. pp.173-187, ⟨10.1007/978-3-540-89247-2_11⟩
Communication dans un congrès hal-01300832v1

Automated generation of test cases from contract-oriented specifications: A CSP-based approach

Hakim Belhaouari , Frédéric Peschanski
IEEE International Symposium on High Assurance Systems Engineering, Dec 2008, Nanjing, China. pp.219-228, ⟨10.1109/HASE.2008.15⟩
Communication dans un congrès hal-01303858v1

An Integrated Platform for Contract-oriented Development

Hakim Belhaouari , Frédéric Peschanski
Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2007, Oct 2007, Oslo, Norway. pp.12-15
Communication dans un congrès hal-01335047v1
Image document

Model reevaluation based on graph transformation rules

Maxime Gaide , David Marcheix , Agnès Arnould , Xavier Skapin , Hakim Belhaouari
41st Computer Graphics and Visual Computing 2023, Sep 2023, Aberystwyth, Wales, United Kingdom.
Poster de conférence hal-04228104v1
Image document

Inference of geometric modeling operations

Romain Pascual , Hakim Belhaouari , Agnès Arnould , Pascale Le Gall
Journées Nationales de l’Informatique Mathématique, Apr 2023, Paris, France.
Poster de conférence hal-04068329v1
Image document

A first step towards the inference of geological topological operations

Romain Pascual , Hakim Belhaouari , Agnès Arnould , P Le Gall
Eurographics 2022, Apr 2022, Reims, France. 2022, ⟨10.2312/egp.20221005⟩
Poster de conférence hal-03664618v1
Image document

A Topological Approach for Automated Unstructured Meshing of Complex Reservoir

Valentin Gauthier , Agnès Arnould , Hakim Belhaouari , Sébastien Horna , Michel Perrin
15th European Conference on the Mathematics of Oil Recovery 2016 (ECMOR XV) , Aug 2016, Amsterdam, Netherlands
Poster de conférence hal-01789860v1
Image document

Génération de modeleurs géométriques à base topologique à l'aide de Jerboa

Hakim Belhaouari , Agnès Arnould
GDR GPL, Jun 2014, Paris, France. 2014
Poster de conférence hal-01789875v1