| 2026 | Software Engineering and Formal Methods - 23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings Domenico Bianculli, Elena Gómez-Martínez |
| 2025 | A Rodin Plugin for Generating Proof Obligations for Invariant Preservation for ASTDs. Quelen Cartellier, Marc Frappier, Amel Mammar |
| 2025 | Are Users More Willing to Use Formally Verified Password Managers? Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicolas Christin |
| 2025 | Attack Resilience Hyperproperties: Formal Security Analysis of (Automotive) Network Architectures Under Active Compromise. Julius Figge, David Knuplesch, Andreas Maletti, Dragan Zuvic |
| 2025 | Axiomatisation of Solidity Memory and Storage. Guilherme Horta Alvares Da Silva, Wolfgang Ahrendt, Richard Bubel |
| 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 | Certificates and Witnesses for Multi-objective ømega-Regular Queries in Markov Decision Processes. Christel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, Sascha Klüppelholz |
| 2025 | Detecting Memory Errors in Rust Programs Including Unsafe Foreign Code. Andrea Franceschi, Letterio Galletta, Pierpaolo Degano |
| 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 | Observable Semantics for Characterising Consistency Between Heterogeneous Models. Henriette Färber, Romain Pascual, Terru Stübinger, Mattias Ulbrich |
| 2025 | On the Comparison of Learned Classifiers. Soaibuzzaman, Jenny Döring, Srinivasulu Kasi, Jan Oliver Ringert |
| 2025 | On the Generation of Invalid Objects for Inferring More Precise Class Invariants. Jan H. Boockmann, Kerstin Jacob, Gerald Lüttgen |
| 2025 | ProbTest: Unit Testing for Probabilistic Programs. Katrine Christensen, Mahsa Varshosaz, Raúl Pardo |
| 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 | Securely Optimized (Ethereum) Smart Contracts Using Formal Methods. Elvira Albert, Samir Genaim, Pablo Gordillo, Alejandro Hernández-Cerezo, Enrique Martin-Martin, Albert Rubio |
| 2025 | Specification-Guided Repair of Arithmetic Errors in Dafny Programs Using LLMs. Valentina Wu, Alexandra Mendes, Alexandre Abreu |