DBLP ResearchGate Google Scholar ORCiD
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification. Springer (Texts in Computer Science), 2021.
Zhe Hou. Springer Amazon bibtex
Silas: A High-Performance Machine Learning Foundation for Logical Reasoning and Verification. Expert Systems With Applications (Impact Factor 5.45, top 10%), 2021.
(Surname Alphabetical Order) Hadrien Bride, Cheng-Hao Cai, Jie Dong, Jin Song Dong, Zhe Hou, Seyedali Mirjalili, Jing Sun. link PDF bibtex tool
Insight Analysis for Tennis Strategy and Tactics. IEEE International Conference on Data Mining (CORE Rank A*, acceptance rate <20%), 2023.
Zhaoyu Liu, Kan Jiang, Zhe Hou, Yun Lin, and Jin Song Dong. link PDF bibtex
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation. Tools and Algorithms for Construction and Analysis of Systems (TACAS, CORE Rank A conference) 2024.
Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sanán and Yon Shin Teo. link ArXiv version bibtex
Generically Automating Separation Logic by Functors, Homomorphisms and Modules. ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL, CORE Rank A* conference) 2025.
Qiyuan Xu, David Sanan, Zhe Hou, Xiaokun Luan, Conrad Watt, Yang Liu. PDF arXiv bibtex
Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus. ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL, CORE Rank A* conference) 2025.
Yufan Cai, Zhe Hou, David Sanan, Xiaokun Luan, Yun Lin, Jun Sun, Jin Song Dong. PDF bibtex
Unified Feature Engineering for Detection of
Malicious Entities in Blockchain Networks. IEEE Transactions on Information Forensics and Security (Impact Factor 6.8, top 12%), 2024.
Jeyakumar Samantha Tharani, Zhe Hou, Eugene Yugarajah Andrew Charles,
Punit Rathore, Marimuthu Palaniswami, and Vallipuram Muthukkumarasamy. link PDF bibtex
A graph representation framework for encrypted network traffic classification. Computers & Security, 2024.
Zulu Okonkwo, Ernest Foo, Zhe Hou, Qinyi Li, Zahra Jadidi. link PDF bibtex
Model Checking Concurrency in Smart Contracts
with a Case Study of Safe Remote Purchase. International Conference on Formal Engineering Methods (ICFEM), 2024.
Yisong Yu, Naipeng Dong, Zhe Hou, and Jin Song Dong. PDF bibtex
PCSP# Denotational Semantics with an Application in Sports Analytics. The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement, 2024.
Zhaoyu Liu, Murong Ma, Kan Jiang, Zhe Hou, Ling Shi, Jin Song Dong. link PDF bibtex
Formal Verification Techniques for Post-Quantum Cryptography: A Systematic Review. International Conference on Engineering of Complex Computer Systems (ICECCS), 2024.
Yuexi Xu, Zhenyuan Li, Naipeng Dong, Veronika Kuchta, Zhe Hou, Dongxi Liu. link PDF bibtex
Robust integration of blockchain and explainable federated learning for automated credit scoring. Computer Networks, 2024.
Zorka Jovanovic, Zhe Hou, Kamanashis Biswas and Vallipuram Muthukkumarasamy. link PDF bibtex
Encrypted Network Traffic Classification with Higher Order Graph Neural Network. 2023 28th Australasian Conference on Information Security and Privacy (ACISP 2023).
Zulu Okonkwo, Ernest Foo, Zhe Hou, Qinyi Li, and Zahra Jadidi. link PDF bibtex
Formal Verification of the Burn-to-Claim Blockchain Interoperable Protocol. International Conference on Formal Engineering Methods (ICFEM), 2023.
Babu Pillai, Zhé Hóu, Kamanashis Biswas and Vallipuram Muthukkumarasamy. link PDF bibtex
A Runtime Verification Framework For Cyber-physical Systems Based On Data Analytics And LTL Formula Learning. International Conference on Formal Engineering Methods (ICFEM), 2023.
Ayodeji James Akande, Zhe Hou, Ernest Foo and Qinyi Li. link PDF bibtex
Detecting Malicious Blockchain Transactions Using Graph Neural Networks. International Symposium on Distributed Ledger Technology (SDLT), 2023.
Samantha Tharani Jeyakumar, Andrew Charles Eugene Yugarajah, Zhé Hóu & Vallipuram Muthukkumarasamy. link PDF bibtex
Linking NFT Transaction Events to Identify Privacy Risks. International Symposium on Distributed Ledger Technology (SDLT), 2023.
Dorottya Zelenyanszki, Zhé Hóu, Kamanashis Biswas & Vallipuram Muthukkumarasamy. link PDF bibtex
Sports Analytics Using Probabilistic Model Checking and Deep Learning. International Conference on Engineering of Complex Computer Systems (ICECCS), 2023.
Jin Song Dong; Kan Jiang; Zhaoyu Liu; Chen Dong; Zhe Hou; Rajdeep Singh Hundal; Jingyu Guo; Yun Lin. link PDF bibtex
Security, Privacy and Trust for the Metaverse of Things. IEEE International Conference on Metaverse Computing, Networking and Applications (MetaCom), 2023.
Shantanu Pal, Anusha Vangala, Zahra Jadidi, Zhe Hou, Ashok Kumar Das. link PDF bibtex
An Analysis of Zero-knowledge Proof-based Privacy-preserving Techniques for Non-fungible Tokens in the Metaverse. IEEE International Conference on Metaverse Computing, Networking and Applications (MetaCom), 2023.
Dorottya Zelenyanszki, Zhé Hóu, Kamanashis Biswas, Vallipuram Muthukkumarasamy. link PDF bibtex
Introduction to Blockchain Technology with Bitcoin Protocol. Emerging Smart Technologies for Critical Infrastructure, 2023.
Babu Pillai, Jeyakumar Samantha Tharani, Zhé Hóu, Kamanashis Biswas & Vallipuram Muthukkumarasamy. link PDF bibtex
Cybersecurity for Satellite Smart Critical Infrastructure. Emerging Smart Technologies for Critical Infrastructure, 2023.
Ayodeji James Akande, Ernest Foo, Zhe Hou & Qinyi Li. link PDF bibtex
A privacy awareness framework for NFT avatars in the metaverse. 2023 International Conference on Computing, Networking and Communications (ICNC 2023).
Dorottya Zelenyanszki; Zhé Hóu; Kamanashis Biswas; Vallipuram Muthukkumarasamy. link PDF bibtex
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective. IEEE Transactions on Dependable and Secure Computing (Impact Factor 7.32, top 10%), 2022.
Mark Huasong Meng, Guangdong Bai, Sin Gee Teo, Zhe Hou, Yan Xiao, Yun Lin, Jin Song Dong. link PDF bibtex
Blockchain Interoperability: Performance and Security Trade-Offs. The 20th ACM Conference on Embedded Networked Sensor Systems (SenSys 2022).
Babu Pillai, Zhé Hóu, Kamanashis Biswas, Vinh Bui, Vallipuram Muthukkumarasamy. link PDF bibtex
Extracting Optimal Explanations for Ensemble Trees via Automated Reasoning. Applied Intelligence, 2022.
Gelin Zhang, Zhe Hou, Yanhong Huang, Jianqi Shi, Hadrien Bride, Jin Song Dong and Yongsheng Gao. link PDF bibtex tool for Scikit-learn tool for Silas
Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring. Formal Aspects of Computing, 2022.
Cheng-Hao Cai, Jing Sun, Gillian Dobbie, Zhe Hou, Hadrien Bride, Jin Song Dong, Scott Uk-Jin Lee. link PDF bibtex tool
Cross-blockchain Technology: Integration Framework and Security Assumptions. IEEE Access, 2022.
Babu Pillai, Kamanashis Biswas, Zhe Hou, Vallipuram Muthukkumarasamy. link PDF bibtex
Level of Conceptual Interoperability Model for Blockchain based Systems. International Conference on Blockchain and Cryptocurrency (ICBC), 2022.
Babu Pillai, Kamanashis Biswas, Zhe Hou, Vallipuram Muthukkumarasamy. link PDF bibtex
Minimal Unsatisfiable Core driven Local Explainability Analysis for Random Forest. International Journal of Software & Informatics, 2022.
Shucen Ma, Jianqi Shi, Yanhong Huang, Shengchao Qin, Zhe Hou. link PDF bibtex tool for Silas
A Digital Twin Runtime Verification Framework for Protecting Satellites Systems from Cyber Attacks. International Conference on Engineering of Complex Computer Systems (ICECCS), 2022.
Zhe Hou, Qinyi Li, Ernest Foo, Jin Song Dong, Paulo de Souza. link PDF bibtex
A CNN Based Encrypted Network Traffic Classifier. Australasian Information Security Conference (AISC), 2022.
Zulu Okonkwo, Ernest Foo, Qinyi Li, Zhe Hou. link PDF bibtex
Burn-to-Claim: An asset transfer protocol for blockchain interoperability. Computer Networks (CORE Rank A journal, SJR Q1, Impact Factor 4.47), 2021.
Babu Pillai, Kamanashis Biswas, Zhe Hou, Vallipuram Muthukkumarasamy. link PDF bibtex
Tree Ensemble Property Verification from A Testing Perspective. International Conference on Software Engineering and Knowledge Engineering (SEKE), 2021.
Bohao Wang, Zhe Hou, Gelin Zhang, Jianqi Shi and Yanhong Huang. proceedings link PDF bibtex
Graph Based Visualisation Techniques for Analysis of Blockchain Transactions. The IEEE Conference on Local Computer Networks (LCN), 2021.
Jeyakumar Samantha Tharani, Eugene Yougarajah Andrew Charles, Zhe Hou, Marimuthu Palaniswami, Vallipuram Muthukkumarasamy. link PDF bibtex
A Formal Method for Evaluating the Performance of TSN Traffic Shapers using UPPAAL. The IEEE Conference on Local Computer Networks (LCN), 2021.
Wang Guo, Yanhong Huang, Jianqi Shi, Zhe Hou, Yang Yang. link PDF bibtex
A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models. The International Symposium on Theoretical Aspects of Software Engineering (TASE), 2021.
Miao Tian, Jianqi Shi, Zhe Hou, Yanhong Huang and Shengchao Qin. link PDF bibtex
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 tool
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
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 code
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
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
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
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
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
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 tool
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
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
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 code
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 code
Separata: Isabelle tactics for Separation Algebra. Archive of Formal Proofs (AFP) 2016.
Zhe Hou, David Sanan, Alwen Tiu, Rajeev Gore, Ranald Clouston. PDF bibtex code
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
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 code
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 tool
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 tool
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 tool
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 tool
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
Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings.
Zhe Hou, Vijay Ganesh. link bibtex
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