We stand with Ukraine  

Xu Wang

Orcid: 0000-0002-2113-8944

Affiliations:
  • Swansea University, Department of Computer Science, UK
  • University of Oxford, Department of Computer Science, UK
  • United Nations University, International Institute for Software Technology, Macau
  • University of Birmingham, School of Computer Science, UK


According to our database1, Xu Wang authored at least 15 papers between 2004 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
A simple proof of data-race freedom and coherence for simpson's 4-slot algorithm.
[BibTeX]
[DOI]
Xu Wang
,
Qiwen Xu
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

2017
A Specification Theory of Real-Time Processes.
[BibTeX]
[DOI]
Chris Chilton
,
Marta Z. Kwiatkowska
,
Faron Moller
,
Xu Wang
Proceedings of the Concurrency, Security, and Puzzles, 2017

2016
OnTrack: The Railway Verification Toolset - Extended Abstract.
[BibTeX]
[DOI]
Phillip James
,
Faron Moller
,
Hoang Nga Nguyen
,
Markus Roggenbach
,
Helen Treharne
,
Xu Wang
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015
Practical Partial Order Reduction for CSP.
[BibTeX]
[DOI]
Thomas Gibson-Robinson
,
Henri Hansen
,
A. W. Roscoe
,
Xu Wang
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2013
Revisiting Timed Specification Theory II : Realisability
[BibTeX]
[DOI]
Chris Chilton
,
Marta Z. Kwiatkowska
,
Xu Wang
CoRR, 2013

2012
Revisiting Timed Specification Theories: A Linear-Time Perspective.
[BibTeX]
[DOI]
Chris Chilton
,
Marta Z. Kwiatkowska
,
Xu Wang
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

Maximal Confluent Processes.
[BibTeX]
[DOI]
Xu Wang
Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2011
On the Origin of Events: Branching Cells as Stubborn Sets.
[BibTeX]
[DOI]
Henri Hansen
,
Xu Wang
Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

Compositional Analysis for Weak Stubborn Sets.
[BibTeX]
[DOI]
Henri Hansen
,
Xu Wang
Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010
Towards a Pomset Semantics for a Shared-Variable Parallel Language.
[BibTeX]
[DOI]
Yongxin Zhao
,
Xu Wang
,
Huibiao Zhu
Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

2007
On Process-algebraic Verification of Asynchronous Circuits.
[BibTeX]
[DOI]
Xu Wang
,
Marta Z. Kwiatkowska
Fundam. Informaticae, 2007

2006
Compositional State Space Reduction Using Untangled Actions.
[BibTeX]
[DOI]
Xu Wang
,
Marta Z. Kwiatkowska
Proceedings of the 13th International Workshop on Expressiveness in Concurrency, 2006

2005
Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs.
[BibTeX]
[DOI]
Xu Wang
,
Marta Z. Kwiatkowska
,
Georgios Theodoropoulos
,
Qianyi Zhang
Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, 2005

2004
Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware.
[BibTeX]
[DOI]
Xu Wang
,
Marta Z. Kwiatkowska
,
Georgios Theodoropoulos
,
Qianyi Zhang
Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004

Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption.
[BibTeX]
[DOI]
Xu Wang
,
A. W. Roscoe
,
Ranko Lazic
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004


  Loading...