Mohammad Reza Mousavi

2009
30	EE	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	EE	Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: Process algebraic verification of SystemC codes. ACSD 2008: 62-67
28	EE	Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Reniers: A Rule Format for Associativity. CONCUR 2008: 447-461
27	EE	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	EE	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	EE	Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote: Sarir: A Rebeca to mCRL2 Translator. ACSD 2007: 216-222
24	EE	Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi: Impossibility Results for the Equational Theory of Timed CCS. CALCO 2007: 80-95
23	EE	Francien Dechesne, Mohammad Reza Mousavi, Simona Orzan: Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. LPAR 2007: 226-241
22	EE	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	EE	Mohammad Reza Mousavi, Michel A. Reniers: A Congruence Rule Format with Universal Quantification. Electr. Notes Theor. Comput. Sci. 192(1): 109-124 (2007)
20	EE	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	EE	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	EE	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	EE	Mohammad Reza Mousavi, Iain C. C. Phillips, Michel A. Reniers, Irek Ulidowski: The Meaning of Ordered SOS. FSTTCS 2006: 333-344
16	EE	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	EE	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	EE	Mohammad Reza Mousavi, Michel A. Reniers: Prototyping SOS Meta-theory in Maude. Electr. Notes Theor. Comput. Sci. 156(1): 135-150 (2006)
13	EE	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	EE	Mohammad Reza Mousavi: Towards SOS Meta-Theory for Language-Based Security. Electr. Notes Theor. Comput. Sci. 162: 267-271 (2006)
2005
11	EE	Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers: SOS for Higher Order Processes. CONCUR 2005: 308-322
10	EE	Mohammad Reza Mousavi, Michel A. Reniers: Congruence for Structural Congruences. FoSSaCS 2005: 47-62
9	EE	Mohammad Reza Mousavi, Michel A. Reniers: Orthogonal Extensions in Structural Operational Semantics. ICALP 2005: 1214-1225
8	EE	Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar: Efficient Symmetry Reduction for an Actor-Based Model. ICDCIT 2005: 494-507
7	EE	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	EE	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	EE	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	EE	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	EE	Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote: Congruence for SOS with Data. LICS 2004: 303-312
2003
2	EE	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	EE	Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron: PARS: A Process Algebra with Resources and Schedulers. FORMATS 2003: 134-150

Coauthor Index

1	Luca Aceto	[24] [27]
2	Farhad Arbab	[15]
3	Jos C. M. Baeten	[7]
4	Twan Basten	[1] [2] [4] [18] [19]
5	Marco Bekooij	[19]
6	Mark van den Brand (M. G. J. van den Brand)	[16]
7	Michel R. V. Chaudron	[1] [2]
8	Sjoerd Cranen	[28]
9	Francien Dechesne	[23]
10	Wan Fokkink	[27]
11	Murdoch James Gabbay (Murdoch Gabbay)	[11]
12	Marc Geilen	[18] [19]
13	Amir Hossein Ghamarian	[18] [19]
14	Jan Friso Groote	[3] [5] [6] [13] [20] [25]
15	Paul Le Guernic	[4]
16	Hossein Hojjat	[25] [26] [29]
17	Anna Ingólfsdóttir	[24] [27]
18	Mohammad Mahdi Jaghoori	[8]
19	E. Korshunova	[16]
20	A. J. M. Moonen	[19]
21	Ali Movaghar-Rahimabadi (Ali Movaghar)	[8]
22	Simona Orzan	[23]
23	Marija Petkovic	[16]
24	Iain C. C. Phillips (Iain Phillips)	[17] [30]
25	Michel A. Reniers	[1] [2] [3] [5] [6] [7] [9] [10] [11] [13] [14] [17] [20] [21] [22] [28] [30]
26	Sandeep K. Shukla	[4]
27	Marjan Sirjani	[8] [15] [25] [26] [29]
28	Sander Stuijk	[18] [19]
29	Jean-Pierre Talpin	[4]
30	Bart D. Theelen	[18] [19]
31	Irek Ulidowski	[17] [30]