Zhe Hou's Home Page


DBLP page. View by date.

Machine Learning + Automated Reasoning = Trustworthy AI

Silas: A High-Performance Machine Learning Foundation for Logical Reasoning and Verification. Expert Systems With Applications (Impact Factor 5.45, SJR Q1 in AI), 2021.
(Surname Alphabetical Order) Hadrien Bride, Cheng-Hao Cai, Jie Dong, Jin Song Dong, Zhe Hou, Seyedali Mirjalili, Jing Sun. link PDF bibtex tool

Tree Ensemble Property Verification from A Testing Perspective. Accepted by the International Conference on Software Engineering and Knowledge Engineering (SEKE), 2021.
Bohao Wang, Zhe Hou, Gelin Zhang, Jianqi Shi and Yanhong Huang. PDF

Towards Dependable and Explainable Machine Learning Using Automated Reasoning. International Conference on Formal Engineering Methods (ICFEM, CORE Rank B conference) 2018.
(Surname Alphabetical Order) Hadrien Bride, Jie Dong, Jin Song Dong, Zhe Hou. link PDF bibtex

Model Checking Powered AI Smart Agents and Autonomous Systems

GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems. Engineering Applications of Artificial Intelligence (Impact Factor 4.2, SJR Q1 in AI), 2020.
(Surname Alphabetical Order) Hadrien Bride, Jin Song Dong, Ryan Green, Zhe Hou, Brendan Mahony, Martin Oxenham. link PDF bibtex

Towards Trustworthy AI for Autonomous Systems. International Conference on Formal Engineering Methods (ICFEM, CORE Rank B conference) 2018.
(Surname Alphabetical Order) Hadrien Bride, Jin Song Dong, Zhe Hou, Brendan Mahony, Martin Oxenham. link PDF bibtex

Goal Analytics via Model Checking for Autonomous Systems. International Joint Conference on Artificial Intelligence Goal Reasoning Workshop (IJCAI GRW) 2017.
Jin Song Dong, Naipeng Dong, Zhe Hou, Brendan Mahony, Martin Oxenham. PDF

Towards Solving Decision Making Problems Using Probabilistic Model Checking. International Conference on Engineering of Complex Computer Systems (ICECCS, CORE Rank A conference) 2017.
Ling Shi, Shuang Liu, Jianye Hao, Jun Yang Koh, Zhe Hou, and Jin Song Dong. link PDF bibtex

Blockchain Interoperability and Analysis

The Burn-to-Claim cross-blockchain asset transfer protocol. International Conference on Engineering of Complex Computer Systems (ICECCS, CORE Rank A conference), 2020.
Babu Pillai, Kamanashis Biswas, Zhe Hou and Vallipuram Muthukkumarasamy. link PDF bibtex

Formal Verification of Hardware, Software and Systems

An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model. Journal of Automated Reasoning (JAR, CORE Rank A journal), 2020.
Zhe Hou, David Sanan, Alwen Tiu, Yang Liu, Koh Chuen Hoa and Jin Song Dong. link PDF bibtex

On embedding a hardware description language in Isabelle/HOL. The Journal of Design Automation for Embedded Systems (DAES), 2019.
Wilayat Khan, David Sanan, Zhe Hou, Liu Yang. link PDF bibtex

A Formal Method for Evaluating the Performance of TSN Traffic Shapers using UPPAAL. Accepted by the IEEE Conference on Local Computer Networks (LCN), 2021.
Wang Guo, Yanhong Huang, Jianqi Shi, Zhe Hou, Yang Yang. PDF

A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models. Accepted by the International Symposium on Theoretical Aspects of Software Engineering (TASE), 2021.
Miao Tian, Jianqi Shi, Zhe Hou, Yanhong Huang and Shengchao Qin. PDF

Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings.
Shang-Wei Lin, Zhe Hou, Brendan P. Mahony. link bibtex

An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for The LEON3 Processor. International Symposium on Formal Methods (FM, CORE Rank A conference) 2016.
Zhe Hou, David Sanan, Alwen Tiu, Yang Liu, and Koh Chuen Hoa. link PDF bibtex

Verification Techniques and Tools

N-PAT: A Nested Model Checker. International Joint Conference on Automated Reasoning (IJCAR, CORE Rank A* conference) 2020.
(Surname Alphabetical Order) Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Gore, Zhe Hou, Brendan Mahony and Jim McCarthy. link PDF bibtex

CSimpl: A Framework for the Verification of Concurrent Programs using Rely-Guarantee. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS, CORE Rank A conference) 2017.
David Sanan, Yang Liu, Zhe Hou, Yongwang Zhao, Fuyuan Zhang and Alwen Tiu. link PDF bibtex

RL: a Language for Formal Engineering. International Conference on Engineering of Complex Computer Systems (ICECCS, CORE Rank A conference), 2020.
(Surname Alphabetical Order) Hadrien Bride, Jin Song Dong, Zhe Hou, Brendan Mahony and Jim McCarthy. link PDF bibtex

Automated Reasoning for Separation Logic

Modular Labelled Sequent Calculi for Abstract Separation Logics. ACM Transactions on Computational Logic (TOCL, CORE Rank A journal) 2018.
Zhe Hou, Ranald Clouston, Rajeev Gore, Alwen Tiu. link PDF bibtex

Proof search for propositional abstract separation logics via labelled sequents. ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL, CORE Rank A* conference) 2014.
Zhe Hou, Ranald Clouston, Rajeev Gore, and Alwen Tiu. link PDF bibtex

Proof Tactics for Assertions in Separation Logic. International Conference on Interactive Theorem Proving (ITP, CORE Rank A conference) 2017.
Zhe Hou, David Sanan, Alwen Tiu, and Yang Liu. link PDF bibtex

Separata: Isabelle tactics for Separation Algebra. Archive of Formal Proofs (AFP) 2016.
Zhe Hou, David Sanan, Alwen Tiu, Rajeev Gore, Ranald Clouston. PDF bibtex

Completeness for a First-order Abstract Separation Logic. Asian Symposium on Programming Languages and Systems (APLAS, CORE Rank B conference) 2016.
Zhe Hou and Alwen Tiu. link PDF bibtex

Labelled Sequent Calculi and Automated Reasoning for Assertions in Separation Logic. PhD thesis, 2015, The Australia National University.
Zhe Hou, Rajeev Gore, and Alwen Tiu. PDF bibtex

Automated theorem proving for assertions in separation logic with all connectives. International Conference on Automated Deduction (CADE, CORE Rank A conference) 2015.
Zhe Hou, Rajeev Gore, and Alwen Tiu. link PDF bibtex

A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search. The Journal of Logic and Computation (JLC, CORE Rank A journal) 2015.
Zhe Hou, Alwen Tiu, and Rajeev Gore. link PDF bibtex

A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX, CORE Rank A conference) 2013.
Zhe Hou, Alwen Tiu, and Rajeev Gore. link PDF bibtex

Business Process Mining and Analysis

An Iterative Approach to Synthesize Business Process Templates from Compliance Rules. The Information Systems Journal (ISJ, CORE Rank A* journal) 2012.
Ahmed Awad, Rajeev Gore, Zhe Hou, James Thomson, Matthias Weidlich. link PDF bibtex