A practical and complete method for detecting rt-inconsistencies in real-time requirements (REFSQ 2026 - Research Track)

Mon 23 - Thu 26 March 2026 Poznań, Poland

Who

Nico Hauff, Elisabeth Henkel, Elisabeth Fünfgeld, Vincent Langenfeld, Andreas Podelski

Track

REFSQ 2026 Research Track

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 26 Mar 2026 11:15 - 11:45 at CW 8 - Formal Methods Chair(s): Anne Hess

Nico Hauff

University of Freiburg

Germany

Elisabeth Henkel

University Freiburg

Germany

Elisabeth Fünfgeld

Vincent Langenfeld

University of Freiburg

Germany

Andreas Podelski

University of Freiburg

Germany

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Thu 26 Mar
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:45 - 12:05	Formal MethodsResearch Track at CW 8 Chair(s): Anne Hess Technical University of Applied Sciences Würzburg-Schweinfurt

10:45 30m Technical design		Provably Relevant HAL Interface Requirements for Embedded SystemsTechnical Design Paper Research Track Manuel Bentele University of Freiburg, Andreas Podelski University of Freiburg, Axel Sikora , Bernd Westphal German Aerospace Center (DLR)
11:15 30m Technical design		A practical and complete method for detecting rt-inconsistencies in real-time requirementsTechnical Design Paper Research Track Nico Hauff University of Freiburg, Elisabeth Henkel University Freiburg, Elisabeth Fünfgeld , Vincent Langenfeld University of Freiburg, Andreas Podelski University of Freiburg
11:45 20m Research preview		Automata-Represented Requirements in HanforPLResearch Preview Paper Research Track Tobias Kolzer University of Freiburg, Vincent Langenfeld University of Freiburg, Nico Hauff University of Freiburg, Elisabeth Henkel University Freiburg, Andreas Podelski University of Freiburg