Program

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
11:00-12:30	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
13:30-15:00	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
15:30-17:00	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
09:30-10:30	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
11:00-12:30	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
11:00-12:30	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
13:30-14:30	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