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.
DPAC Newsletter Spring 2020 (May 2020) Kristina Lundqvist, Mikael Sjödin, Saad Mubeen, Håkan Forsberg, Mikael Ekström, Cristina Seceleanu, Nandinbaatar Tsog, Jakob Danielsson, Mohammad Loni, Baran Çürüklü, LanAnh Trinh, Afshin Ameri E., Luciana Provenzano, Kaj Hänninen, Susanne Fronnå, Marjan Sirjani, Rong Gu, Masoud Daneshtalab, Sima Sinaei, Joakim Lindén
From Requirements to Verifiable ExecutableModels using Rebeca (Nov 2019) Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2019)
On-Off Attack on a Blockchain-based IoT System (Sep 2019) Fereidoun Moradi, Ali Sedaghatbaf, Sara Abbaspour Asadollah, Aida Causevic, Marjan Sirjani First Workshop on Secure and Trustable Wirelessly Connected Industrial IoT (ETFA - WS01)
Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca (Sep 2019) Saed Dehnavi , Ali Sedaghatbaf, Bahar Salmani , Marjan Sirjani, Mehdi Kargahi , Ehsan Khamespanah The 16th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)
Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments (Sep 2019) Maghsood Salimi , Amin Majd , Mohammad Loni, Tiberiu Seceleanu, Cristina Seceleanu, Marjan Sirjani, Masoud Daneshtalab, Elena Troubitsyna 6th Conference on the Engineering of Computer Based Systems (ECBS 2019)
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)
Giorgio Forcina
Narges Khakpour (former)