Scalable Redundancy Detection for Real-Time Requirements (Requirements Engineering 2024 - Research Papers)

Who

Elisabeth Henkel, Nico Hauff, Lena Funk, Vincent Langenfeld, Andreas Podelski

Track

Requirements Engineering 2024 Research Papers

Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect 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

Wed 26 Jun 2024 10:45 - 11:15 at V101 - Verification Chair(s): Farnaz Fotrousi

Elisabeth Henkel

University Freiburg

Germany

Nico Hauff

University Freiburg

Germany

Lena Funk

Vincent Langenfeld

University of Freiburg

Germany

Andreas Podelski

University of Freiburg

Germany

Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect 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

Wed 26 Jun
Displayed time zone: (UTC) Coordinated Universal Time change

10:45 - 12:15	VerificationIndustrial Innovation Papers / Research Papers at V101 Chair(s): Farnaz Fotrousi Chalmers and Gothenburg University

10:45 30m Paper		Scalable Redundancy Detection for Real-Time Requirements Research Papers Elisabeth Henkel University Freiburg, Nico Hauff University Freiburg, Lena Funk , Vincent Langenfeld University of Freiburg, Andreas Podelski University of Freiburg
11:15 30m Paper		Requirements Satisfiability with In-Context Learning Research Papers Sarah Santos , Travis Breaux Carnegie Mellon University, Tom Norton , Sara Haghighi , Sepideh Ghanavati University of Maine Pre-print
11:45 30m Paper		Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report Industrial Innovation Papers Gustav Ung , Jesper Amilon KTH Royal Institute of Technology, Dilian Gurov KTH Royal Institute of Technology, Christian Lidström KTH Royal Institute of Technology, Mattias Nyberg , Karl Palmskog KTH Royal Institute of Technology