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.
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.
Proceedings of the Concurrency, Security, and Puzzles, 2017

2016
OnTrack: The Railway Verification Toolset - Extended Abstract.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015
Practical Partial Order Reduction for CSP.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2013
Revisiting Timed Specification Theory II : Realisability
CoRR, 2013

2012
Revisiting Timed Specification Theories: A Linear-Time Perspective.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

Maximal Confluent Processes.
Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2011
On the Origin of Events: Branching Cells as Stubborn Sets.
Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

Compositional Analysis for Weak Stubborn Sets.
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.
Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

2007
On Process-algebraic Verification of Asynchronous Circuits.
Fundam. Informaticae, 2007

2006
Compositional State Space Reduction Using Untangled Actions.
Proceedings of the 13th International Workshop on Expressiveness in Concurrency, 2006

2005
Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs.
Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, 2005

2004
Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware.
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.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004


  Loading...