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 Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems (May 2021)
Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam, Mehrdad Saadatmand
Journal of Internet Services and Applications (JISA)

An actor-based framework for asynchronous event-based cyber-physical systems (Apr 2021)
Iman Jahandideh , Fatemeh Ghasemi , Marjan Sirjani
Software and Systems Modeling (SoSym)

Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control (Jan 2021)
Maryam Bagheri , Marjan Sirjani, Ehsan Khamespanah , Christel Baier , Ali Movaghar
IEEE Transactions on Software Engineering (TSE)

Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems (Nov 2020)
Maryam Bagheri , Edward Lee, Eunsuk Kang , Marjan Sirjani, Ehsan Khamespanah , Ali Movaghar
18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

Safe Design of Flow Management Systems Using Rebeca (Sep 2020)
Giorgio Forcina, Ali Sedaghatbaf, Stephan Baumgart, Ali Jafari , Ehsan Khamespanah , Pavle Mrvaljevic , Marjan Sirjani
Journal of Information Processing (IPSJ)

From Requirements to Verifiable Executable Models using Rebeca (Sep 2020)
Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam
Software Engineering and Formal Methods Collocated Workshops 2020 (SEFMW 2020)

PhD students supervised as main supervisor:

Ali Jafari (former)
Ehsan Khamespanah (former)
Fereidoun Moradi
Giorgio Forcina (former)
Maghsood Salimi
Maryam Bagheri

PhD students supervised as assistant supervisor:

Zeinab Sharifi