Publications

2024

  • Fereidoun Moradi, Sara Abbaspour Asadollah, Bahman Pourvatan, Zahra Moezkarimi, Marjan Sirjani: CRYSTAL Framework: Cybersecurity Assurance for Cyber-Physical Systems. Journal of Logical and Algebraic Methods in Programming. 139: 100965 (2024)
    PDF

  • Fereidoun Moradi, Bahman Pourvatan, Sara Abbaspour Asadollah, Marjan Sirjani: Tiny Twins for detecting cyber-attacks at runtime using concise Rebeca time transition system. J. Parallel Distributed Comput. 184: 104780 (2024)
    PDF BibTeX

  • Ramtin Khosravi, Ehsan Khamespanah, Fatemeh Ghassemi, Marjan Sirjani: Actors Upgraded for Variability, Adaptability, and Determinism. Active Object Languages: Current Research Trends 2024: 226-260
    PDF BibTeX

  • Bjarne Johansson, Bahman Pourvatan, Zahra Moezkarimi, Alessandro Papadopoulos, Marjan Sirjani: Formal Verification of Consistency for Systems with Redundant Controllers. CoRR abs/2403.18917 (2024)
    PDF BibTeX

  • Rong Gu, Zahra Moezkarimi, Marjan Sirjani: Guess and Then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems. In: Castiglioni, V., Francalanza, A. (eds) Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2024. Lecture Notes in Computer Science, vol 14678. Springer, Cham.
    PDF

  • Fereidoun Moradi: Automated Vulnerability Discovery and Attack Detection Framework for Cyber-Physical Systems - PhD Thesis, Malardalen University, Sweden, 2024
    PDF

  • Stefan Marksteiner: Model-Driven Security Test Case Generation Using Threat Modeling and Automata Learning - PhD Thesis, Malardalen University, Sweden, 2024

2023

  • Fatemeh Ghassemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani, Hossein Hojjat: Transparent Actor Model. FormaliSE 2023: 97-107
    PDF BibTeX

  • Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi: Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models. FSEN 2023: 72-87
    PDF BibTeX

  • Elmira Ebrahimi, Ehsan Khamespanah, Marjan Sirjani, Siamak Mohammadi: Model Checking of Hyperledger Fabric Smart Contracts. ETFA 2023: 1-8
    PDF BibTeX

  • Fereidoun Moradi, Sara Abbaspour Asadollah, Bahman Pourvatan, Zahra Moezkarimi, Marjan Sirjani, CRYSTAL Framework: Cybersecurity Assurance for Cyber-Physical Systems, Technical Report, Submitted to NWPT 2023
    PDF

  • Hiep Hong Trinh: Model-Based Development & Verification of ROS2 Robotic Applications Using Timed Rebeca - Master Thesis, Malardalen University, Sweden, 2023
    PDF

2022

  • Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, John Hatcliff: Specification and Verification of Timing Properties in Interoperable Medical Systems. Log. Methods Comput. Sci. 18(2) (2022)
    PDF BibTeX

  • Fereidoun Moradi, Maryam Bagheri, Hanieh Rahmati, Hamed Yazdi, Sara Abbaspour Asadollah, Marjan Sirjani, Monitoring Cyber-Physical Systems using a Tiny Twin to Prevent Cyber-Attacks, 28th International Symposium on Model Checking of Software (SPIN), 2022
    PDF BibTeX

  • Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Christel Baier, Ali Movaghar: Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control. IEEE Trans. Software Eng. 48(8): 2732-2747 (2022)
    PDF BibTeX

  • Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei, Marjan Sirjani: Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach. ETFA 2022: 1-8
    PDF BibTeX

  • Ermia Hassanpour: Using Safety Analysis Techniques to Derive Safety Properties for Formal Verification of Safety-Critical Systems - Master Thesis, Malardalen University, Sweden, 2022
    PDF

2021

  • Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam, Mehrdad Saadatmand: Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems, Journal of Internet Services and Applications, 2021
    PDF BibTeX

  • Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani: An actor-based framework for asynchronous event-based cyber-physical systems. Softw. Syst. Model. 20(3): 641-665 (2021)
    PDF BibTeX

  • Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Hossein Hojjat, Ali Movaghar: Partial Order Reduction for Timed Actors. VSTTE 2021: 43-60
    PDF BibTeX

  • Robert Heinrich, Erwan Bousse, Sandro Koch, Arend Rensink, Elvinia Riccobene, Daniel Ratiu, Marjan Sirjani: Integration and Orchestration of Analysis Tools. Composing Model-Based Analysis Tools 2021: 71-95
    PDF BibTeX

  • Ehsan Khamespanah, Pavle Mrvaljevic, Anas Fattouh, Marjan Sirjani: Using Afra in Different Domains by Tool Orchestration. Composing Model-Based Analysis Tools 2021: 283-299
    PDF BibTeX

2020

  • Maryam Bagheri, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar: Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems, 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2020
    PDF

  • Mahsa Zarneshan, Fatemeh Ghassemi, Marjan Sirjani: Formal Modeling and Analysis of Medical Systems, 22nd IFIP WG 6.1 International Conference, Coordination Models and Languages (COORDINATION), 2020
    PDF BibTeX

  • Shaghayegh Tavassoli, Ramtin Khosravi, Ehsan Khamespanah: Finite Interval-Time Transition System for Real-Time Actors, The Third IFIP International Conference on Topics in Theoretical Computer Science (TTCS), 2020
    PDF BibTeX

  • Giorgio Forcina, Ali Sedaghatbaf, Stephan Baumgart, Ali Jafari, Ehsan Khamespanah, Pavle Mrvaljevic, Marjan Sirjani: Safe Design of Flow Management Systems Using Rebeca, Journal of Information Processing (JIP), 2020
    PDF BibTeX

  • Pavle Mrvaljevic: Tool Orchestration for Modeling, Verification, and Analysis of Collaborating Autonomous Machines - Master Thesis, Malardalen University, Sweden, 2020
    PDF

  • Kostiantyn Sharovarskyi: Software for Safe Mobile Robots with ROS 2 and Rebeca - Master Thesis, Malardalen University, Sweden, 2020
    PDF

  • Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, and Carolyn Talcott: An Actor-based Approach for Security Analysis of Cyber-Physical Systems, 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS), 2020
    PDF BibTeX

  • Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam and Mehrdad Saadatmand: Towards a Verification-Driven Iterative Development of Cyber-Physical System, Submitted to a Journal
    PDF

  • Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar: VeriVANca Framework: Verification of VANETs by Property Based Message Passing of Actors in Rebeca with Inheritance, Software Tools for Technology Transfer (STTT), 2020
    PDF BibTeX

  • Zeinab Sharifi, Ramtin Khosravi, Marjan Sirjani, Ehsan Khamespanah: Towards Formal Analysis of Vehicle Platoons Using Actor Model, 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2020
    PDF

  • Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah: Verification of Cyberphysical Systems, Design, Modeling, Verification, and Analysis of Cyber-Physical Systems special issue of Mathematics, 2020
    PDF

  • Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah: Model Checking Software in Cyberphysical Systems, IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC), 2020
    PDF BibTeX

  • Sajjad Rezaei, Ehsan Khamespanah, Marjan Sirjani, Ali Sedaghatbaf, Siamak Mohammadi: Developing Safe Smart Contracts, IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC), 2020
    PDF BibTeX

2019

  • Marjan Sirjani, Ehsan Khamespanah, Fatemeh Ghassemi: Reactive Actors: Isolation for Efficient Analysis of Distributed Systems, 23rd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT), 2019
    PDF BibTeX

  • Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam: From Requirements to Verifiable Executable Models Using Rebeca, ASYDE, 2019
    PDF

  • Vladimir Djukanovic: Mapping UML Diagrams to the Reactive Object Language (Rebeca) - Master Thesis, Malardalen University, Sweden, 2019
    PDF

  • Saeid Dehnavi, Ali Sedaghatbaf, Bahar Salmani, Marjan Sirjani, Mehdi Kargahi, Ehsan Khamespanah: Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca, MobiSPC, 2019
    PDF

  • Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar: VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs, SPIN, 2019
    PDF BibTeX

  • Marjan Sirjani, Giorgio Forcina, Ali Jafari, Stephan Baumgart, Ehsan Khamespanah, Ali Sedaghatbaf: An Actor-based Design Platform for System of Systems, IEEE 43th Annual Computers, Software, and Applications Conference (COMPSAC), 2019, Invited Paper
    PDF BibTeX

  • Saeid Dehnavi: RoboRebeca: A New Framework to Design Verified ROS-Based Robotic Programs - Master Thesis, Malardalen University, Sweden, 2019
    PDF

2018

  • Giorgio Forcina, Ehsan Khamespanah, Ali Jafari, Ali Sedaghatbaf, Stephan Baumgart, Marjan Sirjani: AdaptiveFlow: An Actor-based Eulerian Framework for Track-based Flow Management, Technical Report
    PDF

  • Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani: Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems, CyPhy, 2018
    PDF BibTeX

  • Edward A. Lee and Marjan Sirjani: What Good Are Models?, Invited Paper in Proc. of Formal Aspects of Component Software (FACS), Pohang, South Korea, October 10-12, 2018, Kyungmin Bae and Peter Csaba Olveczky, Eds., Springer, LNCS 11222.
    PDF BibTeX

  • Ali Jafari, Jayasoorya Jayanthi Surendran Nair, Stephan Baumgart and Marjan Sirjani: Safe and Efficient Fleet Operation for Autonomous Machines: An Actor-based Approach, ACM SAC, 2018.
    PDF BibTeX

  • Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Narges Khakpour, Ilge Akkaya, Ali Movaghar and Edward A. Lee: Coordinated Actor Model of Self-adaptive Track-based Traffic Control Systems, Journal of Systems and Software, 2018.
    PDF

  • Ehsan Khamespanah: Modeling, Verification, and Analysis of Timed Actor-Based Models - PhD Thesis, Reykjavik University, Iceland, 2018
    PDF

2017

  • Behnaz Yousefi, Fatemeh Ghassemi, and Ramtin Khosravi: Modeling and Efficient Verification of Wireless Ad hoc Networks, volume 29, Issue 6, pp 1051–1086, Formal Aspects of Computing, 2017.
    BibTeX

  • Marjan Sirjani: Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness and Usability in Modeling - The Actor Experience, Proceedings of Edward A. Lee Festschrift, Principles of Modeling, 2017.
    PDF

  • Frank de Boer, Vlad Serbanescu, Reiner Hahnle, Ludovic Henrio, Justine Rochas, Crystal Chang Din, Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah, Kiko Fernandez-Reyes, Albert Mingkun Yang: A Survey of Active Object Languages, ACM Computing Surveys, 2017.
    BibTeX

  • Carlo Castagnari, Jacopo de Berardinis, Giorgio Forcina, Ali Jafari, Marjan Sirjani: Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives, FOCLASA, 2017.
    PDF BibTeX

  • Pouria Mellati, Ehsan Khamespanah, Ramtin Khosravi: LeeTL: LTL with quantifications over model objects, SPIN, 2017.
    PDF BibTeX

  • Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani, Gul Agha: Modeling and Analyzing Real-Time Wireless Sensor and Actuator Networks Using Actors and Model Checking, Software Tools for Technology Transfer, 2017.
    PDF

  • Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani: An Efficient TCTL Model Checking Algorithm and A Reduction Technique for Verification of Timed Actor Models, Science of Computer Programming, 2017.
    PDF

  • Jayasoorya Jayanthi Surendran Nair: Modeling And Analyzing Collaborating Heavy Machines, School of Innovation Design and Engineering, Malardalen University, Vasteras, Sweden (2017).
    PDF

2016

  • Maryam Bagheri, Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar, Edward A. Lee: Runtime Compositional Analysis of Track-based Traffic Control Systems, CRTS, 2016.
    PDF

  • Marjan Sirjani, Ehsan Khamespanah, Kirill Mechitov, Gul Agha: A Compositional Approach for Modeling and Timing Analysis of Wireless Sensor and Actuator Networks, CRTS, 2016.
    PDF

  • Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee: Coordinated Actors for Reliable Self-Adaptive Systems, FACS, 2016.
    PDF BibTeX

  • Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani, Gul Agha: Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking, SPIN, 2016.
    PDF BibTeX

  • Mohammad Mahdi Jaghoori, Frank de Boer, Delphine Longuet, Tom Chothia, Marjan Sirjani: Compositional schedulability analysis of real-time actor-based systems, Acta Informatica, 2016.
    PDF

  • Ali Jafari, Ehsan Khamespanah, Haukur Kristinsson, Marjan Sirjani, Brynjar Magnusson: Statistical Model Checking of Timed Rebeca, Models Computer Languages, Systems & Structures, 2016.
    PDF BibTeX

  • Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns, Matteo Cimini: PTRebeca: Modeling and Analysis of Distributed and Asynchronous Systems, Science of Computer Programming, 2016.
    PDF BibTeX

  • Marjan Sirjani, Ehsan Khamespanah: On Time Actors, LNCS 9660, 2016.
    PDF BibTeX

  • Stephan Rehfeld, Marc Erich Latoschik, Henrik Tramberend: Estimating latency and concurrency of asynchronous real-time interactive systems using model checking, IEEE Virtual Reality, 2016.
    PDF BibTeX

2015

  • Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee: Modeling and Analyzing Air Traffic Control Systems using Ptolemy, Ptolemy Mini-Conference, 2015.
    PDF

  • Ehsan Khamespanah, Marjan Sirjani, Zeynab Sabahi Kaviani, Ramtin Khosravi, Mohammad-Javad Izadi: Timed Rebeca Schedulability and Deadlock Freedom Analysis Using Bounded Floating Time Transition System, Science of Computer Programming, 2015.
    PDF BibTeX

  • Zeynab Sabahi-Kaviani, Ramtin Khosravi, Peter Csaba Ölveczky, Ehsan Khamespanah, Marjan Sirjani: Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude, Science of Computer Programming, 2015.
    BibTeX

  • Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan, Ramtin Khosravi: Floating Time Transition System: More Efficient Analysis of Timed Actors, FACS, 2015.
    PDF BibTeX

  • Ehsan Khamespanah, Marjan Sirjani, Mohammad Reza Mousavi, Zeynab Sabahi-Kaviani, Mohamadreza Razzazi: State Distribution Policy for Distributed Model Checking of Actor Models, AVoCS, 2015.
    PDF BibTeX

  • Arvin Zakerian, Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi: Jacco: more efficient model checking toolset for Java actor programs, AGERE, 2015.
    PDF BibTeX

  • Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi: Modeling and Efficient Verification of Broadcasting Actors, FSEN, 2015.
    BibTeX

2014

  • Arni Hermann Reynisson, Marjan Sirjani, Luca Aceto, Matteo Cimini, Ali Jafari, Anna Ingolfsdottir, Steinar Hugi Sigurdarson, Modelling and simulation of asynchronous real-time systems using Timed Rebeca, Science of Computer Programming, 2014.
    PDF BibTeX

  • Brynjar Magnusson, Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi, Event-based Analysis of Timed Rebeca Models using SQL, AGERE 2014, USA, October 2014.
    PDF BibTeX

  • Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi, Efficient TCTL Model Checking Algorithm for Timed Actors, AGERE 2014, USA, October 2014.
    PDF BibTeX

  • Ali Jafari, Ehsan Khamespanah, Marjan Sirjani and Holger Hermanns, Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors, In: AVoCS 2014, Netherlands, 2014.
    PDF BibTeX

2013

  • Haukur Kristinsson, Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, and Brynjar Magnusson: Analysing Timed Rebeca Using McErlang, AGERE, 2013.
    PDF BibTeX

  • Zeinab Sharifi, Siamak Mohammadi, and Marjan Sirjani: Comparison of NoC Routing Algorithms Using Formal Methods, PDPTA, 2013.
    PDF

  • Zeinab Sharifi, Mahdi Mosaffa, Siamak Mohammadi, and Marjan Sirjani: Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification, AVoCS, 2013.
    PDF BibTeX

  • Hamideh Sabouri, Ramtin Khosravi: Modeling and Verification of Reconfigurable Actor Families, JUCS-19(2), 2013.
    BibTeX

  • Zeinab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Csaba Ölveczky, and Ehsan Khamespanah: Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude, FTSCS, 2013.
    PDF BibTeX

2012

  • Narges Khakpour, Saeed Jalili, Marjan Sirjani, Ursula Goltz, Bahareh Abolhasanzadeh: HPobSAM for modeling and analyzing IT Ecosystems - Through a case study, Journal of Systems and Software 85(12), 2012.
    PDF BibTeX

  • Steinar Hugi Sigurdarson, Marjan Sirjani, Yngvi Björnsson, Arni Hermann Reynisson: Guided Search for Deadlocks in Actor-Based Models. FACS, 2012.
    BibTeX

  • Haukur Kristinsson: Event-Based analysis of Read-Time Actor Models - Master Thesis, Reykjavík University, Iceland (2012).
    PDF

  • Brynjar Magnusson: Simulation-Based Analysis of Timed Rebeca Using TeProp and SQL - Master Thesis, Reykjavík University, Iceland (2012).
    PDF

  • Ramtin Khosravi, Hamideh Sabouri: Using Coordinated Actors to Model Families of Distributed Systems, Coordination, 2012.
    BibTeX

  • Ehsan Khamespanah, Zeynab Sabahi Kaviani, Ramtin Khosravi, Marjan Sirjani, Mohammad-Javad Izadi: Timed-Rebeca Schedulability and Deadlock-Freedom Analysis Using Floating-Time Transition System, AGERE, 2012.
    PDF BibTeX

  • Mahsa Varshosaz, Ramtin Khosravi: Modeling and Verification of Probabilistic Actor Systems Using pRebeca, ICFEM, 2012.
    BibTeX

2011

  • Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson, Marjan Sirjani: Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca FOCLASA, 2011.
    PDF BibTeX

  • Marjan Sirjani, Mohammad Mahdi Jaghoori: Ten Years of Analyzing Actors: Rebeca Experience. Formal Modeling: Actors, Open Systems, Biological Systems, 2011.
    PDF BibTeX

  • Narges Khakpour, Marjan Sirjani, Ursula Goltz: Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems, ICFEM, 2011.
    PDF BibTeX

  • Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: Formal Analysis of SystemC Designs in Process Algebra, Fundam. Inform-107(1), 2011.
    PDF BibTeX

  • Arni Hermann Reynisson: Timed Rebeca Refinement and Simulation - Master Thesis, Reykjavík University, Iceland (2011).
    PDF

2010

  • Narges Khakpour, Ramtin Khosravi, Marjan Sirjani, Saeed Jalili: Formal analysis of policy-based self-adaptive systems. SAC 2010: 2536-2543.
    PDF BibTeX

  • Niloofar Razavi, Razieh Behjati, Hamideh Sabouri, Ehsan Khamespanah, Amin Shali, Marjan Sirjani: Sysfier: Actor-based formal verification of SystemC. ACM Trans. Embedded Comput. Syst. 10(2): 19 (2010).
    BibTeX

  • Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, Ali Movaghar: Symmetry and partial order reduction techniques in model checking Rebeca. Acta Inf. 47(1): 33-66 (2010).
    PDF BibTeX

  • Hamid Reza Shahriari, Mohammad Sadegh Makarem, Marjan Sirjani, Rasool Jalili, Ali Movaghar: Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca. Computers & Electrical Engineering 36(5): 874-885 (2010).
    BibTeX

  • Hamideh Sabouri, Marjan Sirjani: Slicing-based Reductions for Rebeca. Electr. Notes Theor. Comput. Sci. 260: 209-224 (2010).
    BibTeX

  • Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi: PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. Electr. Notes Theor. Comput. Sci. 263: 129-143 (2010).
    BibTeX

  • Hamideh Sabouri, Marjan Sirjani: Actor-based slicing techniques for efficient reduction of Rebeca models. Sci. Comput. Program. 75(10): 811-827 (2010).
    BibTeX

2009

  • Razieh Behjati, Marjan Sirjani, Majid Nili Ahmadabadi: Bounded Rational Search for On-the-Fly Model Checking of LTL Properties. FSEN 2009: 292-307.
    BibTeX

  • Narges Khakpour, Marjan Sirjani, Saeed Jalili: Formal Analysis of Smart Home Policies using Compositional Verification. ICFI 2009: 220-233.
    PDF BibTeX

  • Mohammad Mahdi Jaghoori, Frank S. de Boer, Tom Chothia, Marjan Sirjani: Schedulability of asynchronous real-time concurrent objects. J. Log. Algebr. Program. 78(5): 402-416 (2009).
    PDF BibTeX

2008

  • Carolyn L. Talcott, Marjan Sirjani, Shangping Ren: Comparing Three Coordination Models: Reo, ARC, and RRD. Electr. Notes Theor. Comput. Sci. 194(4):39-55 (2008).
    PDF BibTeX

  • Razieh Behjati, Hamideh Sabouri, Niloofar Razavi, Marjan Sirjani: An effective approach for model checking SystemC designs. ACSD 2008: 56-61.
    BibTeX

  • Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: Process algebraic verification of SystemC codes. ACSD 2008: 62-67.
    PDF BibTeX Presentation

  • Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: A framework for performance evaluation and functional verification in stochastic process algebras. SAC 2008: 339-346.
    PDF BibTeX

2007

  • Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote: Sarir: A Rebeca to mCRL2 Translator. ACSD 2007: 216-222.
    BibTeX

  • Niloofar Razavi, Marjan Sirjani: Compositional Semantics of System-Level Designs Written in SystemC. FSEN 2007: 113-128.
    PDF BibTeX

  • Fatemeh Alavizadeh, Alireza Hashemi Nekoo, Marjan Sirjani: ReUML: a UML Profile for Modeling and Verification of Reactive Systems. ICSEA 2007: 50.
    PDF BibTeX

  • Mohammad Reza Kakoee, Hamid Shojaei, Hassan Ghasemzadeh, Marjan Sirjani, Zainalabedin Navabi: A New Approach for Design and Verification of Transaction Level Models. ISCAS 2007: 3760-3763

  • Farhad Arbab, Marjan Sirjani: Applications of Formal Methods to System Design and Verification. J. UCS 13(13): 1970-1971 (2007).
    PDF BibTeX

  • Hossein Hojjat, Hootan Nakhost, Marjan Sirjani: Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP). J. UCS 13(13): 2076-2104 (2007).
    PDF BibTeX

2006

  • Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab: Compositional Semantics of an Actor-Based Language Using Constraint Automata. COORDINATION 2006: 281-297.
    PDF BibTeX

  • Marjan Sirjani: Rebeca: Theory, Applications, and Tools. FMCO 2006: 102-126.
    BibTeX

  • Mohammad Mahdi Jaghoori, Ali Movaghar, Marjan Sirjani: Modere: the model-checking engine of Rebeca. SAC 2006: 1810-1815.
    PDF BibTeX

  • Fatemeh Alavizadeh, Marjan Sirjani: Using UML to Develop Verifiable Reactive Systems. Software Engineering Research and Practice 2006: 554-561.
    PDF BibTeX

  • Hossein Hojjat, Hootan Nakhost, Marjan Sirjani: Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca. Electr. Notes Theor. Comput. Sci. 159: 139-154 (2006).
    BibTeX

2005

  • Marjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali: Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing. ACSD 2005: 212-221.
    BibTeX

  • Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar: Efficient Symmetry Reduction for an Actor-Based Model. ICDCIT 2005: 494-507.
    PDF BibTeX

  • Marjan Sirjani, Frank S. de Boer, Ali Movaghar-Rahimabadi: Modular Verification of a Component-Based Actor Language. J. UCS 11(10): 1695-1717 (2005).
    PDF BibTeX

  • Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer: Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. J. UCS 11(6): 1054-1082 (2005).
    PDF BibTeX

2004

  • Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoori, Hamed Iravanchi, Ali Movaghar: A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models. ACSD 2004: 145-150.
    PDF BibTeX

  • Nikunj R. Mehta, Nenad Medvidovic, Marjan Sirjani, Farhad Arbab: Modeling Behavior in Compositions of Software Architectural Primitives. ASE 2004: 371-374.
    BibTeX

  • Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer: Modeling and Verification of Reactive Systems using Rebeca. Fundam. Inform. 63(4): 385-410 (2004).
    PDF BibTeX

  • Marjan Sirjani: Formal Specification and Verification of Concurrent and Reactive Systems. Ph.D. disseration, Department of Computer Engineering, Sharif University of Technology, 2004.
    PDF

2003

  • Marjan Sirjani, Ali Movaghar, Hamed Iravanchi, Mohammad Mahdi Jaghoori, Amin Shali: Model Checking in Rebeca. PDPTA 2003: 1819-1822.
    BibTeX

2002

  • Marjan Sirjani, Ali Movaghar: Simulation in Rebeca. PDPTA 2002: 923-926.
    BibTeX

2001

  • Marjan Sirjani, Ali Movaghar, MohammadReza Mousavi: Compositional Verification of an Object-Based Model for Reactive Systems. AVoCS 2001.
    PDF