Requirements Satisfiability with In-Context Learning (Requirements Engineering 2024 - Research Papers) - Requirements Engineering 2024

Mon 24 - Fri 28 June 2024 Reykjavik, Iceland

Who

Sarah Santos, Travis Breaux, Tom Norton, Sara Haghighi, Sepideh Ghanavati

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

When

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

Link to Preprint

https://arxiv.org/abs/2404.12576

Sarah Santos

Travis Breaux

Carnegie Mellon University

United States

Tom Norton

Sara Haghighi

Sepideh Ghanavati

University of Maine

United States

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

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