Hakim Belhaouari, Sébastien Horna. Reconstruction of Volumes from Soup of Faces with a Formal Topological Approach. Computer-Aided Design and Applications, CAD Solutions LLC (imprimé) and Taylor & Francis Online (en ligne), 2019, 16 (5), ⟨10.14733/cadaps.2019.972-984⟩. ⟨hal-01878534⟩

Anaïs Cardot, David Marcheix, Xavier Skapin, Agnès Arnould, Hakim Belhaouari. Persistent Naming Based on Graph Transformation Rules to Reevaluate Parametric Specification. Computer-Aided Design and Applications, CAD Solutions LLC (imprimé) and Taylor & Francis Online (en ligne), 2019, 16 (5), pp.985-1002. ⟨10.14733/cadaps.2019.985-1002⟩. ⟨hal-01992678⟩

Fatma Ben Salah, Hakim Belhaouari, Agnès Arnould, Philippe Meseure. A Modular Approach Based on Graph Transformation to Simulate Tearing and Fractures on Various Mechanical Models. Journal of WSCG, University of West Bohemia, Czech Republic, 2017, 25 (1), pp.39-48. ⟨hal-01525488⟩

Hakim Belhaouari, Pierre Konopacki, Régine Laleau, Marc Frappier. A Design by Contract Approach to Verify Access Control Policies. IEEE Computer Society, 2012, pp.263-272. ⟨10.1109/ICECCS.2012.4⟩. ⟨hal-00724267⟩

Pierre Bourquat, Hakim Belhaouari, Philippe Meseure, Valentin Gauthier, Agnès Arnould. Transparent Parallelization of Enrichment Operations in Geometric Modeling. 15th international conference on Computer Graphics Theory and Applications (VISIGRAPP/GRAPP), Feb 2020, La Valette, Malta. ⟨hal-02421408⟩

Hakim Belhaouari, Sébastien Horna. Reconstruction of Volumes from Soup of Faces with a Formal Topological Approach. CAD conference, Jul 2018, Paris, France. ⟨hal-01878521⟩

Anaïs Cardot, David Marcheix, Xavier Skapin, Agnès Arnould, Hakim Ferrier-Belhaouari. A Persistent Naming System Based on Graph Transformation Rules to Reevaluate Parametric Specification. WSCG, 2018, Plzen, Czech Republic. ⟨hal-01883832⟩

Fatma Ben Salah, Hakim Belhaouari, Agnès Arnould, Philippe Meseure. A general physical-topological framework using rule-based language for physical simulation. 12th International Conference on Computer Graphics Theory and Application (VISIGRAPP/GRAPP 2017), Feb 2017, Porto, Portugal. ⟨10.5220/0006119802200227⟩. ⟨hal-01482733⟩

Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall. Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions. International Conference on Graph Transformation ICGT 2017, Jul 2017, Marburg, Germany. pp.36-53, ⟨10.1007/978-3-319-61470-0_3⟩. ⟨hal-01817827⟩

Valentin Gauthier, Agnès Arnould, Hakim Belhaouari, Sébastien Horna, Michel Perrin, et al.. A Topological Approach for Automated Unstructured Meshing of Complex Reservoir. 15th European Conference on the Mathematics of Oil Recovery 2016 (ECMOR XV), Aug 2016, Amsterdam, Netherlands. ⟨hal-01789851⟩

Fatma Ben Salah, Hakim Belhaouari, Agnès Arnould, Philippe Meseure. Simulation de modèles mécaniques à base topologique à l'aide de règles de transformation de graphes. 29e Journées Françaises d'Informatique Graphique, Nov 2016, Grenoble, France. ⟨hal-01457731⟩

Valentin Gauthier, Thomas Bellet, Hakim Belhaouari, Agnès Arnould. Préservation de la cohérence des transformations topologiques et géométriques. 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, France. ⟨hal-01817884⟩

Valentin Gauthier, Hakim Belhaouari, Agnès Arnould. Évaluation de la modélisation à base de transformation de graphes avec Jerboa. Journées de l'Association Française Graphique (AFIG), Nov 2015, Lyon, France. ⟨hal-01286541⟩

Hakim Belhaouari, Agnès Arnould. Jerboa: un modeleur géométrique à base de règles de transformations de graphes. Journées de l'Association Française Graphique (AFIG), Nov 2014, Reims, France. ⟨hal-01286540⟩

Hakim Belhaouari, Agnès Arnould, Pascale Le Gall, Thomas Bellet. JERBOA: A Graph Transformation Library for Topology-Based Geometric Modeling. 7th International Conference on Graph Transformation (ICGT 2014), Jul 2014, York, United Kingdom. ⟨hal-01012851⟩

Hakim Belhaouari, Agnès Arnould, Pascale Le Gall, Thomas Bellet. Jerboa : a graph transformation library for topology-base geometric modeling. International Conference on Graph Transformations, Holger Giese, Barbara König, Jul 2014, York, United Kingdom. ⟨10.1007/978-3-319-09108-2_18⟩. ⟨hal-01110743⟩

Hakim Belhaouari, Pierre Konopacki, Régine Laleau, Marc Frappier. A Design by Contract Approach to Verify Access Control Policies. International Conference on Engineering of Complex Computer Systems (ICECCS), 2012, Unknown, Unknown Region. pp.263-272. ⟨hal-01224630⟩

Hakim Belhaouari, Frédéric Peschanski. A Constraint Logic Programming Approach to Automated Testing. 24th International Conference on Logic Programming, Dec 2008, Udine, Italy. pp.754-758, ⟨10.1007/978-3-540-89982-2_71⟩. ⟨hal-01303857⟩

Hakim Belhaouari, Frédéric Peschanski. A Lightweight Container Architecture for Runtime Verification. Workshop on Runtime Verification, Mar 2008, Budapest, Hungary. pp.173-187, ⟨10.1007/978-3-540-89247-2_11⟩. ⟨hal-01300832⟩

Hakim Belhaouari, Frédéric Peschanski. Automated generation of test cases from contract-oriented specifications: A CSP-based approach. IEEE International Symposium on High Assurance Systems Engineering, Dec 2008, Nanjing, China. pp.219-228, ⟨10.1109/HASE.2008.15⟩. ⟨hal-01303858⟩

Hakim Belhaouari, Frédéric Peschanski. An Integrated Platform for Contract-oriented Development. Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2007, Oct 2007, Oslo, Norway. pp.12-15. ⟨hal-01335047⟩

Valentin Gauthier, Agnès Arnould, Hakim Belhaouari, Sébastien Horna, Michel Perrin, et al.. A Topological Approach for Automated Unstructured Meshing of Complex Reservoir. 15th European Conference on the Mathematics of Oil Recovery 2016 (ECMOR XV) , Aug 2016, Amsterdam, Netherlands. ⟨hal-01789860⟩

Hakim Belhaouari, Agnès Arnould. Génération de modeleurs géométriques à base topologique à l'aide de Jerboa. GDR GPL, Jun 2014, Paris, France. 2014. ⟨hal-01789875⟩

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