Zhe Hou

95 papers A* 5A 2B 10C 5Misc 2Journal 56Unranked 13
YearRankTypeTitle / Venue / Authors
2026 J jnl
Action Sequence Modelling for Tactical Training in Handball.
SN Comput. Sci.
Luke Wildman, Roland Nemes, Zhe Hou
2026 A* conf
Few-Shot Precise Event Spotting via Unified Multi-Entity Graph and Distillation.
AAAI
Zhaoyu Liu, Kan Jiang, Murong Ma, Zhe Hou, Yun Lin, Jin Song Dong
2026 J jnl
From Isolation to Integration: A Reputation-Backed Auditable Model for Cohort Data Sharing.
IEEE Trans. Dependable Secur. Comput.
Jie Zhang, Xiaohong Li, Ruitao Feng, Shanshan Xu, Zhe Hou, Hanwei Wu, Guangdong Bai
2026 J jnl
MedExChain: Enabling Secure and Efffcient PHR Sharing Across Heterogeneous Blockchains.
CoRR
Yongyang Lv, Xiaohong Li, Kui Chen, Zhe Hou, Guangdong Bai, Ruitao Feng
2026 J jnl
Multi-agent reinforcement curriculum learning for real unmanned ground vehicles.
Eng. Appl. Artif. Intell.
Timothy Mead, Zhe Wang, Ernest Foo, Jinsong Dong, Naipeng Dong, Ryan Kok Leong Ko, Abigail M. Y. Koay, Kien Nguyen Thanh, Yue Xu, Junae Kim, Stephen Bornstein, Zhe Hou
2026 J jnl
TennisExpert: Towards Expert-Level Analytical Sports Video Understanding.
CoRR
Zhaoyu Liu, Xi Weng, Lianyu Hu, Zhe Hou, Kan Jiang, Jin-Song Dong, Yang Liu
2026 J jnl
VeriFuzzy: A Dynamic Verifiable Fuzzy Search Service Framework for Encrypted Cloud Data.
IEEE Trans. Serv. Comput.
Jie Zhang, Xiaohong Li, Man Zheng, Ruitao Feng, Shanshan Xu, Zhe Hou, Guangdong Bai
2026 J jnl
Vibe Coding an LLM-powered Theorem Prover.
CoRR
Zhe Hou
2025 J jnl
A graph representation framework for encrypted network traffic classification.
Comput. Secur.
Zulu Okonkwo, Ernest Foo, Zhe Hou, Qinyi Li, Zahra Jadidi
2025 — conf
Action Sequence Modeling for Tactical Training in Handball.
ISACE
Luke Wildman, Roland Nemes, Zhe Hou
2025 J jnl
Adaptive Plan-Execute Framework for Smart Contract Security Auditing.
CoRR
Zhiyuan Wei, Jing Sun, Zijian Zhang, Zhe Hou, Zixiao Zhao
2025 J jnl
An Edge Morphology-Aware Self-Correcting Framework for Precise Infrared UAV Detection.
IEEE Internet Things J.
Xuanyi Li, Lu Han, Yiyao Wan, Zhe Hou, Fuhui Zhou
2025 J jnl
Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus.
Proc. ACM Program. Lang.
Yufan Cai, Zhe Hou, David Sanán, Xiaokun Luan, Yun Lin, Jun Sun, Jin Song Dong
2025 J jnl
Clustering and analysis of user behaviour in blockchain: A case study of Planet IX.
CoRR
Dorottya Zelenyanszki, Zhe Hou, Kamanashis Biswas, Vallipuram Muthukkumarasamy
2025 J jnl
DVFS: A Dynamic Verifiable Fuzzy Search Service for Encrypted Cloud Data.
CoRR
Jie Zhang, Xiaohong Li, Man Zheng, Zhe Hou, Guangdong Bai, Ruitao Feng
2025 — conf
EG-ISNet: An Edge-Guided Image Stitching Network for Drone-Captured Ship Hull Images.
ICMEW
Zhe Hou, Xinghui Dong
2025 — conf
ELDetector: An Automated Approach Detecting Endless-loop in Mini Programs.
Forge@ICSE
Nan Hu, Ming Fan, Jingyi Lei, Jiaying He, Zhe Hou
2025 J jnl
End-to-end unsupervised optical flow matching for thermal-visible video registration.
Signal Image Video Process.
Guohua Feng, Youtian Du, Kang Tian, Yu Lan, Ying Xu, Zhe Hou
2025 J jnl
F
CoRR
Zhaoyu Liu, Kan Jiang, Murong Ma, Zhe Hou, Yun Lin, Jin Song Dong
2025 A* conf
F3Set: Towards Analyzing Fast, Frequent, and Fine-grained Events from Videos.
ICLR
Zhaoyu Liu, Kan Jiang, Murong Ma, Zhe Hou, Yun Lin, Jin Song Dong
2025 J jnl
Few-Shot Precise Event Spotting via Unified Multi-Entity Graph and Distillation.
CoRR
Zhaoyu Liu, Kan Jiang, Murong Ma, Zhe Hou, Yun Lin, Jin-Song Dong
2025 J jnl
Game-based consensus model considering individual effort.
Inf. Sci.
Dong Cheng, Jiali Qin, Zhe Hou, Yong Wu
2025 J jnl
Generically Automating Separation Logic by Functors, Homomorphisms, and Modules.
Proc. ACM Program. Lang.
Qiyuan Xu, David Sanán, Zhe Hou, Xiaokun Luan, Conrad Watt, Yang Liu
2025 J jnl
Improved Double-Sided Partial Discharge Location Method for High-Voltage Cables via Pulse-Injected Time Synchronization and Variational Mode Decomposition.
IEEE Trans. Instrum. Meas.
Junbai Chen, Yuan Yan, Kun Zhao, Mengxin Zhu, Li Wang, Yuxin Lu, Zhe Hou, Hongji Li
2025 J jnl
LTL-based runtime verification framework for cyber-attack anomaly prediction in cyber-physical systems.
Comput. Secur.
Ayodeji James Akande, Zhe Hou, Ernest Foo, Qinyi Li
2025 J jnl
MedExChain: Enabling Secure and Efficient PHR Sharing Across Heterogeneous Blockchains.
IEEE Internet Things J.
Yongyang Lv, Xiaohong Li, Kui Chen, Zhe Hou, Guangdong Bai, Ruitao Feng
2025 B conf
Model Checking Nondeterministic Behaviours in the Tendermint Byzantine Fault Tolerant Blockchain Consensus Protocol.
ICECCS
Yisong Yu, Zhe Hou, Naipeng Dong, Jin Song Dong
2025 A* conf
PAT-Agent: Autoformalization for Model Checking.
ASE
Xinyue Zuo, Yifan Zhang, Hongshu Wang, Yufan Cai, Zhe Hou, Jing Sun, Jin Song Dong
2025 J jnl
PAT-Agent: Autoformalization for Model Checking.
CoRR
Xinyue Zuo, Yifan Zhang, Hongshu Wang, Yufan Cai, Zhe Hou, Jing Sun, Jin Song Dong
2025 — conf
Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods.
ICML (Position Papers)
Yedi Zhang, Yufan Cai, Xinyue Zuo, Xiaokun Luan, Kailong Wang, Zhe Hou, Yifan Zhang, Zhiyuan Wei, Meng Sun, Jun Sun, Jing Sun, Jin Song Dong
2025 J jnl
QAE-BAC: Achieving Quantifiable Anonymity and Efficiency in Blockchain-Based Access Control with Attribute.
CoRR
Jie Zhang, Xiaohong Li, Mengke Zhang, Ruitao Feng, Shanshan Xu, Zhe Hou, Guangdong Bai
2025 C conf
SwiftGuard: Enhanced Privacy and Efficiency in Blockchain-Based Fine-Grained Access Control for Cross-Domain Healthcare Collaboration.
CSCWD
Mengke Zhang, Xiaohong Li, Jie Zhang, Zhe Hou, Guangdong Bai, Ruitao Feng
2025 J jnl
Temporal Logic-Guided DQN for Object Delivery and Transportation Using Magnetic Microrobots With Local Control.
IEEE Robotics Autom. Lett.
Zhe Hou, Yueyue Liu, Qigao Fan
2025 J jnl
Towards Trustworthy Legal AI through LLM Agents and Formal Reasoning.
CoRR
Linze Chen, Yufan Cai, Zhe Hou, Jinsong Dong
2025 J jnl
Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle.
Proc. ACM Softw. Eng.
Xiaokun Luan, David Sanán, Zhe Hou, Qiyuan Xu, Chengwei Liu, Yufan Cai, Yang Liu, Meng Sun
2024 J jnl
A
IEICE Electron. Express
Guangyin Shi, Zhiqiang Li, Lu Liu, Zhiwei Dai, Zhongmao Li, Zhe Hou, Shilong Chen
2024 — conf
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation.
TACAS (2)
Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sanán, Yon Shin Teo
2024 — conf
Cross-chain Sharing of Personal Health Records: Heterogeneous and Interoperable Blockchains.
BIBM
Yongyang Lv, Xiaohong Li, Yingwenbo Wang, Kui Chen, Zhe Hou, Ruitao Feng
2024 J jnl
Cross-chain Sharing of Personal Health Records: Heterogeneous and Interoperable Blockchains.
CoRR
Yongyang Lv, Xiaohong Li, Yingwenbo Wang, Kui Chen, Zhe Hou, Ruitao Feng
2024 — conf
Design of Human-Machine Collaborative Assembly System Based on Reconfigurable Processes.
ICIRA (2)
Zhe Hou, Dailin Zhang, Xingwei Zhao
2024 B conf
Formal Verification Techniques for Post-quantum Cryptography: A Systematic Review.
ICECCS
Yuexi Xu, Zhenyuan Li, Naipeng Dong, Veronika Kuchta, Zhe Hou, Dongxi Liu
2024 J jnl
Generically Automating Separation Logic by Functors, Homomorphisms and Modules.
CoRR
Qiyuan Xu, David Sanán, Zhe Hou, Xiaokun Luan, Conrad Watt, Yang Liu
2024 J jnl
Introduction to the Special Collection from PRDC 2023.
Formal Aspects Comput.
Zhe Hou, Yun Lin
2024 C conf
Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote Purchase.
ICFEM
Yisong Yu, Naipeng Dong, Zhe Hou, Jin Song Dong
2024 A conf
On a Magnetically Driven Array System with Autonomous Motion and Object Delivery for Biomedical Microrobots.
IROS
Yueyue Liu, Zhe Hou, Qigao Fan
2024 — conf
PCSP# Denotational Semantics with an Application in Sports Analytics.
The Application of Formal Methods
Zhaoyu Liu, Murong Ma, Kan Jiang, Zhe Hou, Ling Shi, Jin Song Dong
2024 J jnl
Robust integration of blockchain and explainable federated learning for automated credit scoring.
Comput. Networks
Zorka Jovanovic, Zhe Hou, Kamanashis Biswas, Vallipuram Muthukkumarasamy
2024 — conf
Soccer Strategy Analytics Using Probabilistic Model Checkers.
ISACE
Rajdeep Singh Hundal, Zhaoyu Liu, Bimlesh Wadhwa, Zhe Hou, Kan Jiang, Jin Song Dong
2024 — ed.
Sports Analytics - First International Conference, ISACE 2024, Paris, France, July 12-13, 2024, Proceedings
ISACE
Jin Song Dong, Masoumeh Izadi, Zhe Hou
2024 J jnl
The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap.
CoRR
Yedi Zhang, Yufan Cai, Xinyue Zuo, Xiaokun Luan, Kailong Wang, Zhe Hou, Yifan Zhang, Zhiyuan Wei, Meng Sun, Jun Sun, Jing Sun, Jin Song Dong
2024 J jnl
Towards Large Language Model Aided Program Refinement.
CoRR
Yufan Cai, Zhe Hou, Xiaokun Luan, David Sanán, Yun Lin, Jun Sun, Jin Song Dong
2024 J jnl
VisionCoder: Empowering Multi-Agent Auto-Programming for Image Processing with Hybrid LLMs.
CoRR
Zixiao Zhao, Jing Sun, Zhiyuan Wei, Cheng-Hao Cai, Zhe Hou, Jin Song Dong
2023 J jnl
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Quantum Teleportation.
CoRR
Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sanán, Yon Shin Teo
2023 C conf
A Runtime Verification Framework for Cyber-Physical Systems Based on Data Analytics and LTL Formula Learning.
ICFEM
Ayodeji James Akande, Zhe Hou, Ernest Foo, Qinyi Li
2023 — conf
Compression and Decompression Using Deep Neural Network.
MLIS
Jinxin Wei, Zhe Hou
2023 Misc conf
Encrypted Network Traffic Classification with Higher Order Graph Neural Network.
ACISP
Zulu Okonkwo, Ernest Foo, Zhe Hou, Qinyi Li, Zahra Jadidi
2023 A* conf
Insight Analysis for Tennis Strategy and Tactics.
ICDM
Zhaoyu Liu, Kan Jiang, Zhe Hou, Yun Lin, Jin Song Dong
2023 — conf
Security, Privacy and Trust for the Metaverse of Things.
MetaCom
Shantanu Pal, Anusha Vangala, Zahra Jadidi, Zhe Hou, Ashok Kumar Das
2023 B conf
Sports Analytics Using Probabilistic Model Checking and Deep Learning.
ICECCS
Jin Song Dong, Kan Jiang, Zhaoyu Liu, Chen Dong, Zhe Hou, Rajdeep Singh Hundal, Jingyu Guo, Yun Lin
2022 — conf
A CNN Based Encrypted Network Traffic Classifier.
ACSW
Zulu Okonkwo, Ernest Foo, Qinyi Li, Zhe Hou
2022 J jnl
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective.
CoRR
Mark Huasong Meng, Guangdong Bai, Sin Gee Teo, Zhe Hou, Yan Xiao, Yun Lin, Jin Song Dong
2022 J jnl
An Executable Formal Model of the VHDL in Isabelle/HOL.
CoRR
Wilayat Khan, Zhe Hou, David Sanán, Jamel Nebhen, Yang Liu, Alwen Tiu
2022 J jnl
Geometric Theory for Program Testing.
CoRR
Bernhard Möller, Tony Hoare, Zhe Hou, Jin Song Dong
2022 J jnl
MUC-driven Feature Importance Measurement and Adversarial Analysis for Random Forest.
CoRR
Shucen Ma, Jianqi Shi, Yanhong Huang, Shengchao Qin, Zhe Hou
2022 J jnl
Minimal-unsatisfiable-core-driven Local Explainability Analysis for Random Forest.
Int. J. Softw. Informatics
Shucen Ma, Jianqi Shi, Yanhong Huang, Shengchao Qin, Zhe Hou
2021 B conf
A Formal Method for Evaluating the Performance of TSN Traffic Shapers using UPPAAL.
LCN
Wang Guo, Yanhong Huang, Jianqi Shi, Zhe Hou, Yang Yang
2021 Misc conf
A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models.
TASE
Miao Tian, Jianqi Shi, Zhe Hou, Yanhong Huang, Shengchao Qin
2021 B ed.
Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings
ATVA
Zhe Hou, Vijay Ganesh
2021 J jnl
Extracting Optimal Explanations for Ensemble Trees via Logical Reasoning.
CoRR
Gelin Zhang, Zhe Hou, Yanhong Huang, Jianqi Shi, Hadrien Bride, Jin Song Dong, Yongsheng Gao
2021 — book
Fundamentals of Logic and Computation - With Practical Automated Reasoning and Verification
Zhe Hou
2021 C conf
Tree Ensemble Property Verification from A Testing Perspective.
SEKE
Bohao Wang, Zhe Hou, Gelin Zhang, Jianqi Shi, Yanhong Huang
2020 C ed.
Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings
ICFEM
Shang-Wei Lin, Zhe Hou, Brendan P. Mahony
2019 J jnl
A formalisation of the SPARC TSO memory model for multi-core machine code.
CoRR
Zhe Hou, David Sanán, Alwen Tiu, Yang Liu, Jin Song Dong
2019 J jnl
GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems.
CoRR
Hadrien Bride, Jin Song Dong, Ryan Green, Zhe Hou, Brendan P. Mahony, Martin Oxenham
2019 J jnl
On embedding a hardware description language in Isabelle/HOL.
Des. Autom. Embed. Syst.
Wilayat Khan, David Sanán, Zhe Hou, Yang Liu
2019 J jnl
Silas: High Performance, Explainable and Verifiable Machine Learning.
CoRR
Hadrien Bride, Zhe Hou, Jie Dong, Jin Song Dong, Seyed Mohammad Mirjalili
2018 J jnl
A labelled sequent calculus for BBI: proof theory and proof search.
J. Log. Comput.
Zhe Hou, Rajeev Goré, Alwen Tiu
2018 J jnl
Modular Labelled Sequent Calculi for Abstract Separation Logics.
ACM Trans. Comput. Log.
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu
2017 — conf
CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs.
TACAS (1)
David Sanán, Yongwang Zhao, Zhe Hou, Fuyuan Zhang, Alwen Tiu, Yang Liu
2017 J jnl
Modular Labelled Sequent Calculi for Abstract Separation Logics.
CoRR
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu
2017 B conf
Proof Tactics for Assertions in Separation Logic.
ITP
Zhe Hou, David Sanán, Alwen Tiu, Yang Liu
2017 B conf
Towards Solving Decision Making Problems Using Probabilistic Model Checking.
ICECCS
Ling Shi, Shuang Liu, Jianye Hao, Jun Yang Koh, Zhe Hou, Jin Song Dong
2016 J jnl
A formal model for the SPARCv8 ISA and a proof of non-interference for the LEON3 processor.
Arch. Formal Proofs
Zhe Hou, David Sanán, Alwen Tiu, Yang Liu
2016 B conf
An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor.
FM
Zhe Hou, David Sanán, Alwen Tiu, Yang Liu, Koh Chuen Hoa
2016 B conf
Completeness for a First-Order Abstract Separation Logic.
APLAS
Zhe Hou, Alwen Tiu
2016 J jnl
Completeness for a First-order Abstract Separation Logic.
CoRR
Zhe Hou, Alwen Tiu
2016 J jnl
Separata: Isabelle tactics for Separation Algebra.
Arch. Formal Proofs
Zhe Hou, David Sanán, Alwen Tiu, Rajeev Goré, Ranald Clouston
2015 A conf
Automated Theorem Proving for Assertions in Separation Logic with All Connectives.
CADE
Zhe Hou, Rajeev Goré, Alwen Tiu
2014 A* conf
Proof search for propositional abstract separation logics via labelled sequents.
POPL
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu
2013 J jnl
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search
CoRR
Zhe Hou, Alwen Tiu, Rajeev Goré
2013 B conf
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search.
TABLEAUX
Zhe Hou, Alwen Tiu, Rajeev Goré
2013 J jnl
Proof search for propositional abstract separation logics via labelled sequents.
CoRR
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu
2012 J jnl
An iterative approach to synthesize business process templates from compliance rules.
Inf. Syst.
Ahmed Awad, Rajeev Goré, Zhe Hou, James Thomson, Matthias Weidlich
2011 J jnl
Driving and control of torque for direct-wheel-driven electric vehicle with motors in serial.
Expert Syst. Appl.
Peng Xu, Zhe Hou, Guifang Guo, Gang Xu, Binggang Cao, Zengliang Liu
2009 J jnl
New bounds on the minimum number of calls in failure-tolerant gossiping.
Networks
Zhe Hou, Maiko Shigeno