Refactoring in Requirements Engineering: Exploring a methodology for formal verification of safety-critical systems (REFSQ 2025 - Doctoral Symposium) - REFSQ 2025

Mon 7 - Thu 10 April 2025 Spain

Track

REFSQ 2025 Doctoral Symposium

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+02:00) Brussels, Copenhagen, Madrid, Paris.

Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, ParisSelect 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

Mon 7 Apr 2025 11:30 - 12:00 at B3 - Teleensenyament - Doctoral Symposium - Session 2

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+02:00) Brussels, Copenhagen, Madrid, Paris.

Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, ParisSelect 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

Mon 7 Apr
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

	11:00 - 12:30	Doctoral Symposium - Session 2Doctoral Symposium at B3 - Teleensenyament

	11:00 30m Paper		Combining (AI)-Tools and Human Tasks for RE : Towards a Process Framework Doctoral Symposium Andrea Wohlgemuth Utrecht University & FH Dortmund
	11:30 30m Paper		Refactoring in Requirements Engineering: Exploring a methodology for formal verification of safety-critical systems Doctoral Symposium Oisin Sheridan Maynooth University
	12:00 30m Paper		Actionable open-source intelligence architecture for cold case investigations Doctoral Symposium Swikar Bhandari

Oisin Sheridan

Maynooth University