Meeting in Salzburg, Austria, 05 - 08 February 2024

Talks

Mon, 05 February 2024

• 14:00 Verification of software artifacts in the nuclear domain (an experience report) by Carlos Gustavo Lopez Pombo      abstract slides
• 15:30 Joint Specification and Testing of Safety and Security Requirements by Holger Schlingloff      abstract slides paper
• 16:30 Efficient Quantum Circuit Analysis via Constrained Bisimulation by Max Tschaikowski      abstract

Tue, 06 February 2024

• 10:00 Hybrid Ehrenfeucht-Fraïssé Games by Alexander Knapp      abstract slides
• 11:30 Reasoning about Robustness of Cyber-Physical Systems by Michele Loreti      abstract
• 14:00 Nominal Automata with Name Allocation by Lutz Schröder     
• 15:30 Symbolic Analysis and Parameter Synthesis for Parametric Timed Automata and Petri Nets using Maude with SMT Solving by Peter Ölveczky      abstract slides
• 16:30 General Anticipatory Monitoring for Temporal Logics on Finite Traces by Martin Leucker      abstract paper

Wed, 07 February 2024

• 10:00 Positive Data Languages by Stefan Milius      abstract paper
• 11:30 TBA by Dirk Pattinson     
• 13:30 Business meeting by Corina Cirstea     

Thu, 08 February 2024

• 10:00 A Journey in Technology Transfer & Developing a Verification Tool for Railway Interlockings by Markus Roggenbach      abstract slides paper
• 11:30 Approximating Fixpoints of Approximated Functions by Barbara König     
• 14:00 Systematic Derivation of Algorithms by Dominique Méry      abstract