The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marjan Sirjani: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. Marjan Sirjani, Ali Movaghar
    Simulation in Rebeca. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2002, pp:923-926 [Conf]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. Farhad Arbab, Marjan Sirjani
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:1-2 [Journal]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. Niloofar Razavi, Marjan Sirjani
    Compositional Semantics of System-Level Designs Written in SystemC. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:113-128 [Conf]

  26. Process algebraic verification of SystemC codes. [Citation Graph (, )][DBLP]


  27. An effective approach for model checking SystemC designs. [Citation Graph (, )][DBLP]


  28. Modeling and Analysis of Reo Connectors Using Alloy. [Citation Graph (, )][DBLP]


  29. Rebeca: Theory, Applications, and Tools. [Citation Graph (, )][DBLP]


  30. A framework for performance evaluation and functional verification in stochastic process algebras. [Citation Graph (, )][DBLP]


  31. Formal analysis of policy-based self-adaptive systems. [Citation Graph (, )][DBLP]


  32. Modeling Web Service Interactions Using the Coordination Language Reo. [Citation Graph (, )][DBLP]


  33. ReUML: a UML Profile for Modeling and Verification of Reactive Systems. [Citation Graph (, )][DBLP]


  34. QoS Aspects in Web Services Compositions. [Citation Graph (, )][DBLP]


  35. Bounded Rational Search for On-the-Fly Model Checking of LTL Properties. [Citation Graph (, )][DBLP]


  36. Modeling networking issues of network-on-chip: a coloured petri nets approach. [Citation Graph (, )][DBLP]


  37. Symmetry and partial order reduction techniques in model checking Rebeca. [Citation Graph (, )][DBLP]


  38. Comparing Three Coordination Models: Reo, ARC, and RRD. [Citation Graph (, )][DBLP]


  39. Automated Analysis of Reo Circuits using Symbolic Execution. [Citation Graph (, )][DBLP]


  40. Preface. [Citation Graph (, )][DBLP]


  41. Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM. [Citation Graph (, )][DBLP]


  42. Slicing-based Reductions for Rebeca. [Citation Graph (, )][DBLP]


  43. PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002