2016


  • 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]
  • 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] [bib]
  • 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][bib]
  • 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][bib]
  • Marjan Sirjani, Ehsan Khamespanah: On Time Actors, LNCS 9660, 2016 [pdf] [bib]

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 [bib] [pdf]
  • 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 [bib]
  • Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan, Ramtin Khosravi: Floating Time Transition System: More Efficient Analysis of Timed Actors, FACS, 2015 [pdf] [bib]
  • 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][bib]
  • Arvin Zakerian, Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi: Jacco: more efficient model checking toolset for Java actor programs, AGERE, 2015 [pdf] [bib]
  • Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi: Modeling and Efficient Verification of Broadcasting Actors, FSEN, 2015 [bib]

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] [bib]
  • Brynjar Magnusson, Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi, Event-based Analysis of Timed Rebeca Models using SQL, AGERE 2014, USA, October 2014 [pdf] [bib]
  • Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi, Efficient TCTL Model Checking Algorithm for Timed Actors, AGERE 2014, USA, October 2014 [pdf] [bib]
  • 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] [bib]

2013


  • Haukur Kristinsson, Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, and Brynjar Magnusson: Analysing Timed Rebeca Using McErlang, AGERE, 2013 [pdf] [bib]
  • 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] [bib]
  • Hamideh Sabouri, Ramtin Khosravi: Modeling and Verification of Reconfigurable Actor Families, JUCS-19(2), 2013 [bib]
  • 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] [bib]

2012


  • Steinar Hugi Sigurdarson, Marjan Sirjani, Yngvi Björnsson, Arni Hermann Reynisson: Guided Search for Deadlocks in Actor-Based Models. FACS, 2012 [bib]
  • 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 [bib]
  • 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] [bib]
  • Mahsa Varshosaz, Ramtin Khosravi: Modeling and Verification of Probabilistic Actor Systems Using pRebeca, ICFEM, 2012 [bib]

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] [bib]
  • Marjan Sirjani, Mohammad Mahdi Jaghoori: Ten Years of Analyzing Actors: Rebeca Experience. Formal Modeling: Actors, Open Systems, Biological Systems, 2011 [pdf] [bib]
  • Narges Khakpour, Marjan Sirjani, Ursula Goltz: Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems, ICFEM, 2011, [pdf] [bib]
  • Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: Formal Analysis of SystemC Designs in Process Algebra, Fundam. Inform-107(1), 2011 [pdf] [bib]
  • 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] [bib]
  • 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) [bib]
  • 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] [bib]
  • 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) [bib]
  • Hamideh Sabouri, Marjan Sirjani: Slicing-based Reductions for Rebeca. Electr. Notes Theor. Comput. Sci. 260: 209-224 (2010) [bib]
  • 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) [bib]
  • Hamideh Sabouri, Marjan Sirjani: Actor-based slicing techniques for efficient reduction of Rebeca models. Sci. Comput. Program. 75(10): 811-827 (2010) [bib]

2009


  • Razieh Behjati, Marjan Sirjani, Majid Nili Ahmadabadi: Bounded Rational Search for On-the-Fly Model Checking of LTL Properties. FSEN 2009: 292-307 [bib]
  • Narges Khakpour, Marjan Sirjani, Saeed Jalili: Formal Analysis of Smart Home Policies using Compositional Verification. ICFI 2009: 220-233 [pdf] [bib]
  • 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] [bib]

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] [bib]
  • Razieh Behjati, Hamideh Sabouri, Niloofar Razavi, Marjan Sirjani: An effective approach for model checking SystemC designs. ACSD 2008: 56-61 [bib]
  • Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: Process algebraic verification of SystemC codes. ACSD 2008: 62-67 [pdf] [bib] [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] [bib]

2007


  • Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote: Sarir: A Rebeca to mCRL2 Translator. ACSD 2007: 216-222 [bib]
  • Niloofar Razavi, Marjan Sirjani: Compositional Semantics of System-Level Designs Written in SystemC. FSEN 2007: 113-128 [pdf] [bib]
  • Fatemeh Alavizadeh, Alireza Hashemi Nekoo, Marjan Sirjani: ReUML: a UML Profile for Modeling and Verification of Reactive Systems. ICSEA 2007: 50 [pdf] [bib]
  • 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] [bib]
  • 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] [bib]

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] [bib]
  • Marjan Sirjani: Rebeca: Theory, Applications, and Tools. FMCO 2006: 102-126 [bib]
  • Mohammad Mahdi Jaghoori, Ali Movaghar, Marjan Sirjani: Modere: the model-checking engine of Rebeca. SAC 2006: 1810-1815 [pdf] [bib]
  • Fatemeh Alavizadeh, Marjan Sirjani: Using UML to Develop Verifiable Reactive Systems. Software Engineering Research and Practice 2006: 554-561 [pdf] [bib]
  • 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) [bib]

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 [bib]
  • Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar: Efficient Symmetry Reduction for an Actor-Based Model. ICDCIT 2005: 494-507 [pdf] [bib]
  • 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] [bib]
  • 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] [bib]

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] [bib]
  • Nikunj R. Mehta, Nenad Medvidovic, Marjan Sirjani, Farhad Arbab: Modeling Behavior in Compositions of Software Architectural Primitives. ASE 2004: 371-374 [bib]
  • 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] [bib]
  • 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 [bib]

2002


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