Below is the main program of SEFM, to take place in the Zwarte Doos, see the page venue. Details on the workshop program can be found here.

DAY 1 Wednesday 8 November 2023

09:00-09:30 registration & coffee
09:20-09:30 opening
09:30-10:30 Context-aware Trace Contracts (keynote), chair: Tim Willemse
Reiner Hähnle
10:30-11:00 break

Session 1: Contracts in Software Development. chair: Jan Friso Groote

SSCalc - A Calculus for Solidity Smart Contracts
Diego Marmsoler and Billy Thornton

Capturing Smart Contract Design with DCR Graphs
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Valentin Artho, Thomas Hildebrandt and Gerardo Schneider

An Active Learning Approach to Synthesizing Program Contracts
Sandip Ghosal, Bengt Jonsson and Philipp Ruemmer

12:30-13:30 lunch

Session 2: Machine learning in Software Engineering. chair: Thomas Neele

Exact and Efficient Bayesian Inference for Privacy Risk Quantification
Rasmus Carl Rønneberg, Raul Pardo and Andrzej Wasowski

Guiding Symbolic Execution with A-star
Theo De Castro Pinto, Antoine Rollet, Grégoire Sutre and Ireneusz Tobor

QNNREPAIR: Scalable Quantized Neural Network Repair
Xidan Song, Youcheng Sun, Mustafa Mustafa and Lucas Cordeiro

15:00-15:30 break

Session 3: Analysis and Verification (I) chair: Gwen Salaün

Verified Scalable Parallel Computing with Why3
Olivia Proust and Frederic Loulergue

The Cubicle Fuzzy Loop: A Fuzzing-Based Extension for the Cubicle Model Checker
Sylvain Conchon and Alexandrina Korneva

Interactive visualization meets probabilistic model checking
Max Korn, Julián Méndez, Sascha Klüppelholz, Ricardo Langner, Christel Baier and Raimund Dachselt

17:00-18:30 reception (outside the conference room)

Day 2 Thursday 9 November 2023

09:00-09:30 walk-in with coffee

Session 4: Refinement and Refactoring chair: Jeroen Keiren

Refinements for Open Automata
Rabéa Ameur-Boulifa, Quentin Corradi, Henrio Ludovic and Madelaine Eric

Refactoring of Multi-Instance BPMN Processes with Time and Resources
Quentin Nivon and Gwen Salaün

10:30-11:00 break

Session 5: Foundations and Correctness chair: Burcu Kulahcioglu Ozkan

A Formalization of Heisenbugs and Their Causes
Sarah Sallinger, Georg Weissenbacher and Florian Zuleger

Verifying Read-Copy Update under RC11
Mikhail Semenyuk, Mark Batty and Brijesh Dongol

ATM: a Logic for Quantitative Security Properties on Attack Trees
Stefano Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn and Marielle Stoelinga
(winner of the best paper award)

12:30-13:30 lunch
13:30-14:30 Safe and Secure Programming Abstractions for Decentralized Software (keynote), chair: Carla Ferreira
Mira Mezini
15:00-17:00 social event at Philips Museum (Google maps)
18:00-21:30 banquet at Stories Eindhoven (Google maps)

Day 3 Friday 10 November 2023

09:00-09:30 walk-in with coffee
09:30-10:30 Randomized Testing of Distributed Systems (keynote), chair: Tim Willemse
Burcu Kulahcioglu Ozkan
10:30-11:00 break

Session 6: Analysis and Verification (II). chair: Carla Ferreira

Attack time analysis in dynamic attack trees via integer linear programming
Milan Lopuhaä-Zwakenberg and Mariëlle Stoelinga

Decoupled Fitness Criteria for Reactive Systems
Derek Egolf and Stavros Tripakis

Ranged Program Analysis via Instrumentation
Jan Haltermann, Marie-Christine Jakobs, Cedric Richter and Heike Wehrheim

12:30-13:30 lunch

Session 7: Predictability of Verification Tools. chair: Antonio Cerone

Robustness Testing of Software Verifiers
Florian Dyck, Cedric Richter and Heike Wehrheim

Timeout Prediction for Software Analyses
Nicola Thoben, Jan Haltermann and Heike Wehrheim

14:30-14:45 closing / best paper