Mohammad Mousavi's Publications

From CERES
Jump to: navigation, search


Publications (sorted by date)

2017

  • R.M. Hierons, M.R. Mousavi, M.K. Thomsen, and U.C. Turker. Hardness of Deriving Invertible Sequences from Finite State Machines. 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Foundations of Computer Science Conference (SOFSEM-FOCS 2017), volume 10139 of Lecture Notes in Computer Science, Springer, 2017. (*)

2016

  • A. Aerts, M. Reniers, and M.R. Mousavi. Model-Based Testing of Cyber-Physical Systems. Chapter 19 of H. Song, D.B. Rawat, S. Jeschke, and Ch. Brecher, Cyber-Physical Systems Foundations, Principles and Applications. pp. 287--304, Elsevier, 2016. (*)
  • F. Ghassemi and M.R. Mousavi. Product Line Process Theory, Journal of Logic and Algebraic Methods in Programming, 85(1): 200--226, Elsevier, 2016. (*)

2015

  • M. Varshosaz, H. Beohar, and M.R. Mousavi. Delta-Oriented FSM-Based Testing. Proceedings of the 17th International Conference on Formal Engineering Methods (ICFEM 2015), volume 9407 of Lecture Notes in Computer Science, pp. 366--381, Springer, 2015. (*)
  • H. Beohar and M.R. Mousavi. A Pre-congruence Format for XY-simulation. The 6th International Conference on Fundamentals of Software Engineering (FSEN 2015), volume 9393 of Lecture Notes in Computer Science, pp. 215-229, Springer, 2015. (*) (The version posted here contains an extra appendix.)

2014

2013

  • D. Gebler, E.-I. Goriac, and M.R. Mousavi. Algebraic Meta-Theory of Processes with Data. Proceedings of the Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics (EXPRESS/SOS 2013), Buenos Aires, Argentina, volume 120 of Electronic Proceedings in Theoretical Computer Science, pp. 63--77, 2013. (*)

2012

  • M.R. Mousavi. Esterel and the Semantics of Causality. Chapter 9 of J. Wang (Ed.), Handbook of Finite State Based Models and Applications, pages 191--206, CRC Press, 2012.
  • L. Aceto, M. Cimini, A. Ingolfsdottir, M.R. Mousavi, and M. A. Reniers. Rule Formats for Distributivity. Theoretical Computer Science, 458:1--28, Elsevier, 2012. (This is an extended version of the LATA 2011 paper.) (*)
  • M. Cimini, M.R. Mousavi, M.A. Reniers, and M.J. Gabbay. Nominal SOS. Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVIII), Bath, UK, Electronic Notes in Theoretical Computer Science, Elsevier, 2012. (*)
  • L. Aceto, A. Birgisson, A. Ingolfsdottir, M.R. Mousavi, and M. A. Reniers. Rule formats for determinism and idempotence. Science of Computer Programming, 77(7-8):889--907, Elsevier, 2012. (This is an extended version of the FSEN'09 paper.)(*)

2011

  • H.H. Hansen, J. Ketema, B. Luttik, M.R. Mousavi, and J. van de Pol. Automated Verification of Executable UML Models. Post-Proceedings of the International Symposium on Formal Methods for Components and Objects (FMCO 2010), Graz, Austria, volume 6957 of Lecture Notes in Computer, Springer, 2011. (*)
  • N. Noroozi, R. Khosravi, M.R. Mousavi, and T.A.C. Willemse. Synchronizing Asynchronous Conformance Testing. Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM 2011), Montevideo, Uruguay. volume 7041 of Lecture Notes in Computer Science, pages 334--349, Springer, November 2011. (*)
  • M. Raffelsieper, M.R. Mousavi, and H. Zantema. Long-Run Order-Independence of Vector-Based Transition Systems. IET Computers & Digital Techniques, Institution of Engineering and Technology (IET), 5(6):468--478, 2011. (*)
  • M. Raffelsieper and M.R. Mousavi. Symbolic Power Analysis of Cell Libraries. Proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2011), Trento, Italy. Lecture Notes in Computer, Springer, August 2011. (*)
  • L. Aceto, M. Cimini, A. Ingolfsdottir, M.R. Mousavi, and M. A. Reniers. Rule Formats for Distributivity. Proceedings of the 5th International Conference on Language and Automata Theory and Applications (LATA 2011). Tarragona, Spain. volume 6638 of Lecture Notes in Computer Science, pages 79--90, Springer, 2011. (*)
  • L. Aceto, M. Cimini, A. Ingolfsdottir, M.R. Mousavi and ,M. A. Reniers. SOS rule formats for zero and unit elements, Theoretical Computer Science, 412(28):3045-3071, Elsevier, 2011. (This is an extended version of the MFPS'2010 paper.)(*)
  • L. Aceto, A. Birgisson, A. Ingolfsdottir, and M.R. Mousavi. Decompositional Reasoning about the History of Parallel Processes. Proceedings of the 4th International Conference on Fundamentals of Software Engineering (FSEN 2011), Tehran, Iran, volume 7141 of Lecture Notes in Computer Science, pages 32--47, Springer, 2012. (*)
  • M. Raffelsieper, M.R. Mousavi, and J. Sleuters. Process Algebra as a Common Framework for Hardware/Software Co-Verification, IEEE Embedded Systems Letters, 3(1):9--12, 2011. (*)

2010

  • P.D. Mosses, M.R. Mousavi, and M.A. Reniers. Robustness of Equations Under Operational Extensions, Proceedings of the 17th International Workshop on Expressiveness in Concurrency (EXPRESS 2010), Paris, France, volume 41 of Electronic Proceedings in Theoretical Computer Science, pages 106--120, August 2010. (*)
  • L. Aceto, M. Cimini, A. Ingolfsdottir, M.R. Mousavi and M.A. Reniers. On Rule Formats for Zero and Unit Elements. Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVI), Ottawa, Canada, volume 265 of Electronic Notes in Theoretical Computer Science, pages 145-160, Elsevier, May 2010. (*)
  • M. Raffelsieper, M.R. Mousavi and H. Zantema. Order-Independence of Vector-Based Transition Systems. Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD'2010), Braga, Portugal, pages 115 - 123, IEEE CS, June 2010.(*)
  • 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, January 2010. (*)

2009

  • 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., Bulletin of the European Association for Theoretical Computer Science (BEATCS), 99:81--104, October 2009.
  • 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, volume 263 of Electronic Notes in Theoretical Computer Science, Elsevier, pages 129-143, November 2009. (*)
  • 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, pages 133-148, Springer, November 2009. (*)
  • 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 18:32-45, August 2009. (*)


  • M. Raffelsieper, 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.(*)
  • 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, April 2009. (*)

2008

  • 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, August 2008. (*)

2007

  • 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. (*)
  • 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, August 2007. (*)
  • H. Hojjat, M. Sirjani, M.R. Mousavi, and 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. (*)

2006

  • M.R. Mousavi, I.C.C. Phillips, M.A. Reniers, and 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, December 2006. (*)
  • 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. (*)
  • 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. (*)
  • 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.)

2005

  • 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, December 2005. (*)
  • M.M. Jaghoori, M. Sirjani, M.R. Mousavi, and 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, December 2005. (*)
  • 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.
  • M.R. Mousavi, M. J. Gabbay, and 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, August 2005. (*)
  • M.R. Mousavi, M. Sirjani, and 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. (*)
  • 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.
  • M.R. Mousavi, and 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, July 2005. (*)
  • M.R. Mousavi, and 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. (*)
  • J.F. Groote, M.R. Mousavi, and 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.
  • M.R. Mousavi and 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, April 2005. (*)

2004

  • M.R. Mousavi, M.A. Reniers, and 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. (*)
  • 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, May 2004. (*)

2003

2002

  • M.R. Mousavi, G. Russello, M. Chaudron, M. Reniers, T. Basten, A. Corsaro, S. Shukla, R. Gupta, and 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. (*)

Pre-History

  • 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 and 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.

  • M. Mousavi and 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.

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).

(*) Marks (full paper) refereed publications.


Back to Home