Dr. Xu Wang

Xu Wang

Research Fellow

Email: wx

Tel: +853 8504 0407

Fax: +853 2871 2940

Personal Website: http://www.iist.unu.edu/~wx/

Research Interests


  • Concurrent system modelling, analysis, and verification
  • Tool and algorithm design for efficient analysis of large models
  • Multicore programming and asynchronous circuit design

Biography


Xu Wang received a B.Sc. (1993) and M.Eng. (1996) in Computer Science from Xi'an Jiaotong University, and a Ph.D. (2000) from Chinese Academy of Sciences. He was a research associate, research officer and research fellow at the Hong Kong University of Science and Technology, Oxford University, and Birmingham University resp. from 2000 to 2006. He joined UNU-IIST in Nov. 2006, where he is currently a research fellow.

Publications


[20]

Henri Hansen and Xu Wang. Compositional Analysis for Stubborn sets. Eleventh International Conference on Application of Concurrency to System Design (ACSD 2011), IEEE Computer Society Press, 2011.
[19]

Henri Hansen and Xu Wang; On the origin of events: branching cells as stubborn sets; The 32nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2011); To appear in LNCS, Springer 2011.
[18]

Yongxin Zhao, Xu Wang and Huibiao Zhu; Towards a Pomset Semantics for a Shared-Variable Parallel Language; Third International Symposium of Unifying Theories of Programming; LNCS 6445: 271-285, Springer 2010.
[17] Shuling Wang and Xu Wang; Proving Four-Slot Algorithm Using Ownership Transfer; To appear in the proceedings of 6th International Verification Workshop (VERIFY-2010), 2010.
[16] X. Wang, M. Kwiatkowska; On process-algebraic verification of asynchronous circuits; Fundamenta Informaticae, Vol. 80, 2007.
[15] X. Wang, M. Kwiatkowska; Compositional state space reduction using untangled actions; 13th International Workshop on Expressiveness in Concurrency (EXPRESS 2006), 2006.
[14] X. Wang, M. Kwiatkowska; On process-algebraic verification of asynchronous circuits; Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006.
[13] X. Wang, M. Kwiatkowska, G. Theodoropoulos, Q. Zhang; Opportunities and challenges in process-algebraic verification of asynchronous circuit designs; Second International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS 2005), ENTCS 146(2), 2005.
[12] X. Wang, M. Kwiatkowska, G. Theodoropoulos, Q. Zhang; Towards a unifying CSP approach for hierarchical verification of asynchronous hardware; Fourth International Workshop on Automated Verification of Critical Systems (AVOCS 2004), ENTCS 128(6), 2004.
[11] X. Wang, A.W. Roscoe, R.S. Lazic; Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption; Fourth International Conference on Integrated Formal Methods (IFM 2004), LNCS 2999, 2004.
[10] X. Wang, S.C. Cheung, J. Wei; A CSP and Z Combined Modeling of Document Exchanging Processes in E-Commerce Protocols; Information and Software Technology (vol. 44, no.14), 2002.
[9] X.Wang, S.C. Cheung, J.Wei; On the Modeling of Document Exchanging Processes in E-Commerce Protocols; Second Asia-Pacific Conference On Quality Software (APAQS 2001), December 2001.
[8] X. Wang, T. Huang, Y. Feng; A Formal Language for Distributed Programming with Resources and Scope; Journal of Software, April 2001.
[7] X. Wang; Towards a Calculus of Distributed Resources and Scope; IFIP World Computer Congress 2000 (ICS2000) Proceedings, 2000.
[6] J. Wei, S.C. Cheung, H. Zhou, X.Wang; Modeling and Verifying Strong Cache Consistency for Mobile Data Access; Proceedings of 12th International Symposium on Software Reliability Engineering (ISSRE01), 2001.
[5] J. Wei, S.C. Cheung, X. Wang; Exploiting Automatic Analysis of E-Commerce Protocols; Proceedings of 25th Annual International Computer Software and Applications Conference (COMPSAC), 2001.
[4] J. Wei, S.C. Cheung, and X. Wang, Towards a Methodology for Formal Design and Analysis of Agent Interaction Protocols - An Investigation in Electronic Commerce, in the Proceedings of International Software Engineering Symposium, 2001.
[3] J. Koning, M. Huget, J. Wei, X. Wang; Extended Modeling languages for interaction protocols engineering; The Second International Workshop on Agent Oriented Software Engineering (AOSE-2001), 2001.
[2] T. Huang, J. Qian, X. Wang; Object Calculus II; Journal of Software, September 1999 (in Chinese).
[1] X. Wang, T. Huang, J. Qian; Group Model for Distributed Federation of Object Creation Service; International Conference on Technology of Object-Oriented Languages and Systems (TOOLS-27), 1998.

CV


Please download the CV in pdf.