Zhé Hóu

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 20

Top Topics

Formal Verification

Logical Reasoning

Top Venues

Innov. Syst. Softw. Eng.

Publications

Babu Pillai, Zhé Hóu, Kamanashis Biswas, Vallipuram Muthukkumarasamy
Formal Verification of the Burn-to-Claim Blockchain Interoperable Protocol. ICFEM (2023)
Gelin Zhang, Zhé Hóu, Yanhong Huang, Jianqi Shi, Hadrien Bride, Jin Song Dong, Yongsheng Gao
Extracting optimal explanations for ensemble trees via automated reasoning. Appl. Intell. 53 (11) (2023)
Dorottya Zelenyanszki, Zhé Hóu, Kamanashis Biswas, Vallipuram Muthukkumarasamy
A privacy awareness framework for NFT avatars in the metaverse. ICNC (2023)
Dorottya Zelenyanszki, Zhé Hóu, Kamanashis Biswas, Vallipuram Muthukkumarasamy
An Analysis of Zero-knowledge Proof-based Privacy-preserving Techniques for Non-fungible Tokens in the Metaverse. MetaCom (2023)
Babu Pillai, Zhé Hóu, Kamanashis Biswas, Vinh Bui, Vallipuram Muthukkumarasamy
Blockchain Interoperability: Performance and Security Trade-Offs. SenSys (2022)
Cheng-Hao Cai, Jing Sun, Gillian Dobbie, Zhé Hóu, Hadrien Bride, Jin Song Dong, Scott Uk-Jin Lee
Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring. Formal Aspects Comput. 34 (2) (2022)
Zhé Hóu, Qinyi Li, Ernest Foo, Jin Song Dong, Paulo de Souza
A Digital Twin Runtime Verification Framework for Protecting Satellites Systems from Cyber Attacks. ICECCS (2022)
Babu Pillai, Kamanashis Biswas, Zhé Hóu, Vallipuram Muthukkumarasamy
Cross-Blockchain Technology: Integration Framework and Security Assumptions. IEEE Access 10 (2022)
Zhé Hóu, Vijay Ganesh, Jing Sun
Editorial. Innov. Syst. Softw. Eng. 18 (3) (2022)
Zhé Hóu, David Sanán, Alwen Tiu, Yang Liu, Koh Chuen Hoa, Jin Song Dong
An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model. J. Autom. Reason. 65 (4) (2021)
Hadrien Bride, Cheng-Hao Cai, Jie Dong, Jin Song Dong, Zhé Hóu, Seyedali Mirjalili, Jing Sun
Silas: A high-performance machine learning foundation for logical reasoning and verification. Expert Syst. Appl. 176 (2021)
Hadrien Bride, Jin Song Dong, Ryan Green, Zhé Hóu, Brendan P. Mahony, Martin Oxenham
GRAVITAS: A model checking based planning and goal reasoning framework for autonomous systems. Eng. Appl. Artif. Intell. 97 (2021)
Babu Pillai, Kamanashis Biswas, Zhé Hóu, Vallipuram Muthukkumarasamy
Burn-to-Claim: An asset transfer protocol for blockchain interoperability. Comput. Networks 200 (2021)
Jeyakumar Samantha Tharani, Eugene Yougarajah Andrew Charles, Zhé Hóu, Marimuthu Palaniswami, Vallipuram Muthukkumarasamy
Graph Based Visualisation Techniques for Analysis of Blockchain Transactions. LCN (2021)
Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
N-PAT: A Nested Model-Checker - (System Description). IJCAR (2) (2020)
Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
RL: a Language for Formal Engineering. ICECCS (2020)
Babu Pillai, Kamanashis Biswas, Zhé Hóu, Vallipuram Muthukkumarasamy
The Burn-to-Claim cross-blockchain asset transfer protocol. ICECCS (2020)
Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
N-PAT: A Nested Model-Checker. CoRR (2020)
Hadrien Bride, Jie Dong, Jin Song Dong, Zhé Hóu
Towards Dependable and Explainable Machine Learning Using Automated Reasoning. ICFEM (2018)
Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Martin Oxenham
Towards Trustworthy AI for Autonomous Systems. ICFEM (2018)