Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Mohammad Reza Mousavi
2010 – today
- 2013
[j24]- [c44]Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. CALCO 2013: 36-50
- [c43]Martin Churchill, Peter D. Mosses, Mohammad Reza Mousavi: Modular Semantics for Transition System Specifications with Negative Premises. CONCUR 2013: 46-60
- [c42]Sarmen Keshishzadeh, Arjan J. Mooij, Mohammad Reza Mousavi: Early Fault Detection in DSLs Using SMT Solving and Automated Debugging. SEFM 2013: 182-196
- [c41]Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse: Decomposability in Input Output Conformance Testing. MBT 2013: 51-66
- [i1]Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi: Algebraic Meta-Theory of Processes with Data. CoRR abs/1307.7444 (2013)
- 2012
- [j23]Matteo Cimini, Mohammad Reza Mousavi, Michel A. Reniers, Murdoch James Gabbay: Nominal SOS. Electr. Notes Theor. Comput. Sci. 286: 103-116 (2012)
- [j22]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)
- [j21]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)
- [j20]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)
- [c40]Matthias Woehrle, Rena Bakhshi, Mohammad Reza Mousavi: Mechanized Extraction of Topology Anti-patterns in Wireless Networks. IFM 2012: 158-173
- [c39]Vivek Vishal, Mehmet Kovacioglu, Rachid Kherazi, Mohammad Reza Mousavi: Integrating Model-Based and Constraint-Based Testing Using SpecExplorer. ISSRE Workshops 2012: 219-224
- [c38]Muhammad Atif, Mohammad Reza Mousavi, A. Osaiweran: Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems. SAC 2012: 478-485
- 2011
- [j19]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)
- [j18]Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: Formal Analysis of SystemC Designs in Process Algebra. Fundam. Inform. 107(1): 19-42 (2011)
- [j17]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)
- [j16]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)
- [c37]Matthias Raffelsieper, Mohammad Reza Mousavi: Symbolic Power Analysis of Cell Libraries. FMICS 2011: 134-148
- [c36]Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi: Decompositional Reasoning about the History of Parallel Processes. FSEN 2011: 32-47
- [c35]Hamid Reza Asaadi, Ramtin Khosravi, Mohammad Reza Mousavi, Neda Noroozi: Towards Model-Based Testing of Electronic Funds Transfer Systems. FSEN 2011: 253-267
- [c34]Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: Rule Formats for Distributivity. LATA 2011: 80-91
- [c33]Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse: Synchronizing Asynchronous Conformance Testing. SEFM 2011: 334-349
- [c32]Francien Dechesne, Mohammad Reza Mousavi: Interpreted Systems Semantics for Process Algebra with Identity Annotations. TbiLLC 2011: 182-205
- [e3]Mohammad Reza Mousavi, António Ravara (Eds.): Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures. EPTCS 58, 2011
- [e2]Luca Aceto, Mohammad Reza Mousavi (Eds.): Proceedings First International Workshop on Process Algebra and Coordination. EPTCS 60, 2011
- 2010
- [j15]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)
- [j14]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)
- [j13]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)
- [j12]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)
- [j11]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)
- [c31]Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema: Order-Independence of Vector-Based Transition Systems. ACSD 2010: 115-123
- [c30]Matthias Raffelsieper, Mohammad Reza Mousavi, Chris W. H. Strolenberg: Checking and deriving module paths in Verilog cell library descriptions. DATE 2010: 1506-1511
- [c29]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
- [c28]Muhammad Atif, Mohammad Reza Mousavi: Formal specification and analysis of accelerated heartbeat protocols. SummerSim 2010: 403-412
- [c27]Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: A Rule Format for Unit Elements. SOFSEM 2010: 141-152
- [c26]Peter D. Mosses, Mohammad Reza Mousavi, Michel A. Reniers: Robustness of Equations Under Operational Extensions. EXPRESS'10 2010: 106-120
- [e1]Mohammad Reza Mousavi, Gwen Salaün (Eds.): Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures. EPTCS 30, 2010
2000 – 2009
- 2009
- [j10]Mohammad Reza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski: Semantics and expressiveness of ordered SOS. Inf. Comput. 207(2): 85-119 (2009)
- [c25]Matthias Raffelsieper, Jan-Willem Roorda, Mohammad Reza Mousavi: Model Checking Verilog Descriptions of Cell Libraries. ACSD 2009: 128-137
- [c24]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
- [c23]Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: Rule Formats for Determinism and Idempotence. FSEN 2009: 146-161
- [c22]
- 2008
- [c21]Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: Process algebraic verification of SystemC codes. ACSD 2008: 62-67
- [c20]Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Reniers: A Rule Format for Associativity. CONCUR 2008: 447-461
- [c19]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
- [c18]Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: A framework for performance evaluation and functional verification in stochastic process algebras. SAC 2008: 339-346
- 2007
- [j9]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)
- [j8]Mohammad Reza Mousavi, Michel A. Reniers: A Congruence Rule Format with Universal Quantification. Electr. Notes Theor. Comput. Sci. 192(1): 109-124 (2007)
- [j7]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)
- [c17]Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote: Sarir: A Rebeca to mCRL2 Translator. ACSD 2007: 216-222
- [c16]Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi: Impossibility Results for the Equational Theory of Timed CCS. CALCO 2007: 80-95
- [c15]Francien Dechesne, Mohammad Reza Mousavi, Simona Orzan: Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. LPAR 2007: 226-241
- 2006
- [j6]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)
- [j5]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)
- [j4]Mohammad Reza Mousavi, Michel A. Reniers: Prototyping SOS Meta-theory in Maude. Electr. Notes Theor. Comput. Sci. 156(1): 135-150 (2006)
- [j3]Mohammad Reza Mousavi: Towards SOS Meta-Theory for Language-Based Security. Electr. Notes Theor. Comput. Sci. 162: 267-271 (2006)
- [c14]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
- [c13]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
- [c12]Mohammad Reza Mousavi, Iain C. C. Phillips, Michel A. Reniers, Irek Ulidowski: The Meaning of Ordered SOS. FSTTCS 2006: 333-344
- [c11]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
- 2005
- [j2]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)
- [j1]Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote: A syntactic commutativity format for SOS. Inf. Process. Lett. 93(5): 217-223 (2005)
- [c10]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
- [c9]Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers: SOS for Higher Order Processes. CONCUR 2005: 308-322
- [c8]Mohammad Reza Mousavi, Michel A. Reniers: Congruence for Structural Congruences. FoSSaCS 2005: 47-62
- [c7]Mohammad Reza Mousavi, Michel A. Reniers: Orthogonal Extensions in Structural Operational Semantics. ICALP 2005: 1214-1225
- [c6]Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar: Efficient Symmetry Reduction for an Actor-Based Model. ICDCIT 2005: 494-507
- 2004
- [c5]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
- [c4]Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote: Congruence for SOS with Data. LICS 2004: 303-312
- 2003
- [c3]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
- [c2]Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron: PARS: A Process Algebra with Resources and Schedulers. FORMATS 2003: 134-150
- 2002
- [c1]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
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:24 CEST by the dblp team