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:

Towards a Framework for Safe and Secure Adaptive Collaborative Systems (Jul 2019)
Aida Causevic, Alessandro Papadopoulos, Marjan Sirjani
The 9th IEEE International Workshop on Industrial Experience in Embedded Systems Design (IEESD 2019)

Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems (Jan 2019)
Iman Jahandideh , Fatemeh Ghasemi , Marjan Sirjani
Model-Based Design of Cyber Physical Systems (CyPhy'18)

Actor-based macroscopic modeling and simulation for smart urban planning (Dec 2018)
Jacopo de Berardinis , Marjan Sirjani, Giorgio Forcina, Ali Jafari
Science of Computer Programming (SCICO)

What Good are Models? (Oct 2018)
Edward Lee, Marjan Sirjani
International Conference on Formal Aspects of Component Software (FACS 2018)

Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking (Oct 2018)
Ehsan Khamespanah, Marjan Sirjani, Kirill Mechitov , Gul Agha
International Journal on Software Tools for Technology Transfer (STTT)

Coordinated Actor Model of Self-adaptive Track-based Traffic Control Systems (May 2018)
Maryam Bagheri , Marjan Sirjani, Ehsan Khamespanah, Narges Khakpour , Ilge Akkaya , Ali Movaghar , Edward Lee
Journal of Systems and Software (JSS)

PhD students supervised as main supervisor:

Fereidoun Moradi

PhD students supervised as assistant supervisor:

Giorgio Forcina
Narges Khakpour (former)