The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mohammad Reza Mousavi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron
    Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems. [Citation Graph (0, 0)][DBLP]
    ACSD, 2003, pp:71-81 [Conf]
  2. Amir Hossein Ghamarian, Marc Geilen, Sander Stuijk, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, A. J. M. Moonen, Marco Bekooij
    Throughput Analysis of Synchronous Data Flow Graphs. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:25-36 [Conf]
  3. Jos C. M. Baeten, Mohammad Reza Mousavi, Michel A. Reniers
    Timing the Untimed: Terminating Successfully While Being Conservative. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:251-279 [Conf]
  4. Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers
    SOS for Higher Order Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:308-322 [Conf]
  5. Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierre Talpin, Sandeep K. Shukla, Twan Basten
    Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks. [Citation Graph (0, 0)][DBLP]
    DATE, 2004, pp:384-389 [Conf]
  6. Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, Sander Stuijk
    Liveness and Boundedness of Synchronous Data Flow Graphs. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2006, pp:68-75 [Conf]
  7. Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron
    PARS: A Process Algebra with Resources and Schedulers. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2003, pp:134-150 [Conf]
  8. Mohammad Reza Mousavi, Michel A. Reniers
    Congruence for Structural Congruences. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:47-62 [Conf]
  9. Mohammad Reza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski
    The Meaning of Ordered SOS. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2006, pp:333-344 [Conf]
  10. Mohammad Reza Mousavi, Michel A. Reniers
    Orthogonal Extensions in Structural Operational Semantics. [Citation Graph (0, 0)][DBLP]
    ICALP, 2005, pp:1214-1225 [Conf]
  11. 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]
  12. Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
    Congruence for SOS with Data. [Citation Graph (0, 0)][DBLP]
    LICS, 2004, pp:303-312 [Conf]
  13. E. Korshunova, Marija Petkovic, M. G. J. van den Brand, Mohammad Reza Mousavi
    CPP2XMI: Reverse Engineering of UML Class, Sequence, and Activity Diagrams from C++ Source Code. [Citation Graph (0, 0)][DBLP]
    WCRE, 2006, pp:297-298 [Conf]
  14. Jan Friso Groote, Mohammad Reza Mousavi, Michel A. Reniers
    A Hierarchy of SOS Rule Formats. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:156, n:1, pp:3-25 [Journal]
  15. Mohammad Reza Mousavi, Michel A. Reniers
    Prototyping SOS Meta-theory in Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:156, n:1, pp:135-150 [Journal]
  16. 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]
  17. Mohammad Reza Mousavi
    Towards SOS Meta-Theory for Language-Based Security. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:267-271 [Journal]
  18. Mohammad Reza Mousavi, Michel A. Reniers
    On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:1, pp:45-56 [Journal]
  19. Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
    Notions of bisimulation and congruence formats for SOS with data. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:200, n:1, pp:107-147 [Journal]
  20. Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
    A syntactic commutativity format for SOS. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2005, v:93, n:5, pp:217-223 [Journal]
  21. Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
    SOS formats and meta-theory: 20 years after. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:373, n:3, pp:238-272 [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. Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi
    Impossibility Results for the Equational Theory of Timed CCS. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:80-95 [Conf]
  24. Francien Dechesne, Mohammad Reza Mousavi, Simona Orzan
    Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. [Citation Graph (0, 0)][DBLP]
    LPAR, 2007, pp:226-241 [Conf]

  25. Model Checking Verilog Descriptions of Cell Libraries. [Citation Graph (, )][DBLP]


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


  27. A Rule Format for Associativity. [Citation Graph (, )][DBLP]


  28. Checking and deriving module paths in Verilog cell library descriptions. [Citation Graph (, )][DBLP]


  29. Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras. [Citation Graph (, )][DBLP]


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


  31. A Rule Format for Unit Elements. [Citation Graph (, )][DBLP]


  32. Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models. [Citation Graph (, )][DBLP]


  33. Rule Formats for Determinism and Idempotence. [Citation Graph (, )][DBLP]


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


  35. Causality in the Semantics of Esterel: Revisited [Citation Graph (, )][DBLP]


  36. A Congruence Rule Format with Universal Quantification. [Citation Graph (, )][DBLP]


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


Search in 0.024secs, Finished in 0.025secs
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