Foundational Proof Certificates in First-Order Logic. - Zakaria Chihani; Dale Miller 001; Fabien Renaud (CADE, 2013)

Checking Foundational Proof Certificates for First-Order Logic (Extended Abstract). - Zakaria Chihani; Dale Miller 001; Fabien Renaud (PxTP@CADE, 2013)

The Proof Certifier Checkers. - Zakaria Chihani; Tomer Libal; Giselle Reis (TABLEAUX, 2015)

The Exp-Log Normal Form of Types and Canonical Terms for Lambda Calculus with Sums. - Danko Ilik; Zakaria Chihani (CoRR, 2015)

Proof Certificates for Equality Reasoning. - Zakaria Chihani; Dale Miller 001 (LSFA, 2015)

Translating Between Implicit and Explicit Versions of Proof. - Roberto Blanco; Zakaria Chihani; Dale Miller 001 (CADE, 2017)

Sharpening Constraint Programming Approaches for Bit-Vector Theory. - Zakaria Chihani; Bruno Marre; François Bobot; Sébastien Bardin (CPAIOR, 2017)

Real Behavior of Floating Point. - François Bobot; Zakaria Chihani; Bruno Marre (SMT, 2017)

CDCL-inspired Word-level Learning for Bit-vector Constraint Solving. - Zakaria Chihani; François Bobot; Sébastien Bardin (CoRR, 2017)

A Semantic Framework for Proof Evidence. - Zakaria Chihani; Dale Miller 001; Fabien Renaud (J. Autom. Reason., 2017)

CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators. - Julien Girard-Satabin; Guillaume Charpiat; Zakaria Chihani; Marc Schoenauer (ECAI, 2020)

DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification. - Julien Girard-Satabin; Aymeric Varasse; Marc Schoenauer; Guillaume Charpiat; Zakaria Chihani (CoRR, 2021)

PARTICUL: Part Identification with Confidence Measure Using Unsupervised Learning. - Romain Xu-Darme; Georges Quénot; Zakaria Chihani; Marie-Christine Rousset (ICPR Workshops (3), 2022)

CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness. - Julien Girard-Satabin; Michele Alberti; François Bobot; Zakaria Chihani; Augustin Lemesle (AISafety@IJCAI, 2022)

Towards a holistic approach for AI trustworthiness assessment based upon aids for multi-criteria aggregation. - Juliette Mattioli; Henri Sohier; Agnès Delaborde; Gabriel Pedroza; Kahina Amokrane-Ferka; Afef Awadid; Zakaria Chihani; Souhaiel Khalfaoui (SafeAI@AAAI, 2023)

On the stability, correctness and plausibility of visual explanation methods based on feature importance. - Romain Xu-Darme; Jenny Benois-Pineau; Romain Giot; Georges Quénot; Zakaria Chihani; Marie-Christine Rousset; Alexey Zhukov (CBMI, 2023)

Introducing the TRUMPET project: TRUstworthy Multi-site Privacy Enhancing Technologies. - Alberto Pedrouzo-Ulloa; Jan Ramon; Fernando Pérez-González; Siyanna Lilova; Patrick Duflot; Zakaria Chihani; Nicola Gentili; Paola Ulivi; Mohammad Ashadul Hoque; Twaha Mukammel; Zeev Pritzker; Augustin Lemesle; et al. (CSR, 2023)

Sanity checks for patch visualisation in prototype-based image classification. - Romain Xu-Darme; Georges Quénot; Zakaria Chihani; Marie-Christine Rousset (CVPR Workshops, 2023)

AIMOS: Metamorphic Testing of AI - An Industrial Application. - Augustin Lemesle; Aymeric Varasse; Zakaria Chihani; Dominique Tachet (SAFECOMP Workshops, 2023)

Contextualised Out-of-Distribution Detection Using Pattern Identification. - Romain Xu-Darme; Julien Girard-Satabin; Darryl Hond; Gabriele Incorvaia; Zakaria Chihani (SAFECOMP Workshops, 2023)

Sanity checks and improvements for patch visualisation in prototype-based image classification. - Romain Xu-Darme; Georges Quénot; Zakaria Chihani; Marie-Christine Rousset (CoRR, 2023)

Interpretable Out-Of-Distribution Detection Using Pattern Identification. - Romain Xu-Darme; Julien Girard-Satabin; Darryl Hond; Gabriele Incorvaia; Zakaria Chihani (CoRR, 2023)

Contextualised Out-of-Distribution Detection using Pattern Identication. - Romain Xu-Darme; Julien Girard-Satabin; Darryl Hond; Gabriele Incorvaia; Zakaria Chihani (CoRR, 2023)

Trustworthy AI: Industry-Guided Tooling of the Methods. - Zakaria Chihani (CAIN, 2024)

On the Formal Robustness Evaluation for AI-based Industrial Systems. - Mohamed Ibn Khedher; Afef Awadid; Augustin Lemesle; Zakaria Chihani (MODELSWARD, 2024)

CaBRNet, An Open-Source Library For Developing And Evaluating Case-Based Reasoning Models. - Romain Xu-Darme; Aymeric Varasse; Alban Grastien; Julien Girard-Satabin; Zakaria Chihani (xAI (Late-breaking Work, Demos, Doctoral Consortium), 2024)

CaBRNet, an open-source library for developing and evaluating Case-Based Reasoning Models. - Romain Xu-Darme; Aymeric Varasse; Alban Grastien; Julien Girard; Zakaria Chihani (CoRR, 2024)

An overview of key trustworthiness attributes and KPIs for trusted ML-based systems engineering. - Juliette Mattioli; Henri Sohier; Agnès Delaborde; Kahina Amokrane-Ferka; Afef Awadid; Zakaria Chihani; Souhaiel Khalfaoui; Gabriel Pedroza (AI Ethics, 2024)

On Using Certified Training towards Empirical Robustness. - Alessandro De Palma; Serge Durand; Zakaria Chihani; François Terrier; Caterina Urban (Trans. Mach. Learn. Res., 2025)

The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification. - Michele Alberti; François Bobot; Julien Girard-Satabin; Alban Grastien; Aymeric Varasse; Zakaria Chihani (CoRR, 2025)