| 2025 | Specification-Guided Repair of Arithmetic Errors in Dafny Programs Using LLMs. | Valentina Wu, Alexandra Mendes, Alexandre Abreu |
| 2025 | On the Comparison of Learned Classifiers. | Soaibuzzaman, Jenny Dring, Srinivasulu Kasi, Jan Oliver Ringert |
| 2025 | Axiomatisation of Solidity Memory and Storage. | Guilherme Horta Alvares Da Silva, Wolfgang Ahrendt, Richard Bubel |
| 2025 | Reachability Analysis of Upper-Stack Manipulating Binary Code. | Shijie Lin, Tayssir Touili |
| 2025 | Resilience of Systems Under Maximum Component Deviations. | Abigail Hammer, Changjian Zhang, Vick Dini, Ryan Wagner, Bradley R. Schmerl, Eunsuk Kang, David Garlan |
| 2025 | Detecting Memory Errors in Rust Programs Including Unsafe Foreign Code. | Andrea Franceschi, Letterio Galletta, Pierpaolo Degano |
| 2025 | Attack Resilience Hyperproperties: Formal Security Analysis of (Automotive) Network Architectures Under Active Compromise. | Julius Figge, David Knuplesch, Andreas Maletti, Dragan Zuvic |
| 2025 | Observable Semantics for Characterising Consistency Between Heterogeneous Models. | Henriette Frber, Romain Pascual, Terru Stbinger, Mattias Ulbrich |
| 2025 | ProbTest: Unit Testing for Probabilistic Programs. | Katrine Christensen, Mahsa Varshosaz, Ral Pardo |
| 2025 | A Rodin Plugin for Generating Proof Obligations for Invariant Preservation for ASTDs. | Quelen Cartellier, Marc Frappier, Amel Mammar |
| 2025 | Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny. | Carolina Carreira, lvaro F. Silva, Alexandre Abreu, Alexandra Mendes |
| 2025 | Are Users More Willing to Use Formally Verified Password Managers? | Carolina Carreira, Joo F. Ferreira, Alexandra Mendes, Nicolas Christin |
| 2025 | On the Generation of Invalid Objects for Inferring More Precise Class Invariants. | Jan H. Boockmann, Kerstin Jacob, Gerald Lttgen |
| 2025 | Certificates and Witnesses for Multi-objective ω-Regular Queries in Markov Decision Processes. | Christel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, Sascha Klppelholz |
| 2025 | Exploring Unknown Environments with Uppaal Stratego: Safe Reinforcement Learning for Navigation and Pump Localization. | Magnus Kallestrup Axelsen, Martin Kristjansen, Kim Guldstrand Larsen, Thomas Grubbe Sandborg Lauritsen |
| 2025 | Securely Optimized (Ethereum) Smart Contracts Using Formal Methods. | Elvira Albert, Samir Genaim, Pablo Gordillo, Alejandro Hernndez-Cerezo, Enrique Martin-Martin, Albert Rubio |
| 2024 | User-Guided Verification of Security Protocols via Sound Animation. | Kangfeng Ye, Roberto Metere, Poonam Yadav |
| 2024 | Deductive Verification of SYCL in VerCors. | Ellen Wittingen, Marieke Huisman, mer Sakar |
| 2024 | A Formal Modeling Language for Smart Contracts. | Adele Veschetti, Richard Bubel, Reiner Hhnle |
| 2024 | Minuska: Towards a Formally Verified Programming Language Framework. | Jan Tusil, Jan Obdrzlek |
| 2024 | Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems. | Philip Tasche, Paula Herber, Marieke Huisman |
| 2024 | From Birth to Loss of Representations in Artificial Neural Networks. | Philipp Stecher |
| 2024 | GrammarForge: Learning Program Input Grammars for Fuzz Testing. | Hannes Sochor, Flavio Ferrarotti, Robert Wille |
| 2024 | Many-Logic Modal Structures Based on the Lattice L6: A First Look. | Abilio Rodrigues, Marcelo E. Coniglio, Alfredo Freire |
| 2024 | A Policy Framework for Regulating External Calls in Smart Contracts. | Margherita Renieri, Letterio Galletta |