Inside Every Multi-Threaded Program There Are Active Objects Struggling To Get Out (FSEN 2025 - Marjan Festschrift) - FSEN 2025

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

Who

Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

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 11:30 - 11:45 at Omega - Session 2 Chair(s): Mohammad Reza Mousavi

Frank S. de Boer

Centrum Wiskunde & Informatica, Leiden University

Einar Broch Johnsen

University of Oslo

Norway

Rudolf Schlatte

University of Oslo

Silvia Lizeth Tapia Tarifa

University of Oslo, Norway

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

	11:00 - 12:30	Session 2Marjan Festschrift at Omega Chair(s): Mohammad Reza Mousavi King's College London

	11:00 15m Paper		Ranch: Rebeca on Chip Marjan Festschrift Meyssam Rostamzadeh Tehran Institute for Advanced Studies (TeIAS), Mahboubeh Samadi Tehran Institute for Advanced Studies (TeIAS), Fatemeh Ghassemi University of Tehran, Hossein Hojjat Tehran Institute for Advanced Studies (TeIAS)
	11:15 15m Paper		Privacy-Aware Modeling and Analysis of Social Networks Using Rebeca Marjan Festschrift Zahra Moezkarimi Mälardalen University, Fatemeh Ghassemi University of Tehran
	11:30 15m Paper		Inside Every Multi-Threaded Program There Are Active Objects Struggling To Get Out Marjan Festschrift Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University, Einar Broch Johnsen University of Oslo, Rudolf Schlatte University of Oslo, Silvia Lizeth Tapia Tarifa University of Oslo, Norway
	11:45 15m Paper		Verify Engineering Models, not Scientific Models Marjan Festschrift Shaokai Lin UC Berkeley, Edward Lee University of California at Berkeley
	12:00 15m Paper		Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic Marjan Festschrift Mircea Marin West University of Timisoara, Peter Ölveczky University of Oslo, Mario Reja West University of Timisoara, Mikheil Rukhaia Institute of Applied Mathematics, Tbilisi State University, Kyungmin Bae POSTECH
	12:15 15m Paper		Responsibility in Actor-Based Systems Marjan Festschrift Christel Baier TU Dresden, Germany, Sascha Klüppelholz , Johannes Lehmann TU Dresden