Program

Below is the main program of SEFM, to check for directions of the venue see the page venue. Details on the workshop program can be found here.

Important: All presentations will be held in Sala de Música (Wednesday and Friday) and Teatrillo (Thursday).

Wednesday, November 12, Sala de Música

Time	Session	Details
09:30 – 10:00	Registration	In front of Sala de Música (San Pedro Mártir Building)
10:00 – 11:00	Invited Talk – Robert M. Hierons	“Systematic testing for robotic systems”
11:00 – 11:30	Coffee break
11:30 – 12:00	Julius Figge, David Knuplesch, Andreas Maletti, Dragan Zuvic	Attack Resilience Hyperproperties: Formal Security Analysis of (Automotive) Network Architectures under Active Compromise
12:00 – 12:30	Shijie Lin, Tayssir Touili	Reachability Analysis of Upper-Stack manipulating Binary code
12:30 – 13:00	Abigail Hammer, Changjian Zhang, Vick Dini, Ryan Wagner, Bradley Schmerl, Eunsuk Kang, David Garlan	Resilience of Systems under Maximum Component Deviations
13:00 – 15:00	Lunch	Restaurante Dominica, Plaza Padre Juan de Mariana, 10. 45002 Toledo Maps
15:00 – 15:30	Andrea Franceschi, Letterio Galletta, Pierpaolo Degano	Detecting Memory Errors in Rust Programs Including Unsafe Foreign Code
15:30 – 16:00	Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicolas Christin	Are Users More Willing to Use Formally Verified Password Managers?
16:00 – 16:30	Carolina Carreira, Álvaro Silva, Alexandre Abreu, Alexandra Mendes	Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
16:30 – 17:00	Coffee break
20:30 – 22:30	Welcome Reception	Hacienda del Cardenal, Paseo de Recaredo, 24. 45002 Toledo Website · Maps

Time	Session	Details
09:30 – 10:00	Registration	In front of Sala de Música (San Pedro Mártir Building)
10:00 – 11:00	Invited Talk – Ricardo Pérez del Castillo	“Quantum Software in Action: Challenges and Opportunities in Software Engineering”
11:00 – 11:30	Coffee break
11:30 – 12:00	Christel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, Sascha Klüppelholz	Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes
12:00 – 12:30	Jan Boockmann, Kerstin Jacob, Gerald Luettgen	On the Generation of Invalid Objects for Inferring More Precise Class Invariants
12:30 – 13:00	Quelen Cartellier, Marc Frappier, Amel Mammar	A Rodin Plugin for Generating Proof Obligations for Invariant Preservation for ASTDs
13:00 – 15:00	Lunch	Restaurante Dominica, Plaza Padre Juan de Mariana, 10. 45002 Toledo Maps
15:00 – 15:30	Guilherme Horta Alvares Da Silva, Wolfgang Ahrendt, Richard Bubel	An Axiomatisation of Solidity Memory and Storage
15:30 – 16:00	Katrine Christensen, Mahsa Varshosaz, Raúl Pardo	ProbTest: Unit Testing for Probabilistic Programs
16:00 – 16:30	Henriette Färber, Romain Pascual, Terru Stübinger, Mattias Ulbrich	Observable Semantics for Characterising Consistency Between Heterogenous Models
16:30 – 17:00	Coffee break
20:30 – 22:30	Conference Dinner	La Clandestina de Tendillas, Calle Tendillas, 3. 45002 Toledo Website Maps

Time	Session	Details
10:00 – 11:00	Invited Talk – Elvira Albert	“Securely Optimized (Ethereum) Smart Contracts using Formal Methods”
11:00 – 11:30	Coffee break
11:30 – 12:00	Soaib Soaibuzzaman, Jenny Döring, Srinivasulu Kasi, Jan Oliver Ringert	On the Comparison of Learned Classifiers
12:00 – 12:30	Magnus Kallestrup Axelsen, Martin Kristjansen, Kim Guldstrand Larsen, Thomas Grubbe Sandborg Lauritsen	Exploring Unknown Environments with Uppaal STRATEGO: Safe Reinforcement Learning for Navigation and Pump Localization
12:30 – 13:00	Valentina Wu, Alexandra Mendes, Alexandre Abreu	Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
13:00 – 15:00	Lunch	Restaurante La Fábrica de Harinas, Calle de los Reyes Católicos, 5. 45002 Toledo Website Maps

Edit the content of this page here.