Hakim Ferrier-Belhaouari
Hakim Ferrier-Belhaouari
Maître de Conférence en Informatique, Université de Poitiers
No verified email
Cited by
Cited by
Jerboa: A graph transformation library for topology-based geometric modeling
H Belhaouari, A Arnould, P Le Gall, T Bellet
Graph Transformation: 7th International Conference, ICGT 2014, Held as Part …, 2014
Persistent naming based on graph transformation rules to reevaluate parametric specification
A Cardot, D Marcheix, X Skapin, A Arnould, H Belhaouari
Computer-Aided Design and Applications 16 (5), 985-1002, 2019
A design by contract approach to verify access control policies
H Ferrier-Belhaouari, P Konopacki, R Laleau, M Frappier
2012 IEEE 17th International Conference on Engineering of Complex Computer …, 2012
Topological consistency preservation with graph transformation schemes
R Pascual, P Le Gall, A Arnould, H Belhaouari
Science of Computer Programming 214, 102728, 2022
A general physical-topological framework using rule-based language for physical simulation
FB Salah, H Belhaouari, A Arnould, P Meseure
12th International Conference on Computer Graphics Theory and Application …, 2017
Geometric modeling: Consistency preservation using two-layered variable substitutions
T Bellet, A Arnould, H Belhaouari, P Le Gall
Graph Transformation: 10th International Conference, ICGT 2017, Held as Part …, 2017
A lightweight container architecture for runtime verification
H Belhaouari, F Peschanski
International Workshop on Runtime Verification, 173-187, 2008
Preserving consistency in geometric modeling with graph transformations
A Arnould, H Belhaouari, T Bellet, P Le Gall, R Pascual
Mathematical Structures in Computer Science 32 (3), 300-347, 2022
A topological approach for automated unstructured meshing of complex reservoir
V Gauthier, A Arnould, H Belhaouari, S Horna, M Perrin, M Poudret, ...
ECMOR XV-15th European Conference on the Mathematics of Oil Recovery, cp-494 …, 2016
A constraint logic programming approach to automated testing
H Belhaouari, F Peschanski
International Conference on Logic Programming, 754-758, 2008
Inferring topological operations on generalized maps: Application to subdivision schemes
R Pascual, H Belhaouari, A Arnould, P Le Gall
Graphics and Visual Computing 6, 200049, 2022
Reconstruction of volumes from soup of faces with a formal topological approach
H Belhaouari, S Horna
Computer-Aided Design and Applications 16 (5), 6, 2019
Automated generation of test cases from contract-oriented specifications: A csp-based approach
H Belhaouari, F Peschanski
2008 11th IEEE High Assurance Systems Engineering Symposium, 219-228, 2008
Transparent parallelization of enrichment operations in geometric modeling
P Bourquat, H Belhaouari, P Meseure, V Gauthier, A Arnould
15th international conference on Computer Graphics Theory and Applications …, 2020
An integrated platform for contract-oriented development
H Belhaouari, F Peschanski
Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2007, 12-15, 2007
A first step towards the inference of geological topological operations
R Pascual, H Belhaouari, A Arnould, P Le Gall
Eurographics 2022, 2022
A modular approach based on graph transformation to simulate tearing and fractures on various mechanical models
F Ben Salah, H Belhaouari, A Arnould, P Meseure
Václav Skala-UNION Agency, 2017
Évaluation de la modélisation à base de transformation de graphes avec jerboa
V Gauthier, H Belhaouari, A Arnould
Journées de l'Association Française Graphique (AFIG), 2015
Model reevaluation based on graph transformation rules
M Gaide, D Marcheix, A Arnould, X Skapin, H Belhaouari, S Jean
41st Computer Graphics and Visual Computing 2023, 2023
Inferring topological operations on G-maps formalism: application to iterated function systems
R Pascual, H Belhaouari, A Arnould, P Le Gall
working paper or preprint, 2021. URL: https://hal. archives-ouvertes. fr/hal …, 2021
The system can't perform the operation now. Try again later.
Articles 1–20