| 2023 | A Formalization of Heisenbugs and Their Causes. Sarah Sallinger, Georg Weissenbacher, Florian Zuleger |
| 2023 | An Active Learning Approach to Synthesizing Program Contracts. Sandip Ghosal, Bengt Jonsson, Philipp Rümmer |
| 2023 | Attack Time Analysis in Dynamic Attack Trees via Integer Linear Programming. Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga |
| 2023 | Capturing Smart Contract Design with DCR Graphs. Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider |
| 2023 | Decoupled Fitness Criteria for Reactive Systems. Derek Egolf, Stavros Tripakis |
| 2023 | Exact and Efficient Bayesian Inference for Privacy Risk Quantification. Rasmus C. Rønneberg, Raúl Pardo, Andrzej Wasowski |
| 2023 | Guiding Symbolic Execution with A-Star. Theo De Castro Pinto, Antoine Rollet, Grégoire Sutre, Ireneusz Tobor |
| 2023 | Herding CATs. Reiner Hähnle, Marco Scaletta, Eduard Kamburjan |
| 2023 | PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking. Max Korn, Julián Méndez, Sascha Klüppelholz, Ricardo Langner, Christel Baier, Raimund Dachselt |
| 2023 | QNNRepair: Quantized Neural Network Repair. Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro |
| 2023 | Ranged Program Analysis via Instrumentation. Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim |
| 2023 | Refactoring of Multi-instance BPMN Processes with Time and Resources. Quentin Nivon, Gwen Salaün |
| 2023 | Refinements for Open Automata. Rabéa Ameur-Boulifa, Quentin Corradi, Ludovic Henrio, Eric Madelaine |
| 2023 | Robustness Testing of Software Verifiers. Florian Dyck, Cedric Richter, Heike Wehrheim |
| 2023 | SSCalc: A Calculus for Solidity Smart Contracts. Diego Marmsoler, Billy Thornton |
| 2023 | Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings Carla Ferreira, Tim A. C. Willemse |
| 2023 | The Cubicle Fuzzy Loop: A Fuzzing-Based Extension for the Cubicle Model Checker. Sylvain Conchon, Alexandrina Korneva |
| 2023 | Timeout Prediction for Software Analyses. Nicola Thoben, Jan Haltermann, Heike Wehrheim |
| 2023 | Verified Scalable Parallel Computing with Why3. Olivia Proust, Frédéric Loulergue |
| 2023 | Verifying Read-Copy Update Under RC11. Mikhail Semenyuk, Mark Batty, Brijesh Dongol |
| 2023 | sfATM: A Logic for Quantitative Security Properties on Attack Trees. Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga |