| 2010 | ||
|---|---|---|
| 33 | Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: A Rule Format for Unit Elements. SOFSEM 2010: 141-152 | |
| 2009 | ||
| 32 | Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-Willem Roorda, Chris W. H. Strolenberg, Hans Zantema: Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models. FMICS 2009: 133-148 | |
| 31 | Luca Aceto, Arnar Birgisson, Anna Ingolfsdottir, Mohammad Reza Mousavi, Michel A. Reniers: Rule Formats for Determinism and Idempotence. FSEN 2009: 146-161 | |
| 30 | Mohammad Reza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski: Semantics and expressiveness of ordered SOS. Inf. Comput. 207(2): 85-119 (2009) | |
| 2008 | ||
| 29 | Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: Process algebraic verification of SystemC codes. ACSD 2008: 62-67 | |
| 28 | Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Reniers: A Rule Format for Associativity. CONCUR 2008: 447-461 | |
| 27 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi: Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras. IFIP TCS 2008: 301-316 | |
| 26 | Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: A framework for performance evaluation and functional verification in stochastic process algebras. SAC 2008: 339-346 | |
| 2007 | ||
| 25 | Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote: Sarir: A Rebeca to mCRL2 Translator. ACSD 2007: 216-222 | |
| 24 | Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi: Impossibility Results for the Equational Theory of Timed CCS. CALCO 2007: 80-95 | |
| 23 | Francien Dechesne, Mohammad Reza Mousavi, Simona Orzan: Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. LPAR 2007: 226-241 | |
| 22 | Mohammad Reza Mousavi, Michel A. Reniers: On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference. Electr. Notes Theor. Comput. Sci. 175(1): 45-56 (2007) | |
| 21 | Mohammad Reza Mousavi, Michel A. Reniers: A Congruence Rule Format with Universal Quantification. Electr. Notes Theor. Comput. Sci. 192(1): 109-124 (2007) | |
| 20 | Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote: SOS formats and meta-theory: 20 years after. Theor. Comput. Sci. 373(3): 238-272 (2007) | |
| 2006 | ||
| 19 | 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. ACSD 2006: 25-36 | |
| 18 | Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, Sander Stuijk: Liveness and Boundedness of Synchronous Data Flow Graphs. FMCAD 2006: 68-75 | |
| 17 | Mohammad Reza Mousavi, Iain C. C. Phillips, Michel A. Reniers, Irek Ulidowski: The Meaning of Ordered SOS. FSTTCS 2006: 333-344 | |
| 16 | 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. WCRE 2006: 297-298 | |
| 15 | Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arbab: Formal Semantics and Analysis of Component Connectors in Reo. Electr. Notes Theor. Comput. Sci. 154(1): 83-99 (2006) | |
| 14 | Mohammad Reza Mousavi, Michel A. Reniers: Prototyping SOS Meta-theory in Maude. Electr. Notes Theor. Comput. Sci. 156(1): 135-150 (2006) | |
| 13 | Jan Friso Groote, Mohammad Reza Mousavi, Michel A. Reniers: A Hierarchy of SOS Rule Formats. Electr. Notes Theor. Comput. Sci. 156(1): 3-25 (2006) | |
| 12 | Mohammad Reza Mousavi: Towards SOS Meta-Theory for Language-Based Security. Electr. Notes Theor. Comput. Sci. 162: 267-271 (2006) | |
| 2005 | ||
| 11 | Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers: SOS for Higher Order Processes. CONCUR 2005: 308-322 | |
| 10 | Mohammad Reza Mousavi, Michel A. Reniers: Congruence for Structural Congruences. FoSSaCS 2005: 47-62 | |
| 9 | Mohammad Reza Mousavi, Michel A. Reniers: Orthogonal Extensions in Structural Operational Semantics. ICALP 2005: 1214-1225 | |
| 8 | Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar: Efficient Symmetry Reduction for an Actor-Based Model. ICDCIT 2005: 494-507 | |
| 7 | Jos C. M. Baeten, Mohammad Reza Mousavi, Michel A. Reniers: Timing the Untimed: Terminating Successfully While Being Conservative. Processes, Terms and Cycles 2005: 251-279 | |
| 6 | Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote: Notions of bisimulation and congruence formats for SOS with data. Inf. Comput. 200(1): 107-147 (2005) | |
| 5 | Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote: A syntactic commutativity format for SOS. Inf. Process. Lett. 93(5): 217-223 (2005) | |
| 2004 | ||
| 4 | Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierre Talpin, Sandeep K. Shukla, Twan Basten: Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks. DATE 2004: 384-389 | |
| 3 | Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote: Congruence for SOS with Data. LICS 2004: 303-312 | |
| 2003 | ||
| 2 | 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. ACSD 2003: 71-81 | |
| 1 | Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron: PARS: A Process Algebra with Resources and Schedulers. FORMATS 2003: 134-150 | |