Accepted papers
The following papers have been accepted at SEFM 2025.
| Authors | Title |
|---|---|
| Julius Figge (Leipzig University); David Knuplesch (Mercedes-Benz Tech Innovation GmbH); Andreas Maletti (Leipzig University); Dragan Zuvic (Mercedes-Benz Tech Innovation GmbH) | Attack Resilience Hyperproperties: Formal Security Analysis of (Automotive) Network Architectures under Active Compromise |
| Shijie Lin (IRIF/CNRS); Tayssir Touili (IRIF/CNRS) | Reachability Analysis of Upper-Stack manipulating Binary code |
| Abigail Hammer (Carnegie Mellon University); Changjian Zhang (Carnegie Mellon University); Vick Dini (Politecnico di Milano); Ryan Wagner (Carnegie Mellon University); Bradley Schmerl (Carnegie Mellon University); Eunsuk Kang (Carnegie Mellon University); David Garlan (Carnegie Mellon University) | Resilience of Systems under Maximum Component Deviations |
| Guilherme Horta Alvares Da Silva (Chalmers University of Technology and University of Gothenburg); Wolfgang Ahrendt (Chalmers University of Technology); Richard Bubel (Technische Universität Darmstadt) | An Axiomatisation of Solidity Memory and Storage |
| Jan Boockmann (University of Bamberg); Kerstin Jacob (University of Bamberg); Gerald Luettgen (University of Bamberg) | On the Generation of Invalid Objects for Inferring More Precise Class Invariants |
| Christel Baier (TU Dresden); Calvin Chau (TU Dresden); Volodymyr Drobitko (TU Dresden); Simon Jantsch (Siemens EDA); Sascha Klüppelholz (TU Dresden) | Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes |
| . Soaibuzzaman (Bauhaus University Weimar); Jenny Döring (Bauhaus University Weimar); Srinivasulu Kasi (Bauhaus University Weimar); Jan Oliver Ringert (Bauhaus University Weimar) | On the Comparison of Learned Classifiers |
| Magnus Kallestrup Axelsen (Nuento Denmark ApS); Martin Kristjansen (Aalborg University); Kim Guldstrand Larsen (Aalborg University); Thomas Grubbe Sandborg Lauritsen (Aalborg Universitet) | Exploring Unknown Environments with Uppaal STRATEGO: Safe Reinforcement Learning for Navigation and Pump Localization |
| Quelen CARTELLIER (Télécom SudParis); Marc FRAPPIER (GRIC, Université de Sherbrooke); Amel MAMMAR (SAMOVAR, Télécom SudParis) | A Rodin Plugin for Generating Proof Obligations for Invariant Preservation for ASTDs |
| Andrea Franceschi (IMT School for Advanced Studies Lucca); Letterio Galletta (IMT School for Advanced Studies Lucca); Pierpaolo Degano (University of Pisa) | Detecting Memory Errors in Rust Programs Including Unsafe Foreign Code |
| Carolina Carreira (Carnegie Mellon University, INESC-ID, Instituto Superior Técnico, University of Lisbon); João F. Ferreira (INESC-ID, Instituto Superior Técnico, University of Lisbon); Alexandra Mendes (INESC TEC, Faculty of Engineering, University of Porto); Nicolas Christin (Carnegie Mellon University) | Are Users More Willing to Use Formally Verified Password Managers? |
| Carolina Carreira (Carnegie Mellon University, INESC-ID, Instituto Superior Técnico, University of Lisbon); Álvaro Silva (INESC TEC, Faculty of Engineering, University of Porto); Alexandre Abreu (INESC TEC, Faculty of Engineering, University of Porto); Alexandra Mendes (INESC TEC, Faculty of Engineering, University of Porto ) | Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny |
| Valentina Wu (Faculty of Engineering, University of Porto); Alexandra Mendes (INESC TEC, Faculty of Engineering, University of Porto); Alexandre Abreu (INESC TEC, Faculty of Engineering, University of Porto) | Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs |
| Henriette Färber (Karlsruhe Institut für Technologie); Romain Pascual (CentraleSupélec, Université Paris-Saclay); Terru Stübinger (Karlsruhe Institut für Technologie); Mattias Ulbrich (Karlsruhe Institut für Technologie) | Observable Semantics for Characterising Consistency Between Heterogenous Models |
| Katrine Christensen (IT University of Copenhagen); Mahsa Varshosaz (IT University of Copenhagen); Raúl Pardo (IT University of Copenhagen) | ProbTest: Unit Testing for Probabilistic Programs |
Edit the content of this page here.