default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZhe Hou
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j21]Zulu Okonkwo
, Ernest Foo, Zhe Hou, Qinyi Li, Zahra Jadidi:
A graph representation framework for encrypted network traffic classification. Comput. Secur. 148: 104134 (2025)- 2024
- [j20]Zorka Jovanovic, Zhe Hou, Kamanashis Biswas, Vallipuram Muthukkumarasamy:
Robust integration of blockchain and explainable federated learning for automated credit scoring. Comput. Networks 243: 110303 (2024) - [j19]Guangyin Shi, Zhiqiang Li, Lu Liu, Zhiwei Dai, Zhongmao Li, Zhe Hou, Shilong Chen:
A K-band 6-bit passive vector-modulated phase shifter with X-type attenuator controlled by nonlinear complementary voltage. IEICE Electron. Express 21(8): 20240109 (2024) - [j18]Jeyakumar Samantha Tharani, Zhé Hóu, Eugene Yugarajah Andrew Charles, Punit Rathore, Marimuthu Palaniswami, Vallipuram Muthukkumarasamy:
Unified Feature Engineering for Detection of Malicious Entities in Blockchain Networks. IEEE Trans. Inf. Forensics Secur. 19: 8924-8938 (2024) - [c32]Yuexi Xu, Zhenyuan Li, Naipeng Dong, Veronika Kuchta, Zhe Hou, Dongxi Liu:
Formal Verification Techniques for Post-quantum Cryptography: A Systematic Review. ICECCS 2024: 346-366 - [c31]Rajdeep Singh Hundal, Zhaoyu Liu, Bimlesh Wadhwa, Zhe Hou, Kan Jiang, Jin Song Dong:
Soccer Strategy Analytics Using Probabilistic Model Checkers. ISACE 2024: 249-264 - [c30]Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sanán, Yon Shin Teo:
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation. TACAS (2) 2024: 363-382 - [e3]Jin Song Dong, Masoumeh Izadi, Zhe Hou:
Sports Analytics - First International Conference, ISACE 2024, Paris, France, July 12-13, 2024, Proceedings. Lecture Notes in Computer Science 14794, Springer 2024, ISBN 978-3-031-69072-3 [contents] - [i15]Yufan Cai, Zhe Hou, Xiaokun Luan, David Sanán, Yun Lin, Jun Sun, Jin Song Dong:
Towards Large Language Model Aided Program Refinement. CoRR abs/2406.18616 (2024) - 2023
- [j17]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): 14371-14382 (2023) - [c29]Zulu Okonkwo, Ernest Foo, Zhe Hou, Qinyi Li, Zahra Jadidi:
Encrypted Network Traffic Classification with Higher Order Graph Neural Network. ACISP 2023: 630-650 - [c28]Dorottya Zelenyanszki, Zhé Hóu, Kamanashis Biswas, Vallipuram Muthukkumarasamy:
A privacy awareness framework for NFT avatars in the metaverse. ICNC 2023: 431-435 - [c27]Zhaoyu Liu, Kan Jiang, Zhe Hou, Yun Lin, Jin Song Dong:
Insight Analysis for Tennis Strategy and Tactics. ICDM 2023: 1169-1174 - [c26]Jin Song Dong, Kan Jiang, Zhaoyu Liu, Chen Dong, Zhe Hou, Rajdeep Singh Hundal, Jingyu Guo, Yun Lin:
Sports Analytics Using Probabilistic Model Checking and Deep Learning. ICECCS 2023: 7-11 - [c25]Babu Pillai, Zhé Hóu, Kamanashis Biswas, Vallipuram Muthukkumarasamy:
Formal Verification of the Burn-to-Claim Blockchain Interoperable Protocol. ICFEM 2023: 249-254 - [c24]Ayodeji James Akande, Zhe Hou, Ernest Foo, Qinyi Li:
A Runtime Verification Framework for Cyber-Physical Systems Based on Data Analytics and LTL Formula Learning. ICFEM 2023: 273-278 - [c23]Shantanu Pal, Anusha Vangala, Zahra Jadidi, Zhe Hou, Ashok Kumar Das:
Security, Privacy and Trust for the Metaverse of Things. MetaCom 2023: 146-150 - [c22]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: 670-673 - [c21]Jinxin Wei, Zhe Hou:
Compression and Decompression Using Deep Neural Network. MLIS 2023: 1-8 - [i14]Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sanán, Yon Shin Teo:
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Quantum Teleportation. CoRR abs/2308.03344 (2023) - 2022
- [j16]Babu Pillai, Kamanashis Biswas, Zhé Hóu, Vallipuram Muthukkumarasamy:
Cross-Blockchain Technology: Integration Framework and Security Assumptions. IEEE Access 10: 41239-41259 (2022) - [j15]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): 1-31 (2022) - [j14]Shucen Ma, Jianqi Shi, Yanhong Huang, Shengchao Qin, Zhe Hou:
Minimal-unsatisfiable-core-driven Local Explainability Analysis for Random Forest. Int. J. Softw. Informatics 12(4): 355-376 (2022) - [j13]Zhé Hóu, Vijay Ganesh, Jing Sun:
Editorial. Innov. Syst. Softw. Eng. 18(3): 333-334 (2022) - [c20]Zulu Okonkwo, Ernest Foo, Qinyi Li, Zhe Hou:
A CNN Based Encrypted Network Traffic Classifier. ACSW 2022: 74-83 - [c19]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: 117-122 - [c18]Babu Pillai, Zhé Hóu, Kamanashis Biswas, Vinh Bui, Vallipuram Muthukkumarasamy:
Blockchain Interoperability: Performance and Security Trade-Offs. SenSys 2022: 1196-1201 - [i13]Wilayat Khan, Zhe Hou, David Sanán, Jamel Nebhen, Yang Liu, Alwen Tiu:
An Executable Formal Model of the VHDL in Isabelle/HOL. CoRR abs/2202.04192 (2022) - [i12]Shucen Ma, Jianqi Shi, Yanhong Huang, Shengchao Qin, Zhe Hou:
MUC-driven Feature Importance Measurement and Adversarial Analysis for Random Forest. CoRR abs/2202.12512 (2022) - [i11]Bernhard Möller, Tony Hoare, Zhe Hou, Jin Song Dong:
Geometric Theory for Program Testing. CoRR abs/2206.02083 (2022) - [i10]Mark Huasong Meng, Guangdong Bai, Sin Gee Teo, Zhe Hou, Yan Xiao, Yun Lin, Jin Song Dong:
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective. CoRR abs/2206.12227 (2022) - 2021
- [b1]Zhe Hou:
Fundamentals of Logic and Computation - With Practical Automated Reasoning and Verification. Texts in Computer Science, Springer 2021, ISBN 978-3-030-87881-8, pp. 3-217 - [j12]Babu Pillai, Kamanashis Biswas, Zhé Hóu, Vallipuram Muthukkumarasamy:
Burn-to-Claim: An asset transfer protocol for blockchain interoperability. Comput. Networks 200: 108495 (2021) - [j11]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: 104091 (2021) - [j10]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: 114806 (2021) - [j9]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): 569-598 (2021) - [c17]Wang Guo, Yanhong Huang, Jianqi Shi, Zhe Hou, Yang Yang:
A Formal Method for Evaluating the Performance of TSN Traffic Shapers using UPPAAL. LCN 2021: 241-248 - [c16]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: 427-430 - [c15]Bohao Wang, Zhe Hou, Gelin Zhang, Jianqi Shi, Yanhong Huang:
Tree Ensemble Property Verification from A Testing Perspective. SEKE 2021: 166-171 - [c14]Miao Tian, Jianqi Shi, Zhe Hou, Yanhong Huang, Shengchao Qin:
A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models. TASE 2021: 151-158 - [e2]Zhe Hou, Vijay Ganesh:
Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings. Lecture Notes in Computer Science 12971, Springer 2021, ISBN 978-3-030-88884-8 [contents] - [i9]Gelin Zhang, Zhe Hou, Yanhong Huang, Jianqi Shi, Hadrien Bride, Jin Song Dong, Yongsheng Gao:
Extracting Optimal Explanations for Ensemble Trees via Logical Reasoning. CoRR abs/2103.02191 (2021) - 2020
- [c13]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: 369-377 - [c12]Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Jim McCarthy:
RL: a Language for Formal Engineering. ICECCS 2020: 31-36 - [c11]Babu Pillai, Kamanashis Biswas, Zhé Hóu, Vallipuram Muthukkumarasamy:
The Burn-to-Claim cross-blockchain asset transfer protocol. ICECCS 2020: 119-124 - [e1]Shang-Wei Lin, Zhe Hou, Brendan P. Mahony:
Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings. Lecture Notes in Computer Science 12531, Springer 2020, ISBN 978-3-030-63405-6 [contents] - [i8]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 abs/2005.05520 (2020)
2010 – 2019
- 2019
- [j8]Wilayat Khan, David Sanán, Zhe Hou, Yang Liu:
On embedding a hardware description language in Isabelle/HOL. Des. Autom. Embed. Syst. 23(3-4): 123-151 (2019) - [i7]Zhe Hou, David Sanán, Alwen Tiu, Yang Liu, Jin Song Dong:
A formalisation of the SPARC TSO memory model for multi-core machine code. CoRR abs/1906.11203 (2019) - [i6]Hadrien Bride, Jin Song Dong, Ryan Green, Zhe Hou, Brendan P. Mahony, Martin Oxenham:
GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems. CoRR abs/1910.01380 (2019) - [i5]Hadrien Bride, Zhe Hou, Jie Dong, Jin Song Dong, Seyed Mohammad Mirjalili:
Silas: High Performance, Explainable and Verifiable Machine Learning. CoRR abs/1910.01382 (2019) - 2018
- [j7]Zhe Hou, Rajeev Goré, Alwen Tiu:
A labelled sequent calculus for BBI: proof theory and proof search. J. Log. Comput. 28(4): 809-872 (2018) - [j6]Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu:
Modular Labelled Sequent Calculi for Abstract Separation Logics. ACM Trans. Comput. Log. 19(2): 13:1-13:35 (2018) - [c10]Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Martin Oxenham:
Towards Trustworthy AI for Autonomous Systems. ICFEM 2018: 407-411 - [c9]Hadrien Bride, Jie Dong, Jin Song Dong, Zhé Hóu:
Towards Dependable and Explainable Machine Learning Using Automated Reasoning. ICFEM 2018: 412-416 - 2017
- [c8]Ling Shi, Shuang Liu, Jianye Hao, Jun Yang Koh, Zhe Hou, Jin Song Dong:
Towards Solving Decision Making Problems Using Probabilistic Model Checking. ICECCS 2017: 150-153 - [c7]Zhe Hou, David Sanán, Alwen Tiu, Yang Liu:
Proof Tactics for Assertions in Separation Logic. ITP 2017: 285-303 - [c6]David Sanán, Yongwang Zhao, Zhe Hou, Fuyuan Zhang, Alwen Tiu, Yang Liu:
CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs. TACAS (1) 2017: 481-498 - [i4]Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu:
Modular Labelled Sequent Calculi for Abstract Separation Logics. CoRR abs/1710.10805 (2017) - 2016
- [j5]Zhe Hou, David Sanán, Alwen Tiu, Rajeev Goré, Ranald Clouston:
Separata: Isabelle tactics for Separation Algebra. Arch. Formal Proofs 2016 (2016) - [j4]Zhe Hou, David Sanán, Alwen Tiu, Yang Liu:
A formal model for the SPARCv8 ISA and a proof of non-interference for the LEON3 processor. Arch. Formal Proofs 2016 (2016) - [c5]Zhe Hou, Alwen Tiu:
Completeness for a First-Order Abstract Separation Logic. APLAS 2016: 444-463 - [c4]Zhe Hou, David Sanán, Alwen Tiu, Yang Liu, Koh Chuen Hoa:
An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor. FM 2016: 388-405 - [i3]Zhe Hou, Alwen Tiu:
Completeness for a First-order Abstract Separation Logic. CoRR abs/1608.06729 (2016) - 2015
- [c3]Zhe Hou, Rajeev Goré, Alwen Tiu:
Automated Theorem Proving for Assertions in Separation Logic with All Connectives. CADE 2015: 501-516 - 2014
- [c2]Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu:
Proof search for propositional abstract separation logics via labelled sequents. POPL 2014: 465-476 - 2013
- [c1]Zhe Hou, Alwen Tiu, Rajeev Goré:
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search. TABLEAUX 2013: 172-187 - [i2]Zhe Hou, Alwen Tiu, Rajeev Goré:
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search. CoRR abs/1302.4783 (2013) - [i1]Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu:
Proof search for propositional abstract separation logics via labelled sequents. CoRR abs/1307.5592 (2013) - 2012
- [j3]Ahmed Awad, Rajeev Goré, Zhe Hou, James Thomson, Matthias Weidlich:
An iterative approach to synthesize business process templates from compliance rules. Inf. Syst. 37(8): 714-736 (2012) - 2011
- [j2]Peng Xu, Zhe Hou, Guifang Guo, Gang Xu, Binggang Cao, Zengliang Liu:
Driving and control of torque for direct-wheel-driven electric vehicle with motors in serial. Expert Syst. Appl. 38(1): 80-86 (2011)
2000 – 2009
- 2009
- [j1]Zhe Hou, Maiko Shigeno:
New bounds on the minimum number of calls in failure-tolerant gossiping. Networks 53(1): 35-38 (2009)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 20:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
