| 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 | 34 | 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 | 12 | 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 | 12 | 2012 |
| Topological consistency preservation with graph transformation schemes R Pascual, P Le Gall, A Arnould, H Belhaouari Science of Computer Programming 214, 102728, 2022 | 9 | 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 | 9 | 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 | 9 | 2017 |
| A lightweight container architecture for runtime verification H Belhaouari, F Peschanski International Workshop on Runtime Verification, 173-187, 2008 | 9 | 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 | 5 | 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 | 5 | 2016 |
| A constraint logic programming approach to automated testing H Belhaouari, F Peschanski International Conference on Logic Programming, 754-758, 2008 | 5 | 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 | 4 | 2022 |
| 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 | 4 | 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 | 3 | 2020 |
| 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 | 3 | 2019 |
| An integrated platform for contract-oriented development H Belhaouari, F Peschanski Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2007, 12-15, 2007 | 3 | 2007 |
| A first step towards the inference of geological topological operations R Pascual, H Belhaouari, A Arnould, P Le Gall Eurographics 2022, 2022 | 2 | 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 | 2 | 2017 |
| Évaluation de la modélisation à base de transformation de graphes avec jerboa V Gauthier, H Belhaouari, A Arnould Association Française d'Informatique Graphique (AFIG), Lyon, 2015 | 2 | 2015 |
| 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 | 1 | 2021 |
| Geometric modeling: consistency preservation using two-layered variable substitutions (extended version) T Bellet, A Arnould, H Belhaouari, P Le Gall Xlim UMR CNRS 7252; CentraleSupélec, Université Paris-Saclay, 2017 | 1 | 2017 |
