Mohammad Reza Mousavi

2008
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]
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	Francien Dechesne	[23]
9	Murdoch Gabbay	[11]
10	Marc Geilen	[18] [19]
11	Amir Hossein Ghamarian	[18] [19]
12	Jan Friso Groote	[3] [5] [6] [13] [20] [25]
13	Paul Le Guernic	[4]
14	Hossein Hojjat	[25] [26]
15	Anna Ingólfsdóttir	[24]
16	Mohammad Mahdi Jaghoori	[8]
17	E. Korshunova	[16]
18	A. J. M. Moonen	[19]
19	Ali Movaghar-Rahimabadi (Ali Movaghar)	[8]
20	Simona Orzan	[23]
21	Marija Petkovic	[16]
22	Iain C. C. Phillips (Iain Phillips)	[17]
23	Michel A. Reniers	[1] [2] [3] [5] [6] [7] [9] [10] [11] [13] [14] [17] [20] [21] [22]
24	Sandeep K. Shukla	[4]
25	Marjan Sirjani	[8] [15] [25] [26]
26	Sander Stuijk	[18] [19]
27	Jean-Pierre Talpin	[4]
28	Bart D. Theelen	[18] [19]
29	Irek Ulidowski	[17]

Colors in the list of coauthors