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.
Tiny Twins for detecting cyber-attacks at runtime using concise Rebeca time transition (Feb 2024) Fereidoun Moradi, Bahman Pourvatan , Sara Abbaspour, Marjan Sirjani Journal of Parallel and Distributed Computing (JPDC 185)
Guess and then Check: Safety and Security Guaranteed Construction of Cyber-Physical Systems (Jan 2024) Rong Gu, Zahra Moezkarimi, Marjan Sirjani
From TARA to Test: Automated Automotive Cybersecurity Test Generation Out of Threat Modeling (Dec 2023) Stefan Marksteiner, Christoph Schmittner , Korbinian Christl , Dejan Nickovic , Mikael Sjödin, Marjan Sirjani 7th ACM Computer Science in Cars Symposium (CSCS'23)
Enhancing CRYSTAL: Preventive Recovery in Brief (Nov 2023) Fereidoun Moradi, Zahra Moezkarimi, Marjan Sirjani
Using Automata Learning for Compliance Evaluation of Communcation Protocols on an NFC Handshake Example (Oct 2023) Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin 8th International Conference on Engineering of Computer-based Systems (ECBS2023)
Learning Activation Functions for Adversarial Attack Resilience in CNNs (Jun 2023) Maghsood Salimi, Mohammad Loni, Marjan Sirjani The 22nd International Conference on Artificial Intelligence and Soft Computing (ICAISC 2023)
Ali Jafari (former)
Ehsan Khamespanah (former)
Fereidoun Moradi
Giorgio Forcina (former)
Maghsood Salimi
Maryam Bagheri
Stefan Marksteiner