Zakaria Chihani

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 26

Top Topics

Unsupervised Learning

Constraint Solving

Confidence Measure

Feature Importance

Top Venues

SAFECOMP Workshops

Publications

Mohamed Ibn Khedher, Afef Awadid, Augustin Lemesle, Zakaria Chihani
On the Formal Robustness Evaluation for AI-based Industrial Systems. MODELSWARD (2024)
Juliette Mattioli, Henri Sohier, Agnès Delaborde, Kahina Amokrane-Ferka, Afef Awadid, Zakaria Chihani, Souhaiel Khalfaoui, Gabriel Pedroza
An overview of key trustworthiness attributes and KPIs for trusted ML-based systems engineering. AI Ethics 4 (1) (2024)
Zakaria Chihani
Trustworthy AI: Industry-Guided Tooling of the Methods. CAIN (2024)
Augustin Lemesle, Aymeric Varasse, Zakaria Chihani, Dominique Tachet
AIMOS: Metamorphic Testing of AI - An Industrial Application. SAFECOMP Workshops (2023)
Romain Xu-Darme, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset
Sanity checks and improvements for patch visualisation in prototype-based image classification. CoRR (2023)
Romain Xu-Darme, Jenny Benois-Pineau, Romain Giot, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset, Alexey Zhukov
On the stability, correctness and plausibility of visual explanation methods based on feature importance. CoRR (2023)
Romain Xu-Darme, Julien Girard-Satabin, Darryl Hond, Gabriele Incorvaia, Zakaria Chihani
Interpretable Out-Of-Distribution Detection Using Pattern Identification. CoRR (2023)
Romain Xu-Darme, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset
Sanity checks for patch visualisation in prototype-based image classification. CVPR Workshops (2023)
Romain Xu-Darme, Jenny Benois-Pineau, Romain Giot, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset, Alexey Zhukov
On the stability, correctness and plausibility of visual explanation methods based on feature importance. CBMI (2023)
Juliette Mattioli, Henri Sohier, Agnès Delaborde, Gabriel Pedroza, Kahina Amokrane-Ferka, Afef Awadid, Zakaria Chihani, Souhaiel Khalfaoui
Towards a holistic approach for AI trustworthiness assessment based upon aids for multi-criteria aggregation. SafeAI@AAAI (2023)
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, Jaime Loureiro-Acuña, Xavier Martínez, Gonzalo Jiménez-Balsa
Introducing the TRUMPET project: TRUstworthy Multi-site Privacy Enhancing Technologies. CSR (2023)
Romain Xu-Darme, Julien Girard-Satabin, Darryl Hond, Gabriele Incorvaia, Zakaria Chihani
Contextualised Out-of-Distribution Detection Using Pattern Identification. SAFECOMP Workshops (2023)
Romain Xu-Darme, Julien Girard-Satabin, Darryl Hond, Gabriele Incorvaia, Zakaria Chihani
Contextualised Out-of-Distribution Detection using Pattern Identication. CoRR (2023)
Romain Xu-Darme, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset
Sanity checks for patch visualisation in prototype-based image classification. CoRR (2023)
Julien Girard-Satabin, Michele Alberti, François Bobot, Zakaria Chihani, Augustin Lemesle
CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness. AISafety@IJCAI (2022)
Julien Girard-Satabin, Michele Alberti, François Bobot, Zakaria Chihani, Augustin Lemesle
CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness. CoRR (2022)
Romain Xu-Darme, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset
PARTICUL: Part Identification with Confidence measure using Unsupervised Learning. CoRR (2022)
Romain Xu-Darme, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset
PARTICUL: Part Identification with Confidence Measure Using Unsupervised Learning. ICPR Workshops (3) (2022)
Julien Girard-Satabin, Aymeric Varasse, Marc Schoenauer, Guillaume Charpiat, Zakaria Chihani
DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification. CoRR (2021)
Julien Girard-Satabin, Guillaume Charpiat, Zakaria Chihani, Marc Schoenauer
CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators. ECAI (2020)
Julien Girard-Satabin, Guillaume Charpiat, Zakaria Chihani, Marc Schoenauer
CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators. CoRR (2019)
François Bobot, Zakaria Chihani, Bruno Marre
Real Behavior of Floating Point. SMT (2017)
Zakaria Chihani, Bruno Marre, François Bobot, Sébastien Bardin
Sharpening Constraint Programming Approaches for Bit-Vector Theory. CPAIOR (2017)
Roberto Blanco, Zakaria Chihani, Dale Miller
Translating Between Implicit and Explicit Versions of Proof. CADE (2017)
Zakaria Chihani, Dale Miller, Fabien Renaud
A Semantic Framework for Proof Evidence. J. Autom. Reason. 59 (3) (2017)
Zakaria Chihani, François Bobot, Sébastien Bardin
CDCL-inspired Word-level Learning for Bit-vector Constraint Solving. CoRR (2017)
Zakaria Chihani, Dale Miller
Proof Certificates for Equality Reasoning. LSFA (2015)
Zakaria Chihani, Tomer Libal, Giselle Reis
The Proof Certifier Checkers. TABLEAUX (2015)
Danko Ilik, Zakaria Chihani
The Exp-Log Normal Form of Types and Canonical Terms for Lambda Calculus with Sums. CoRR (2015)
Zakaria Chihani, Dale Miller, Fabien Renaud
Foundational Proof Certificates in First-Order Logic. CADE (2013)
Zakaria Chihani, Dale Miller, Fabien Renaud
Checking Foundational Proof Certificates for First-Order Logic (Extended Abstract). PxTP@CADE (2013)