Chunhan Wu

According to our database, Chunhan Wu authored at least 6 papers between 2008 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Priority Inheritance Protocol Proved Correct.

Xingyuan Zhang, Christian Urban, Chunhan Wu

J. Autom. Reason., 2020

2014

A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions.

Chunhan Wu, Xingyuan Zhang, Christian Urban

J. Autom. Reason., 2014

2013

A Formal Model and Correctness Proof for an Access Control Policy Framework.

Chunhan Wu, Xingyuan Zhang, Christian Urban

Proceedings of the Certified Programs and Proofs - Third International Conference, 2013

2011

The Myhill-Nerode Theorem Based on Regular Expressions.

Chunhan Wu, Xingyuan Zhang, Christian Urban

Arch. Formal Proofs, 2011

A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions (Proof Pearl).

Chunhan Wu, Xingyuan Zhang, Christian Urban

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

2008

A Replay-Oriented Software Architecture for Easy Debugging.

Chunhan Wu, Xingyuan Zhang, Yuanyuan Wang

Proceedings of the International Conference on Computer Science and Software Engineering, 2008