Verifying ROS Systems Using Timed and Stochastic Timed Automata (FSEN 2025 - Marjan Festschrift) - FSEN 2025

Mon 7 - Tue 8 April 2025 Västerås, Sweden

Who

Peter Backeman, Cristina Seceleanu

Track

FSEN 2025 Marjan Festschrift

Time Zone

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

Use conference time zone: (GMT+02: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

Wed 9 Apr 2025 14:45 - 15:00 at Omega - Session 3

Peter Backeman

Mälardalen University

Sweden

Cristina Seceleanu

Mälardalen University

Sweden

Time Zone

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

Use conference time zone: (GMT+02: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

Wed 9 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	14:00 - 15:00	Session 3Marjan Festschrift at Omega

	14:00 15m Paper		Parallel Constraint Automata Marjan Festschrift Farhad Arbab CWI and Leiden University, Benjamin Lion INRIA
	14:15 15m Paper		Concurrent Rules Machines Marjan Festschrift Farhad Arbab CWI and Leiden University, Carolyn Talcott SRI International
	14:30 15m Paper		Modelling Cyber-Physical Systems for Verification and Synthesis Marjan Festschrift Rong Gu Mälardalen University
	14:45 15m Paper		Verifying ROS Systems Using Timed and Stochastic Timed Automata Marjan Festschrift Peter Backeman Mälardalen University, Cristina Seceleanu Mälardalen University