deRSE25 and SE25 Timetables

Session

SE Formal Methods

27 Feb 2025, 11:00

Audimax B (Building 30.95)

Conveners

SE Formal Methods

• Reiner Hähnle

207. Model-Based Testing of Quantum Computations

Malte Lochau (University of Siegen), Ina Schaefer (Karlsruhe Institute of Technology)

27/02/2025, 11:00

Software Engineering (SE 2025)

Talk in EN or DE (15min + 7min)

208. Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications

Ariel Gorenstein (Tel Aviv University), Shahar Maoz (Tel Aviv University), Jan Oliver Ringert (Bauhaus University Weimar)

27/02/2025, 11:22

Software Engineering (SE 2025)

Talk in EN or DE (15min + 7min)

209. Cost-Sensitive Precomputation of Real-Time-Aware Reconfiguration Strategies based on Stochastic Priced Timed Games

Hendrik Göttmann (TU Darmstadt), Birte Caesar (Helmut Schmidt University Hamburg), Lasse Beers (Helmut Schmidt University Hamburg), Malte Lochau (University of Siegen), Andy Schürr (TU Darmstadt), Alexander Fay (Ruhr University Bochum)

27/02/2025, 11:45

Software Engineering (SE 2025)

Talk in EN or DE (15min + 7min)

226. Formal Synthesis of Uncertainty Reduction Controller

Marc Carwehl, Calum Imrie, Thomas Vogel, Genaina Rodrigues, Radu Calinescu, Lars Grunske

27/02/2025, 12:07

Software Engineering (SE 2025)

Talk in EN (15min + 7min)