Follow
Xu Wang
Xu Wang
Researcher, Swansea University
Verified email at cs.ox.ac.uk
Title
Cited by
Cited by
Year
Extended modeling languages for interaction protocol design
JL Koning, MP Huget, J Wei, X Wang
International Workshop on Agent-Oriented Software Engineering, 68-83, 2001
442001
Practical partial order reduction for CSP
T Gibson-Robinson, H Hansen, AW Roscoe, X Wang
NASA Formal Methods Symposium, 188-203, 2015
252015
On process-algebraic verification of asynchronous circuits
X Wang, M Kwiatkowska
Fundamenta Informaticae 80 (1-3), 283-310, 2007
172007
On process-algebraic verification of asynchronous circuits
X Wang, M Kwiatkowska
Sixth International Conference on Application of Concurrency to System …, 2006
172006
Revisiting timed specification theories: A linear-time perspective
C Chilton, M Kwiatkowska, X Wang
International Conference on Formal Modeling and Analysis of Timed Systems, 75-90, 2012
152012
Compositional State Space Reduction Using Untangled Actions
X Wang, M Kwiatkowska
Electronic Notes in Theoretical Computer Science 175 (3), 27-46, 2007
152007
Compositional State Space Reduction Using Untangled Actions
X Wang, M Kwiatkowska
University of Birmingham, 2006
152006
Towards a unifying CSP approach to hierarchical verification of asynchronous hardware
X Wang, M Kwiatkowska, G Theodoropoulos, Q Zhang
Electronic Notes in Theoretical Computer Science 128 (6), 231-246, 2005
142005
Compositional analysis for weak stubborn sets
H Hansen, X Wang
Application of Concurrency to System Design (ACSD), 2011 11th International …, 2011
132011
Proving Four-Slot Algorithm Using Ownership Transfer
S Wang, X Wang
EPiC Series vol 3 (VERIFY-2010), 126-140, 2012
8*2012
Proving Simpson's Four-Slot Algorithm Using Ownership Transfer.
S Wang, X Wang
VERIFY@ IJCAR, 126-140, 2010
82010
Exploiting automatic analysis of e-commerce protocols
J Wei, S Cheung, X Wang
Computer Software and Applications Conference, 2001. COMPSAC 2001. 25th …, 2001
8*2001
A Study of Communication Theory and Organization Structure in Agent Systems
X Wang
Institute of Software, Chinese Academy of Sciences, 2000
6*2000
Debug concurrent programs with visualization and inference of event structure
X Wu, J Wei, X Wang
2012 19th Asia-Pacific Software Engineering Conference 1, 683-692, 2012
52012
On the origin of events: branching cells as stubborn sets
H Hansen, X Wang
International Conference on Application and Theory of Petri Nets and …, 2011
52011
Opportunities and challenges in process-algebraic verification of asynchronous circuit designs
X Wang, M Kwiatkowska, G Theodoropoulos, Q Zhang
Electronic Notes in Theoretical Computer Science 146 (2), 189-206, 2006
52006
OnTrack: the railway verification toolset
P James, F Moller, HN Nguyen, M Roggenbach, H Treharne, X Wang
International Symposium on Leveraging Applications of Formal Methods, 294-296, 2016
42016
Maximal confluent processes
X Wang
International Conference on Application and Theory of Petri Nets and …, 2012
42012
Towards a methodology for formal design and analysis of agent interaction protocols
J Wei, SC Cheung, X Wang
Wuhan University Journal of Natural Sciences 6 (1-2), 126-139, 2001
42001
An Object Sequence Diagram Based Approach for Specifying and Analyzing Component Interaction Protocols
J Wei, X Wang, J Li
Journal of Software 12 (7), 996-1006, 2001
4*2001
The system can't perform the operation now. Try again later.
Articles 1–20