|
Search the dblp DataBase
Marjan Sirjani:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Marjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali
Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing. [Citation Graph (0, 0)][DBLP] ACSD, 2005, pp:212-221 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ACSD, 2004, pp:145-150 [Conf]
- Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications. [Citation Graph (0, 0)][DBLP] COORDINATION, 2005, pp:236-251 [Conf]
- Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab
Compositional Semantics of an Actor-Based Language Using Constraint Automata. [Citation Graph (0, 0)][DBLP] COORDINATION, 2006, pp:281-297 [Conf]
- Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar
Efficient Symmetry Reduction for an Actor-Based Model. [Citation Graph (0, 0)][DBLP] ICDCIT, 2005, pp:494-507 [Conf]
- Samira Tasharofi, Sepand Ansari, Marjan Sirjani
Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm. [Citation Graph (0, 0)][DBLP] ICFEM, 2006, pp:478-493 [Conf]
- Nikunj R. Mehta, Nenad Medvidovic, Marjan Sirjani, Farhad Arbab
Modeling Behavior in Compositions of Software Architectural Primitives. [Citation Graph (0, 0)][DBLP] ASE, 2004, pp:371-374 [Conf]
- Marjan Sirjani, Ali Movaghar
Simulation in Rebeca. [Citation Graph (0, 0)][DBLP] PDPTA, 2002, pp:923-926 [Conf]
- Marjan Sirjani, Ali Movaghar, Hamed Iravanchi, Mohammad Mahdi Jaghoori, Amin Shali
Model Checking in Rebeca. [Citation Graph (0, 0)][DBLP] PDPTA, 2003, pp:1819-1822 [Conf]
- Mohammad Mahdi Jaghoori, Ali Movaghar, Marjan Sirjani
Modere: the model-checking engine of Rebeca. [Citation Graph (0, 0)][DBLP] SAC, 2006, pp:1810-1815 [Conf]
- S. Fatemeh Alavizadeh, Marjan Sirjani
Using UML to Develop Verifiable Reactive Systems. [Citation Graph (0, 0)][DBLP] Software Engineering Research and Practice, 2006, pp:554-561 [Conf]
- Fatemeh Ghassemi, Naser Nemat Bakhsh, Behrouz Tork Ladani, Marjan Sirjani
Specification and Implementation of Multi-Agent Organizations. [Citation Graph (0, 0)][DBLP] WEBIST (1), 2006, pp:447-453 [Conf]
- Farhad Arbab, Christel Baier, Jan J. M. M. Rutten, Marjan Sirjani
Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract). [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:25-46 [Journal]
- Farhad Arbab, Marjan Sirjani
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:1-2 [Journal]
- Fatemeh Ghassemi, Samira Tasharofi, Marjan Sirjani
Automated Mapping of Reo Circuits to Constraint Automata. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:99-115 [Journal]
- Hossein Hojjat, Hootan Nakhost, Marjan Sirjani
Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:139-154 [Journal]
- Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arbab
Formal Semantics and Analysis of Component Connectors in Reo. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:154, n:1, pp:83-99 [Journal]
- Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer
Modeling and Verification of Reactive Systems using Rebeca. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2004, v:63, n:4, pp:385-410 [Journal]
- Marjan Sirjani, Frank S. de Boer, Ali Movaghar-Rahimabadi
Modular Verification of a Component-Based Actor Language. [Citation Graph (0, 0)][DBLP] J. UCS, 2005, v:11, n:10, pp:1695-1717 [Journal]
- Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. [Citation Graph (0, 0)][DBLP] J. UCS, 2005, v:11, n:6, pp:1054-1082 [Journal]
- Christel Baier, Marjan Sirjani, Farhad Arbab, Jan J. M. M. Rutten
Modeling component connectors in Reo by constraint automata. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2006, v:61, n:2, pp:75-113 [Journal]
- Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote
Sarir: A Rebeca to mCRL2 Translator. [Citation Graph (0, 0)][DBLP] ACSD, 2007, pp:216-222 [Conf]
- Mohammad Reza Kakoee, Hamid Shojaei, Hassan Ghasemzadeh, Marjan Sirjani, Zainalabedin Navabi
A New Approach for Design and Verification of Transaction Level Models. [Citation Graph (0, 0)][DBLP] ISCAS, 2007, pp:3760-3763 [Conf]
- Niloofar Razavi, Marjan Sirjani
Using Reo for formal specification and verification of system designs. [Citation Graph (0, 0)][DBLP] MEMOCODE, 2006, pp:113-122 [Conf]
- Niloofar Razavi, Marjan Sirjani
Compositional Semantics of System-Level Designs Written in SystemC. [Citation Graph (0, 0)][DBLP] FSEN, 2007, pp:113-128 [Conf]
Process algebraic verification of SystemC codes. [Citation Graph (, )][DBLP]
An effective approach for model checking SystemC designs. [Citation Graph (, )][DBLP]
Modeling and Analysis of Reo Connectors Using Alloy. [Citation Graph (, )][DBLP]
Rebeca: Theory, Applications, and Tools. [Citation Graph (, )][DBLP]
A framework for performance evaluation and functional verification in stochastic process algebras. [Citation Graph (, )][DBLP]
Formal analysis of policy-based self-adaptive systems. [Citation Graph (, )][DBLP]
Modeling Web Service Interactions Using the Coordination Language Reo. [Citation Graph (, )][DBLP]
ReUML: a UML Profile for Modeling and Verification of Reactive Systems. [Citation Graph (, )][DBLP]
QoS Aspects in Web Services Compositions. [Citation Graph (, )][DBLP]
Bounded Rational Search for On-the-Fly Model Checking of LTL Properties. [Citation Graph (, )][DBLP]
Modeling networking issues of network-on-chip: a coloured petri nets approach. [Citation Graph (, )][DBLP]
Symmetry and partial order reduction techniques in model checking Rebeca. [Citation Graph (, )][DBLP]
Comparing Three Coordination Models: Reo, ARC, and RRD. [Citation Graph (, )][DBLP]
Automated Analysis of Reo Circuits using Symbolic Execution. [Citation Graph (, )][DBLP]
Preface. [Citation Graph (, )][DBLP]
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM. [Citation Graph (, )][DBLP]
Slicing-based Reductions for Rebeca. [Citation Graph (, )][DBLP]
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. [Citation Graph (, )][DBLP]
Search in 0.009secs, Finished in 0.010secs
|