Publications

52 documents

Journal articles10 document

  • Arman Ferdowsi, Matthias Függer, Josef Salzmann, Ulrich Schmid. Accurate closed-form delay formulas for interconnected CMOS gates based on first-order thresholded hybrid systems. Integration, the VLSI Journal, 2026, 109, ⟨10.1016/j.vlsi.2026.102701⟩. ⟨hal-05775317⟩
  • Fabricio Cravo, Matthias Függer, Thomas Nowak. A quasi-stationary distribution bound for fault analysis in gene regulatory networks. Journal of the Royal Society Interface, 2026, 23 (239), ⟨10.1098/rsif.2025.1041⟩. ⟨hal-05652063⟩
  • Matthias Függer, Thomas Nowak. Adding “Verified” Badges to Our Paper, One Lemma at a Time. Bulletin of the EATCS, 2026, 149. ⟨hal-05774612⟩
  • Zhuofan Xu, Benedikt Bollig, Matthias Függer, Thomas Nowak. Deep Reinforcement Learning with Permutation Equivariant Neural Network for Multi-Armed Bandit. International Journal on Artificial Intelligence Tools, 2026, 35 (02), ⟨10.1142/S0218213026500016⟩. ⟨hal-05651639⟩
  • Eric Goubault, Sylvie Putot. Inner and outer approximations of arbitrarily quantified reachability problems. Nonlinear Analysis: Hybrid Systems, 2026, 59, pp.101629. ⟨10.1016/j.nahs.2025.101629⟩. ⟨hal-05838876⟩
  • Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban. A Logic for the Imprecision of Abstract Interpretations. Proceedings of the ACM on Programming Languages, 2026, 10, pp.1876-1904. ⟨10.1145/3776707⟩. ⟨hal-05402142v2⟩
  • 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⟩
  • Alessandro De Palma, Serge Durand, Zakaria Chihani, Caterina Urban. On Using Certified Training towards Empirical Robustness. Transactions on Machine Learning Research , 2025. ⟨hal-05042448⟩
  • 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⟩
  • 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 papers35 document

  • Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Antoine Miné, Caterina Urban. Generator-Dense Galois Connections. SAS 2026 - 33rd Static Analysis Symposium, Oct 2026, Oakland, CA, United States. ⟨hal-05703393v2⟩
  • Zhuofan Xu, Benedikt Bollig, Matthias Függer, Thomas Nowak, Vincent Le Dréau. Centralized Yet Scalable: Revisiting Policy Design for Cooperative Multi-agent Learning. Joint European Conference on Machine Learning and Knowledge Discovery in Databases, Sep 2026, Naples, Italy. pp.272-288, ⟨10.1007/978-3-032-37670-1_16⟩. ⟨hal-05774598⟩
  • Julien Girard-Satabin, Simon Lutz, Daniel Neider. Verification of LTL properties on Neural Networks for Chemical Process Monitoring. SAIV 2026 - International Symposium on Artificial Intelligence Verification, Jul 2026, Lisbonne, Portugal. pp.317-330, ⟨10.1007/978-3-032-32357-6_15⟩. ⟨cea-05744636⟩
  • Arman Ferdowsi, Matthias Függer, Thomas Nowak. Efficient Stochastic Trace Generation for Transcription. Computational Methods in Systems Biology, Jul 2026, Lisbon, Portugal. pp.104-121, ⟨10.1007/978-3-032-30870-2_6⟩. ⟨hal-05774639⟩
  • Mathilde Bonin, Sergio Mover. Explaining Visual Models with Logic and Concept-Part Networks. 8th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2026), Jul 2026, Lisbonne, Portugal. ⟨hal-05750420⟩
  • Matthias Függer, Thomas Nowak. Asymptotic Subspace Consensus in Dynamic Networks. SAND, Jul 2026, Le Havre, France. pp.10:1-10:18, ⟨10.4230/LIPIcs.SAND.2026.10⟩. ⟨hal-05774068⟩
  • Alessandro De Palma, Greta Dolcetti, Caterina Urban. Faster Verified Explanations for Neural Networks. ECOOP 2026 - 40th European Conference on Object-Oriented Programming, Jul 2026, Bruxelles, Belgium. ⟨10.4230/LIPIcs.ECOOP.2026.9⟩. ⟨hal-05603296⟩
  • Francesc Pifarre-Esquerda, Eric Goubault, Sylvie Putot. Propagation of Interval Belief Structures and Imprecise Copulas for Neural Network Verification. Information Processing and Management of Uncertainty in Knowledge-Based Systems, Jun 2026, Rome, Italy. pp.176-189, ⟨10.1007/978-3-032-28994-0_13⟩. ⟨hal-05665248⟩
  • Éric Goubault, Nuwan Herath Mudiyanselage, Sylvie Putot. Solving quantified constraint satisfaction problems with applications to control. 29th ACM International Conference on Hybrid Systems: Computation and Control, May 2026, Saint-Malo (35400), France. ⟨10.1145/3801146.3805656⟩. ⟨hal-05841079⟩
  • Marco Campion, Isabella Mastroeni, Michele Pasqua, Caterina Urban. Abstract Lipschitz Continuity: Combining Semantic and Quantitative Approximations. FoSSaCS 2026 - Foundations of Software Science and Computation Structures, Apr 2026, Turin, Italy. pp.153-177, ⟨10.1007/978-3-032-22730-0_8⟩. ⟨hal-04935306v5⟩
  • Gabriel Bathie, Nathanaël Fijalkow, Théo Matricon, Baptiste Mouillon, Pierre Vandenhove. LTL$_f$ Learning Meets Boolean Set Cover. TACAS 2026 - 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2026, Turin, Italy. ⟨10.1007/978-3-032-22752-2_25⟩. ⟨hal-05839304⟩
  • Raphaël Faure, Alain Finkel. Automating Linguistic Frameworks with LLMs: An Approach to Analyze Personal Narratives. The 3rd International Conference on Foundation and Large Language Models (FLLM2025), Nov 2025, Vienne, Austria. pp.23-30, ⟨10.1109/FLLM67465.2025.11390984⟩. ⟨hal-05364834⟩
  • Raghda El Shehaby, Matthias Függer, Florian Huemer, Andreas Steininger. SeAL: A Provably Complete Fault-Injection Tool for Asynchronous Circuits. 2025 32nd IEEE International Conference on Electronics, Circuits and Systems (ICECS), Nov 2025, Marrakech, Morocco. pp.1-6, ⟨10.1109/ICECS66544.2025.11270590⟩. ⟨hal-05772797⟩
  • Gustave Cortal, Alain Finkel. Formalizing Style in Personal Narratives. EMNLP 2025 - Conference on Empirical Methods in Natural Language Processing, Nov 2025, Suzhou, China. pp.7311-7326, ⟨10.18653/v1/2025.emnlp-main.371⟩. ⟨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⟩
  • Théo Matricon, Nathanaël Fijalkow, Guillaume Lagarde. Eco Search: A Constant-Delay Best-First Search Algorithm for Program Synthesis. AAAI 2025 - 39th Annual AAAI Conference on Artificial Intelligence, Feb 2025, Philadelphia (Pennsylvania), United States. ⟨10.5281/zenodo⟩. ⟨hal-05750541⟩
  • 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⟩
  • Eric Goubault, Sylvie Putot. A Zonotopic Dempster-Shafer Approach to the Quantitative Verification of Neural Networks. International Symposium on Formal Methods, FM 2024, Sep 2024, Milan, Italy. pp.324-342, ⟨10.1007/978-3-031-71162-6_17⟩. ⟨hal-04546350v3⟩
  • 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⟩
  • Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Perez. Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic. VMCAI 2024, 2024, Londres, United Kingdom. ⟨hal-05750559⟩
  • Mojtaba Valizadeh, Nathanaël Fijalkow, Martin Berger. LTL learning on GPUs. CAV 2024, 2024, Montreal (Canada), Canada. pp.27, ⟨10.48550/arXiv.2402.12373⟩. ⟨hal-05750548⟩
  • 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⟩

Books1 document


Preprints, Working Papers4 document

  • Benedikt Bollig, Matthias Függer, Thomas Nowak. Provable Coordination for LLM Agents via Message Sequence Charts. 2026. ⟨hal-05596574v2⟩
  • 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. 2026. ⟨hal-05086899v2⟩
  • Benedikt Bollig, Matthias Függer, Thomas Nowak. A Framework for Streaming Event-Log Prediction in Business Processes. 2025. ⟨hal-04866045⟩
  • Eric Goubault, Sylvie Putot. Guaranteed approximations of arbitrarily quantified reachability problems. 2023. ⟨hal-04336386⟩

Reports1 document

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

Logiciel1 document


Powered by HAL logo