Zakaria Chihani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
14
Active years
2013–2026
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Formal Abductive Latent Explanations for Prototype-Based Networks. | Jules Soria, Zakaria Chihani, Julien Girard-Satabin, Alban Grastien, Romain Xu-Darme, Daniela Cancila |
| 2025 | ECAI | A Dive into Formal Explainable Attributions for Image Classification. | Dorin Doncenco, Julien Girard-Satabin, Romain Xu-Darme, Zakaria Chihani |
| 2025 | IFM | The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification. | Michele Alberti, Franois Bobot, Julien Girard-Satabin, Alban Grastien, Aymeric Varasse, Zakaria Chihani |
| 2025 | SAS | Verifying Neural Networks with PyRAT. | Augustin Lemesle, Julien Lehmann, Tristan Le Gall, Zakaria Chihani |
| 2024 | CAIN | Trustworthy AI: Industry-Guided Tooling of the Methods. | Zakaria Chihani |
| 2024 | MODELSWARD | On the Formal Robustness Evaluation for AI-based Industrial Systems. | Mohamed Ibn Khedher, Afef Awadid, Augustin Lemesle, Zakaria Chihani |
| 2023 | AAAI | Towards a holistic approach for AI trustworthiness assessment based upon aids for multi-criteria aggregation. | Juliette Mattioli, Henri Sohier, Agns Delaborde, Gabriel Pedroza, Kahina Amokrane-Ferka, Afef Awadid, Zakaria Chihani, Souhaiel Khalfaoui |
| 2023 | CBMI | On the stability, correctness and plausibility of visual explanation methods based on feature importance. | Romain Xu-Darme, Jenny Benois-Pineau, Romain Giot, Georges Qunot, Zakaria Chihani, Marie-Christine Rousset, Alexey Zhukov |
| 2023 | CVPR | Sanity checks for patch visualisation in prototype-based image classification. | Romain Xu-Darme, Georges Qunot, Zakaria Chihani, Marie-Christine Rousset |
| 2023 | SAFECOMP | AIMOS: Metamorphic Testing of AI - An Industrial Application. | Augustin Lemesle, Aymeric Varasse, Zakaria Chihani, Dominique Tachet |
| 2023 | SAFECOMP | Contextualised Out-of-Distribution Detection Using Pattern Identification. | Romain Xu-Darme, Julien Girard-Satabin, Darryl Hond, Gabriele Incorvaia, Zakaria Chihani |
| 2022 | IJCAI | CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness. | Julien Girard-Satabin, Michele Alberti, Franois Bobot, Zakaria Chihani, Augustin Lemesle |
| 2022 | ICPR | PARTICUL: Part Identification with Confidence Measure Using Unsupervised Learning. | Romain Xu-Darme, Georges Qunot, Zakaria Chihani, Marie-Christine Rousset |
| 2020 | ECAI | CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators. | Julien Girard-Satabin, Guillaume Charpiat, Zakaria Chihani, Marc Schoenauer |
| 2017 | CADE | Translating Between Implicit and Explicit Versions of Proof. | Roberto Blanco, Zakaria Chihani, Dale Miller |
| 2017 | CPAIOR | Sharpening Constraint Programming Approaches for Bit-Vector Theory. | Zakaria Chihani, Bruno Marre, Franois Bobot, Sbastien Bardin |
| 2015 | TABLEAUX | The Proof Certifier Checkers. | Zakaria Chihani, Tomer Libal, Giselle Reis |
| 2013 | CADE | Foundational Proof Certificates in First-Order Logic. | Zakaria Chihani, Dale Miller, Fabien Renaud |
| 2013 | CADE | Checking Foundational Proof Certificates for First-Order Logic (Extended Abstract). | Zakaria Chihani, Dale Miller, Fabien Renaud |