Publications HAL de la collection SAIF

2026

Preprints, Working Papers, ...

titre
Abstract Lipschitz Continuity: Combining Semantic and Quantitative Approximations
auteur
Marco Campion, Isabella Mastroeni, Michele Pasqua, Caterina Urban
article
2026
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04935306/file/Abstract%20Lipschitz%20Continuity%3A%20Combining%20Semantic%20and%20Quantitative%20Approximations.pdf BibTex
titre
The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification
auteur
Michele Alberti, François Bobot, Julien Girard-Satabin, Alban Grastien, Aymeric Varasse, Zakaria Chihani
article
2026
Accès au texte intégral et bibtex
https://hal.science/hal-05086899/file/main.pdf BibTex

2025

Journal articles

titre
Distributed computing inspired by biology
auteur
Matthias Függer, Thomas Nowak, Kerian Thuillier
article
Seminars in Cell and Developmental Biology, 2025, 175, pp.103666. ⟨10.1016/j.semcdb.2025.103666⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05375376/file/Distributed_Computing_Inspired_by_Biology.pdf BibTex
titre
A Logic for the Imprecision of Abstract Interpretations
auteur
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban
article
Proceedings of the ACM on Programming Languages, In press, POPL 2026, ⟨10.1145/3776707⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05402142/file/%23518.pdf BibTex
titre
EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis
auteur
Théo Matricon, Nathanaël Fijalkow, Guillaume Lagarde
article
Proceedings (AAAI Artificial Intelligence and Interactive Digital Entertainment Conference), In press, ⟨10.48550/arXiv.2412.17330⟩
Accès au bibtex
BibTex
titre
On Using Certified Training towards Empirical Robustness
auteur
Alessandro De Palma, Serge Durand, Zakaria Chihani, Caterina Urban
article
Transactions on Machine Learning Research Journal, 2025
Accès au texte intégral et bibtex
https://inria.hal.science/hal-05042448/file/tmlr2025.pdf BibTex

Conference papers

titre
Automating Linguistic Frameworks with LLMs: An Approach to Analyze Personal Narratives
auteur
Raphaël Faure, Alain Finkel
article
The 3rd International Conference on Foundation and Large Language Models (FLLM2025), Nov 2025, Vienne, Austria
Accès au texte intégral et bibtex
https://hal.science/hal-05364834/file/paper_workshop_0925__Copy_-5.pdf BibTex
titre
Formalizing Style in Personal Narratives
auteur
Gustave Cortal, Alain Finkel
article
Empirical Methods in Natural Language Processing (EMNLP 2025), Nov 2025, Suzhou, China
Accès au texte intégral et bibtex
https://hal.science/hal-05261564/file/main.pdf BibTex
titre
Solution-Aware Vs Global ReLU Selection: Partial MILP Strikes Back for DNN Verification
auteur
Yuke Liao, Blaise Genest, Kuldeep Meel, Shaan Aryaman
article
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⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05384407/file/LGMA25%20%281%29.pdf BibTex
titre
A dive into formal explainable attributions for image classification
auteur
Dorin Doncenco, Julien Girard-Satabin, Romain Xu-Darme, Zakaria Chihani
article
European Conference on Artificial Inteligence 2025, Oct 2025, Bologna, Italy
Accès au texte intégral et bibtex
https://hal.science/hal-05219606/file/m8192.pdf BibTex
titre
Hallucination-Resilient LLM-Driven Sound and Tunable Static Analysis
auteur
Guannan Wei, Zhuo Zhang, Caterina Urban
article
LMPL 2025 - 1st International Workshop on Language Models and Programming Languages, Oct 2025, Singapore, Singapore. ⟨10.1145/3759425.3763378⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-05296479/file/paper.pdf BibTex
titre
Relating Distances and Abstractions: An Abstract Interpretation Perspective
auteur
Marco Campion, Isabella Mastroeni, Caterina Urban
article
SAS 2025 - 32nd Static Analysis Symposium, Oct 2025, Singapore, Singapore
Accès au texte intégral et bibtex
https://inria.hal.science/hal-05207631/file/main.pdf BibTex
titre
Verifying neural networks with PyRAT
auteur
Augustin Lemesle, Julien Lehmann, Tristan Le Gall, Hichem-Zakaria Chihani
article
SAS 2025 - 32nd Static Analysis Symposium, Oct 2025, Singapour, Singapore. pp.1 1-33, ⟨10.1007/978-3-032-07106-4_2⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-05394082/file/_SAS_tool_paper_PyRAT.pdf BibTex
titre
Investigating the Effects of Permanent Faults in QDI Circuits: A Formal Perspective
auteur
Raghda El Shehaby, Matthias Függer, Florian Huemer, Andreas Steininger
article
2025 29th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), May 2025, Portland, United States. pp.142-150, ⟨10.1109/ASYNC65240.2025.00027⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05187822/file/Investigating_the_Effects_of_Permanent_Faults_in_QDI_Circuits__A_Formal_Perspective-3.pdf BibTex
titre
Robustness to Perturbations in the Frequency Domain: Neural Network Verification and Certified Training
auteur
Harleen Hanspal, Alessandro De Palma, Alessio Lomuscio
article
WACV 2025 - Workshop on Out-of-Label Hazards in Autonomous Driving, May 2025, Tucson, Arizona, United States
Accès au texte intégral et bibtex
https://hal.science/hal-05330224/file/Hanspal_Robustness_to_Perturbations_in_the_Frequency_Domain_Neural_Network_Verification_WACVW_2025.pdf BibTex
titre
Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives
auteur
Marius Belly, Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Guillermo Alberto Pérez, Pierre Vandenhove
article
39th AAAI Conference on Artificial Intelligence (AAAI-25), Feb 2025, Philadelphie, PA, United States. pp.26454-26462, ⟨10.1609/aaai.v39i25.34845⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04797702/file/2412.12063v1.pdf BibTex

Proceedings

titre
A Zonotopic Dempster-Shafer Approach to the Quantitative Verification of Neural Networks
auteur
Eric Goubault, Sylvie Putot
article
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⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04546350/file/fm.pdf BibTex

Reports

titre
Logic and Neural Networks (Dagstuhl Seminar 25061)
auteur
Vaishak Belle, Michael Benedikt, Dana Drachsler-Cohen, Daniel Neider, Tom Yuviler, Hongseok Yang, Pablo Barceló, Luc De Raedt, Floris Geerts, Julien Girard-Satabin, Eleonora Giunchiglia, Anna Lukina, Pierre-Jean Meyer, Martin Ritzert, Gagandeep Singh, Armando Solar-Lezama, Mihaela Stoian, David Tena, Caterina Urban, Zsolt Zombori, Emile van Krieken
article
Dagstuhl. 2025
Accès au texte intégral et bibtex
https://hal.science/hal-05311341/file/DagRep.15.2.1.pdf BibTex

Preprints, Working Papers, ...

titre
A Framework for Streaming Event-Log Prediction in Business Processes
auteur
Benedikt Bollig, Matthias Függer, Thomas Nowak
article
2025
Accès au texte intégral et bibtex
https://hal.science/hal-04866045/file/Streaming_Event_Log_Prediction.pdf BibTex

2024

Journal articles

titre
Monotonicity and the Precision of Program Analysis
auteur
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban
article
Proceedings of the ACM on Programming Languages, 2024, 8 (POPL), pp.1629-1662. ⟨10.1145/3632897⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04423578/file/POPL-2024.pdf BibTex

Conference papers

titre
Permutation Equivariant Deep Reinforcement Learning for Multi-Armed Bandit
auteur
Zhuofan Xu, Benedikt Bollig, Matthias Függer, Thomas Nowak
article
36th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Oct 2024, Herndon, United States. ⟨10.1109/ICTAI62512.2024.00140⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04787072/file/PE_DQN_ICTAI.pdf BibTex
titre
Quantitative Static Timing Analysis
auteur
Denis Mazzucato, Marco Campion, Caterina Urban
article
31st Static Analysis Symposium (SAS 2024), Roberto Giacobazzi; Alessandra Gorla; Marco Campion, Oct 2024, Pasadena, CA, United States
Accès au texte intégral et bibtex
https://hal.science/hal-04669723/file/paper7.pdf BibTex
titre
Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation
auteur
Ben Batten, Yang Zheng, Alessandro De Palma, Panagiotis Kouvaros, Alessio Lomuscio
article
ECAI 2024 - European Conference on Artificial Intelligence, Oct 2024, Santiago de Compostela, Spain
Accès au texte intégral et bibtex
https://hal.science/hal-04727955/file/ecai24_m1462.pdf BibTex
titre
CaBRNet, an open-source library for developing and evaluating Case-Based Reasoning Models
auteur
Romain Xu-Darme, Aymeric Varasse, Alban Grastien, Julien Girard, Zakaria Chihani
article
xAI 2024 - The 2nd World Conference on eXplainable Artificial Intelligence, Jul 2024, La valette, Malta. pp.TBD
Accès au texte intégral et bibtex
https://cea.hal.science/cea-04688217/file/main_preprint.pdf BibTex
titre
Quantitative Input Usage Static Analysis
auteur
Denis Mazzucato, Marco Campion, Caterina Urban
article
NASA Formal Methods 2024, Jun 2024, Moffett Field (CA), United States. pp.79-98, ⟨10.1007/978-3-031-60698-4_5⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04339001/file/mazzucato-campion-urban-NFM24.pdf BibTex
titre
Reconciling Spatial and Temporal Abstractions for Goal Representation
auteur
Mehdi Zadem, Sergio Mover, Sergio Mover, Sao Mai Nguyen
article
ICLR 2024: Twelfth International Conference on Learning Representations, May 2024, Vienna, Austria
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04629549/file/Zadem2024TICLR.pdf BibTex
titre
Expressive Losses for Verified Robustness via Convex Combinations
auteur
Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M Pawan Kumar, Robert Stanforth, Alessio Lomuscio
article
ICLR 2024 - International Conference on Learning Representations, May 2024, Vienna, Austria
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04511820/file/8030_expressive_losses_for_verified.pdf BibTex
titre
Abstract Interpretation-Based Feature Importance for Support Vector Machines
auteur
Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella
article
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⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04378817/file/paper.pdf BibTex

Theses

titre
Static Analysis by Abstract Interpretation of Quantitative Program Properties
auteur
Denis Mazzucato
article
Computer Science [cs]. École Normale Supérieure, 2024. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://inria.hal.science/tel-04886659/file/denis-phd24.pdf BibTex

2023

Conference papers

titre
Reinforcement Planning for effective ε-optimal policies in dense time with discontinuities
auteur
Léo Henry, Blaise Genest, Alexandre Drewery
article
43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2023, hyderabad, India. ⟨10.4230/LIPIcs⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04280462/file/HGD23.pdf BibTex