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.
Safe Design of Flow Management Systems Using Rebeca (Sep 2020) Giorgio Forcina, Ali Sedaghatbaf, Stephan Baumgart, Ali Jafari, Ehsan Khamespanah, Pavle Mrvaljevic , Marjan Sirjani Journal of Information Processing (IPSJ)
An Actor-based Approach for Security Analysis of Cyber-Physical Systems (Sep 2020) Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn Talcott 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS20)
Model Checking Software in Cyberphysical Systems (Jul 2020) Marjan Sirjani, Edward Lee, Ehsan Khamespanah 44th Annual Computers, Software, and Applications Conference (COMPSAC 2020)
VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance (Jun 2020) Farnaz Yousefi , Ehsan Khamespanah, Mohammed Gharib , Marjan Sirjani, Ali Movaghar International Journal on Software Tools for Technology Transfer (STTT)
|Automation in High-performance Cyber Physical Systems Development||active|
|BUMBLE - Blended Modelling for Enhanced Software and Systems Engineering||active|
|DPAC - Dependable Platforms for Autonomous systems and Control||active|
|Modeling and Analyzing Event-based Autonomous Systems||active|
|SACSys - Safe and Secure Adaptive Collaborative Systems||active|
|SAFSEC-CPS -- Securing the safety of autonomous cyber-physical systems||active|
|Serendipity - Secure and dependable platforms for autonomy||active|
|Software Center: Modeling and Analyzing Cyber-Physical Systems||active|
|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|