SEFM

Keyphrases

Publications

2023

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

volume 14323, 2023

Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings SEFM 14323 (2023)

2022

volume 13550, 2022

Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings SEFM 13550 (2022)

2021

volume 13085, 2021

Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings SEFM 13085 (2021)

volume 12524, 2021

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers SEFM 12524 (2021)