Mohammad Mousavi's Publications - Revision history

Ceres at 12:23, 21 July 2017

2017-07-21T12:23:23Z

Ceres at 01:54, 22 May 2017

2017-05-22T01:54:51Z

Ceres at 01:54, 22 May 2017

2017-05-22T01:54:23Z

Ceres at 21:13, 16 March 2017

2017-03-16T21:13:35Z

Ceres at 07:36, 9 March 2017

2017-03-09T07:36:15Z

Ceres at 16:48, 26 February 2017

2017-02-26T16:48:05Z

Ceres at 11:13, 7 February 2017

2017-02-07T11:13:06Z

Ceres at 11:12, 7 February 2017

2017-02-07T11:12:13Z

Ceres at 13:09, 6 February 2017

2017-02-06T13:09:28Z

Ceres at 14:33, 5 February 2017

2017-02-05T14:33:21Z

@@ Line 5: / Line 5: @@
 ==2017==
-* B. Oliveira, G. Carvalho, M.R. Mousavi, and A. Sampaio. Simulation of Hybrid Systems from Natural Language Specifications. Proceedings of the 13th IEEE International Conference on Automation Science and Engineering ([http://www.case2017.org/ CASE 2017]), IEEE, 2017.
+* Hugo Araujo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi, and Augusto Sampaio. [[media:mousavi_scp_2017.pdf|Sound Conformance Testing for Cyber-Physical Systems: Theory and Implementation]]. Science of Computer Programming. Elsevier, 2017. (*)
 * V. Hafemann Fragal, A. Simao, A.T. Endo and M.R. Mousavi, [[media:mousavi_amost_2017.pdf|Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines]], Proceedings of the 13th Workshop on Advances in Model Based Testing ([http://a-most17.zen-tools.com/ A-MOST 2017]), IEEE, 2017. [[media:FM_2016_Vanderson_extended_v1.pdf|Extended version with proofs and details]] (*)

@@ Line 5: / Line 5: @@
 ==2017==
-* B. Oliveira, G. Carvalho, M.R. Mousavi, and A. Sampaio. Simulation of Hybrid Systems from Natural Language Specifications. Proceedings of the 13th IEEE
+* B. Oliveira, G. Carvalho, M.R. Mousavi, and A. Sampaio. Simulation of Hybrid Systems from Natural Language Specifications. Proceedings of the 13th IEEE International Conference on Automation Science and Engineering ([http://www.case2017.org/ CASE 2017]), IEEE, 2017.
 International Conference on Automation Science and Engineering (CASE 2017), IEEE, 2017.
 * V. Hafemann Fragal, A. Simao, A.T. Endo and M.R. Mousavi, [[media:mousavi_amost_2017.pdf|Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines]], Proceedings of the 13th Workshop on Advances in Model Based Testing ([http://a-most17.zen-tools.com/ A-MOST 2017]), IEEE, 2017. [[media:FM_2016_Vanderson_extended_v1.pdf|Extended version with proofs and details]] (*)

← Older revision		Revision as of 01:54, 22 May 2017
Line 4:		Line 4:

	==2017==		==2017==
		+
		+	* B. Oliveira, G. Carvalho, M.R. Mousavi, and A. Sampaio. Simulation of Hybrid Systems from Natural Language Specifications. Proceedings of the 13th IEEE
		+	International Conference on Automation Science and Engineering (CASE 2017), IEEE, 2017.

	* V. Hafemann Fragal, A. Simao, A.T. Endo and M.R. Mousavi, [[media:mousavi_amost_2017.pdf\|Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines]], Proceedings of the 13th Workshop on Advances in Model Based Testing ([http://a-most17.zen-tools.com/ A-MOST 2017]), IEEE, 2017. [[media:FM_2016_Vanderson_extended_v1.pdf\|Extended version with proofs and details]] (*)		* V. Hafemann Fragal, A. Simao, A.T. Endo and M.R. Mousavi, [[media:mousavi_amost_2017.pdf\|Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines]], Proceedings of the 13th Workshop on Advances in Model Based Testing ([http://a-most17.zen-tools.com/ A-MOST 2017]), IEEE, 2017. [[media:FM_2016_Vanderson_extended_v1.pdf\|Extended version with proofs and details]] (*)

@@ Line 5: / Line 5: @@
 ==2017==
-* V. Hafemann Fragal, A. Simao, A.T. Endo and M.R. Mousavi, [[media:mousavi_amost_2017.pdf|Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines]], Proceedings of the 13th Workshop on Advances in Model Based Testing ([http://a-most17.zen-tools.com/ A-MOST 2017]), IEEE, 2017.  (*)
+* V. Hafemann Fragal, A. Simao, A.T. Endo and M.R. Mousavi, [[media:mousavi_amost_2017.pdf|Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines]], Proceedings of the 13th Workshop on Advances in Model Based Testing ([http://a-most17.zen-tools.com/ A-MOST 2017]), IEEE, 2017. [[media:FM_2016_Vanderson_extended_v1.pdf|Extended version with proofs and details]] (*)
 * H. Araujo, G. Carvalho, A. Sampaio, M.R. Mousavi and M. Taromirad. [[media:mousavi_iteqs_2017.pdf|A Process for Sound Conformance Testing of Cyber-Physical Systems (Position Paper)]].  Proceedings of the 1st International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems ([http://www.mrtc.mdh.se/ITEQS/2017/ ITEQS 2017]), IEEE, 2017.

@@ Line 175: / Line 175: @@
 ==2007==
-* F. Deschesne, M.R. Mousavi and S. Orzan, [[media:mousavi_lpar_2007.pdf|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. (*)
+* F. Dechesne, M.R. Mousavi and S. Orzan, [[media:mousavi_lpar_2007.pdf|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, [[media:mousavi_sos_2007.pdf|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. (*)

@@ Line 11: / Line 11: @@
 * M. Taromirad and  M.R. Mousavi. [[media:mousavi_fsen_2017.pdf|Gray-Box Conformance Testing for Symbolic Reactive State Machines]]. The 7th  International Conference on Fundamentals of Software Engineering (FSEN 2017) , Lecture Notes in Computer Science, Springer, 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. (*)
+* R.M. Hierons, M.R. Mousavi, M.K. Thomsen, and U.C. Turker. [[media:mousavi_sofsem_2017.pdf|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==

← Older revision		Revision as of 11:12, 7 February 2017
Line 6:		Line 6:

	* V. Hafemann Fragal, A. Simao, A.T. Endo and M.R. Mousavi, [[media:mousavi_amost_2017.pdf\|Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines]], Proceedings of the 13th Workshop on Advances in Model Based Testing ([http://a-most17.zen-tools.com/ A-MOST 2017]), IEEE, 2017. (*)		* V. Hafemann Fragal, A. Simao, A.T. Endo and M.R. Mousavi, [[media:mousavi_amost_2017.pdf\|Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines]], Proceedings of the 13th Workshop on Advances in Model Based Testing ([http://a-most17.zen-tools.com/ A-MOST 2017]), IEEE, 2017. (*)
		+
		+	* H. Araujo, G. Carvalho, A. Sampaio, M.R. Mousavi and M. Taromirad. [[media:mousavi_iteqs_2017.pdf\|A Process for Sound Conformance Testing of Cyber-Physical Systems (Position Paper)]]. Proceedings of the 1st International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems ([http://www.mrtc.mdh.se/ITEQS/2017/ ITEQA 2017]), IEEE, 2017.

	* M. Taromirad and M.R. Mousavi. [[media:mousavi_fsen_2017.pdf\|Gray-Box Conformance Testing for Symbolic Reactive State Machines]]. The 7th International Conference on Fundamentals of Software Engineering (FSEN 2017) , Lecture Notes in Computer Science, Springer, 2017. (*)		* M. Taromirad and M.R. Mousavi. [[media:mousavi_fsen_2017.pdf\|Gray-Box Conformance Testing for Symbolic Reactive State Machines]]. The 7th International Conference on Fundamentals of Software Engineering (FSEN 2017) , Lecture Notes in Computer Science, Springer, 2017. (*)

@@ Line 13: / Line 13: @@
 ==2016==
-* H. Beohar and M.R. Mousavi. [[media:mousavi_jlamp2_2016.pdf|Input-Output Conformance Testing for  Software Product Lines]]. Journal of Logic and Algebraic Methods in Programming. Elsevier, 2016. (*)
+* H. Beohar and M.R. Mousavi. [[media:mousavi_jlamp2_2016.pdf|Input-Output Conformance Testing for  Software Product Lines]]. Journal of Logic and Algebraic Methods in Programming, 85(6): 1131-1153. Elsevier, 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. (*)