The SCEAS System
| |||||||

## Search the dblp DataBase
Mohammad Reza Mousavi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - 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] - Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers
**SOS for Higher Order Processes.**[Citation Graph (0, 0)][DBLP] CONCUR, 2005, pp:308-322 [Conf] - 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] - 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] - 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] - Mohammad Reza Mousavi, Michel A. Reniers
**Congruence for Structural Congruences.**[Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:47-62 [Conf] - 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] - Mohammad Reza Mousavi, Michel A. Reniers
**Orthogonal Extensions in Structural Operational Semantics.**[Citation Graph (0, 0)][DBLP] ICALP, 2005, pp:1214-1225 [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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] **Model Checking Verilog Descriptions of Cell Libraries.**[Citation Graph (, )][DBLP]**Process algebraic verification of SystemC codes.**[Citation Graph (, )][DBLP]**A Rule Format for Associativity.**[Citation Graph (, )][DBLP]**Checking and deriving module paths in Verilog cell library descriptions.**[Citation Graph (, )][DBLP]**Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras.**[Citation Graph (, )][DBLP]**A framework for performance evaluation and functional verification in stochastic process algebras.**[Citation Graph (, )][DBLP]**A Rule Format for Unit Elements.**[Citation Graph (, )][DBLP]**Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models.**[Citation Graph (, )][DBLP]**Rule Formats for Determinism and Idempotence.**[Citation Graph (, )][DBLP]**Symmetry and partial order reduction techniques in model checking Rebeca.**[Citation Graph (, )][DBLP]**Causality in the Semantics of Esterel: Revisited**[Citation Graph (, )][DBLP]**A Congruence Rule Format with Universal Quantification.**[Citation Graph (, )][DBLP]**PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems.**[Citation Graph (, )][DBLP]
Search in 0.058secs, Finished in 0.059secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |