Zhe Hou
Cited by
Cited by
A labelled sequent calculus for BBI: Proof theory and proof search
Z Hu, R Gor, A Tiu
Journal of Logic and Computation 28 (4), 809-872, 2018
Proof search for propositional abstract separation logics via labelled sequents
Z Hu, R Clouston, R Gor, A Tiu
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of…, 2014
Automated theorem proving for assertions in separation logic with all connectives
Z Hu, R Gor, A Tiu
International Conference on Automated Deduction, 501-516, 2015
An iterative approach to synthesize business process templates from compliance rules
A Awad, R Gor, Z Hou, J Thomson, M Weidlich
Information Systems 37 (8), 714-736, 2012
CSimpl: A rely-guarantee-based framework for verifying concurrent programs
D Sann, Y Zhao, Z Hou, F Zhang, A Tiu, Y Liu
International Conference on Tools and Algorithms for the Construction and…, 2017
An executable formalisation of the SPARCv8 instruction set architecture: a case study for the LEON3 processor
Z Hou, D Sanan, A Tiu, Y Liu, KC Hoa
International Symposium on Formal Methods, 388-405, 2016
Separation algebra
G Klein, R Kolanski, A Boyton
Archive of Formal Proofs 2012, 2012
Proof tactics for assertions in separation logic
Z Hu, D Sann, A Tiu, Y Liu
International Conference on Interactive Theorem Proving, 285-303, 2017
Labelled sequent calculi and automated reasoning for assertions in separation logic
Z Hu
Ph. D. Dissertation. Australian National University, 2015
Towards dependable and explainable machine learning using automated reasoning
H Bride, J Dong, JS Dong, Z Hu
International Conference on Formal Engineering Methods, 412-416, 2018
Modular labelled sequent calculi for abstract separation logics
Z Hu, R Clouston, R Gor, A Tiu
ACM Transactions on Computational Logic (TOCL) 19 (2), 1-35, 2018
Development of a novel 20 kV 0.1 Hz very low frequency cosine-rectangular voltage generator for multi-functional insulation testing of MV power cables
Z Hou, H Li, S Chen, B Li, Y Lu, S Ji
IET Generation, Transmission & Distribution 12 (1), 1-8, 2017
Completeness for a first-order abstract separation logic
Z Hu, A Tiu
Asian Symposium on Programming Languages and Systems, 444-463, 2016
Silas: High performance, explainable and verifiable machine learning
H Bride, Z Hou, J Dong, JS Dong, A Mirjalili
arXiv preprint arXiv:1910.01382, 2019
On embedding a hardware description language in Isabelle/HOL
W Khan, D Sanan, Z Hou, L Yang
Design Automation for Embedded Systems 23 (3-4), 123-151, 2019
Towards solving decision making problems using probabilistic model checking
L Shi, S Liu, J Hao, JY Koh, Z Hou, JS Dong
2017 22nd International Conference on Engineering of Complex Computer…, 2017
An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model
Z Hu, D Sanan, A Tiu, Y Liu, KC Hoa, JS Dong
Journal of Automated Reasoning, 1-30, 2020
N-PAT: A Nested Model-Checker
H Bride, CH Cai, JS Dong, R Gore, Z Hu, B Mahony, J McCarthy
arXiv preprint arXiv:2005.05520, 2020
GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems
H Bride, JS Dong, R Green, Z Hou, B Mahony, M Oxenham
arXiv preprint arXiv:1910.01380, 2019
A formalisation of the SPARC TSO memory model for multi-core machine code
Z Hou, D Sanan, A Tiu, Y Liu, JS Dong
arXiv preprint arXiv:1906.11203, 2019
The system can't perform the operation now. Try again later.
Articles 1–20