Zakaria Chihani

43 papers A* 1A 4B 5C 2Misc 1Journal 18Unranked 12

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Formal Abductive Latent Explanations for Prototype-Based Networks. AAAI Jules Soria, Zakaria Chihani, Julien Girard-Satabin, Alban Grastien, Romain Xu-Darme, Daniela Cancila
2025	A	`conf`	A Dive into Formal Explainable Attributions for Image Classification. ECAI Dorin Doncenco, Julien Girard-Satabin, Romain Xu-Darme, Zakaria Chihani
2025	J	`jnl`	Formal Abductive Latent Explanations for Prototype-Based Networks. CoRR Jules Soria, Zakaria Chihani, Julien Girard-Satabin, Alban Grastien, Romain Xu-Darme, Daniela Cancila
2025	J	`jnl`	On Using Certified Training towards Empirical Robustness. Trans. Mach. Learn. Res. Alessandro De Palma, Serge Durand, Zakaria Chihani, François Terrier, Caterina Urban
2025	—	`conf`	PyRAT: Verifying Neural Networks with Abstract Interpretation (Competition Contribution). SAIV Augustin Lemesle, Julien Lehmann, Tristan Le Gall, Zakaria Chihani
2025	B	`conf`	The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification. iFM Michele Alberti, François Bobot, Julien Girard-Satabin, Alban Grastien, Aymeric Varasse, Zakaria Chihani
2025	J	`jnl`	The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification. CoRR Michele Alberti, François Bobot, Julien Girard-Satabin, Alban Grastien, Aymeric Varasse, Zakaria Chihani
2025	B	`conf`	Verifying Neural Networks with PyRAT. SAS Augustin Lemesle, Julien Lehmann, Tristan Le Gall, Zakaria Chihani
2024	J	`jnl`	An overview of key trustworthiness attributes and KPIs for trusted ML-based systems engineering. AI Ethics Juliette Mattioli, Henri Sohier, Agnès Delaborde, Kahina Amokrane-Ferka, Afef Awadid, Zakaria Chihani, Souhaiel Khalfaoui, Gabriel Pedroza
2024	—	`conf`	CaBRNet, An Open-Source Library For Developing And Evaluating Case-Based Reasoning Models. xAI (Late-breaking Work, Demos, Doctoral Consortium) Romain Xu-Darme, Aymeric Varasse, Alban Grastien, Julien Girard-Satabin, Zakaria Chihani
2024	J	`jnl`	CaBRNet, an open-source library for developing and evaluating Case-Based Reasoning Models. CoRR Romain Xu-Darme, Aymeric Varasse, Alban Grastien, Julien Girard, Zakaria Chihani
2024	J	`jnl`	On Using Certified Training towards Empirical Robustness. CoRR Alessandro De Palma, Serge Durand, Zakaria Chihani, François Terrier, Caterina Urban
2024	C	`conf`	On the Formal Robustness Evaluation for AI-based Industrial Systems. MODELSWARD Mohamed Ibn Khedher, Afef Awadid, Augustin Lemesle, Zakaria Chihani
2024	B	`conf`	Trustworthy AI: Industry-Guided Tooling of the Methods. CAIN Zakaria Chihani
2023	—	`conf`	AIMOS: Metamorphic Testing of AI - An Industrial Application. SAFECOMP Workshops Augustin Lemesle, Aymeric Varasse, Zakaria Chihani, Dominique Tachet
2023	—	`conf`	Contextualised Out-of-Distribution Detection Using Pattern Identification. SAFECOMP Workshops Romain Xu-Darme, Julien Girard-Satabin, Darryl Hond, Gabriele Incorvaia, Zakaria Chihani
2023	J	`jnl`	Contextualised Out-of-Distribution Detection using Pattern Identication. CoRR Romain Xu-Darme, Julien Girard-Satabin, Darryl Hond, Gabriele Incorvaia, Zakaria Chihani
2023	J	`jnl`	Interpretable Out-Of-Distribution Detection Using Pattern Identification. CoRR Romain Xu-Darme, Julien Girard-Satabin, Darryl Hond, Gabriele Incorvaia, Zakaria Chihani
2023	Misc	`conf`	Introducing the TRUMPET project: TRUstworthy Multi-site Privacy Enhancing Technologies. CSR 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 Luaña, Gonzalo Jiménez-Balsa
2023	C	`conf`	On the stability, correctness and plausibility of visual explanation methods based on feature importance. CBMI Romain Xu-Darme, Jenny Benois-Pineau, Romain Giot, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset, Alexey Zhukov
2023	J	`jnl`	On the stability, correctness and plausibility of visual explanation methods based on feature importance. CoRR Romain Xu-Darme, Jenny Benois-Pineau, Romain Giot, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset, Alexey Zhukov
2023	—	`conf`	Sanity Checks for Patch Visualisation in Prototype-Based Image Classification. XAI4CV Romain Xu-Darme, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset
2023	J	`jnl`	Sanity checks and improvements for patch visualisation in prototype-based image classification. CoRR Romain Xu-Darme, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset
2023	—	`conf`	Sanity checks for patch visualisation in prototype-based image classification. CVPR Workshops Romain Xu-Darme, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset
2023	J	`jnl`	Sanity checks for patch visualisation in prototype-based image classification. CoRR Romain Xu-Darme, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset
2023	—	`conf`	Towards a holistic approach for AI trustworthiness assessment based upon aids for multi-criteria aggregation. SafeAI@AAAI Juliette Mattioli, Henri Sohier, Agnès Delaborde, Gabriel Pedroza, Kahina Amokrane-Ferka, Afef Awadid, Zakaria Chihani, Souhaiel Khalfaoui
2022	—	`conf`	CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness. AISafety@IJCAI Julien Girard-Satabin, Michele Alberti, François Bobot, Zakaria Chihani, Augustin Lemesle
2022	J	`jnl`	CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness. CoRR Julien Girard-Satabin, Michele Alberti, François Bobot, Zakaria Chihani, Augustin Lemesle
2022	—	`conf`	PARTICUL: Part Identification with Confidence Measure Using Unsupervised Learning. ICPR Workshops (3) Romain Xu-Darme, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset
2022	J	`jnl`	PARTICUL: Part Identification with Confidence measure using Unsupervised Learning. CoRR Romain Xu-Darme, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset
2021	J	`jnl`	DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification. CoRR Julien Girard-Satabin, Aymeric Varasse, Marc Schoenauer, Guillaume Charpiat, Zakaria Chihani
2020	A	`conf`	CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators. ECAI Julien Girard-Satabin, Guillaume Charpiat, Zakaria Chihani, Marc Schoenauer
2019	J	`jnl`	CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators. CoRR Julien Girard-Satabin, Guillaume Charpiat, Zakaria Chihani, Marc Schoenauer
2017	J	`jnl`	A Semantic Framework for Proof Evidence. J. Autom. Reason. Zakaria Chihani, Dale Miller, Fabien Renaud
2017	J	`jnl`	CDCL-inspired Word-level Learning for Bit-vector Constraint Solving. CoRR Zakaria Chihani, François Bobot, Sébastien Bardin
2017	—	`conf`	Real Behavior of Floating Point. SMT François Bobot, Zakaria Chihani, Bruno Marre
2017	B	`conf`	Sharpening Constraint Programming Approaches for Bit-Vector Theory. CPAIOR Zakaria Chihani, Bruno Marre, François Bobot, Sébastien Bardin
2017	A	`conf`	Translating Between Implicit and Explicit Versions of Proof. CADE Roberto Blanco, Zakaria Chihani, Dale Miller
2015	—	`conf`	Proof Certificates for Equality Reasoning. LSFA Zakaria Chihani, Dale Miller
2015	J	`jnl`	The Exp-Log Normal Form of Types and Canonical Terms for Lambda Calculus with Sums. CoRR Danko Ilik, Zakaria Chihani
2015	B	`conf`	The Proof Certifier Checkers. TABLEAUX Zakaria Chihani, Tomer Libal, Giselle Reis
2013	—	`conf`	Checking Foundational Proof Certificates for First-Order Logic (Extended Abstract). PxTP@CADE Zakaria Chihani, Dale Miller, Fabien Renaud
2013	A	`conf`	Foundational Proof Certificates in First-Order Logic. CADE Zakaria Chihani, Dale Miller, Fabien Renaud