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:

Enhancing Cybersecurity through Comprehensive Investigation of Data Flow-Based Attack Scenarios (Oct 2024)
Sara Abbaspour, Shamoona Imtiaz, Alireza Dehlaghi Ghadim, Mikael Sjödin, Marjan Sirjani
Journal of Cybersecurity and Privacy (JCP)

Model-based development and formal verification of a ROS2 multi-robot system using Timed Rebeca (Sep 2024)
Hiep Hong Trinh, Marjan Sirjani, Mikael Sjödin, Federico Ciccozzi
40th Anniversary of the IEEE Conference on Robotics and Automation (ICRA@40)

Automated Passport Control: Mining and Checking Models of Machine Readable Travel Documents (Jul 2024)
Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin
The 19th International Conference on Availability, Reliability and Security (ARES 2024) (ARES 2024)

Guess and then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems (Jul 2024)
Rong Gu, Zahra Moezkarimi, Marjan Sirjani
44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2024)

Combining model-based development and formal verification of a complex ROS2 multi-robots system using Timed Rebeca (Jun 2024)
Hiep Hong Trinh, Marjan Sirjani, Fereidoun Moradi, Antonio Cicchetti, Federico Ciccozzi
International Workshop on Reliability Engineering Methods for Autonomous Robots – REMARO 2024 (REMARO2024)

CRYSTAL framework: Cybersecurity assurance for cyber-physical systems (Apr 2024)
Fereidoun Moradi, Sara Abbaspour, Bahman Pourvatan , Zahra Moezkarimi, Marjan Sirjani
Journal of Logical and Algebraic Methods in Programming (JLAMP)

Project Title	Status
A-CPS - Automation in High-performance Cyber Physical Systems Development	finished
ARAS - Assured Reasoning for Autonomous Cyber-Physical Systems	active
BUMBLE - Blended Modelling for Enhanced Software and Systems Engineering	finished
DPAC - Dependable Platforms for Autonomous systems and Control	active
MACMa - Modeling and Analyzing Event-based Autonomous Systems - Software Center	finished
RELIANT Industrial graduate school: Reliable, Safe and Secure Intelligent Autonomous Systems	active
SACSys - Safe and Secure Adaptive Collaborative Systems	finished
SAFSEC-CPS -- Securing the safety of autonomous cyber-physical systems	finished
SEADA - Self-Adaptive Actors	finished
Serendipity - Secure and dependable platforms for autonomy	active

PhD students supervised as main supervisor:

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

PhD students supervised as assistant supervisor:

Hiep Hong Trinh
Zeinab Sharifi

MSc theses supervised (or examined):

Thesis Title	Status
Mapping UML diagrams to the Reactive Object Language (Rebeca)	available
Modeling and Analyzing Collaborating Heavy Machines	available
A Formal Analysis Framework for EAST-ADL Architectural Models extended with Behavioural Specifications in Simulink	in progress
Incorporating Security in Service Level Agreements	in progress
USING AUGMENTED REALITY TO INCREASE A HEAVY VEHICLE OPERATORS SIUATIONAL AWARENESS	in progress
Designing a lab assignment for studying real-time embedded systems	finished
Modeling and analysis of security implications in safety-critical systems using the Rebeca tool	finished
Modelling and Analysing Collaborating Heavy Machines	finished
Systematic literature review of safety-related challenges for autonomous systems in safety-critical applications	finished

We are using cookies to give you the best experience on our site. Cookies are files stored in your browser and are used by most websites to help personalise your web experience.

By continuing to use our website without changing the settings, you are agreeing to our use of cookies.

close

Mälardalen University

|

Box 325, 631 05 Eskilstuna

|

Box 883, 721 23 Västerås

|

+46-21-10 13 00, +46-16-15 36 00