Cyber-Physical System and Contract-Based Design: A Three Dimensional View. - Daniela Cancila; Hadi Zaatiti; Roberto Passerone (WESE, 2015)

Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis. - Hadi Zaatiti; Lina Ye; Philippe Dague; Jean-Pierre Gallois (DX, 2017)

Automating Abstraction Computation of Hybrid Systems. - Hadi Zaatiti; Jean-Pierre Gallois; Lina Ye; Philippe Dague (CICM Workshops, 2018)

Modeling and qualitative simulation of hybrid systems. (Modélisation et simulation qualitative de systèmes hybrides). - Hadi Zaatiti (2018)

Learning graph-structured data using Poincaré embeddings and Riemannian K-means algorithms. - Hatem Hajri; Hadi Zaatiti; Georges Hébrail (CoRR, 2019)

Introduction to Geometric Learning in Python with Geomstats. - Nina Miolane; Nicolas Guigui; Hadi Zaatiti; Christian Shewmake; Hatem Hajri; Daniel Brooks; Alice Le Brigant; Johan Mathe; Benjamin Hou; Yann Thanwerdas; Stefan Heyder; Olivier Peltre; et al. (SciPy, 2020)

A Practical Hands-on for Learning Graph Data Communities on Manifolds. - Thomas Gerald; Hadi Zaatiti; Hatem Hajri (SPIGL, 2020)

Geomstats: A Python Package for Riemannian Geometry in Machine Learning. - Nina Miolane; Alice Le Brigant; Johan Mathe; Benjamin Hou; Nicolas Guigui; Yann Thanwerdas; Stefan Heyder; Olivier Peltre; Niklas Koep; Hadi Zaatiti; Hatem Hajri; Yann Cabanes; et al. (CoRR, 2020)

A hyperbolic approach for learning communities on graphs. - Thomas Gerald; Hadi Zaatiti; Hatem Hajri; Nicolas Baskiotis; Olivier Schwander (Data Min. Knowl. Discov., 2023)