[24] Wuwei Shen, Kun Wang, Alexander Egyed: An Efficient and Scalable
Approach to Correct Class Model Refinement", IEEE Transactions
on Software Engineering, Volumn 35, Issue 4, pp. 515-533, July/August 2009.
[23] Hector Miguel Chavez, Wuwei Shen, Shaoying Liu: An Approach
to Detection of UML-Based Ownership Violation, Proceeding of ACM SAC 2009,
March 9-13, 2009, Hawai, USA.
[22] Wuwei Shen, Eric Wong: Flexible Aspect-Oriented Design Model
Checking, Proceeding of APSEC, December 3-5, 2008, Beijing, China. (acceptance rate 29%)
[21] Wuwei Shen, Dae-Kyoo Kim: ICER: a tool for finding errors in
a UML model. Proceeding of ACM SAC 2008: 804-808, March 16-20, 2008, Ceará,
Brazil. (acceptance rate: 30%)
[20] Dae-Kyoo Kim, Wuwei Shen: Evaluating pattern conformance of
UML models: a divide-and-conquer approach and case studies. Software Quality
Journal 16(3): 329-359 (2008)
[19] Kun Wang, Wuwei Shen: Improving the Accuracy of UML Class Model
Recovery. Proceedings of COMPSAC, July, 2007, Beijing, China.
[18] Dae-Kyoo Kim, Wuwei Shen, An approach to evaluating structural
pattern conformance of UML models. Proceedings of the 2007 ACM Symposium on
Applied Computing (SAC), Seoul, Korea, March 11-15, 2007. ACM 2007. (acceptance
rate: 33%)
[17] Wuwei Shen, Wengliong Low, Consistency Checking between Two
Different Dynamic Views of a Software System, In Proceedings of IASTED International
Conference on Software Engineering, Dallas, Texas, Nov, 2006.
[16] Wuwei Shen, Wengliong Low, Using the Metamodel Mechanism To
Support Class Refinement, In proceedings of the 10th IEEE International Conf
on Engineering of Complex Computer Systems, June 16-20,2005, Shanghai, China.
(Acceptance Rate is 33.3%)
[15] Alexander Egyed, Wuwei Shen, Kang Wang, Maintaining Life Perspectives
during the Refinement of UML Class Structures, In Proceeding of Conference
on Fundamental Approaches to Software Engineering (FASE 2005), LNCS, April
2-10, 2005, Edinburgh, Scotland. (Acceptance Rate 22.2%)
[14] Wuwei Shen, Wengliong Low, Using Abstract State Machines to
Support UML Model Instantiation Checking, In Proceedings of the IASTED International
Conference on Software Engineering, Innsbruck, Austria, Feb 15-17.
[13] Wuwei Shen, Mohsen Guizani, Zijiang Yang, Kevin Compton, James
Huggins, Execution of A Requirement Model in Software Development, In Proceedings
of the ISCA 13th International Conference on Intelligent and Adaptive Systems
and Software Engineering, Nice, France, July 1-3, 2004.
[12] Wuwei Shen, Kevin Compton, James Huggins, A Method of Implementing
UML Virtual Machines with Some Constraints Based on Abstrqact State Machine,
In Proceedings of the 10th Asia-Pacific Software Engineering Conference, IEEE
Computer Society, Dec 10-12, 2003, Chiang Mai, Thailand. (acceptance rate
39%)
[11] Wuwei Shen, Shaoying Liu, Formalization, Testing and Execution
of a Use Case Diagram, In the 5th International Conference on Formal Engineering
Methods, ICFEM 2003, LNCS 2885, Nov 5-7, 2003, Singapore. (acceptance rate
37%).
[10] Wuwei Shen, Kevin Compton, James Huggins, A Toolset for Supporting
UML Static and Dynamic Model Checking, In Proceedings of the 26th IEEE Annual
International Computer Software and Applications Conference, August, 26-19,
2002, Oxford, England.
[9] W. Shen, K. Compton, J. Huggins, A UML Validation Toolset Based
on Abstract State Machine, In Proceedings of the 16th ACM/IEEE International
Conference on Automated Software Engineering, Nov 26-29 2001, Coronado Island,
California, USA. (acceptance rate 19.5%)
[8] W. Shen, K. Compton, J. Huggins, A Validation Method
for a UML Model Based on Abstract State Machines, In R. Moreno-Díaz
and A. Quesada-Arencibia, editors, Proceeding of EUROCAST 2001, pages 220-223,
Canary Islands, Spain, Feb. 2001.
[7] W. Shen, K. Compton, J. Huggins,
A Semantic Model for the State Machine in the Unified Modeling Language,
Proceeding of Dynamic Behavior in UML Models: Semantic Questions, p.25-31,
UML 2000 workshop, York, England, Oct. 2000.
[6] James K. Huggins, Wuwei Shen, The Static and Dynamic Semantics of C, Proceeding
of International workshop on Abstract State Machines, Monte Verita, Switzerland,
March 2000.
[1] Juan Wang, Wuwei Shen,
Description of Real-time System by Using Temporal Logic,
Proceeding of 5th National Conference on Software Engineering, Shanghai 1992.
(Chinese).