Research Statement

• Here is a summary of my research statement.

Research Projects (as PI)

• Modeling and Enforcing Time and Context-Aware Access Control Policies (Grant No. 60473055). National Science Foundation of China , RMB 230,000, January 2005 - December 2007
• Automatic Verification Techniques for Embedded Systems (Grant No. 69703008). National Science Foundation of China , RMB 100,000, January 1998 - December 2000
• Efficient Verification Algorithms and Tools for Distributed Real-time Systems (Grant No. 98Q16). Collegiate Science Foundation of Shanghai for Young Scientists. RMB 30,000, January 1999 -December 2000
• Verification Methodology for Hybrid Systems (Grant No. A9902). Foundations of the State Key Laboratory for Novel Software Technology.  RMB 20,000, January 1999 -December 2000
• Hardware /Software Codesign of Embedded Systems. Foundations of the Ministry of Education of China for Backbone Members of High Education. RMB 120,000,  January 2000 - December 2001

Publications (DBLP List of Publications)

Papers

1. Huiqun Yu, Dongmei Liu, Li Yang, Xudong He. Formal aspect-oriented modeling and analysis by AspectZ. Proceedings of  17^th International Conference on Software Engineering and Knowledge Engineering (SEKE’05), Taipei, Taiwan, July 14-16, 2005 (in press)

2. Huiqun Yu, Dongmei Liu,  Xudong He, Li Yang, Shu Gao. Secure software architecture design by aspect orientation. The 10th IEEE International Conference on the Engineering of Complex Computer Systems (ICECCS’05), Shanghai, China, pages 47-55, 2005 (acceptance rate: 33.1%)

3. Li Yang, Raimund K. Ege, Huiqun Yu.  Modeling and verifying mediation framework. The 10th IEEE International Conference on the Engineering of Complex Computer Systems (ICECCS’05), Shanghai, China, pages 322-331, 2005 (acceptance rate: 33.1%)

4. Xudong He, Huiqun Yu, Yi Deng. Formal methods for specifying and analyzing complex software systems. An invited book chapter in Applied Formal Methods, Springer-Verlag, 2005 (accepted)

5. Li Yang, Raimund K. Ege, Huiqun Yu. Mediation framework modeling and verification by SAM. Proceedings of the 20^th ACM Symposium on Applied Computing (SAC 2005), Track on Software Engineering , Santa Fe, New Mexico, USA , pages 1567-1568, 2005

6. Li Yang, Raimund K. Ege, Huiqun Yu. Mediation Security Specification and Enforcement for Heterogeneous Databases. Proceedings of the 20^th ACM Symposium on Applied Computing (SAC 2005), Track on Computer Security , Santa Fe, New Mexico, USA , pages 354-358 (acceptance rate: 19.5%)

7. Huiqun Yu, Xudong He, Yi Deng, Lian Mo. Integrating security administration into software architectures design.  Proceedings of  16^th International Conference on Software Engineering and Knowledge Engineering (SEKE’04), Banff, Alberta, Canada, pp. 416-420, 2004.

8. Li Yang, Raimund K. Ege, Huiqun Yu. Enhancing mediation security by aspect-oriented approach. Proceedings of  16^th International Conference on Software Engineering and Knowledge Engineering (SEKE’04), Banff, Alberta, Canada, pages 155-160, 2004.

9. Shu Gao, Yi Deng, Huiqun Yu, Xudong He, Konstantin Beznosov, Kendra Cooper. Applying aspect-orientation in designing security systems. Proceedings of  16^th International Conference on Software Engineering and Knowledge Engineering (SEKE’04), Banff, Alberta, Canada, pages 360-365, 2004.

10. Huiqun Yu, Xudong He, Yi Deng, and Lian Mo. A formal approach to designing secure software architectures.  Proceedings of 8^th  High Assurance Systems Engineering (HASE’04), Tampa, Florida, IEEE Computer Society Press, pages 289-290, 2004.

11. Xudong He, Huiqun Yu, Tianjun Shi, Junhua Ding, and Yi Deng. Formally specifying and analyzing software architectural specifications using SAM. Journal of Systems and Software, 71(1-2):11-29, 2004.

12. Weixin Xu and Huiqun Yu. A TCOZ-based formal model for UML use case diagrams. Journal of East China University of Science and Technology, 30(1):82-87, 2004. (In Chinese)

13. Huiqun Yu, Xudong He, Shu Gao, and Yi Deng. Formal software architecture design of secure distributed systems. Proceedings of  15^th International Conference on Software Engineering and Knowledge Engineering (SEKE’03), San Francisco, California, USA, July 1-3, 2003, Knowledge Systems Institute, pages 450-457, 2003.

14. Run Wang, Guoxin Song, and Huiqun Yu. A formal model of UML diagrams and its analysis. Journal of East China University of Science and Technology, 29(3):284-290, 2003. (In Chinese)

15. Huiqun Yu, Xudong He, Shu Gao and Yi Deng. Modeling and Analyzing SMIL Documents in SAM. Proceedings of Fourth International Symposium on Multimedia Software Engineering, Newport Beach, California, USA, December 11-13, 2002, IEEE Computer Society Press, pages 132-139, 2002. (We were invited to submit an extended version of this paper to the ACM Multimedia Systems journal.)

16. Huiqun Yu, Xudong He, Yi Deng and Lian Mo. A formal method for analyzing software architecture models in SAM. Proceedings of 26^th Annual International Computer Software and Applications Conference, August 26-29, 2002, Oxford, England, IEEE Computer Society Press, pages 645-652, 2002.

17.  Huiqun Yu, Xudong He, Yi Deng and Lian Mo. Formal analysis of real-time systems with SAM. Proceedings of  4^th International Conference on Formal Engineering Methods, LNCS 2495, Springer-Verlag, pages 275-286, 2002.

18. Liu Yang, Huiqun Yu, and Guoxin Song. PSC: an intermediate model for hardware/software codesign. Journal of East China University of Science and Technology, 28(3):305-310, 2002. (In Chinese)

19. Tu Meihong and Huiqun Yu. An extensional design method for distributed real-time systems. Journal of East China University of Science and Technology, 28(3):289-293, 2002. (In Chinese)

20. Wu Zhengxiang and Huiqun Yu. Finite automata semantics of CFSM models. Journal of East China University of Science and Technology, 2001, 27(5):437-441, (In Chinese)

21. Tu Meihong and Huiqun Yu. A transformational approach to design of distributed real-time systems. Journal of East China University of Science and Technology, 27(5):463-467,  2001. (In Chinese)

22. Jiang Weihua, Huiqun Yu, Wu Yuanjie, and Ying Hua. A co-simulation method for design of embedded systems. Journal of East China University of Science and Technology, 27(5): 475-479, 2001. (In Chinese)

23.  Qunli Qian, Huiqun Yu. An automatic approach to verifying hybrid CSP systems. Journal of Nanjing University (Natural Science), 2000, 36:259-264 (in Chinese)

24. Guoqiang Pan, Huiqun Yu,  Guoxin Song and Zhiqing Shao. A parametric analysis method for symbolic model checking linear hybrid systems. Journal of East China University of Science and Technology, 26(5): 477-480, 2000. (In Chinese)

25. Guoqiang Pan, Huiqun Yu,  Guoxin Song and Zhiqing Shao. Verifying linear hybrid systems using controlling cyclic characteristics. Journal of East China University of Science and Technology, 26(5): 471-476, 2000. (In Chinese)

26. Weihua Jiang, Huiqun Yu. Browsing name space in Windows shell. Computer Engineering, 26(7):182-184, 2000. (in Chinese)

27. Huiqun Yu, Bao Zhengrong, Song Guoxin and Shao Zhiqing. Automatic verification of a railway scheduling system. In Junzhou Luo et al (Editors), Advances in Computer Science and Technology, Proceedings of the Fifth International Conference for Young Computer Scientists, International Academic Publishers, pages 76-79, 1999.

28. Zhiqing Shao, Yongqiang Sun, Guoxin Song, Huiqun Yu. Group inductive proof techniques based on rewriting. Journal of Computers, 22(4):558-560, 1999. (In Chinese)

29. Zhiqing Shao, Yongqiang Sun, Guoxin Song, Huiqun Yu. Deciding quasi-reducibility using witnessed test sets. Journal of Computer Science and Technology，1999, 14(2): 146 - 152

30. Guoqiang Pan, Huiqun Yu,  Guoxin Song and Zhiqing Shao. Verifying Statecharts using mean value calculus.In Junzhou Luo etal (Editors), Advances in Computer Science and Technology, Proceedings of the Fifth International Conference for Young Computer Scientists, International Academic Publishers, pages 20 –24, 1999.

31. Shao Zhiqing, Yongqiang Sun, Guoxin Song, Huiqun Yu. Proving inductive theorems using witnessed test sets. In  Proceedings of the 2nd IEEE International Conference on Formal Engineering Methods, IEEE Computer Society Press, Brisbane, Australia, pages 158-164, 1998.

32. Zhengrong Bao, Huiqun Yu, Guoxin Song, Zhiqing Shao. Model checking and parametric analysis of a railway system. Journal of East China University of Science and Technology, 25(2): 182-187, 1999. (In Chinese)

33. Huiqun Yu, Song Guoxin and Sun Yongqiang. Completeness of the accumulation calculus. Journal of Computer Science and Technology, 13(1): 25 - 31, 1998.

34. Huiqun Yu, Guoxin Song, Zhiqing Shao. A formal approach to developing MRP II systems. Journal of East China University of Science and Technology, 24(3): 361-367, 1998. (In Chinese)

35. Guoxin Song, Huiqun Yu, Zhiqing Shao. A formal object-oriented approach to software development of CIMS. High TEchnology Letters, 7(8):5-8, 1997. (In Chinese)

36. Huiqun Yu, Song Guoxin and Shao Zhiqing. Correctness of a railway line scheduler. In Guowu Zhang(Ed.), Proccedings of International Symposium on Theories and Applications of Traffic and Transportation Systems Engineering, Beijing, China, pages 398-404, 1996.

37. Huiqun Yu, Shao Zhiqing, Guoxin Song, and Yongqiang Sun. Feasibility specification of a railway scheduling system. In Guowu Zhang (Ed.), Transportation Systems for 21st Century: Planning, Coordination and Development, Publishing House of China Railway, pages 315-318, 1996. (In Chinese)

38. Yong Xia, Huanhuan Zhang, Guoxin Song, Huiqun Yu, and Zhiqing Shao. FOR: the object-oriented relationship model and its application in the development of  MRP II systems. In Proceedings of the 4th National Symposium on CIMS, Haerbin, China, pages 211-217, 1996. (In Chinese)

39. Huiqun Yu. A course of formal methods in software development. UNU/IIST Technical Report No.79, The United Nations University, International Institute for Software Technology (UNU/IIST), August 1996.

40. Huiqun Yu and Sun Yongqiang, Hybridity in embedded computing systems. Journal of Computer Science and Technology, 11(1):90-96, 1996.

41. Huiqun Yu and Sun Yongqiang, A formal apporach to medelling real-time systems. In Proceedings of International Workshop on Advanced Software Technology, Shanghai, China, pages 173-180, 1994.

42. Huiqun Yu, P.K.Pandya and Sun Yongqiang, A calculus for hybrid sampled data systems, In H. Langmaack et al ( Editors), Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863 , Springer-Verlag, pages 716-737, 1994.

43. Zhou Chaochen, Huiqun Yu. A duration model for railway scheduling. UNU/IIST Technical Report No.24, The United Nations University, International Institute for Software Technology (UNU/IIST), May 1994.

44. Huiqun Yu, P.K.Pandya and Sun Yongqiang. A calculus for hybrid sampled data systems, UNU/IIST Technical Report No.21, The United Nations University, International Institute for Software Technology (UNU/IIST), March 1994.

45. Huiqun Yu, Jianping Zheng, Zhaoxiong Chen. SC grammar with structural constrains. In Zhaoxiong Chen (Ed.), Research Progress in Machine Translation, Publishing House of Electronics Industry, pages 491-493, 1992. (In Chinese)

46. Huiqun Yu.   A temporal logic approach to program verification. In  Selected Papers on BCK, BCI-Algebras and Computer Logic, Shen Baiying (Ed.), page 218, Shanghai Jiaotong University Press, 1991. (In Chinese)

Books

1. Zhiqing Shao, Huiqun Yu. Discrete Mathematics. Textbook Series for High Education in Computer Science. Publishing House of Electronics Industry , 2003. ISBN: 7-5053-9006-6 (in Chinese)

Last Modified: 06/21/2005