# Mohammad Mousavi's Publications

# Publications (sorted by date)

## 2014

J.F. Groote and M.R. Mousavi. Modeling and Analysis of Communicating Systems, MIT Press, 2014.

M. Mohaqeqi, M.R. Mousavi and W. Taha. Conformance Testing of Cyber-Physical Systems: A Comparative Study, Proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVOCS 2014), Electronic Communications of the EASST, 2014. (*)

H. Beohar and M.R. Mousavi. Spinal Test Suites for Software Product Lines. Proceedings of the 9th Workshop on Model-Based Testing (MBT 2014), volume 141 of Electronic Proceedings in Theoretical Computer Science, pp. 44--55, 2014. (*)

H. Beohar and M.R. Mousavi. Input-Output Conformance Testing Based on Featured Transition Systems. Proceedings of the 29th ACM Symposium on Applied Computing, Software Verification and Testing Track (SAC-SVT 2014), ACM Press, 2014. (*)

N. Noroozi, R. Khosravi, M.R. Mousavi, and T.A.C. Willemse. Synchrony and Asynchrony in Conformance Testing. Software and Systems Modeling, Springer, 2014. In Press. (*)

## 2013

N. Noroozi, M.R. Mousavi, and T.A.C. Willemse. On the Complexity of Input Output Conformance Testing. Proceedings of the 10th International Symposium on Formal Aspects of Component Software (FACS 2013), Nanchang, China, Lecture Notes in Computer Science, Springer, 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, pages 63--77, 2013. (*)

S. Keshishzadeh, A. Mooij, and M.R. Mousavi. Early Fault Detection in DSLs using SMT Solving and Automated Debugging. Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM 2013), Madrid, Spain, volume 8137 of Lecture Notes in Computer Science, pages 182--196, Springer, 2013. (*)

M. Churchill, P.D. Mosses and M.R. Mousavi. Modular Semantics for Transition System Specifications with Negative Premises. Proceedings of the 24th International Conference on Concurrency Theory (CONCUR 2013), Buenos Aires, Argentina, volume 8052 of Lecture Notes in Computer Science, pages 46--60, Springer, 2013. (*)

L. Aceto, E.-I. Goriac, A. Ingolfsdottir, M.R. Mousavi and M.A. Reniers. Exploiting Algebraic Laws to Improve Mechanized Axiomatization. 5th Conference on Algebra and Coalgebra in Computer Science (CALCO 2013), Warsaw, Poland, volume 8089 of Lecture Notes in Computer Science, pp. 36--50, Springer, 2013. (*)

N. Noroozi, M.R. Mousavi, and T.A.C. Willemse. Decomposability in Input Output Conformance Testing. Proceedings of the 8th Workshop on Model-Based Testing (MBT 2013), Rome, Italy, volume 111 of Electronic Proceedings in Theoretical Computer Science, pp. 51--66, 2013. (*)

F. Dechesne and M.R. Mousavi. Interpreted Systems Semantics for Process Algebra with Identity Annotations. Post-Proceedings of the 9th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2011), Kutaisi, Georgia, volume 7758 of Lecture Notes in Computer Science, pages 182–-205, Springer, 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.

N. Khakpour, S. Jalili, C. Talcott, M. Sirjani and M.R. Mousavi. Formal Modeling of Evolving Self-Adaptive Systems. Science of Computer Programming, 78(1):3--36, Elsevier, 2012. (*)

V. Vishal, M. Kovacioglu, R. Kherazi, and M.R. Mousavi. Integrating Model-Based and Constraint-Based Testing Using SpecExplorer. Proceedings of the 4th Workshop on Model-based Testing in Practice (MoTiP 2012), Dallas, TX, USA. IEEE CS, 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. (*)

M. Woehrle, R. Bakhshi, and M.R. Mousavi. Mechanized Extraction of Topology Anti-patterns in Wireless Networks. Proceedings of the 9th International Conference on Integrated Formal Methods (iFM 2012), Pisa, Italy, volume 7321 of Lecture Notes in Computer Science, pages 158--173, Springer, 2012. (*)

M. Atif, M.R. Mousavi, and A. Osaiweran. Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems. Proceedings of the 27th ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (ACM SAC - DADS 2012), Riva del Garda, Italy, ACM Press, 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.)(*)

M.R. Mousavi, T. Basten, M.A. Reniers and M.R.V. Chaudron. Timed-Gamma and Its Coordination Language, Nordic Journal of Computing, 2011. To appear. (*)

H. Hojjat, M.R. Mousavi, and M. Sirjani. Formal Analysis of SystemC Designs in Process Algebra, Fundamenta Informaticae, 107(1):19--42, IOS Press, 2011. (*) (This is an extended and improved version of the ACSD 2008 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. (*)

H.R. Asaadi, R. Khosravi, M.R. Mousavi, and N. Noroozi. Towards Model-Based Testing of Electronic Funds Transfer Systems. Proceedings of the 4th International Conference on Fundamentals of Software Engineering (FSEN 2011), Tehran, Iran, volume 7141 of Lecture Notes in Computer Science, 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

M. Atif, S. Cranen, and M.R. Mousavi. Reconstruction and verification of group membership protocols. Proceedings of the 10th International Workshop on Automated Verification of Critical Systems (AVoCS 2010), September 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. (*)

D. Hassan, M.R. Mousavi and M.A. Reniers. Restricted Delegation and Revocation in Language-Based Security (Position Paper). Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2010), Toronto, Canada, ACM Press, June 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.(*)

H.H. Hansen, J. Ketema, B. Luttik, M.R. Mousavi and J. van de Pol. Towards Model Checking Executable UML Specifications in mCRL2. Innovations in Systems and Software Engineering 6:83-90, Springer, 2010. (*) (This is an extended version of the UML&FM'09 paper)

L. Aceto, W. Fokkink, A. Ingolfsdottir, M. R. Mousavi, Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras, Acta Informatica, 47(3):147-177, Springer, 2010.(*)

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, 2010. (*)

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, pages 1506-1511, ACM Press, March 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

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

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

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

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

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

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

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

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 (ACM SAC SVT'08), Fortaleza, Brazil, Vol. 1, pages 339--346, ACM Press, March 2008. (*)

## 2007

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, October 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. (*)

M. R. Mousavi, M. A. Reniers, J.F. Groote. SOS formats and meta-theory: 20 years after, Theoretical Computer Science, 373:238-272, 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. (*)

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

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

M.R. Mousavi and 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. (*)

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, M.A. Reniers, and 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)

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

M.R. Mousavi, M.A. Reniers, and J.F. Groote. A Syntactic Commutativity Format for SOS. Information Processing Letters (IPL), 93(5):217--223, Elsevier Science B.V., March 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. (*)

M.R. Mousavi, P. Le Guernic, J.-P., Talpin, S.K. Shukla, and 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. (*)

## 2003

M.R. Mousavi, M.A. Reniers, T. Basten, and 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. (*)

## 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. (*)

M.R. Mousavi, G. Russello, M.R.V. Chaudron, T. Basten, and 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.

## 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. Sirjani and 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.

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.