Publications

29 documents

Journal articles

  • Matthias Függer, Thomas Nowak, Kerian Thuillier. Distributed computing inspired by biology. Seminars in Cell and Developmental Biology, 2025, 175, pp.103666. ⟨10.1016/j.semcdb.2025.103666⟩. ⟨hal-05375376⟩
  • Théo Matricon, Nathanaël Fijalkow, Guillaume Lagarde. EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis. Proceedings (AAAI Artificial Intelligence and Interactive Digital Entertainment Conference), In press, ⟨10.48550/arXiv.2412.17330⟩. ⟨hal-04901266⟩
  • Alessandro De Palma, Serge Durand, Zakaria Chihani, Caterina Urban. On Using Certified Training towards Empirical Robustness. Transactions on Machine Learning Research Journal, 2025. ⟨hal-05042448⟩
  • Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban. A Logic for the Imprecision of Abstract Interpretations. Proceedings of the ACM on Programming Languages, In press, POPL 2026. ⟨hal-05402142⟩
  • Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban. Monotonicity and the Precision of Program Analysis. Proceedings of the ACM on Programming Languages, 2024, 8 (POPL), pp.1629-1662. ⟨10.1145/3632897⟩. ⟨hal-04423578⟩

Conference papers

  • Gustave Cortal, Alain Finkel. Formalizing Style in Personal Narratives. Empirical Methods in Natural Language Processing (EMNLP 2025), Nov 2025, Suzhou, China. ⟨hal-05261564v3⟩
  • Yuke Liao, Blaise Genest, Kuldeep Meel, Shaan Aryaman. Solution-Aware Vs Global ReLU Selection: Partial MILP Strikes Back for DNN Verification. 23rd International Symposium Automated Technology for Verification and Analysis (ATVA 2025), Oct 2025, Bangalore, India. pp.299-320, ⟨10.1007/978-3-032-08707-2_14⟩. ⟨hal-05384407⟩
  • Dorin Doncenco, Julien Girard-Satabin, Romain Xu-Darme, Zakaria Chihani. A dive into formal explainable attributions for image classification. European Conference on Artificial Inteligence 2025, Oct 2025, Bologna, Italy. ⟨hal-05219606⟩
  • Guannan Wei, Zhuo Zhang, Caterina Urban. Hallucination-Resilient LLM-Driven Sound and Tunable Static Analysis. LMPL 2025 - 1st International Workshop on Language Models and Programming Languages, Oct 2025, Singapore, Singapore. ⟨10.1145/3759425.3763378⟩. ⟨hal-05296479⟩
  • Marco Campion, Isabella Mastroeni, Caterina Urban. Relating Distances and Abstractions: An Abstract Interpretation Perspective. SAS 2025 - 32nd Static Analysis Symposium, Oct 2025, Singapore, Singapore. ⟨hal-05207631⟩
  • Augustin Lemesle, Julien Lehmann, Tristan Le Gall, Hichem-Zakaria Chihani. Verifying neural networks with PyRAT. SAS 2025 - 32nd Static Analysis Symposium, Oct 2025, Singapour, Singapore. pp.1 1-33, ⟨10.1007/978-3-032-07106-4_2⟩. ⟨cea-05394082⟩
  • Raghda El Shehaby, Matthias Függer, Florian Huemer, Andreas Steininger. Investigating the Effects of Permanent Faults in QDI Circuits: A Formal Perspective. 2025 29th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), May 2025, Portland, United States. pp.142-150, ⟨10.1109/ASYNC65240.2025.00027⟩. ⟨hal-05187822⟩
  • Harleen Hanspal, Alessandro De Palma, Alessio Lomuscio. Robustness to Perturbations in the Frequency Domain: Neural Network Verification and Certified Training. WACV 2025 - Workshop on Out-of-Label Hazards in Autonomous Driving, May 2025, Tucson, Arizona, United States. ⟨hal-05330224⟩
  • Marius Belly, Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Guillermo Alberto Pérez, et al.. Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives. 39th AAAI Conference on Artificial Intelligence (AAAI-25), Feb 2025, Philadelphie, PA, United States. pp.26454-26462, ⟨10.1609/aaai.v39i25.34845⟩. ⟨hal-04797702v4⟩
  • Zhuofan Xu, Benedikt Bollig, Matthias Függer, Thomas Nowak. Permutation Equivariant Deep Reinforcement Learning for Multi-Armed Bandit. 36th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Oct 2024, Herndon, United States. ⟨10.1109/ICTAI62512.2024.00140⟩. ⟨hal-04787072⟩
  • Denis Mazzucato, Marco Campion, Caterina Urban. Quantitative Static Timing Analysis. 31st Static Analysis Symposium (SAS 2024), Roberto Giacobazzi; Alessandra Gorla; Marco Campion, Oct 2024, Pasadena, CA, United States. ⟨hal-04669723⟩
  • Ben Batten, Yang Zheng, Alessandro De Palma, Panagiotis Kouvaros, Alessio Lomuscio. Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation. ECAI 2024 - European Conference on Artificial Intelligence, Oct 2024, Santiago de Compostela, Spain. ⟨hal-04727955⟩
  • Romain Xu-Darme, Aymeric Varasse, Alban Grastien, Julien Girard, Zakaria Chihani. CaBRNet, an open-source library for developing and evaluating Case-Based Reasoning Models. xAI 2024 - The 2nd World Conference on eXplainable Artificial Intelligence, Jul 2024, La valette, Malta. pp.TBD. ⟨cea-04688217v2⟩
  • Denis Mazzucato, Marco Campion, Caterina Urban. Quantitative Input Usage Static Analysis. NASA Formal Methods 2024, Jun 2024, Moffett Field (CA), United States. pp.79-98, ⟨10.1007/978-3-031-60698-4_5⟩. ⟨hal-04339001v3⟩
  • Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M Pawan Kumar, Robert Stanforth, et al.. Expressive Losses for Verified Robustness via Convex Combinations. ICLR 2024 - International Conference on Learning Representations, May 2024, Vienna, Austria. ⟨hal-04511820⟩
  • Mehdi Zadem, Sergio Mover, Sergio Mover, Sao Mai Nguyen. Reconciling Spatial and Temporal Abstractions for Goal Representation. ICLR 2024: Twelfth International Conference on Learning Representations, May 2024, Vienna, Austria. ⟨hal-04629549⟩
  • Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella. Abstract Interpretation-Based Feature Importance for Support Vector Machines. 25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024), Jan 2024, London, United Kingdom. pp.27-49, ⟨10.1007/978-3-031-50524-9_2⟩. ⟨hal-04378817⟩
  • Léo Henry, Blaise Genest, Alexandre Drewery. Reinforcement Planning for effective ε-optimal policies in dense time with discontinuities. 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2023, hyderabad, India. ⟨10.4230/LIPIcs⟩. ⟨hal-04280462⟩

Proceedings

  • Eric Goubault, Sylvie Putot. A Zonotopic Dempster-Shafer Approach to the Quantitative Verification of Neural Networks. International Symposium on Formal Methods, FM 2024, 14933, Springer Nature Switzerland, pp.324-342, 2025, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-71162-6_17⟩. ⟨hal-04546350v2⟩

Preprints, Working Papers

  • Michele Alberti, François Bobot, Julien Girard-Satabin, Alban Grastien, Aymeric Varasse, et al.. The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification. 2025. ⟨hal-05086899⟩
  • Marco Campion, Isabella Mastroeni, Michele Pasqua, Caterina Urban. Abstract Lipschitz Continuity. 2025. ⟨hal-04935306v3⟩
  • Benedikt Bollig, Matthias Függer, Thomas Nowak. A Framework for Streaming Event-Log Prediction in Business Processes. 2025. ⟨hal-04866045⟩

Reports

  • Vaishak Belle, Michael Benedikt, Dana Drachsler-Cohen, Daniel Neider, Tom Yuviler, et al.. Logic and Neural Networks (Dagstuhl Seminar 25061). Dagstuhl. 2025. ⟨hal-05311341⟩

Theses

  • Denis Mazzucato. Static Analysis by Abstract Interpretation of Quantitative Program Properties. Computer Science [cs]. École Normale Supérieure, 2024. English. ⟨NNT : ⟩. ⟨tel-04886659⟩