April 9th 2025
Join us for a special day of talks celebrating Marjan Sirjani’s outstanding contributions to science and technology. Marjan is a prominent professor and a leader in her field, whose work has inspired and shaped progress across the academic world. She is best known for introducing and developing Rebeca (Reactive Objects Language), a pioneering modeling language that has significantly advanced the analysis and verification of concurrent and distributed systems.
Please find the Festschrift proceedings here:
Rebeca for Actor Analysis in Action
Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
Suggested Hotel:
Elite Stadshotellet Västerås
Booking info
- Rates (per night incl. VAT) for a single room: 1139 SEK incl breakfast
- Single rooms are available between 8-9 April
- The booking code is no longer available after 10 March
Contact info
- Email: reservation.vasteras@elite.se
- Phone: +46 21 102800
- Use the code: Festschrift
Note
If you're attending both FSEN2025 and Festschrift, you can use the code FSEN2025andFestschrift to book between 6–9 April.Wed 9 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 9 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 09:30 | |||
09:00 30mTalk | Opening/Memory Marjan Festschrift | ||
09:30 - 10:30 | |||
09:30 15mPaper | 20 Years of Actor Model Checking with Rebeca - From Dining Philosophers to MicroServices Marjan Festschrift | ||
09:45 15mPaper | Animating Rebeca Marjan Festschrift | ||
10:00 15mPaper | Black-box protocol testing using Rebeca and Automata Learning Marjan Festschrift | ||
10:15 15mPaper | 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 | ||
10:30 - 11:00 | |||
10:30 30mBreak | Coffee Break Marjan Festschrift | ||
11:00 - 12:30 | |||
11:00 15mPaper | 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 15mPaper | Privacy-Aware Modeling and Analysis of Social Networks Using Rebeca Marjan Festschrift | ||
11:30 15mPaper | 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 15mPaper | Verify Engineering Models, not Scientific Models Marjan Festschrift | ||
12:00 15mPaper | 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 15mPaper | Responsibility in Actor-Based Systems Marjan Festschrift | ||
12:30 - 14:00 | Lunch BreakMarjan Festschrift | ||
12:30 90mLunch | Lunch Break Marjan Festschrift | ||
14:00 - 15:00 | |||
14:00 15mPaper | Parallel Constraint Automata Marjan Festschrift | ||
14:15 15mPaper | Concurrent Rules Machines Marjan Festschrift | ||
14:30 15mPaper | Modelling Cyber-Physical Systems for Verification and Synthesis Marjan Festschrift Rong Gu Mälardalen University | ||
14:45 15mPaper | Verifying ROS Systems Using Timed and Stochastic Timed Automata Marjan Festschrift | ||
15:00 - 16:00 | Coffee BreakMarjan Festschrift | ||
15:00 60mBreak | Coffee Break Marjan Festschrift | ||
16:00 - 17:00 | |||
16:00 15mPaper | From LTL to Scenarios: Automatic test case generation for Axini Modeling Language Marjan Festschrift | ||
16:15 15mPaper | 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 15mPaper | Security Challenges of Self-adaptive Systems Marjan Festschrift | ||
16:45 15mPaper | 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 | |||
17:00 15mDay closing | Closing Marjan Festschrift Marjan Sirjani Malardalen University | ||
18:00 - 23:00 | Fest DinnerMarjan Festschrift | ||
18:00 5hDinner | Dinner Marjan Festschrift | ||
