Foundational proof certificates in first-order logic Z Chihani, D Miller, F Renaud Automated Deduction–CADE-24: 24th International Conference on Automated …, 2013 | 42 | 2013 |

A semantic framework for proof evidence Z Chihani, D Miller, F Renaud Journal of Automated Reasoning 59, 287-330, 2017 | 37 | 2017 |

Real behavior of floating point numbers B Marre, F Bobot, Z Chihani The SMT Workshop, 2017 | 24 | 2017 |

The proof certifier checkers Z Chihani, T Libal, G Reis International Conference on Automated Reasoning with Analytic Tableaux and …, 2015 | 22 | 2015 |

Translating between implicit and explicit versions of proof R Blanco, Z Chihani, D Miller Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017 | 17 | 2017 |

Sharpening constraint programming approaches for bit-vector theory Z Chihani, B Marre, F Bobot, S Bardin International Conference on AI and OR Techniques in Constraint Programming …, 2017 | 13 | 2017 |

Caisar: A platform for characterizing artificial intelligence safety and robustness J Girard-Satabin, M Alberti, F Bobot, Z Chihani, A Lemesle arXiv preprint arXiv:2206.03044, 2022 | 12 | 2022 |

Checking foundational proof certificates for first-order logic Z Chihani, D Miller, F Renaud PxTP-Proof Exchange for Theorem Proving, 2013 | 12 | 2013 |

Proof certificates for equality reasoning Z Chihani, D Miller Electronic Notes in Theoretical Computer Science 323, 93-108, 2016 | 9 | 2016 |

An overview of key trustworthiness attributes and KPIs for trusted ML-based systems engineering J Mattioli, H Sohier, A Delaborde, K Amokrane-Ferka, A Awadid, ... AI and Ethics 4 (1), 15-25, 2024 | 8 | 2024 |

PARTICUL: part identification with confidence measure using unsupervised learning R Xu-Darme, G Quénot, Z Chihani, MC Rousset International Conference on Pattern Recognition, 173-187, 2022 | 8 | 2022 |

CAMUS: A framework to build formal specifications for deep perception systems using simulators J Girard-Satabin, G Charpiat, Z Chihani, M Schoenauer ECAI 2020, 2497-2504, 2020 | 8 | 2020 |

Towards a holistic approach for AI trustworthiness assessment based upon aids for multi-criteria aggregation J Mattioli, H Sohier, A Delaborde, G Pedroza, K Amokrane, A Awadid, ... SafeAI 2023-The AAAI's Workshop on Artificial Intelligence Safety 3381, 2023 | 7 | 2023 |

Real Behavior of Floating Point. F Bobot, Z Chihani, B Marre SMT, 50-62, 2017 | 7 | 2017 |

Sanity checks for patch visualisation in prototype-based image classification R Xu-Darme, G Quénot, Z Chihani, MC Rousset Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2023 | 6 | 2023 |

Certification of First-order proofs in classical and intuitionistic logics Z Chihani École Polytechnique, 2015 | 5 | 2015 |

Contextualised Out-of-Distribution Detection Using Pattern Identification R Xu-Darme, J Girard-Satabin, D Hond, G Incorvaia, Z Chihani International Conference on Computer Safety, Reliability, and Security, 423-435, 2023 | 4 | 2023 |

Sanity checks and improvements for patch visualisation in prototype-based image classification R Xu-Darme, G Quénot, Z Chihani, MC Rousset arXiv preprint arXiv:2302.08508, 2023 | 3 | 2023 |

Classical polarizations yield double-negation translations Z Chihani, D Ilik, D Miller | 3 | 2016 |

Introducing the TRUMPET project: TRUstworthy Multi-site Privacy Enhancing Technologies A Pedrouzo-Ulloa, J Ramon, F Péerez-González, S Lilova, P Duflot, ... 2023 IEEE International Conference on Cyber Security and Resilience (CSR …, 2023 | 2 | 2023 |