
Hakim Belhaouari
35
Documents
Publications
Publications
|
Reevaluation in Rule-Based Graph Transformation Modeling SystemsWSCG 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-04607231
v1
|
|
Exploitation of local adjacencies for parallel construction of a Reeb graph variant: cerebral vascular tree caseWSCG 2024 - International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision 2024, World Society for Computer Graphics, Jun 2024, Pilsen, Czech Republic. ⟨10.24132/JWSCG.2024.9⟩
Communication dans un congrès
hal-04752287
v1
|
Driving Collaboration between OSDU/Energistics Business Activity Services by a Cloud-Native Geoscientific Workflow Platform85th 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-04733160
v1
|
|
|
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
Communication dans un congrès
hal-04185658
v1
|
|
Topological Data Structure: The Fast Marching Example18th 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-04350140
v1
|
|
Automatic detection of topological changes in modeling operationsComputer Graphics & Visual Computing, Sep 2023, Aberystwyth, Wales, United Kingdom. pp.9-18, ⟨10.2312/cgvc20231186⟩
Communication dans un congrès
hal-04228069
v1
|
|
Transparent Parallelization of Enrichment Operations in Geometric Modeling15th international conference on Computer Graphics Theory and Applications (VISIGRAPP/GRAPP), Feb 2020, La Valette, Malta
Communication dans un congrès
hal-02421408
v1
|
A Persistent Naming System Based on Graph Transformation Rules to Reevaluate Parametric SpecificationWSCG, 2018, Plzen, Czech Republic
Communication dans un congrès
hal-01883832
v1
|
|
Reconstruction of Volumes from Soup of Faces with a Formal Topological ApproachCAD conference, Jul 2018, Paris, France
Communication dans un congrès
hal-01878521
v1
|
|
|
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⟩
Communication dans un congrès
hal-01482733
v1
|
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⟩
Communication dans un congrès
hal-01817827
v1
|
|
|
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
Communication dans un congrès
hal-01457731
v1
|
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
Communication dans un congrès
hal-01789851
v1
|
|
|
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
Communication dans un congrès
hal-01817884
v1
|
Évaluation de la modélisation à base de transformation de graphes avec JerboaJournées de l'Association Française Graphique (AFIG), Nov 2015, Lyon, France
Communication dans un congrès
hal-01286541
v1
|
|
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⟩
Communication dans un congrès
hal-01012851
v1
|
|
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
Communication dans un congrès
hal-01286540
v1
|
|
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
Communication dans un congrès
hal-01224630
v1
|
|
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⟩
Communication dans un congrès
istex
hal-01300832
v1
|
|
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⟩
Communication dans un congrès
istex
hal-01303857
v1
|
|
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⟩
Communication dans un congrès
hal-01303858
v1
|
|
An Integrated Platform for Contract-oriented DevelopmentFormal Languages and Analysis of Contract-Oriented Software, FLACOS 2007, Oct 2007, Oslo, Norway. pp.12-15
Communication dans un congrès
hal-01335047
v1
|
|
Inference of geometric modeling operationsJournées Nationales de l’Informatique Mathématique, Apr 2023, Paris, France.
Poster de conférence
hal-04068329
v1
|
|
Model reevaluation based on graph transformation rules41st Computer Graphics and Visual Computing 2023, Sep 2023, Aberystwyth, Wales, United Kingdom.
Poster de conférence
hal-04228104
v1
|
|
A first step towards the inference of geological topological operationsEurographics 2022, Apr 2022, Reims, France. 2022, ⟨10.2312/egp.20221005⟩
Poster de conférence
hal-03664618
v1
|
|
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
Poster de conférence
hal-01789860
v1
|
|
Génération de modeleurs géométriques à base topologique à l'aide de JerboaGDR GPL, Jun 2014, Paris, France. 2014
Poster de conférence
hal-01789875
v1
|
|
Geometric modeling: consistency preservation using two-layered variable substitutions (extended version)[Research Report] Xlim UMR CNRS 7252; CentraleSupélec, Université Paris-Saclay. 2017
Rapport
(rapport de recherche)
hal-01509832
v1
|
Chargement...
Chargement...