Animating Rebeca (FSEN 2025 - Marjan Festschrift) - FSEN 2025

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

Who

Maurice H. ter Beek, José Proença

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 09:45 - 10:00 at Omega - Session 1

Maurice H. ter Beek

ISTI-CNR

Italy

José Proença

CISTER & Faculty of Sciences, University of Porto

Portugal

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

	09:30 - 10:30	Session 1Marjan Festschrift at Omega

	09:30 15m Paper		20 Years of Actor Model Checking with Rebeca - From Dining Philosophers to MicroServices Marjan Festschrift Mohammad Mahdi Jaghoori , Ehsan Khamespanah Tehran University, Tehran, Iran
	09:45 15m Paper		Animating Rebeca Marjan Festschrift Maurice H. ter Beek ISTI-CNR, José Proença CISTER & Faculty of Sciences, University of Porto
	10:00 15m Paper		Black-box protocol testing using Rebeca and Automata Learning Marjan Festschrift Stefan Marksteiner AVL List GmbH / Mälardalen University, Mikael Sjödin Malardalen University
	10:15 15m Paper		An LAGC Semantics for Timed Rebeca Marjan Festschrift Reiner Hähnle Technical University of Darmstadt, Einar Broch Johnsen University of Oslo, Silvia Lizeth Tapia Tarifa University of Oslo, Norway

:

:

:

: