| 2025 | Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings Alexandre Madeira, Alexander Knapp |
| 2024 | A Formal Modeling Language for Smart Contracts. Adele Veschetti, Richard Bubel, Reiner Hähnle |
| 2024 | A Policy Framework for Regulating External Calls in Smart Contracts. Margherita Renieri, Letterio Galletta |
| 2024 | An Operational Semantics for Yul. Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos |
| 2024 | Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems. Philip Tasche, Paula Herber, Marieke Huisman |
| 2024 | Composing Run-Time Variability Models. Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko |
| 2024 | Deductive Verification of SYCL in VerCors. Ellen Wittingen, Marieke Huisman, Ömer Sakar |
| 2024 | Execution-Time Opacity Control for Timed Automata. Étienne André, Marie Duflot, Laetitia Laversa, Engel Lefaucheux |
| 2024 | Exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability. Alessandro Cimatti, Thomas Møller Grosen, Kim G. Larsen, Stefano Tonetta, Martin Zimmermann |
| 2024 | Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards. Matteo Paier, Roberto van Eeden, Marino Miculan |
| 2024 | Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions. Paula Herber, Julius Adelt, Philip Tasche |
| 2024 | GrammarForge: Learning Program Input Grammars for Fuzz Testing. Hannes Sochor, Flavio Ferrarotti, Robert Wille |
| 2024 | Hierarchical Learning of Generative Automaton Models from Sequential Data. Benjamin von Berg, Bernhard K. Aichernig, Maximilian Rindler, Darko Stern, Martin Tappler |
| 2024 | Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems. Srajan Goyal, Alberto Griggio, Stefano Tonetta |
| 2024 | Minuska: Towards a Formally Verified Programming Language Framework. Jan Tusil, Jan Obdrzálek |
| 2024 | Model-Checking the Implementation of Consent. Raúl Pardo, Daniel Le Métayer |
| 2024 | Paraconsistency for the Working Software Engineer (Extended Abstract). Luís Soares Barbosa |
| 2024 | Partially-Observable Security Games for Attack-Defence Analysis in Software Systems. Narges Khakpour, David Parker |
| 2024 | Right or Wrong - Understanding How Users Write Software Models in Alloy. Ana Jovanovic, Allison Sullivan |
| 2024 | Secure Smart Contracts with Isabelle/Solidity. Diego Marmsoler, Asad Ahmed, Achim D. Brucker |
| 2024 | Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems. Jonas Becker-Kupczok, Paula Herber |
| 2024 | Towards Quantum Multiparty Session Types. Ivan Lanese, Ugo Dal Lago, Vikraman Choudhury |
| 2024 | Unlocking the Power of Environment Assumptions for Unit Proofs. Siddharth Priya, Temesghen Kahsai, Arie Gurfinkel |
| 2024 | User-Guided Verification of Security Protocols via Sound Animation. Kangfeng Ye, Roberto Metere, Poonam Yadav |
| 2024 | Validating Traces of Distributed Programs Against TLA Horatiu Cirstea, Markus A. Kuppe, Benjamin Loillier, Stephan Merz |
| 2024 | Verified Configuration and Deployment of Layered Attestation Managers. Adam Petz, Will Thomas, Anna Fritz, T. J. Barclay, Logan Schmalz, Perry Alexander |