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
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 | ||