Publications (sorted by date):

    2010

  1. L. Aceto, W. Fokkink, A. Ingolfsdottir, M. R. Mousavi, Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras, Acta Informatica, Springer-Verlag, 2010.(*) In press.

  2. M.M. Jaghoori, M. Sirjani, M.R. Mousavi, E. Khamespanah and A. Movaghar. Symmetry and Partial Order Reduction Techniques in Model Checking Rebeca. Acta Informatica, 47(1):33-67, Springer-Verlag, 2010. (*)

  3. M. Raffelsieper, M.R. Mousavi and C. Strolenberg. Checking and Deriving Module Paths in Verilog Cell Library Descriptions. Proceedings of the Conference on Design Automation and Test in Europe (DATE'2010), Dresden, Germany, ACM Press, March 2010. (*)

  4. L. Aceto, A. Ingolfsdottir, M.R. Mousavi and M.A. Reniers. A Rule Format for Unit Elements. Proceedings of the 36th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2010), Spindleruv Mlyn, Czech Republic, volume 5901 of Lecture Notes in Computer Science, pages 141-152, Springer-Verlag, January 2010. (*)

    5. 2009

  5. H.H. Hansen, J. Ketema, B. Luttik, M.R. Mousavi and J. van de Pol. Towards Model Checking Executable UML Specifications in mCRL2. Proceedings of the 2nd IEEE International Workshop on UML and Formal Methods ( UML&FM 2009), Rio de Janeiro, Brazil, December 2009. (*)

  6. L. Aceto, A. Ingolfsdottir, M.R. Mousavi and M.A. Reniers. Algebraic Properties for Free!, Bulletin of the European Association for Theoretical Computer Science (BEATCS), 99:81--104, October 2009.

  7. N. Khakpour, S. Jalili, C. Talcott, M. Sirjani and M.R. Mousavi. PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. Proceedings of the 6th International Workshop on Formal Aspects of Component Software (FACS 2009), Eindhoven, The Netherlands, Electronic Notes in Theoretical Computer Science, Elsevier, November 2009. (*)

  8. M. Raffelsieper, M.R. Mousavi, J.-W. Roorda, C. Strolenberg and H. Zantema. Formal Analysis of Non-Determinism in Verilog Cell Library Simulation Models. Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009), Eindhoven, The Netherlands, volume 5825 of Lecture Notes in Computer Science, Springer-Verlag, November 2009. (*)

  9. M.R. Mousavi. Causality in the Semantics of Esterel: Revisited. Proceedings of the 5th Workshop on Structural Operational Semantics (SOS 2009), Bologna, Italy, Electronic Proceedings in Theoretical Computer Science, August 2009. (*)

  10. M. Atif and M.R. Mousavi. Formal Specification and Analysis of Accelerated Heartbeat Protocols. Technical Report CSR-09-04, Department of Computer Science, TU/Eindhoven, 2009.

  11. M. Raffelsiper, J.-W. Roorda, and M.R. Mousavi. Model Checking Verilog Descriptions of Cell Libraries. Proceedings of the 9th International Conference on Application of Concurrency to System Design (ACSD'09), Augsburg, Germany, pages 128-137, IEEE CS, July 2009.(*)

  12. M.R. Mousavi, I.C.C. Phillips, M.A. Reniers, I. Ulidowski. Semantics and Expressiveness of Ordered SOS. Information and Computation, 207(2):85--119, Elsevier Science B.V., 2009. (*)

  13. L. Aceto, A. Birgisson, A. Ingolfsdottir, M.R. Mousavi and M.A. Reniers. Rule Formats for Determinism and Idempotency. Proceedings of the 3rd International Conference on Fundamentals of Software Engineering (FSEN'09), Kish Island, Iran, Lecture Notes in Computer Science, Springer-Verlag, April 2009. (*)

    14. 2008

  14. S. Cranen, M.R. Mousavi and M.A. Reniers. A Rule Format for Associativity. Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08), Toronto, Canada, volume 5201 of Lecture Notes in Computer Science, pages 447--461, Springer-Verlag, August 2008. (*)

  15. M.R. Mousavi, M.A. Reniers, T. Basten,M.R.V. Chaudron, PARS: A Process Algebraic Approach to Resources and Schedulers, Chapter 10 of M. Alexander and W. Gardner, editors, Process Algebra for Parallel and Distributed Processing Chapman and Hall/CRC, November 2008. (*)

  16. L. Aceto, W. Fokkink, A. Ingolfsdottir, M. R. Mousavi, Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras, Proceedings of the 5th IFIP International Conference on Theoretical Computer Science (TCS'08), Milano, Italy, Springer, September 2008.(*)

  17. H. Hojjat, M.R. Mousavi, M. Sirjani, Process Algebraic Verification of SystemC Codes, Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD'08), Xi'an, China,, IEEE CS, June 2008. (*)

  18. H. Hojjat, M.R. Mousavi, M. Sirjani, A Framework for Performance Evaluation and Verification in Stochastic Process Algebras, Proceedings of the 22nd ACM Symposium on Applied Computing, Software Verification Track (SV'08), Fortaleza, Brazil, Vol. 1, pages 339--346, ACM Press, March 2008. (*)

    19. 2007

  19. F. Deschesne, M.R. Mousavi and S. Orzan, Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap, Proceedings of the 14th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'07), Yerevan, Armenia, volume 4790 of Lecture Notes in Artificial Intelligence, pages 226--241, Springer-Verlag, October 2007. (*)

  20. M.R. Mousavi and M.A. Reniers, A Congruence Rule Format with Universal Quantification, Proceedings of the 4th Workshop on Structural Operational Semantics (SOS'07), Wroclaw, Poland, volume 192 of Electronic Notes in Theoretical Computer Science, pages 109--124, Elsevier Science B.V., July 2007. (*)

  21. L. Aceto, A. Ingolfsdottir, M. R. Mousavi, Impossibility Results for the Equational Theory of Timed CCS, Proceedings of the 2nd Conference on Algebra and Coalgebra in Computer Science (CALCO'07), Bergen, Norway, volume 4624 of Lecture Notes in Computer Science, pages 80--95, Springer-Verlag, August 2007. (*)

  22. M. R. Mousavi, M. A. Reniers, J.F. Groote, SOS formats and meta-theory: 20 years after, Theoretical Computer Science, 373:238–272, 2007. (*)

  23. H. Hojjat, M. Sirjani, M.R. Mousavi, J.F. Groote, Sarir: A Rebeca to mCRL2 Translator (Tool Paper). Proceedings of the 7th International Conference on Application of Concurrency to System Design (ACSD'07), Bratislava, Slovak Republic, IEEE CS, July 2007. (*)

    24. 2006

  24. M.R. Mousavi, I.C.C. Phillips, M.A. Reniers, I. Ulidowski. The Meaning of Ordered SOS. Proceedings of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06), Kolkata, India, volume 4337 of Lecture Notes in Computer Science, pages 334--345, Springer-Verlag, December 2006. (*)

  25. E. Korshunova, M. Petkovic, M.G.J. van den Brand and M.R. Mousavi. CPP2XMI: Reverse Engineering of UML Class, Sequence, and Activity Diagrams from C++ Source Code (Tool Paper), Proceedings of the 13th Working Conference on Reverse Engineering (WCRE'06), Benevenito, Italy, pages 297--298, IEEE CS, October 2006. (*)

  26. A.H. Ghamarian, M. Geilen, T. Basten, B. Theelen, M.R. Mousavi and S. Stuijk. Liveness and Boundedness of Synchronous Data Flow Graphs, Proceedings of the 6th International Conference on Formal Methods in Computer-Aided Design (FMCAD'06), San Jose, CA, USA, IEEE CS, pp. 68--75, November 2006. (*)

  27. M.R. Mousavi, M.A. Reniers. On Well-Foundedness and Expressiveness of Promoted Tyft, Proceedings of the 3rd Workshop on Structural Operational Semantics (SOS'06), Bonn, Germany, Electronic Notes in Computer Science, Elsevier, August 2006. (*)

  28. A.H. Ghamarian, M. Geilen, S. Stuijk, T. Basten, A. Moonen, M. Bekooij, B. Theelen and M.R. Mousavi. Throughput Analysis of Synchronous Data Flow Graphs, Proceedings of the 6th International Conference on Application of Concurrency to System Design (ACSD'06), Turku, Finland, IEEE CS, pp. 25--36, June 2006. (*)

  29. M.R. Mousavi and M. A. Reniers, Orthogonal Extensions in Structural Operational Semantics, To appear. (*) (N.B. This is an extended version of the ICALP'05 paper.)

    30. 2005

  30. J. C. M. Baeten, M.R. Mousavi and M. A. Reniers, Timing the Untimed: Terminating Successfully while Being Conservative, In Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday, volume 3838 of Lecture Notes in Computer Science, pp. 281--309, Springer-Verlag, December 2005. (*)

  31. M.M. Jaghoori, M. Sirjani, M.R. Mousavi, A. Movaghar, Efficient Symmetry Reduction in an Actor-Based Model, Proceedings of the 2nd International Conference on Distributed Computing and Internet Technology (ICDCIT'05), Bhubaneswar, India, volume 3816 of Lecture Notes in Computer Science, pp. 494-–507, Springer-Verlag, December 2005. (*)

  32. M.R. Mousavi, Structuring Structural Operational Semantics, Ph.D. Thesis, Department of Computer Science, Eindhoven University of Technology, September 2005 (Supervised by Prof.dr.ir. J.F. Groote and Prof.dr. G.D. Plotkin and co-supervised by Dr. M.A. Reniers). Bound copy available upon request.

  33. M.R. Mousavi, Murdoch J. Gabbay, M.A. Reniers, SOS for Higher Order Processes, Proceedings of the 16th International Conference on Concurrency Theory (CONCUR'05), San Francisco, CA, USA, volume 3653 of Lecture Notes in Computer Science, pp. 308--322, Springer-Verlag, August 2005. (*)

  34. M.R. Mousavi, M. Sirjani, F. Arbab, Formal Semantics and Analysis of Component Connectors in Reo, Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'05), San Francisco, CA, USA, volume 154 of Electronic Notes in Theoretical Computer Science, pp. 83--99, Elsevier Science B.V., August 2005. (*)

  35. M.R. Mousavi, Towards SOS Meta-Theory for Language-Based Security (Position Paper), Proceedings of the Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond, Bertinoro, Italy, volume NS-05-3 of BRICS Notes Series, Basic Research in Computer Science (BRICS), August 2005. Also in volume 162 of Electronic Notes in Theoretical Computer Science, pp. 267--271, Elsevier Science B.V., 2006.

  36. M.R. Mousavi, M.A. Reniers, Orthogonal Extensions in Structural Operational Semantics, Proceedings of the 32nd International Colloquium on Automata, Languages and Programming (ICALP'05), Lisboa, Portugal, volume 3580 of Lecture Notes in Computer Science, pp. 1214-1225, Springer-Verlag, July 2005. (*)

  37. M.R. Mousavi, M. A. Reniers, Prototyping SOS Meta-theory in Maude, Proceedings of the 2nd Workshop on Structural Operational Semantics (SOS'05), Lisbon, Portugal, Electronic Notes in Theoretical Computer Science, 156(1):135-150, Elsevier Science B.V., July 2005. (*)

  38. J.F. Groote, M.R. Mousavi, M. A. Reniers, A Hierarchy of SOS Rule Formats, Proceedings of the 2nd Workshop on Structural Operational Semantics (SOS'05), Lisbon, Portugal, Electronic Notes in Theoretical Computer Science, 156(1):3-25, Elsevier Science B.V., July 2005.

  39. M.R. Mousavi, M.A. Reniers, J.F. Groote, Notions of Bisimulation and Congruence Formats for SOS with Data, Information and Computation (I&C), 200(1):107--147, Elsevier Science B.V., 2005. (*) (N.B. This is an extended version of the LICS'04 paper)

  40. M.R. Mousavi, M.A. Reniers, Congruence for Structural Congruences, Proceedings of the Eighth International Conference on Foundations of Software Science and Computation Structures (FOSSACS'05), Edinburgh, Scotland, UK, volume 3441 of Lecture Notes in Computer Science, pp. 47--62, Springer-Verlag, April 2005. (*)

  41. M.R. Mousavi, M.A. Reniers, J.F. Groote, A Syntactic Commutativity Format for SOS, Information Processing Letters (IPL), 93(5):217--223, Elsevier Science B.V., March 2005. (*)

    42. 2004

  42. M.R. Mousavi, M.A. Reniers, J.F. Groote, Congruence for SOS with Data , Proceedings of the Nineteenth Annual IEEE Symposium on Logic in Computer Science (LICS'04), Turku, Finland, pp. 303--312, IEEE CS, July 2004. (*)

  43. M.R. Mousavi, M.A. Reniers, T. Basten, M.R.V. Chaudron, PARS: A Process Algebra with Resources and Schedulers, Proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03), Marseille, France, September 2003, volume 2791 of Lecture Notes in Computer Science, pp. 134--150, Springer-Verlag, May 2004. (*)

  44. M.R. Mousavi, P. Le Guernic, J.-P., Talpin, S.K. Shukla, T. Basten, Modeling and Validation of Globally Asynchronous Design in Synchronous Frameworks, Proceedings of the Conference on Design Automation and Test in Europe (DATE'04), Paris, France, pp. 384--389, IEEE CS, February 2004. (*)

    45. 2003

  45. M.R. Mousavi, M.A. Reniers, T. Basten, M.R.V. Chaudron, Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems, Proceedings of the Third International Conference on Applications of Concurrency to System Design (ACSD'03), Guimar?es, Portugal, pp. 71--81, IEEE CS, June 2003. (*)

    46. 2002

  46. M.R. Mousavi, G. Russello, M. Chaudron, M. Reniers, T. Basten, A. Corsaro, S. Shukla, R. Gupta, D. Schmidt, Using Aspect-GAMMA in the Design of Embedded Systems, Proceedings of the Seventh IEEE International Workshop on High Level Design, Verification and Test (HLDVT'02), Cannes, France, pp. 69--75, IEEE CS, October 2002. (*)

  47. M.R. Mousavi, G. Russello, M.R.V. Chaudron, T. Basten, M.A. Reniers. Separation of Quality Concerns in the Development of Distributed Real-time Systems. , Proceedings of the Third Workshop on Embedded Systems (PROGRESS'02), Utrecht, The Netherlands, pp. 124--127, Progress/STW Technology Foundation, October 2002.

    48. Pre-History

  48. M.R. Mousavi, Nondeterminism in Set Theoretic Formal Specifications: A Constructive Approach (in Persian), M.Sc. Thesis, Department of Computer Engineering, Sharif University of Technology, Tehran, Iran, September, 2001

    A paper based on this thesis is published as:
    S. H, Mirian, M. Mousavi, Nondeterminism in Set-Theoretic Specifications (in Persian), Proceedings of the Iranian Computer Society Annual Conference (CSICC'02), Tehran, Iran, February, 2002

    A draft of the paper is available in English as: Making Nondeterminism Explicit in Z.

  49. M. Sirjani, A. Movaghar and M.R. Mousavi, Compositional Verification of an Object-Based Model for Reactive Systems,Proceedings of the Workshop on Automated Verification of Critical Systems (AVoCS'01), pp. 114-118, Oxford, UK, April 2001.

  50. M. Mousavi, A. Movaghar, Automatic Verification of Communication Protocols Based on SDL Models (in Persian)
    Proceedings of the Mathematics and Communication Conference, ITRC, Tehran, Iran, September 2000.


(*) Marks (full paper) refereed publications.

Disclaimer:

The material available in this page is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by the author(s) and/or the copyright holder(s).

Back to Home