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, Macau
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 mutlicore programming and asynchronous hardware
analysis), Design tool and algorithm for scalable analysis of realistic-size
problems.
Selected Publications:
Xu Wang. Maximal Confluent Processes. (draft version).
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.
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.
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.
Shuling Wang and Xu Wang;
Proving Four-Slot Algorithm Using Ownership Transfer; 6th International
Verification Workshop (VERIFY-2010), FLOC proceedings, Edinburgh, July 2010.
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, 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.
Current
Projects
- Mobile Phone as an
Application Development Platform (Mobiform) (Principal Investigator, UNU-IIST Funded)
- Independence and Concurrency in
System Verification (ICSV) (Principal Investigator, UNU-IIST Funded)
- Process expansion: Action
Refinement in the Large (PEARL) (Co-Investigator, Funded by FDTC)
Current
Courses
- Formal Modelling and Verification in
CSP (30 lecture hours)
- Foundations of multicore
programming: algorithm and verification (30 lecture hours)
Research
Group
- Current Fellows: Ming Li, Weisong Li and Yongxin Zhao
- Postdocs: Shuling
Wang (joint supervision with Zhiming
Liu)
- Ex-fellows: Kamel Boumaza, Bouneb Zine El Abidine
(co-supervised with Jeff Sanders) and Michael Adeniyi Akingbade
Recent
Academic Activities
- PC
Member of 12th International Conference on Formal Engineering Methods
(ICFEM 2010)
- Autumn
School on Concurrency and Multi-core Programming in Chongqing (2009)
- PC Member of
7th International Symposium on Automated Technology for Verification and
Analysis (2009)
- PC member of
1st-2nd International Workshop on Harnessing Theories for Tool Support in
Software (2007, 2008)
- School
on Software Engineering with UML and Formal Modelling and Verification in
CSP (2007)