wang0803 Xu Wang (Brief Bio)

  Research Fellow
  International Institute for Software Technology
  The United Nations University
  Address: Casa Silva Mendes, Est. do Engenheiro Trigo No. 4
  Tel: (+853) 85040407. Fax: (+853) 28712940
  Email: wx at iist dot unu dot edu

Research

Formal modeling and verification of concurrent systems using CSP/FDR2 (esp. with applications to concurrent program and asynchronous hardware analysis), Design tool and algorithm for scalable analysis of realistic-size problems.

 

 

Recent Publications:

 

X. Wang, M. Kwiatkowska; On process-algebraic verification of asynchronous circuits; Fundamenta Informaticae, Vol. 80, 2007.

 

X. Wang, M. Kwiatkowska; Compositional state space reduction using untangled actions; 13th InternationalWorkshop on Expressiveness in Concurrency (EXPRESS 2006), Bonn, Germany, August 2006.

 

X. Wang, M. Kwiatkowska; On process-algebraic verification of asynchronous circuits; Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), IEEE Computer Society Press, Turku, Finland, June, 2006.

 

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): 189-206, Verona, Italy, 2005.

 

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): 231-246, London, UK, 2004.

 

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: 247-266, Canterbury, UK, 2004.

 

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), Elsevier, November 2002.

 

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), IEEE Computer Society Press, Hong Kong, December 2001.

 

X. Wang, T. Huang, Y. Feng; A Formal Language for Distributed Programming with Resources and Scope; Journal of Software, April 2001.

 

X. Wang; Towards a Calculus of Distributed Resources and Scope; IFIP World Computer Congress 2000 (ICS2000) Proceedings, August 2000.

 

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), IEEE Computer Society Press, November, 2001.

 

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), May 2001.

 

The full list of research papers

 

Current Projects

Current Courses

Research Group

Recent Academic Activities