Zhe Hou

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 36

Top Topics

Sequent Calculus

Theorem Proving

Top Venues

Arch. Formal Proofs

Publications

Zorka Jovanovic, Zhe Hou, Kamanashis Biswas, Vallipuram Muthukkumarasamy
Robust integration of blockchain and explainable federated learning for automated credit scoring. Comput. Networks 243 (2024)
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)
Guangyin Shi, Zhiqiang Li, Lu Liu, Zhiwei Dai, Zhongmao Li, Zhe Hou, Shilong Chen
-band 6-bit passive vector-modulated phase shifter with X-type attenuator controlled by nonlinear complementary voltage. IEICE Electron. Express 21 (8) (2024)
Yufan Cai, Zhe Hou, Xiaokun Luan, David Sanán, Yun Lin, Jun Sun, Jin Song Dong
Towards Large Language Model Aided Program Refinement. CoRR (2024)
Jinxin Wei, Zhe Hou
Compression and Decompression Using Deep Neural Network. MLIS (2023)
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)
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 (2023)
Shantanu Pal, Anusha Vangala, Zahra Jadidi, Zhe Hou, Ashok Kumar Das
Security, Privacy and Trust for the Metaverse of Things. MetaCom (2023)
Zulu Okonkwo, Ernest Foo, Zhe Hou, Qinyi Li, Zahra Jadidi
Encrypted Network Traffic Classification with Higher Order Graph Neural Network. ACISP (2023)
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)
Zhaoyu Liu, Kan Jiang, Zhe Hou, Yun Lin, Jin Song Dong
Insight Analysis for Tennis Strategy and Tactics. ICDM (2023)
Wilayat Khan, Zhe Hou, David Sanán, Jamel Nebhen, Yang Liu, Alwen Tiu
An Executable Formal Model of the VHDL in Isabelle/HOL. CoRR (2022)
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) (2022)
Zulu Okonkwo, Ernest Foo, Qinyi Li, Zhe Hou
A CNN Based Encrypted Network Traffic Classifier. ACSW (2022)
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 (2022)
Bernhard Möller, Tony Hoare, Zhe Hou, Jin Song Dong
Geometric Theory for Program Testing. CoRR (2022)
Shucen Ma, Jianqi Shi, Yanhong Huang, Shengchao Qin, Zhe Hou
MUC-driven Feature Importance Measurement and Adversarial Analysis for Random Forest. CoRR (2022)
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 (2021)
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)
Bohao Wang, Zhe Hou, Gelin Zhang, Jianqi Shi, Yanhong Huang
Tree Ensemble Property Verification from A Testing Perspective. SEKE (2021)
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)
Hadrien Bride, Zhe Hou, Jie Dong, Jin Song Dong, Seyed Mohammad Mirjalili
Silas: High Performance, Explainable and Verifiable Machine Learning. CoRR (2019)
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 (2019)
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 (2019)
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) (2019)
Zhe Hou, Rajeev Goré, Alwen Tiu
A labelled sequent calculus for BBI: proof theory and proof search. J. Log. Comput. 28 (4) (2018)
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu
Modular Labelled Sequent Calculi for Abstract Separation Logics. ACM Trans. Comput. Log. 19 (2) (2018)
Zhe Hou, David Sanán, Alwen Tiu, Yang Liu
Proof Tactics for Assertions in Separation Logic. ITP (2017)
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)
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)
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu
Modular Labelled Sequent Calculi for Abstract Separation Logics. CoRR (2017)
Zhe Hou, David Sanán, Alwen Tiu, Rajeev Goré, Ranald Clouston
Separata: Isabelle tactics for Separation Algebra. Arch. Formal Proofs 2016 (2016)
Zhe Hou, Alwen Tiu
Completeness for a First-Order Abstract Separation Logic. APLAS (2016)
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)
Zhe Hou, Alwen Tiu
Completeness for a First-order Abstract Separation Logic. CoRR (2016)
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)
Zhe Hou, Rajeev Goré, Alwen Tiu
Automated Theorem Proving for Assertions in Separation Logic with All Connectives. CADE (2015)
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu
Proof search for propositional abstract separation logics via labelled sequents. POPL (2014)
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu
Proof search for propositional abstract separation logics via labelled sequents. CoRR (2013)
Zhe Hou, Alwen Tiu, Rajeev Goré
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search CoRR (2013)
Zhe Hou, Alwen Tiu, Rajeev Goré
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search. TABLEAUX (2013)
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) (2012)
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) (2011)
Zhe Hou, Maiko Shigeno
New bounds on the minimum number of calls in failure-tolerant gossiping. Networks 53 (1) (2009)