Hakim Belhaouari
28
Documents
Publications
|
Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique22ème Journées des Approches Formelles dans l’Assistance au Développement de Logiciels, AFADL’23., Jun 2023, Rennes, France
Conference papers
hal-04185658v1
|
|
Transparent Parallelization of Enrichment Operations in Geometric Modeling15th international conference on Computer Graphics Theory and Applications (VISIGRAPP/GRAPP), Feb 2020, La Valette, Malta
Conference papers
hal-02421408v1
|
Reconstruction of Volumes from Soup of Faces with a Formal Topological ApproachCAD conference, Jul 2018, Paris, France
Conference papers
hal-01878521v1
|
|
A Persistent Naming System Based on Graph Transformation Rules to Reevaluate Parametric SpecificationWSCG, 2018, Plzen, Czech Republic
Conference papers
hal-01883832v1
|
|
|
A general physical-topological framework using rule-based language for physical simulation12th International Conference on Computer Graphics Theory and Application (VISIGRAPP/GRAPP 2017), Feb 2017, Porto, Portugal. ⟨10.5220/0006119802200227⟩
Conference papers
hal-01482733v1
|
Geometric Modeling: Consistency Preservation Using Two-Layered Variable SubstitutionsInternational Conference on Graph Transformation ICGT 2017, Jul 2017, Marburg, Germany. pp.36-53, ⟨10.1007/978-3-319-61470-0_3⟩
Conference papers
hal-01817827v1
|
|
|
Simulation de modèles mécaniques à base topologique à l'aide de règles de transformation de graphes29e Journées Françaises d'Informatique Graphique, Nov 2016, Grenoble, France
Conference papers
hal-01457731v1
|
A Topological Approach for Automated Unstructured Meshing of Complex Reservoir15th European Conference on the Mathematics of Oil Recovery 2016 (ECMOR XV), Aug 2016, Amsterdam, Netherlands
Conference papers
hal-01789851v1
|
|
|
Préservation de la cohérence des transformations topologiques et géométriques15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, France
Conference papers
hal-01817884v1
|
Évaluation de la modélisation à base de transformation de graphes avec JerboaJournées de l'Association Française Graphique (AFIG), Nov 2015, Lyon, France
Conference papers
hal-01286541v1
|
|
JERBOA: A Graph Transformation Library for Topology-Based Geometric Modeling7th International Conference on Graph Transformation (ICGT 2014), Jul 2014, York, United Kingdom. ⟨10.1007/978-3-319-09108-2_18⟩
Conference papers
hal-01012851v1
|
|
Jerboa: un modeleur géométrique à base de règles de transformations de graphesJournées de l'Association Française Graphique (AFIG), Nov 2014, Reims, France
Conference papers
hal-01286540v1
|
|
A Design by Contract Approach to Verify Access Control PoliciesInternational Conference on Engineering of Complex Computer Systems (ICECCS), 2012, Unknown, Unknown Region. pp.263-272
Conference papers
hal-01224630v1
|
|
A Constraint Logic Programming Approach to Automated Testing24th International Conference on Logic Programming, Dec 2008, Udine, Italy. pp.754-758, ⟨10.1007/978-3-540-89982-2_71⟩
Conference papers
hal-01303857v1
|
|
A Lightweight Container Architecture for Runtime VerificationWorkshop on Runtime Verification, Mar 2008, Budapest, Hungary. pp.173-187, ⟨10.1007/978-3-540-89247-2_11⟩
Conference papers
hal-01300832v1
|
|
Automated generation of test cases from contract-oriented specifications: A CSP-based approachIEEE International Symposium on High Assurance Systems Engineering, Dec 2008, Nanjing, China. pp.219-228, ⟨10.1109/HASE.2008.15⟩
Conference papers
hal-01303858v1
|
|
An Integrated Platform for Contract-oriented DevelopmentFormal Languages and Analysis of Contract-Oriented Software, FLACOS 2007, Oct 2007, Oslo, Norway. pp.12-15
Conference papers
hal-01335047v1
|
|
A first step towards the inference of geological topological operationsEurographics 2022, Apr 2022, Reims, France. 2022, ⟨10.2312/egp.20221005⟩
Conference poster
hal-03664618v1
|
|
A Topological Approach for Automated Unstructured Meshing of Complex Reservoir15th European Conference on the Mathematics of Oil Recovery 2016 (ECMOR XV) , Aug 2016, Amsterdam, Netherlands
Conference poster
hal-01789860v1
|
|
Génération de modeleurs géométriques à base topologique à l'aide de JerboaGDR GPL, Jun 2014, Paris, France. 2014
Conference poster
hal-01789875v1
|
|
Geometric modeling: consistency preservation using two-layered variable substitutions (extended version)[Research Report] Xlim UMR CNRS 7252; CentraleSupélec, Université Paris-Saclay. 2017
Reports
hal-01509832v1
|