default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID23rd SEFM 2025: Toledo, Spain
- Domenico Bianculli
, Elena Gómez-Martínez:
Software Engineering and Formal Methods - 23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings. Lecture Notes in Computer Science 16192, Springer 2026, ISBN 978-3-032-10443-4
Invited Paper
- Elvira Albert, Samir Genaim, Pablo Gordillo, Alejandro Hernández-Cerezo, Enrique Martin-Martin, Albert Rubio:
Securely Optimized (Ethereum) Smart Contracts Using Formal Methods. 3-11
Security and Resilience
- Julius Figge, David Knuplesch, Andreas Maletti, Dragan Zuvic:
Attack Resilience Hyperproperties: Formal Security Analysis of (Automotive) Network Architectures Under Active Compromise. 15-33 - Shijie Lin, Tayssir Touili:
Reachability Analysis of Upper-Stack Manipulating Binary Code. 34-51 - Abigail Hammer, Changjian Zhang, Vick Dini, Ryan Wagner, Bradley R. Schmerl, Eunsuk Kang, David Garlan:
Resilience of Systems Under Maximum Component Deviations. 52-70
Formal Specification and Verification
- Guilherme Horta Alvares Da Silva, Wolfgang Ahrendt, Richard Bubel:
Axiomatisation of Solidity Memory and Storage. 73-90 - Katrine Christensen, Mahsa Varshosaz, Raúl Pardo:
ProbTest: Unit Testing for Probabilistic Programs. 91-109 - Henriette Färber, Romain Pascual, Terru Stübinger, Mattias Ulbrich:
Observable Semantics for Characterising Consistency Between Heterogeneous Models. 110-128 - Christel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, Sascha Klüppelholz:
Certificates and Witnesses for Multi-objective ømega-Regular Queries in Markov Decision Processes. 129-147 - Jan H. Boockmann, Kerstin Jacob, Gerald Lüttgen:
On the Generation of Invalid Objects for Inferring More Precise Class Invariants. 148-156 - Quelen Cartellier, Marc Frappier, Amel Mammar:
A Rodin Plugin for Generating Proof Obligations for Invariant Preservation for ASTDs. 157-164
Software Quality
- Andrea Franceschi, Letterio Galletta, Pierpaolo Degano:
Detecting Memory Errors in Rust Programs Including Unsafe Foreign Code. 167-184 - Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicolas Christin:
Are Users More Willing to Use Formally Verified Password Managers? 185-202 - Carolina Carreira, Álvaro F. Silva, Alexandre Abreu, Alexandra Mendes:
Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny. 203-220
Artificial Intelligence and Formal Methods
- Soaibuzzaman, Jenny Döring, Srinivasulu Kasi, Jan Oliver Ringert:
On the Comparison of Learned Classifiers. 223-240 - Magnus Kallestrup Axelsen, Martin Kristjansen, Kim Guldstrand Larsen, Thomas Grubbe Sandborg Lauritsen:
Exploring Unknown Environments with Uppaal Stratego: Safe Reinforcement Learning for Navigation and Pump Localization. 241-260 - Valentina Wu, Alexandra Mendes, Alexandre Abreu:
Specification-Guided Repair of Arithmetic Errors in Dafny Programs Using LLMs. 261-278
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-26 00:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
