Chunhan Wu

Publication Activity (10 Years)

Years Active: 2008-2020
Publications (10 Years): 1

Top Topics

Regular Expressions

Deterministic Finite Automata

Coloured Petri Nets

Object Oriented Databases

Top Venues

J. Autom. Reason.

Publications

Xingyuan Zhang, Christian Urban, Chunhan Wu
Priority Inheritance Protocol Proved Correct. J. Autom. Reason. 64 (1) (2020)
Chunhan Wu, Xingyuan Zhang, Christian Urban
A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions. J. Autom. Reason. 52 (4) (2014)
Chunhan Wu, Xingyuan Zhang, Christian Urban
A Formal Model and Correctness Proof for an Access Control Policy Framework. CPP (2013)
Xingyuan Zhang, Christian Urban, Chunhan Wu
Priority Inheritance Protocol Proved Correct. ITP (2012)
Chunhan Wu, Xingyuan Zhang, Christian Urban
A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions (Proof Pearl). ITP (2011)
Chunhan Wu, Xingyuan Zhang, Christian Urban
The Myhill-Nerode Theorem Based on Regular Expressions. Arch. Formal Proofs 2011 (2011)
Chunhan Wu, Xingyuan Zhang, Yuanyuan Wang
A Replay-Oriented Software Architecture for Easy Debugging. CSSE (2) (2008)