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.
RELIANT Industrial graduate school @ MDU (Mar 2023) Kristina Lundqvist, Baran Çürüklü, Elisabeth Uhlemann, Mikael Sjödin, Marjan Sirjani, Cristina Seceleanu, Tiberiu Seceleanu, Malin Rosqvist, Saad Mubeen, Kaj Hänninen, Håkan Forsberg, Mikael Ekström, Masoud Daneshtalab, Federico Ciccozzi
Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach (Sep 2022) Ehsan Khamespanah , Morteza Mohaqeqi , Mohammad Ashjaei, Marjan Sirjani International Conference on Emerging Technologies and Factory (ETFA'2022)
POSTER: Towards Cyber Resilience of Cyber-Physical Systems using Tiny Twins (Aug 2022) Fereidoun Moradi, Sara Abbaspour, Marjan Sirjani 7th IEEE European Symposium on Security and Privacy (EuroS&P 2022)
Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks (Aug 2022) Fereidoun Moradi, Maryam Bagheri , Hanieh Rahmati , Hamed Yazdi , Sara Abbaspour, Marjan Sirjani 25TH INTERNATIONAL CONFERENCE ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS)
Schedulability Analysis of WSAN Applications: Outperformance of A Model Checking Approach (May 2022) Ehsan Khamespanah , Morteza Mohaqeqi , Mohammad Ashjaei, Marjan Sirjani
Partial Order Reduction for Timed Actors (2022) Maryam Bagheri , Marjan Sirjani, Ehsan Khamespanah , Hossein Hojjat , Ali Movaghar Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'21)
Ali Jafari (former)
Ehsan Khamespanah (former)
Fereidoun Moradi
Giorgio Forcina (former)
Maghsood Salimi
Maryam Bagheri