FSEN 2025
Mon 7 - Tue 8 April 2025 Västerås, Sweden
FSEN 2025 (series) / Mälardalen University /

Room information: Omega

VenueMälardalen University
Room nameOmega
Floor0
Room Information

The room is in the R-building of MDU.

Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 9 Apr

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

09:00 - 09:30
Opening/ Memory Marjan Festschrift at Omega
09:00
30m
Talk
Opening/Memory
Marjan Festschrift

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
11:00 - 12:30
Session 2Marjan Festschrift at Omega
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
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
16:00 - 17:00
Session 4Marjan Festschrift at Omega
16:00
15m
Paper
From LTL to Scenarios: Automatic test case generation for Axini Modeling Language
Marjan Festschrift
Maarten Schröder , Machiel van der Bijl Axini, Wan Fokkink Vrije Universiteit Amsterdam
16:15
15m
Paper
A Debugging System for Language-parameterized Proofs
Marjan Festschrift
Charlesowityear Ly University of Massachusetts Lowell, Eswarasanthosh Kumar Mamillapalli University of Massachusetts Lowell, Matteo Cimini University of Massachusetts Lowell
16:30
15m
Paper
Security Challenges of Self-adaptive Systems
Marjan Festschrift
Rahul Sankalana Gunawardhana Newcastle University, UK, Narges Khakpour Newcastle University
16:45
15m
Paper
Ten Years of Spatial Model Checking
Marjan Festschrift
Vincenzo Ciancia Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche, Pisa, ITALY, Diego Latella ISTI-CNR, Pisa, Italy, Mieke Massink CNR-ISTI Pisa, Italy
17:00 - 17:15
ClosingMarjan Festschrift at Omega
17:00
15m
Day closing
Closing
Marjan Festschrift
Marjan Sirjani Malardalen University

Wed 9 Apr

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Omega

Marjan Festschrift

Opening/ Memory

Marjan Festschrift

Session 1

Marjan Festschrift

Session 2

Marjan Festschrift

Session 3

Marjan Festschrift

Session 4

Marjan Festschrift

Closing

Wed 9 Apr

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Omega
FSEN Marjan Festschrift
Opening/Memory
09:00 - 09:30
FSEN Marjan Festschrift
20 Years of Actor Model Checking with Rebeca - From Dining Philosophers ...
09:30 - 09:45
FSEN Marjan Festschrift
Animating Rebeca
09:45 - 10:00
FSEN Marjan Festschrift
Black-box protocol testing using Rebeca and Automata Learning
10:00 - 10:15
FSEN Marjan Festschrift
An LAGC Semantics for Timed Rebeca
10:15 - 10:30
FSEN Marjan Festschrift
Ranch: Rebeca on Chip
11:00 - 11:15
FSEN Marjan Festschrift
Privacy-Aware Modeling and Analysis of Social Networks Using Rebeca
11:15 - 11:30
FSEN Marjan Festschrift
Inside Every Multi-Threaded Program There Are Active Objects Struggling ...
11:30 - 11:45
FSEN Marjan Festschrift
Verify Engineering Models, not Scientific Models
11:45 - 12:00
FSEN Marjan Festschrift
Semantics and Formal Analysis of Lingua Franca CPS Specifications in Re ...
12:00 - 12:15
FSEN Marjan Festschrift
Responsibility in Actor-Based Systems
12:15 - 12:30
FSEN Marjan Festschrift
Parallel Constraint Automata
14:00 - 14:15
FSEN Marjan Festschrift
Concurrent Rules Machines
14:15 - 14:30
FSEN Marjan Festschrift
Modelling Cyber-Physical Systems for Verification and Synthesis
14:30 - 14:45
FSEN Marjan Festschrift
Verifying ROS Systems Using Timed and Stochastic Timed Automata
14:45 - 15:00
FSEN Marjan Festschrift
From LTL to Scenarios: Automatic test case generation for Axini Modelin ...
16:00 - 16:15
FSEN Marjan Festschrift
A Debugging System for Language-parameterized Proofs
16:15 - 16:30
FSEN Marjan Festschrift
Security Challenges of Self-adaptive Systems
16:30 - 16:45
FSEN Marjan Festschrift
Ten Years of Spatial Model Checking
16:45 - 17:00
FSEN Marjan Festschrift
Closing
17:00 - 17:15

:
: