Mohammad Reza Mousavi

	2012
58		Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: Rule formats for determinism and idempotence. Sci. Comput. Program. 77(7-8): 889-907 (2012)
	2011
57		Mohammad Reza Mousavi, António Ravara: Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures FOCLASA 2011
56		Luca Aceto, Mohammad Reza Mousavi: Proceedings First International Workshop on Process Algebra and Coordination PACO 2011
55		Matthias Raffelsieper, Mohammad Reza Mousavi: Symbolic Power Analysis of Cell Libraries. FMICS 2011: 134-148
54		Hamid Reza Asaadi, Ramtin Khosravi, Mohammad Reza Mousavi, Neda Noroozi: Towards Model-Based Testing of Electronic Funds Transfer Systems. FSEN 2011: 253-267
53		Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi: Decompositional Reasoning about the History of Parallel Processes. FSEN 2011: 32-47
52		Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: Rule Formats for Distributivity. LATA 2011: 80-91
51		Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse: Synchronizing Asynchronous Conformance Testing. SEFM 2011: 334-349
50		Matthias Raffelsieper, Mohammad Reza Mousavi, J. Sleuters: Process Algebra as a Common Framework for Hardware/Software Coverification. Embedded Systems Letters 3(1): 9-12 (2011)
49		Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: Formal Analysis of SystemC Designs in Process Algebra. Fundam. Inform. 107(1): 19-42 (2011)
48		Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema: Long-run order-independence of vector-based transition systems. IET Computers & Digital Techniques 5(6): 468-478 (2011)
47		Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: SOS rule formats for zero and unit elements. Theor. Comput. Sci. 412(28): 3045-3071 (2011)
	2010
46		Mohammad Reza Mousavi, Gwen Salaün: Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures FOCLASA 2010
45		Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema: Order-Independence of Vector-Based Transition Systems. ACSD 2010: 115-123
44		Matthias Raffelsieper, Mohammad Reza Mousavi, Chris W. H. Strolenberg: Checking and deriving module paths in Verilog cell library descriptions. DATE 2010: 1506-1511
43		Peter D. Mosses, Mohammad Reza Mousavi, Michel A. Reniers: Robustness of Equations Under Operational Extensions EXPRESS'10 2010: 106-120
42		Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol, Osmar Marchi dos Santos: Automated Verification of Executable UML Models. FMCO 2010: 225-250
41		Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: A Rule Format for Unit Elements. SOFSEM 2010: 141-152
40		Muhammad Atif, Mohammad Reza Mousavi: Formal specification and analysis of accelerated heartbeat protocols. SummerSim 2010: 403-412
39		Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, Ali Movaghar: Symmetry and partial order reduction techniques in model checking Rebeca. Acta Inf. 47(1): 33-66 (2010)
38		Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi: Lifting non-finite axiomatizability results to extensions of process algebras. Acta Inf. 47(3): 147-177 (2010)
37		Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi: PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. Electr. Notes Theor. Comput. Sci. 263: 129-143 (2010)
36		Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: On Rule Formats for Zero and Unit Elements. Electr. Notes Theor. Comput. Sci. 265: 145-160 (2010)
35		Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol: Towards model checking executable UML specifications in mCRL2. ISSE 6(1-2): 83-90 (2010)
	2009
34		Matthias Raffelsieper, Jan-Willem Roorda, Mohammad Reza Mousavi: Model Checking Verilog Descriptions of Cell Libraries. ACSD 2009: 128-137
33		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
32		Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: Rule Formats for Determinism and Idempotence. FSEN 2009: 146-161
31		Mohammad Reza Mousavi: Causality in the Semantics of Esterel: Revisited SOS 2009: 32-45
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

Coauthor Index

1	Luca Aceto	[24] [27] [32] [36] [38] [41] [47] [52] [53] [56] [58]
2	Farhad Arbab	[15]
3	Hamid Reza Asaadi	[54]
4	Muhammad Atif	[40]
5	Jos C. M. Baeten	[7]
6	Twan Basten	[1] [2] [4] [18] [19]
7	Marco Bekooij (Marco Jan Gerrit Bekooij)	[19]
8	Arnar Birgisson	[32] [53] [58]
9	Mark van den Brand (Mark G. J. van den Brand, M. G. J. van den Brand)	[16]
10	Michel R. V. Chaudron	[1] [2]
11	Matteo Cimini	[36] [47] [52]
12	Sjoerd Cranen	[28]
13	Francien Dechesne	[23]
14	Wan Fokkink	[27] [38]
15	Murdoch James Gabbay (Murdoch Gabbay)	[11]
16	Marc Geilen (Marc C. W. Geilen)	[18] [19]
17	Amir Hossein Ghamarian	[18] [19]
18	Jan Friso Groote	[3] [5] [6] [13] [20] [25]
19	Paul Le Guernic	[4]
20	Helle Hvid Hansen	[35] [42]
21	Hossein Hojjat	[25] [26] [29] [49]
22	Anna Ingólfsdóttir	[24] [27] [32] [36] [38] [41] [47] [52] [53] [58]
23	Mohammad Mahdi Jaghoori	[8] [39]
24	Saeed Jalili	[37]
25	Jeroen Ketema	[35] [42]
26	Narges Khakpour	[37]
27	Ehsan Khamespanah	[39]
28	Ramtin Khosravi	[51] [54]
29	E. Korshunova	[16]
30	Bas Luttik (S. P. Luttik)	[35] [42]
31	A. J. M. Moonen	[19]
32	Peter D. Mosses	[43]
33	Ali Movaghar-Rahimabadi (Ali Movaghar)	[8] [39]
34	Neda Noroozi	[51] [54]
35	Simona Orzan	[23]
36	Marija Petkovic	[16]
37	Iain C. C. Phillips (Iain Phillips)	[17] [30]
38	Jaco van de Pol	[35] [42]
39	Matthias Raffelsieper	[33] [34] [44] [45] [48] [50] [55]
40	António Ravara	[57]
41	Michel A. Reniers	[1] [2] [3] [5] [6] [7] [9] [10] [11] [13] [14] [17] [20] [21] [22] [28] [30] [32] [36] [41] [43] [47] [52] [58]
42	Jan-Willem Roorda	[33] [34]
43	Gwen Salaün	[46]
44	Osmar Marchi dos Santos	[42]
45	Sandeep K. Shukla (Sandeep Kumar Shukla)	[4]
46	Marjan Sirjani	[8] [15] [25] [26] [29] [37] [39] [49]
47	J. Sleuters	[50]
48	Chris W. H. Strolenberg	[33] [44]
49	Sander Stuijk	[18] [19]
50	Carolyn L. Talcott	[37]
51	Jean-Pierre Talpin	[4]
52	Bart D. Theelen	[18] [19]
53	Irek Ulidowski	[17] [30]
54	Tim A. C. Willemse	[51]
55	Hans Zantema	[33] [45] [48]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page