Zakaria Chihani

According to our database, Zakaria Chihani authored at least 25 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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, February, 2024

On the Formal Robustness Evaluation for AI-based Industrial Systems.

Mohamed Ibn Khedher, Afef Awadid, Augustin Lemesle, Zakaria Chihani

Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, 2024

2023

Contextualised Out-of-Distribution Detection using Pattern Identication.

Romain Xu-Darme, Julien Girard-Satabin, Darryl Hond, Gabriele Incorvaia, Zakaria Chihani

CoRR, 2023

Interpretable Out-Of-Distribution Detection Using Pattern Identification.

Romain Xu-Darme, Julien Girard-Satabin, Darryl Hond, Gabriele Incorvaia, Zakaria Chihani

CoRR, 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

Contextualised Out-of-Distribution Detection Using Pattern Identification.

Romain Xu-Darme, Julien Girard-Satabin, Darryl Hond, Gabriele Incorvaia, Zakaria Chihani

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

AIMOS: Metamorphic Testing of AI - An Industrial Application.

Augustin Lemesle, Aymeric Varasse, Zakaria Chihani, Dominique Tachet

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

Sanity checks for patch visualisation in prototype-based image classification.

Romain Xu-Darme, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 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, Jaime Loureiro-Acuña, Xavier Martínez, Gonzalo Jiménez-Balsa

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 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

Proceedings of the 20th International Conference on Content-based Multimedia Indexing, 2023

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

Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI 2023) co-located with the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), 2023

2022

CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness.

Julien Girard-Satabin, Michele Alberti, François Bobot, Zakaria Chihani, Augustin Lemesle

Proceedings of the Workshop on Artificial Intelligence Safety 2022 (AISafety 2022) co-located with the Thirty-First International Joint Conference on Artificial Intelligence and the Twenty-Fifth European Conference on Artificial Intelligence (IJCAI-ECAI-2022), 2022

PARTICUL: Part Identification with Confidence Measure Using Unsupervised Learning.

Romain Xu-Darme, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset

Proceedings of the Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges, 2022

2021

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

2020

CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators.

Julien Girard-Satabin, Guillaume Charpiat, Zakaria Chihani, Marc Schoenauer

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2017

A Semantic Framework for Proof Evidence.

Zakaria Chihani, Dale Miller, Fabien Renaud

J. Autom. Reason., 2017

CDCL-inspired Word-level Learning for Bit-vector Constraint Solving.

Zakaria Chihani, François Bobot, Sébastien Bardin

CoRR, 2017

Real Behavior of Floating Point.

François Bobot, Zakaria Chihani, Bruno Marre

Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22, 2017

Sharpening Constraint Programming Approaches for Bit-Vector Theory.

Zakaria Chihani, Bruno Marre, François Bobot, Sébastien Bardin

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

Translating Between Implicit and Explicit Versions of Proof.

Roberto Blanco, Zakaria Chihani, Dale Miller

Proceedings of the Automated Deduction - CADE 26, 2017

2015

Proof Certificates for Equality Reasoning.

Zakaria Chihani, Dale Miller

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

The Exp-Log Normal Form of Types and Canonical Terms for Lambda Calculus with Sums.

Danko Ilik, Zakaria Chihani

CoRR, 2015

The Proof Certifier Checkers.

Zakaria Chihani, Tomer Libal, Giselle Reis

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

2013

Checking Foundational Proof Certificates for First-Order Logic (Extended Abstract).

Zakaria Chihani, Dale Miller, Fabien Renaud

Proceedings of the Third International Workshop on Proof Exchange for Theorem Proving, 2013

Foundational Proof Certificates in First-Order Logic.

Zakaria Chihani, Dale Miller, Fabien Renaud

Proceedings of the Automated Deduction - CADE-24, 2013