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 | 33 | 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 | 13 | 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 | 10 | 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 | 6 | 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 |

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 | 4 | 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 | 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 |

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 Journées de l'Association Française Graphique (AFIG), 2015 | 2 | 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 | 1 | 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 | 1 | 2021 |