Hakim Belhaouari

Publications

Article dans une revue (8)

Exploitation of local adjacencies for parallel construction of a Reeb graph variant: cerebral vascular tree case Charles Lepaire,Hakim Belhaouari,Romain Pascual,Philippe Meseure Journal of WSCG, 2024, 32 (1-2), ⟨10.24132/JWSCG.2024.9⟩ Article dans une revue hal-04752287v1
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
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
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
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
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
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
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

Communication dans un congrès (22)

Program Synthesis for Geometric Modeling Romain Pascual,Pascale Le Gall,Hakim Belhaouari,Agnès Arnould 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), Sep 2025, Rende, Italy. pp.135-153, ⟨10.1007/978-3-032-04848-6_9⟩ Communication dans un congrès hal-05269368v1
Reevaluation in Rule-Based Graph Transformation Modeling Systems Maxime Gaide,David Marcheix,Agnès Arnould,Xavier Skapin,Hakim Belhaouariet al. WSCG 2024 32. International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision 2024, Václav Skala, Jun 2024, Pilsen, Czech Republic. ⟨10.24132/CSRN.3401.13⟩ Communication dans un congrès hal-04607231v1
Driving Collaboration between OSDU/Energistics Business Activity Services by a Cloud-Native Geoscientific Workflow Platform Jean-François Rainaud,Valentin Gauthier,Lionel Untereiner,Hakim Belhaouari,Charles Lepaireet al. 85th EAGE Annual Conference & Exhibition (2024 EAGE Annual) : Technology and Talent for a Secure and Sustainable Energy Future, European Association of Geoscientists and Engineers (EAGE), Jun 2024, Oslo, France. pp.1-5, ⟨10.3997/2214-4609.202410801⟩ Communication dans un congrès hal-04733160v1
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
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
Automatic detection of topological changes in modeling operations Maxime Gaide,David Marcheix,Agnès Arnould,Xavier Skapin,Hakim Belhaouariet al. Computer Graphics & Visual Computing, Sep 2023, Aberystwyth, Wales, United Kingdom. pp.9-18, ⟨10.2312/cgvc20231186⟩ Communication dans un congrès hal-04228069v1
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
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 Perrinet al. 15th European Conference on the Mathematics of Oil Recovery 2016 (ECMOR XV), Aug 2016, Amsterdam, Netherlands Communication dans un congrès hal-01789851v1
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
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
É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 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 istex hal-01300832v1
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 istex hal-01303857v1
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

Poster de conférence (5)

Model reevaluation based on graph transformation rules Maxime Gaide,David Marcheix,Agnès Arnould,Xavier Skapin,Hakim Belhaouariet al. 41st Computer Graphics and Visual Computing 2023, Sep 2023, Aberystwyth, Wales, United Kingdom. Poster de conférence hal-04228104v1
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
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
A Topological Approach for Automated Unstructured Meshing of Complex Reservoir Valentin Gauthier,Agnès Arnould,Hakim Belhaouari,Sébastien Horna,Michel Perrinet al. 15th European Conference on the Mathematics of Oil Recovery 2016 (ECMOR XV) , Aug 2016, Amsterdam, Netherlands Poster de conférence hal-01789860v1
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

Rapport (1)

Geometric modeling: consistency preservation using two-layered variable substitutions (extended version) Thomas Bellet,Agnès Arnould,Hakim Belhaouari,Pascale Le Gall [Research Report] Xlim UMR CNRS 7252; CentraleSupélec, Université Paris-Saclay. 2017 Rapport (rapport de recherche) hal-01509832v1