科研工作



个人专业兴趣领域:程序理论,形式化方法,程序语言,计算机科学技术的教育

2005年以来论文

  • Hai-Feng Guo, Zongyan Qiu, A dynamic stochastic model for automatic grammar-based test generation. Software - Practice and Experience, 1519-1547, Vol. 45(11), November 2015.
  • Tingting Hu, Shuling Wang, and Zongyan Qiu. Verifying Interaction between Methods in Classes. 2015 International Symposium on Theoretical Aspects of Software Engineering (TASE 2015), pp119-126. IEEE 2015.
  • Haiyang Liu and Zongyan Qiu, Go Model and Object Oriented Programming. A. Pardo and S.D. Swierstra (Eds.): SBLP 2015, LNCS 9325, pp. 59–74, 2015, Springer.
  • Jinjiang Lei and Zongyan Qiu, Rely-Guarantee Based Reasoning for Message-Passing Programs. Scientic Annals of Computer Science vol. 24 (2), 2014, pp. 217-252. doi: 10.7561/SACS.2014.2.217.
  • Jinjiang Lei and Zongyan Qiu, Modular Reasoning for Message-Passing Programs, In the Proceedings of 11th International Colloquium on Theoretical Aspects of Computing (ICTAC 2014), Bucharest, Romania. September 17-19, 2014. LNCS 8687, pp. 277–294, Springer, 2014.
  • Jinjiang Lei, Zhong Shao, Zongyan Qiu, Temporal Verification for Message-Passing Programs, The Proceedings of The 8th International Symposium on Theoretical Aspects of Software Engineering (TASE 2014), 1-10. Changsha, China. IEEE CS 2014.
  • Hai-Feng Guo, Zongyan Qiu, Harvey Siy, Locating fault-inducing patterns from structural inputs, SAC'14: Proceedings of the 29th Annual ACM Symposium on Applied Computing, ACM, March 2014.
  • Tiziana Margaria, Zongyan Qiu, Hongli Yang, Program verification and testing technologies, International Journal on Software Tools for Technology Transfer (STTT) , Volume 16 Issue 4, Springer-Verlag, August 2014 (Journal).
  • Hai-Feng Guo and Zongyan Qiu, Automatic Grammar-Based Test Generation. Testing Software and Systems, Proceedings of the 25th IFIPWG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013. LNCS 8254, pp. 17-32. Springer, 2013.
  • Hongli YANG, Chao CAI, Liyang PENG, Xiangpeng ZHAO, Zongyan QIU, Shengchao QIN. Algorithms for checking channel passing in web service choreography. Frontiers of Computer Science, 2013, 7(5): 710-728 (SCI)
  • Hong Ali, Liu Yijing, and Qiu Zongyan, Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components, The 10th International Symposium on Formal Aspects of Component Software. Jiangxi Normal University, Nanchang, China. October 28 - 30, 2013. LNCS 8348, pp 174-195. Springer, 2014.
  • 裘宗燕, 杨红丽. 万维网服务描述和业务流程定义语言, 中国计算机学会通讯,第9卷第4期,2013年4月.
  • Qin Shu, Zongyan Qiu, Shuling Wang. Confinement framework for encapsulating objects. Frontiers of Computer Science, April 2013, Volume 7, Issue 2, pp 236-256 (SCI)
  • Qiu Zongyan and Hong Ali. Modular Verification of OO Programs with Interfaces. Formal Methods and Software Engineering. 14th International Conference on Formal Engineering Methods (ICFEM 2012). Kyoto, Japan, November 12-16, 2012. LNCS 7504, pp 151-166. Springer, 2012.
  • Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, and Zongyan Qiu. The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. 14th International Conference on Formal Engineering Methods (ICFEM 2012). Kyoto, Japan, November 12-16, 2012. LNCS 7504, pp 172-187. Springer, 2012.
  • Jiang Yong and Zongyan Qiu. S2N: Model transformation from SPIN to NuSMV, The 19th International Workshop on Software Model Checking (SPIN 2012). Oxford, UK, July 23 - 24, 2012. LNCS 7385, pp 255-260. Springer, 2012.
  • Kang He, Hongli Yang, Yachao Feng, Yuan Liu, Zongyan Qiu, Performance Analysis of Data Gathering Protocol using PRISM, in The Proceedings of 17th IEEE International Conference on Engineering of Complex Computer Systems, pp 96-105. Ecole Normale Supérieure, Paris - France, July 18 - 20, 2012. IEEE CS.
  • Tiziana Margaria, Qiu Zongyan, and Yang Hongli, The Proceedings of 2012 Sixth International Conference on Theoretical Aspects of Software Engineering, TASE 2012. Beijing, China. June 4-6, 2012. IEEE CS, 2012.
  • Ke Zhang, Hongli Yang, Zongyan Qiu, Generating Scenarios from Web Service Choreography. In the Proceedings of 2011 IEEE Asia-Pacific Services Computing Conference (APSCC 2011), pp290-297, December 12-15, 2011, Jeju, Korea, IEEE CS, 2011.
  • Lei Jinjiang and Qiu Zongyan, Verification of Scalable Synchronous Queue. In the Proceedings of First International Conference on Certified Programs and Proofs (CPP 2011), December 7-9, 2011, Kenting of Taiwan, China, LNCS 7086, pp247-263, Springer, 2011.
  • Shengchao Qin and Zongyan Qiu, Formal Methods and Software Engineering. 13th International Conference on Formal Engineering Methods (ICFEM 2011). Durham, UK, October 26-28 2012, LNCS 7086, Springer, 2011.
  • Kang He, Hongli Yang, Zongyan Qiu and Meng Sun, An approach of modeling and analyzing data gathering protocol. Fourth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS2011), October 19-21, Beijing, 2011.
  • Liu Yijing, Qiu Zongyan, and Long Quan. WP Semantics and Behavioral Subtyping. In the Proceedings of International Colloquium on Theoretical Aspects of Computing 2011 (ICTAC 2011). August 31 - September 2, 2011, Johannesburg, South Africa, LNCS 6916, pp 154-172, Springer, 2011.
  • Liu Yijing, Hong Ali and Qiu Zongyan. Inheritance and Modularity in Specification and Verification of OO Programs. In the Proceedings of 5th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE 2011), pp19-26, August 29 - 31, 2011, Xi'an, China. IEEE CS 2011.
  • Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu and Huibiao Zhu. Towards an Axiomatic Verification System for JavaScript. In the proceedings of 5th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE 2011), pp133-141. August 29 - 31, 2011, Xi'an, China. IEEE CS 2011
  • Chen Deng, Zongyan Qiu and Hongli Yang. Analysis of WS-BPEL Processes in PRISM, In the proceedings of 5th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE 2011), pp199-202. August 29 - 31, 2011, Xi'an, China. IEEE CS 2011
  • Shu Qin, Qiu Zongyan, and Wang Shuling, A Confinement Framework for OO Programs, 5th International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming (IWACO 2011), 25th July 2011, Lancaster, UK.
  • Liu Yijing and Qiu Zongyan, A Separation Logic for OO Programs, In 7th International Workshop on Formal Aspects of Component Software (FACS 2010), October 14-16, 2010, Guimaraes, Portugal. The Proceedings is Markus Lumpe and Luis Barbosa (eds.), LNCS 6921, pp88-105, Springer, 2011.
  • Shengyi Wang, Zongyan Qiu, Shengchao Qin, and Wei-Ngan Chin, Stack Bound Inference for Abstract Java Bytecode, In the Proceedings of 4th IEEE Symposium on Theoretical Aspects of Software Engineering (TASE 2010), pp57-66, August 25-27, 2010, Taipei of Taiwan, China, IEEE CS, 2010.8.
  • Hongli Yang, Liang Zhou, Kang He, Chen Deng, Xiangpeng Zhao, Zongyan Qiu, A Probabilistic QoS Model-Checking for Dynamic Routing Protocol, In the Proceedings of 2010 10th International Conference on Quality Software (QSIC), pp441-448, July 14-15, 2010, Zhengjiajie, China. IEEE CS, 2010.7.
  • Qiu Zongyan, Peng Liyang, and Yang Hongli, A Framework for Integrating Human Processes with Business Artifacts, In the Proceedings of 2010 Fifth IEEE International Symposium on Service Oriented System Engineering (SOSE 2010), pp252-259,June 4-5, 2010, Nanjing, China, IEEE CS, 2010.6.
  • Wang Shuling, Shu Qin, Liu Yijing, and Qiu Zongyan, A Semantic Model of Confinement and Locality Theorem, Frontiers of Computer Science in China, Vol. 4, No. 1, pp28-46, DOI10.1007/s11704-009-0075-6, HEP & Springer, 2010.3.
  • Liyang Peng, Chao Cai, Qiu Zongyan, and Geguang Pu, Verification of Channel Passing in Choreography with Model Checking, IEEE International Conference on Service-Oriented Computing and Applications (SOCA) 2009, pp286-290, Dec. 14-15, Taipei of Taiwan, China. IEEE CS Press, 2009.
  • Tao Sun, Zheng Wang, Geguang Pu, Xiao Yu, Zongyan Qiu, and Bin Gu, Towards Scalable Compositional Test Generation, In Proceedings of The 9th International Conference on Quality Software (QSIC 2009), pp353-358, Aug. 24-25, 2009. Jejiu, Korea. IEEE CS Press, 2009.
  • Xiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu, Enforcing Constraints on Life Cycles of Business Artifacts, in The Proceedings of 3nd IEEE Symposium on Theoretical Aspects of Software Engineering (TASE 2009), pp 111-118, Tianjin, China, 2009.7. IEEE CS Press, 2009.
  • Wang Shengyi, Qiu Zongyan, A Tool For Estimating Memory Usage, in The Proceedings of 3nd IEEE Symposium on Theoretical Aspects of Software Engineering (TASE 2009), pp 287-288, Tianjin, China, 2009.7. IEEE CS Press, 2009.
  • Chao Cai, Zongyan Qiu, Hongli Yang and Xiangpeng Zhao, A Top-down Approach to Rigorously Develop Distributed System with Exception Handling, Journal of Computer Science and Technology, 24(2), pp 238-249, Springer, 2009.
  • Liang Zhao, Xiaojian Liu, Zhiming Liu and Zongyan Qiu, Graph Transformations for Object-Oriented Refinement, Formal Aspects of Computing, 21(1), pp 103-131, Springer, 2009.
  • Chenguang Luo, Shengchao Qin and Zongyan Qiu, Verifying BPEL-like Programs with Hoare Logic (Extended Version), Frontiers of Computer Science in China, 2(4), pp344-356, HEP & Springer, December 2008.
  • Hongli Yang, Xiangpeng Zhao, Chao Cai and Zongyan Qiu, Model-checking of Web Services Choreography, In the Proceedings of The Fourth IEEE International Symposium on Service-Oriented System Engineering (SOSE 2008), pp79-84. Dec 18-19, 2008, National Central University, Jhongli of Taiwan, China. IEEE CS, 2008.
  • Long Quan, Qiu Zongyan and Zhiming Liu, Formal Use of Design Patterns and Refactoring, In the Proceedings of Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium (ISoLA 2008), pp323-338, Porto Sani, Greece, October 13-15, 2008. Communications in Computer and Information Science 17, Springer, 2008.10.
  • Chao Cai, Zongyan Qiu, Xiangpeng Zhao, and Hongli Yang, Correct Channel Passing by Construction, In Proceedings of 10th International Conference on Formal Engineering Methods (ICFEM 2008), pp358-374. Kitakyushu-City, Japan, 2008.10. Lecture Notes on Computer Science 5256, Springer, 2008.
  • Cai Chao and Qiu Zongyan, An Approach to Check Choreography with Channel Passing in WS-CDL, In Proceedings of 2008 IEEE International Conference on Web Services (ICWS 2008), pp700-707. Beijing, China, 2008.9. IEEE CS, 2008.
  • Zhao Xiangpeng, Qiu Zongyan, Cai Chao, and Yang Hongli, A Formal Model of Human Workflow, In Proceedings of 2008 IEEE International Conference on Web Services (ICWS 2008), pp 195-202. Beijing, China, 2008.9. IEEE CS, 2008.
  • Cai Chao, Yang Hongli, Zhao Xiangpeng and Qiu Zongyan, A Formal Model for Channel Passing in Web Service Composition, In Proceedings of 2008 IEEE International Conference on Services Computing (SCC 2008), Work in progress paper, pp495-496. Hawaii, USA, 2008.7. IEEE CS, 2008.
  • Chenguang Luo, Shengchao Qin and Zongyan Qiu, Verifying BPEL-like Programs with Hoare Logic, In Proceedings of 2nd IEEE Symposium on Theoretical Aspects of Software Engineering (TASE 2008), pp151-158. July 17-19, 2008. Nanjing, China, 2008.6. IEEE CS Press, 2008.
  • Shuling Wang and Zongyan Qiu, A Generic Model for Confinement and Its Application, In Proceedings of 2nd IEEE Symposium on Theoretical Aspects of Software Engineering (TASE 2008), pp57-64. July 17-19, 2008. Nanjing, China, 2008.6. IEEE CS Press, 2008.
  • Yang Hongli, Cai Chao, Peng Liyang, Zhao Xiangpeng and Qiu Zongyan, Reasoning about Channel Passing in Choreography, In Proceedings of 2nd IEEE Symposium on Theoretical Aspects of Software Engineering (TASE 2008), pp135-142. July 17-19, 2008. Nanjing, China, 2008.6. IEEE CS Press, 2008.
  • Zhao Xiangpeng, Cai Chao, Yang Hongli, and Qiu Zongyan, A QoS View of Web Service Choreography, Third IEEE International Workshop on Service-Oriented System Engineering (SOSE2007). In the Proceedings of the IEEE International Conference of e-Business Engineering (ICEBE 2007), pp607-611. Hong Kong, China, 2007.10. IEEE CS, 2007.
  • Yang Hongli, Zhao Xiangpeng, Cai Chao, and Qiu Zongyan, Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation, In Proceedings of 27th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE 2007), pp81-96. Tallinn, Estonia, 2007.6. Lecture Notes on Computer Science 4574, Springer, 2007.
  • Qiu Zongyan, Wang Shuling and Quan Long, Sequential μJava: Formal Foundations (Invited Talk), Fifth Asian Workshop on Foundations of Software (AWSF07), Xiamen, China, June 1-3, 2007.
  • Jing Dong, Tu Peng, and Zongyan Qiu, Commutability of Design Pattern Instantiation and Integration, In Proceedings of 1st IEEE&IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE 2007), pp283-292. Shanghai, China, 2007.6. IEEE CS, 2007.
  • Qiu Zongyan, Zhao Xiangpeng, Cai Chao, and Yang Hongli, Towards the Theoretical Foundation of Choreography, In Proceedings of Sixteenth International World Wide Web Conference (WWW 2007), pp973-982. Banff, Alberta, Canada, May 8-12, 2007. ACM Press, 2007.
  • Sun Meng, Yang Hongli, Zhang Naixiao and Qiu Zongyan. Using UML for Specification and Refinement of Software Architectures, ACTA SCIENTIARUM NATURALIUM UNIVERSITATIS PEKINENSIS, Vol.43, No.1, pp1-10, 2007. 英文论文, 北京大学学报(自然科学), 2007年第1期, pp 1-10, 2007年1月出版.
  • Wang Shuling, Long Quan, and Qiu Zongyan, Type safe for FJ and FGJ, In Proceedings of 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC 2006), pp257-271. Tunisia, Tunis, 2006.11. Lecture Notes on Computer Science 4281, Springer. 2006.
  • Geguang Pu, Huibiao Zhu, Jifeng He, Zhao Xiangpeng, Qiu Zongyan, and Yang Hongli, Patterns with algebraic properties in BPEL0, In Proceedings of 2nd IEEE-EASST International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006), pp363-370. November 15-19, Paphos, Cyprus. IEEE CS Press, 2006.
  • Zhao Xiangpeng, Yang Hongli, Cai Chao, Dai Xiwu and Qiu Zongyan, Verification of WS-CDL Choreography, 1st International Workshop on Asian Working Conference on Verified Software (AWCVS 2006), 2006.11, Macao, China. Preliminary Proceedings pp 163-178, UNU-IIST Report No. 347, 2006.
  • Zhao Xiangpeng, Quan Long, and Qiu Zongyan, Model Checking Dynamic UML Consistency, In Proceedings of 8th International Conference on Formal Engineering Methods (ICFEM 2006), pp 440-459. Macao, China, 2006.11. Lecture Notes on Computer Science 4260, Springer, 2006.
  • Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, and Geguang Pu, Type Checking Choreography Description Language, In Proceedings of 8th International Conference on Formal Engineering Methods (ICFEM 2006), pp 264-283. Macao, China, 2006.11. Lecture Notes on Computer Science 4260, Springer, 2006.
  • Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, and Jifeng He, A Hybrid Heuristic Algorithm for HW-SW Partitioning within Timed Automata, In Proceedings of 10th International Conference on Knowledge-Based & Intelligent Information & Engineering Systems (KES2006), pp 459-466. Bournemouth, UK, 2006.10. Lecture Notes on Artificial Intelligence 4251, Springer, 2006.
  • Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, and Shuling Wang, A Formal Model for Web Service Choreography Language (WS-CDL), In Proceedings of International Conference on Web Services (ICWS 2006), pp 893-894, Work in progress paper. Chicago, USA, 2006.9. IEEE, CS Press, 2006.
  • Zhao Xiangpeng, Yang Hongli, and Qiu Zongyan, Towards the Formal Model and Verification of Web Service Choreography Description Language, In the Proceedings of 3rd International Workshop on Web Service and Formal Methods (WSFM'06), pp 273-287. September 8-9, 2006. Vienna, Austria. Lecture Notes on Computer Science 4184, Springer, 2006.
  • Zhao Liang, Zhao Xiangpeng, Long Quan, and Qiu Zongyan, A Type System for the Relational Calculus of Object Systems. In Proceedings of 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), pp 189-198. August 15-17, 2006. Stanford University, CA, USA, 2006.8. IEEE CS Press, 2006.
  • Geguang Pu, Chong Zhang, Qiu Zongyan, He Jifeng, and Wang Yi, Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. In Proceedings of 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), pp 131-138. August 15-17, 2006. Stanford University, CA, USA, 2006.8. IEEE CS Press, 2006.
  • Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He, Theoretical Foundation of Scope-based Compensable Flow Language for Web Service, In Proceedings of 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'06). June 14-16, 2006. Bologna, Italy. Lecture Notes on Computer Science 4037, pp 251-266, Springer, 2006.
  • Pu Geguang, He Jifeng, and Qiu Zongyan, An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem, In Proceedings of the 9th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS'06), pp 151-152. April 18-21, 2006. Prague, Czech. IEEE CS Press, 2006.
  • Shengchao Qin, Wie-Hgan Chin, Jifeng He, and Zongyan Qiu, From Statecharts to Verilog: a formal approach to hardware/software co-specification, Innovations in Systems and Software Engineering, A NASA Journal, Volume 2, Number 1, pp 17-38, Springer, 2006.3.
  • Dang Van Hung, He Jifeng, Pu Geguang, Qiu Zongyan, and Wang Yi, An optimal approach to Hardware/Software partitioning for synchronous model, Formal Aspects of Computing, Vol. 17, No. 4, pp 443-460, Springer, 2005.12.
  • Quan Long, Qiu Zongyan, Zhiming Liu, Lingshuang Shao, and He Jifeng, POST: A case study for an incremental development in rCOS, In Proceedings of 2nd International Colloquium on Theoretical Aspects of Computing (ICTAC 2005), pp498-513. October 17-21, 2005. Henoi, Viet Nam. Lecture Notes on Computer Science 3722, Springer, 2005.
  • Chong Zhang, Lin Zuoquan, Pu Geguang, Qiu Zhongyan, Wang Shuling, Zhao Xiangpeng, Robust tabu search for resource predictions in high level synthesis, In Proceedings of The 6th Metaheuristics International Conference (MIC 2005). Vienna, Austria, 2005.9.
  • Qiu Zongyan, Wang Shuling, Pu Geguang, Zhao Xiangpeng, Semantics of BPEL4WS-like fault and compensation handling, In Proceedings of International Symposium of Formal Methods Europe (FM2005), pp350-365. July 18-22, 2005. New Castle, UK. Lecture Notes on Computer Science 3582, Springer, 2005.
  • Pu Geguang, Zhao Xiangpeng, Wang Shuling, and Qiu Zongyan, Towards the semantics and verification of BPEL4WS, In Proceedings of International Workshop on Web Languages and Formal Methods (WLFM 2005), New Castle, UK, 2005.7, edited by A. Arenas, J.S. Dong, A. Martin and B. Matthews. Electronic Notes in Theoretical Computer Science, Volume 151, Issue 2, pp33-52, Elsevier, 2006.5.
  • Pu Geguang, Qiu Zongyan, He Jifeng, Integrating time and resource into Circus, In Proceedings of the Brazilian Symposium on Formal Methods (SBMF2004), 29 November - 01 December 2004, Edited by A. Mota; A. Moura. Electronic Notes in Theoretical Computer Science, Volume 130, pp401-418, Elsevier, 2005.5.
专业领域社会服务
  • PC member, ICFEM 2015 (17th International Conference on Formal Engineering Methods). Nov 3-6, 2015, CNAM, Paris.
  • PC member, SETTA 2015 (Symposium on Dependable Software Engineering Theories, Tools and Applications). Nanjing, China, November 4-6, 2015.
  • PC member, SBLP 2015 (XIX Brazilian Symposium on Programming Languages). 21 a 25/09/15 BELO HORIZONTE.
  • PC member, TASE 2015 (The 9th International Symposium on Theoretical Aspects of Software Engineering). September 12-14, 2015, Nanjing, China.
  • PC member, ICFEM 2014 (16th International Conference on Formal Engineering Methods). November 3-7, Luxembourg
  • PC member, SBLP 2014 (18th Brazilian Symposium on Programming Languages). Maceio, Brazil. Oct 2-3, 2014.
  • PC member, TASE 2014 (The 8th International Symposium on Theoretical Aspects of Software Engineering). September 1-3, 2014, Changsha, China
  • PC member, FM 2014 (19th International Symposium on Formal Methods). May 12-16, 2014, Singapore.
  • PC member, ICFEM 2013 (15th International Conference on Formal Engineering Methods). Oct 29 - Nov 1, 2013, Queenstown, New Zealand.
  • PC member, ICTAC 2013 (10th International Colloquium on Theoretical Asspect of Computing). Sep 04 - 06, 2013, Shanghai, China
  • PC member, SBLP 2013 (17th Brazilian Symposium on Programming Languages). Brasília, Brazil, on September 29th to October 4th, 2013.
  • PC member, ICFEM 2012 (14th International Conference on Formal Engineering Methods). 12-16 November 2012, Kyoto, JAPAN
  • PC member, SLBP 2012 (16th Brazilian Symposium on Programming Languages). 23-28 September, 2012, Natal-RN, Brazil
  • PC member,ICTAC 2012 (9th International Colloquium on Theoretical Aspects of Computing), 24-27 September 2012, Bangalore, India.
  • PC member, UTP 2012 (4th International Symposium on Unifying Theories of Programming), August 27 - 28, 2012. Paris, France
  • PC Co-chair, TASE 2012 (The Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering), 4-6 July 2012, Beijing, China
  • PC member, FTfJP 2012 (Formal Techniques for Java-like Programs), 11-16 June 2012, Beijing, China
  • PC Co-chair, ICFEM 2011 (13th International Conference on Formal Engineering Methods). 25th-28th October 2011, Durham, United Kingdom
  • PC member, TASE 2011 (5th IEEE International Conference on Theoretical Aspects of Software Engineering). August 29 - 31, 2011, Xi'an, China
  • PC member, AWFS 2011 (The Eighth Asian Workshop on Foundation of Software). Shanghai Jiao Tong University. May 13-14, 2011. Shanghai, China.
  • PC member, ICFEM 2010 (12th International Conference on Formal Engineering Methods, Nov 16 - 19, 2010, Shanghai, China
  • PC member, UTP 2010 (3rd International Symposium on Unifying Theories of Programming), Nov 15 - 16, 2010, Shanghai, China
  • PC member, AWFS 2010 (The Seventh Asian Workshop on Foundation of Software), Beihang University, Beijing, China May 14-16, 2010
  • PC member, ICIS 2010 (9th IEEE/ACIS International Conference on Computer and Information Science), August 18–20, 2010, Yamagata, Japan
  • PC member, ATVA 2010 (8th International Symposium on Automatics Technology for Verification and Analysis), September 21 - 24, 2010, Singapore
  • PC member, TASE 2010 (4th IEEE Symposium on Theoretical Aspects of Software Engineering), August 25 - 27, 2010, Taipei, Taiwan, China
  • PC member, WS-FM'09, 6th International Workshop on Web Services and Formal Methods, Bologna, Italy, September 4 - 5, 2009
  • PC member, APSEC 2009 (XVI Asia Pacific Software Engineering Conference), Dec 1-3, 2009, Penang, Malaysia
  • PC member, TASE 2009 (3nd IEEE Symposium on Theoretical Aspects of Software Engineering), July 29-31, 2009, Tianjin, China
  • PC Member, ICIS 2009 (8th IEEE/ACIS International Conference on Computer and Information Science), June 1-3, 2009, Shanghai, China
  • PC member, AWFS 2009 (Sixth Asian Workshop on Foundations of Software), GRACE Center of National Institute of Informatics, Tokyo, Japan, April 6-8, 2009
  • PC member, APSEC 2008 (XV Asia Pacific Software Engineering Conference), Dec 3-5, 2008, Beijing, China
  • PC member, TASE 2008 (2nd IEEE Symposium on Theoretical Aspects of Software Engineering), June 17-19, 2008, Nanjing, China
  • PC member, ICESS 2008 (The 2008 International Conference on Embedded Software and Systems), July 29-31, 2008, Chnegdu, Sichuan, China
  • PC member, TTSS'07 (1st Intl. Workshop on Harnessing Theories for Tool Support in Software), 22-23 September 2007, Macau, China
  • PC member, APSEC 2007 (XIV Asia Pacific Software Engineering Conference), Nagoya, Japan, Dec 5-7, 2007
  • PC member, ICECCS 2007 (12th IEEE International Conference on Engineering Complex Computer Systems), Auckland, New Zealand, July 11 - 14, 2007
  • PC member,TASE 2007 (1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering), Shanghai, China, 2007
  • PC member,APSEC 2006 (XIII Asia Pacific Software Engineering Conference), Dec. 6-8, 2006, Bangalore, India
  • PC member,ICFEM 2006 (International Conference on Formal Engineering Methods), Macau, China
  • PC member,APLAS 2004 (Asian Symposium on Programming Languages and Systems)
  • PC member,ICTAC 2004 (International Colloquium on Theoretical Aspects of Computing)
  • Publicity Chair,ICFEM 2003 (International Conference on Formal Engineering Methods), Singapore
负责科研项目:
  • 国家自然科学基金 "面向对象程序的分离逻辑理论基础"(2013-2016)
  • 中科院开放课题基金 "面向对象程序的形式化模型与验证理论"(2012-2013)
  • 国家自然科学基金 "对象封装和保护的理论和技术研究"(2008-2010)
  • 国家自然科学基金 "Web服务编排和协作的形式化模型"(2008-2010)
  • 国家自然科学基金 "复杂状态程序和系统的语义模型研究"(2006)
  • 国家自然科学基金 "实时系统理论及系统开发的形式化方法研究"(2002)
  • 国家自然科学基金 "实时系统的逻辑理论基础"(1999)

近年参加科研项目:

  • 国家自然科学基金"基于 Reo 的协调理论及其在信息物理系统开发方法中的应用"(2013-2015)
  • 国家自然科学基金"面向对象程序的形式化规范与验证"(2012-2014)
  • 973项目"数学机械化方法及其在信息技术中的应用"(2004-2006)
  • 973项目"数学机械化和自动推理平台"(1999-2003)

2014.9