A Visual Formalism for the Specification of Maritime Traffic Scenarios (REFSQ 2026 - Research Track) - REFSQ 2026

Mon 23 - Thu 26 March 2026 Poznań, Poland

Who

Anna Austel, Georg Hake, Nina Wetzig

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

When

Tue 24 Mar 2026 11:15 - 11:45 at CW 3 - Simulation and Visual Formalism Chair(s): Jose Luis de la Vara

Anna Austel

Georg Hake

Nina Wetzig

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

Session Program

Tue 24 Mar
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	11:15 - 12:25	Simulation and Visual FormalismResearch Track at CW 3 Chair(s): Jose Luis de la Vara Universidad de Castilla - La Mancha

	11:15 30m Technical design		A Visual Formalism for the Specification of Maritime Traffic ScenariosTechnical Design Paper Research Track Anna Austel , Georg Hake , Nina Wetzig
	11:45 20m Research preview		Extending iStar for Synthetic Data Generation and Simulation Modeling for Industry 5.0Research Preview Paper Research Track Vânia Sousa , Ana Lavelle , Alejandro Mate Universidad de Alicante, António Vieira , Maribel Yasmina Santos University of Minho
	12:05 20m Research preview		The Software Engineering Simulations Lab: Agentic AI for RE Quality SimulationsResearch Preview Paper Research Track Henning Femmer FH SWF / Qualicen, Ivan Esau Pre-print