Marjan Sirjani - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

PrefaceCarlos Canal, Pascal Poizat, Marjan Sirjani. SCP, 76(8):631-632, 2011. [doi]

Comparing three coordination models: Reo, ARC, and PBRDCarolyn L. Talcott, Marjan Sirjani, Shangping Ren. SCP, 76(1):3-22, 2011. [doi]

2010

Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected PapersFarhad Arbab, Marjan Sirjani, editors, Volume 5961 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Symmetry and partial order reduction techniques in model checking RebecaMohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, Ali Movaghar. ACTA, 47(1):33-66, 2010. [doi]

Formal analysis of policy-based self-adaptive systemsNarges Khakpour, Ramtin Khosravi, Marjan Sirjani, Saeed Jalili. SAC 2010: 2536-2543 [doi]

PobSAM: Policy-based Managing of Actors in Self-Adaptive SystemsNarges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi. ENTCS, 263:129-143, 2010. [doi]

Sysfier: Actor-based formal verification of SystemCNiloofar Razavi, Razieh Behjati, Hamideh Sabouri, Ehsan Khamespanah, Amin Shali, Marjan Sirjani. tecs, 10(2):19, 2010. [doi]

Actor-based slicing techniques for efficient reduction of Rebeca modelsHamideh Sabouri, Marjan Sirjani. SCP, 75(10):811-827, 2010. [doi]

Slicing-based Reductions for RebecaHamideh Sabouri, Marjan Sirjani. ENTCS, 260:209-224, 2010. [doi]

Vulnerability analysis of networks to detect multiphase attacks using the actor-based language RebecaHamid Reza Shahriari, Mohammad Sadegh Makarem, Marjan Sirjani, Rasool Jalili, Ali Movaghar. cee, 36(5):874-885, 2010. [doi]

2009

Modeling networking issues of network-on-chip: a coloured petri nets approachHamid Hajabdolali Bazzaz, Marjan Sirjani, Ramtin Khosravi, Shamim Taheri. simutools 2009: 22 [doi]

Bounded Rational Search for On-the-Fly Model Checking of LTL PropertiesRazieh Behjati, Marjan Sirjani, Majid Nili Ahmadabadi. fsen 2010: 292-307 [doi]

PrefaceCarlos Canal, Pascal Poizat, Marjan Sirjani. ENTCS, 229(2):1-2, 2009. [doi]

Schedulability of asynchronous real-time concurrent objectsMohammad Mahdi Jaghoori, Frank S. de Boer, Tom Chothia, Marjan Sirjani. jlp, 78(5):402-416, 2009. [doi]

Formal Analysis of Smart Home Policies using Compositional VerificationNarges Khakpour, Marjan Sirjani, Saeed Jalili. fiw 2009: 220-233 [doi]

Automated Analysis of Reo Circuits using Symbolic ExecutionBahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab. ENTCS, 255:137-158, 2009. [doi]

Formal Modeling and Conformance Validation for WS-CDL using Reo and CASMSamira Tasharofi, Marjan Sirjani. ENTCS, 229(2):155-174, 2009. [doi]

2008

An effective approach for model checking SystemC designsRazieh Behjati, Hamideh Sabouri, Niloofar Razavi, Marjan Sirjani. acsd 2008: 56-61 [doi]

Process algebraic verification of SystemC codesHossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani. acsd 2008: 62-67 [doi]

A framework for performance evaluation and functional verification in stochastic process algebrasHossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani. SAC 2008: 339-346 [doi]

Modeling and Analysis of Reo Connectors Using AlloyRamtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi. coordination 2008: 169-183 [doi]

QoS Aspects in Web Services CompositionsFarzad Mahdikhani, Mahmoud Reza Hashemi, Marjan Sirjani. sose 2008: 239-244 [doi]

Comparing Three Coordination Models: Reo, ARC, and RRDCarolyn L. Talcott, Marjan Sirjani, Shangping Ren. ENTCS, 194(4):39-55, 2008. [doi]

2007

ReUML: a UML Profile for Modeling and Verification of Reactive SystemsFatemeh Alavizadeh, Alireza Hashemi Nekoo, Marjan Sirjani. icsea 2007: 50 [doi]

International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, ProceedingsFarhad Arbab, Marjan Sirjani, editors, Volume 4767 of Lecture Notes in Computer Science, Springer, 2007.

Applications of Formal Methods to System Design and VerificationFarhad Arbab, Marjan Sirjani. jucs, 13(13):1970-1971, 2007. [doi]

Sarir: A Rebeca to mCRL2 TranslatorHossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote. acsd 2007: 216-222 [doi]

Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)Hossein Hojjat, Hootan Nakhost, Marjan Sirjani. jucs, 13(13):2076-2104, 2007. [doi]

A New Approach for Design and Verification of Transaction Level ModelsMohammad Reza Kakoee, Hamid Shojaei, Hassan Ghasemzadeh, Marjan Sirjani, Zainalabedin Navabi. iscas 2007: 3760-3763 [doi]

Compositional Semantics of System-Level Designs Written in SystemCNiloofar Razavi, Marjan Sirjani. fsen 2007: 113-128 [doi]

Modeling Web Service Interactions Using the Coordination Language ReoSamira Tasharofi, Mohsen Vakilian, Roshanak Zilouchian Moghaddam, Marjan Sirjani. wsfm 2008: 108-123 [doi]

2006

Using UML to Develop Verifiable Reactive SystemsFatemeh Alavizadeh, Marjan Sirjani. serp 2006: 554-561

PrefaceFarhad Arbab, Marjan Sirjani. ENTCS, 159:1-2, 2006. [doi]

Modeling component connectors in Reo by constraint automataChristel Baier, Marjan Sirjani, Farhad Arbab, Jan J. M. M. Rutten. SCP, 61(2):75-113, 2006. [doi]

Specification and Implementation of Multi-Agent OrganizationsFatemeh Ghassemi, Naser Nematbakhsh, Behrouz Tork Ladani, Marjan Sirjani. webist 2006: 447-453

Automated Mapping of Reo Circuits to Constraint AutomataFatemeh Ghassemi, Samira Tasharofi, Marjan Sirjani. ENTCS, 159:99-115, 2006. [doi]

Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended ::::R::::ebecaHossein Hojjat, Hootan Nakhost, Marjan Sirjani. ENTCS, 159:139-154, 2006. [doi]

Modere: the model-checking engine of RebecaMohammad Mahdi Jaghoori, Ali Movaghar, Marjan Sirjani. SAC 2006: 1810-1815 [doi]

Formal Semantics and Analysis of Component Connectors in ReoMohammad Reza Mousavi, Marjan Sirjani, Farhad Arbab. ENTCS, 154(1):83-99, 2006. [doi]

Using Reo for formal specification and verification of system designsNiloofar Razavi, Marjan Sirjani. memocode 2006: 113-122 [doi]

Rebeca: Theory, Applications, and ToolsMarjan Sirjani. FMCO 2007: 102-126 [doi]

Compositional Semantics of an Actor-Based Language Using Constraint AutomataMarjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab. coordination 2006: 281-297 [doi]

Generating Test Cases for Constraint Automata by Genetic Symbiosis AlgorithmSamira Tasharofi, Sepand Ansari, Marjan Sirjani. icfem 2006: 478-493 [doi]

2005

Synthesis of Reo Circuits for Implementation of Component-Connector Automata SpecificationsFarhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani. coordination 2005: 236-251 [doi]

Efficient Symmetry Reduction for an Actor-Based ModelMohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar. icdcit 2005: 494-507 [doi]

Model Checking, Automated Abstraction, and Compositional Verification of Rebeca ModelsMarjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer. jucs, 11(6):1054-1082, 2005. [doi]

Extended Rebeca: A Component-Based Actor Language with Synchronous Message PassingMarjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali. acsd 2005: 212-221 [doi]

Modular Verification of a Component-Based Actor LanguageMarjan Sirjani, Frank S. de Boer, Ali Movaghar-Rahimabadi. jucs, 11(10):1695-1717, 2005. [doi]

2004

2003

Model Checking in RebecaMarjan Sirjani, Ali Movaghar, Hamed Iravanchi, Mohammad Mahdi Jaghoori, Amin Shali. pdpta 2003: 1819-1822

2002

Simulation in RebecaMarjan Sirjani, Ali Movaghar. pdpta 2002: 923-926