Marjan Sirjani, Professor


Marjan Sirjani joined Malardalen University as Professor of Software Engineering in June 2016. She is also a part-time Professor at School of Computer Science at Reykjavik University. 

Marjan has been the PC member and PC chair of several international conferences including SEFM, iFM, Coordination, FM, FMICS, SAC, FSEN, and guest editor for special issues of the journals Science of Computer Programming and Fundamenta Informaticae. Before joining academia as a full-time faculty she has been the managing director of Behin System Company for more than ten years, developing software and providing system services. Marjan served as the head of the Software Engineering Department of School of Electrical and Computer Engineering at the University of Tehran prior to joining the School of Computer Science at Reykjavik University in 2008.

Her main research interest is applying formal methods in Software Engineering. She works on modeling and verification of concurrent and distributed systems. Marjan and her research group are pioneers in building model checking tools, compositional verification theories, and state-space reduction techniques for actor-based models. She has been working on analyzing actors since 2001 using the modeling language Rebeca (http://www.rebeca-lang.org ). Rebeca and its extensions are designed to bridge the gap between model-based software development and formal analysis, and has been used for analyzing different network and system applications. Her research is now focused on safety assurance and performance evaluation of self-adaptive and cyberphysical systems, in which she is collaborating with Ptolemy group at UC Berkeley.

[Show all publications]

[Google Scholar author page]

Latest publications:

Statistical model checking of Timed Rebeca models
Marjan Sirjani, Ali Jafari , Ehsan Khamespanah , Haukur Kristinsson , Brynjar Magnusson
Computer Languages, Systems & Structures 45 (Computer LS&S 45)

Compositional schedulability analysis of real-time actor-based systems
Mohammad Mahdi Jaghoori , Frank de Boer , Delphine Longuet , Tom Chothia , Marjan Sirjani
Acta Informatica (Acta2016)

State Distribution Policy for Distributed Model Checking of Actor Models
Ehsan Khamespanah , Marjan Sirjani, Mohammad Reza Mousavi , Zeynab Sabahi-Kaviani , Mohamadreza Razzazi
Electronic Communications of the EASST 72 (ECEASST 72)

PTRebeca: Modeling and analysis of distributed and asynchronous systems
Ali Jafari , Ehsan Khamespanah , Marjan Sirjani, Holger Hermanns , Mateo Cimini
Science of Computer Programming (SCICO-128)

On Time Actors
Marjan Sirjani, Ehsan Khamespanah
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday (Frank60)

Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking
Ehsan Khamespanah , Kirill Mechitov , Marjan Sirjani, Gul Agha
Model Checking Software - 23rd International Symposium (SPIN 2016)

PhD students supervised as main supervisor:

Ali Jafari (former)
Ehsan Khamespanah (former)

PhD students supervised as assistant supervisor:

Narges Khakpour (former)