Marjan Sirjani

Mälardalen University, Reykjavík University

Papers

Total Citations

H-Index

About

Marjan Sirjani is a leading figure in formal methods and software engineering, renowned for her pioneering work on the verification of reactive, concurrent, and distributed systems. Her research centers on actor-based modeling, real-time adaptive systems, and the formal verification of cyber-physical systems, with a particular emphasis on safety and security. She is the creator of the Rebeca modeling language, a powerful actor-based formalism that bridges the gap between theoretical verification and practical software development. Her major contributions include developing frameworks for verifying adaptive collaborative systems, as demonstrated in her 2019 work on safe and secure adaptive systems (8 citations), and extending actor-based verification to robotic programs using ROS, as seen in her 2019 paper on verified ROS-based robotic programs (6 citations). Sirjani also advanced model-checking efficiency with the Jacco toolset for Java actor programs (2015, 3 citations). Her work has profoundly impacted the design of reliable concurrent software, earning her international recognition and making her a key resource for students and researchers tackling the complexities of modern distributed and adaptive systems.