Mohammad Reza Mousavi

Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse: Decomposability in Input Output Conformance Testing. MBT 2013: 51-66

Matteo Cimini, Mohammad Reza Mousavi, Michel A. Reniers, Murdoch James Gabbay: Nominal SOS. Electr. Notes Theor. Comput. Sci. 286: 103-116 (2012)

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)

Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi: Formal modeling of evolving self-adaptive systems. Sci. Comput. Program. 78(1): 3-26 (2012)

Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: Rule formats for distributivity. Theor. Comput. Sci. 458: 1-28 (2012)

Matthias Woehrle, Rena Bakhshi, Mohammad Reza Mousavi: Mechanized Extraction of Topology Anti-patterns in Wireless Networks. IFM 2012: 158-173

Vivek Vishal, Mehmet Kovacioglu, Rachid Kherazi, Mohammad Reza Mousavi: Integrating Model-Based and Constraint-Based Testing Using SpecExplorer. ISSRE Workshops 2012: 219-224

Muhammad Atif, Mohammad Reza Mousavi, A. Osaiweran: Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems. SAC 2012: 478-485

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)

Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: Formal Analysis of SystemC Designs in Process Algebra. Fundam. Inform. 107(1): 19-42 (2011)

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)

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)

Matthias Raffelsieper, Mohammad Reza Mousavi: Symbolic Power Analysis of Cell Libraries. FMICS 2011: 134-148

Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi: Decompositional Reasoning about the History of Parallel Processes. FSEN 2011: 32-47

Hamid Reza Asaadi, Ramtin Khosravi, Mohammad Reza Mousavi, Neda Noroozi: Towards Model-Based Testing of Electronic Funds Transfer Systems. FSEN 2011: 253-267

Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: Rule Formats for Distributivity. LATA 2011: 80-91

Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse: Synchronizing Asynchronous Conformance Testing. SEFM 2011: 334-349

Francien Dechesne, Mohammad Reza Mousavi: Interpreted Systems Semantics for Process Algebra with Identity Annotations. TbiLLC 2011: 182-205

Mohammad Reza Mousavi, António Ravara (Eds.): Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures. EPTCS 58, 2011

Luca Aceto, Mohammad Reza Mousavi (Eds.): Proceedings First International Workshop on Process Algebra and Coordination. EPTCS 60, 2011

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)

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)

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)

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)

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)

Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema: Order-Independence of Vector-Based Transition Systems. ACSD 2010: 115-123

Matthias Raffelsieper, Mohammad Reza Mousavi, Chris W. H. Strolenberg: Checking and deriving module paths in Verilog cell library descriptions. DATE 2010: 1506-1511

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

Muhammad Atif, Mohammad Reza Mousavi: Formal specification and analysis of accelerated heartbeat protocols. SummerSim 2010: 403-412

Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: A Rule Format for Unit Elements. SOFSEM 2010: 141-152

Peter D. Mosses, Mohammad Reza Mousavi, Michel A. Reniers: Robustness of Equations Under Operational Extensions. EXPRESS'10 2010: 106-120

Mohammad Reza Mousavi, Gwen Salaün (Eds.): Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures. EPTCS 30, 2010

Mohammad Reza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski: Semantics and expressiveness of ordered SOS. Inf. Comput. 207(2): 85-119 (2009)

Matthias Raffelsieper, Jan-Willem Roorda, Mohammad Reza Mousavi: Model Checking Verilog Descriptions of Cell Libraries. ACSD 2009: 128-137

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

Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: Rule Formats for Determinism and Idempotence. FSEN 2009: 146-161

Mohammad Reza Mousavi: Causality in the Semantics of Esterel: Revisited. SOS 2009: 32-45

Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: Process algebraic verification of SystemC codes. ACSD 2008: 62-67

Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Reniers: A Rule Format for Associativity. CONCUR 2008: 447-461

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

Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: A framework for performance evaluation and functional verification in stochastic process algebras. SAC 2008: 339-346

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)

Mohammad Reza Mousavi, Michel A. Reniers: A Congruence Rule Format with Universal Quantification. Electr. Notes Theor. Comput. Sci. 192(1): 109-124 (2007)

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)

Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote: Sarir: A Rebeca to mCRL2 Translator. ACSD 2007: 216-222

Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi: Impossibility Results for the Equational Theory of Timed CCS. CALCO 2007: 80-95

Francien Dechesne, Mohammad Reza Mousavi, Simona Orzan: Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. LPAR 2007: 226-241

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)

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)

Mohammad Reza Mousavi, Michel A. Reniers: Prototyping SOS Meta-theory in Maude. Electr. Notes Theor. Comput. Sci. 156(1): 135-150 (2006)

Mohammad Reza Mousavi: Towards SOS Meta-Theory for Language-Based Security. Electr. Notes Theor. Comput. Sci. 162: 267-271 (2006)

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

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

Mohammad Reza Mousavi, Iain C. C. Phillips, Michel A. Reniers, Irek Ulidowski: The Meaning of Ordered SOS. FSTTCS 2006: 333-344

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

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)

Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote: A syntactic commutativity format for SOS. Inf. Process. Lett. 93(5): 217-223 (2005)

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

Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers: SOS for Higher Order Processes. CONCUR 2005: 308-322

Mohammad Reza Mousavi, Michel A. Reniers: Congruence for Structural Congruences. FoSSaCS 2005: 47-62

Mohammad Reza Mousavi, Michel A. Reniers: Orthogonal Extensions in Structural Operational Semantics. ICALP 2005: 1214-1225

Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar: Efficient Symmetry Reduction for an Actor-Based Model. ICDCIT 2005: 494-507

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

Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote: Congruence for SOS with Data. LICS 2004: 303-312

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

Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron: PARS: A Process Algebra with Resources and Schedulers. FORMATS 2003: 134-150

Mohammad Reza Mousavi, Giovanni Russello, Michel R. V. Chaudron, Michel A. Reniers, Twan Basten, Angelo Corsaro, Sandeep K. Shukla, Rajesh K. Gupta, Douglas C. Schmidt: Using Aspect-GAMMA in the design of embedded systems. HLDVT 2002: 69-74