Xu Wang

17 papers B 3Misc 1Journal 3Unranked 10
YearRankTypeTitle / Venue / Authors
2022 Misc conf
A simple proof of data-race freedom and coherence for simpson's 4-slot algorithm.
SAC
Xu Wang, Qiwen Xu
2017 — conf
A Specification Theory of Real-Time Processes.
Concurrency, Security, and Puzzles
Chris Chilton, Marta Z. Kwiatkowska, Faron Moller, Xu Wang
2016 — conf
OnTrack: The Railway Verification Toolset - Extended Abstract.
ISoLA (2)
Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Helen Treharne, Xu Wang
2015 — conf
Practical Partial Order Reduction for CSP.
NFM
Thomas Gibson-Robinson, Henri Hansen, A. W. Roscoe, Xu Wang
2013 J jnl
Revisiting Timed Specification Theory II : Realisability
CoRR
Chris Chilton, Marta Z. Kwiatkowska, Xu Wang
2012 B conf
Maximal Confluent Processes.
Petri Nets
Xu Wang
2012 J jnl
Revisiting Timed Specification Theories: A Linear-Time Perspective
CoRR
Chris Chilton, Marta Z. Kwiatkowska, Xu Wang
2012 — conf
Revisiting Timed Specification Theories: A Linear-Time Perspective.
FORMATS
Chris Chilton, Marta Z. Kwiatkowska, Xu Wang
2011 — conf
Compositional Analysis for Weak Stubborn Sets.
ACSD
Henri Hansen, Xu Wang
2011 B conf
On the Origin of Events: Branching Cells as Stubborn Sets.
Petri Nets
Henri Hansen, Xu Wang
2010 — conf
Towards a Pomset Semantics for a Shared-Variable Parallel Language.
UTP
Yongxin Zhao, Xu Wang, Huibiao Zhu
2007 J jnl
On Process-algebraic Verification of Asynchronous Circuits.
Fundam. Informaticae
Xu Wang, Marta Z. Kwiatkowska
2006 — conf
Compositional State Space Reduction Using Untangled Actions.
EXPRESS
Xu Wang, Marta Z. Kwiatkowska
2006 — conf
On process-algebraic verification of asynchronous circuits.
ACSD
Xu Wang, Marta Z. Kwiatkowska
2005 — conf
Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs.
FMGALS@MEMOCODE
Xu Wang, Marta Z. Kwiatkowska, Georgios Theodoropoulos, Qianyi Zhang
2004 B conf
Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption.
IFM
Xu Wang, A. W. Roscoe, Ranko Lazic
2004 — conf
Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware.
AVoCS
Xu Wang, Marta Z. Kwiatkowska, Georgios Theodoropoulos, Qianyi Zhang