Xu Wang

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 3

Top Topics

Practical Problems

Provably Correct

Extended Abstract

Tree Decomposition

Top Venues

Concurrency, Security, and Puzzles

Publications

Xu Wang, Qiwen Xu
A simple proof of data-race freedom and coherence for simpson's 4-slot algorithm. SAC (2022)
Chris Chilton, Marta Z. Kwiatkowska, Faron Moller, Xu Wang
A Specification Theory of Real-Time Processes. Concurrency, Security, and Puzzles (2017)
Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Helen Treharne, Xu Wang
OnTrack: The Railway Verification Toolset - Extended Abstract. ISoLA (2) (2016)
Thomas Gibson-Robinson, Henri Hansen, A. W. Roscoe, Xu Wang
Practical Partial Order Reduction for CSP. NFM (2015)
Chris Chilton, Marta Z. Kwiatkowska, Xu Wang
Revisiting Timed Specification Theory II : Realisability CoRR (2013)
Chris Chilton, Marta Z. Kwiatkowska, Xu Wang
Revisiting Timed Specification Theories: A Linear-Time Perspective CoRR (2012)
Chris Chilton, Marta Z. Kwiatkowska, Xu Wang
Revisiting Timed Specification Theories: A Linear-Time Perspective. FORMATS (2012)
Henri Hansen, Xu Wang
On the Origin of Events: Branching Cells as Stubborn Sets. Petri Nets (2011)
Henri Hansen, Xu Wang
Compositional Analysis for Weak Stubborn Sets. ACSD (2011)
Xu Wang, Marta Z. Kwiatkowska
On Process-algebraic Verification of Asynchronous Circuits. Fundam. Informaticae 80 (1-3) (2007)
Xu Wang, Marta Z. Kwiatkowska, Georgios Theodoropoulos, Qianyi Zhang
Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs. Electron. Notes Theor. Comput. Sci. 146 (2) (2006)
Xu Wang, Marta Z. Kwiatkowska
Compositional State Space Reduction Using Untangled Actions. EXPRESS (2006)
Xu Wang, Marta Z. Kwiatkowska
On process-algebraic verification of asynchronous circuits. ACSD (2006)
Xu Wang, Marta Z. Kwiatkowska, Georgios Theodoropoulos, Qianyi Zhang
Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)
Xu Wang, A. W. Roscoe, Ranko Lazic
Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption. IFM (2004)