Mohammad Reza Mousavi Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca 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
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad Reza Mousavi, António Ravara: Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures FOCLASA 2011
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Mohammad Reza Mousavi: Proceedings First International Workshop on Process Algebra and Coordination PACO 2011
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Raffelsieper, Mohammad Reza Mousavi: Symbolic Power Analysis of Cell Libraries. FMICS 2011: 134-148
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHamid Reza Asaadi, Ramtin Khosravi, Mohammad Reza Mousavi, Neda Noroozi: Towards Model-Based Testing of Electronic Funds Transfer Systems. FSEN 2011: 253-267
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi: Decompositional Reasoning about the History of Parallel Processes. FSEN 2011: 32-47
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: Rule Formats for Distributivity. LATA 2011: 80-91
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse: Synchronizing Asynchronous Conformance Testing. SEFM 2011: 334-349
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Raffelsieper, Mohammad Reza Mousavi, J. Sleuters: Process Algebra as a Common Framework for Hardware/Software Coverification. Embedded Systems Letters 3(1): 9-12 (2011)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: Formal Analysis of SystemC Designs in Process Algebra. Fundam. Inform. 107(1): 19-42 (2011)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema: Long-run order-independence of vector-based transition systems. IET Computers & Digital Techniques 5(6): 468-478 (2011)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca 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
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad Reza Mousavi, Gwen Salaün: Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures FOCLASA 2010
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema: Order-Independence of Vector-Based Transition Systems. ACSD 2010: 115-123
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Raffelsieper, Mohammad Reza Mousavi, Chris W. H. Strolenberg: Checking and deriving module paths in Verilog cell library descriptions. DATE 2010: 1506-1511
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter D. Mosses, Mohammad Reza Mousavi, Michel A. Reniers: Robustness of Equations Under Operational Extensions EXPRESS'10 2010: 106-120
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHelle 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
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: A Rule Format for Unit Elements. SOFSEM 2010: 141-152
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMuhammad Atif, Mohammad Reza Mousavi: Formal specification and analysis of accelerated heartbeat protocols. SummerSim 2010: 403-412
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad 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)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca 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)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNarges 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)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca 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)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHelle 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
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Raffelsieper, Jan-Willem Roorda, Mohammad Reza Mousavi: Model Checking Verilog Descriptions of Cell Libraries. ACSD 2009: 128-137
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias 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
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: Rule Formats for Determinism and Idempotence. FSEN 2009: 146-161
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad Reza Mousavi: Causality in the Semantics of Esterel: Revisited SOS 2009: 32-45
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad Reza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski: Semantics and expressiveness of ordered SOS. Inf. Comput. 207(2): 85-119 (2009)
2008
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: Process algebraic verification of SystemC codes. ACSD 2008: 62-67
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSjoerd Cranen, Mohammad Reza Mousavi, Michel A. Reniers: A Rule Format for Associativity. CONCUR 2008: 447-461
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca 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
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: A framework for performance evaluation and functional verification in stochastic process algebras. SAC 2008: 339-346
2007
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote: Sarir: A Rebeca to mCRL2 Translator. ACSD 2007: 216-222
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi: Impossibility Results for the Equational Theory of Timed CCS. CALCO 2007: 80-95
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancien Dechesne, Mohammad Reza Mousavi, Simona Orzan: Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. LPAR 2007: 226-241
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad 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)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad Reza Mousavi, Michel A. Reniers: A Congruence Rule Format with Universal Quantification. Electr. Notes Theor. Comput. Sci. 192(1): 109-124 (2007)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad 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
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmir 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
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmir 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad Reza Mousavi, Iain C. C. Phillips, Michel A. Reniers, Irek Ulidowski: The Meaning of Ordered SOS. FSTTCS 2006: 333-344
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLE. 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad 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)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad Reza Mousavi, Michel A. Reniers: Prototyping SOS Meta-theory in Maude. Electr. Notes Theor. Comput. Sci. 156(1): 135-150 (2006)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Friso Groote, Mohammad Reza Mousavi, Michel A. Reniers: A Hierarchy of SOS Rule Formats. Electr. Notes Theor. Comput. Sci. 156(1): 3-25 (2006)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad Reza Mousavi: Towards SOS Meta-Theory for Language-Based Security. Electr. Notes Theor. Comput. Sci. 162: 267-271 (2006)
2005
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers: SOS for Higher Order Processes. CONCUR 2005: 308-322
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad Reza Mousavi, Michel A. Reniers: Congruence for Structural Congruences. FoSSaCS 2005: 47-62
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad Reza Mousavi, Michel A. Reniers: Orthogonal Extensions in Structural Operational Semantics. ICALP 2005: 1214-1225
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar: Efficient Symmetry Reduction for an Actor-Based Model. ICDCIT 2005: 494-507
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJos C. M. Baeten, Mohammad Reza Mousavi, Michel A. Reniers: Timing the Untimed: Terminating Successfully While Being Conservative. Processes, Terms and Cycles 2005: 251-279
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad 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)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote: A syntactic commutativity format for SOS. Inf. Process. Lett. 93(5): 217-223 (2005)
2004
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad 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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote: Congruence for SOS with Data. LICS 2004: 303-312
2003
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad 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

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

Colors in the list of coauthors

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