Follow
Zhe Hou
Title
Cited by
Cited by
Year
Cross-blockchain technology: integration framework and security assumptions
B Pillai, K Biswas, Z Hóu, V Muthukkumarasamy
IEEE access 10, 41239-41259, 2022
322022
A labelled sequent calculus for BBI: proof theory and proof search
Z Hóu, R Goré, A Tiu
Journal of Logic and Computation 28 (4), 809-872, 2018
312018
Adversarial robustness of deep neural networks: A survey from a formal verification perspective
MH Meng, G Bai, SG Teo, Z Hou, Y Xiao, Y Lin, JS Dong
IEEE Transactions on Dependable and Secure Computing, 2022
272022
Burn-to-claim: An asset transfer protocol for blockchain interoperability
B Pillai, K Biswas, Z Hóu, V Muthukkumarasamy
Computer Networks 200, 108495, 2021
252021
Towards dependable and explainable machine learning using automated reasoning
H Bride, J Dong, JS Dong, Z Hóu
Formal Methods and Software Engineering: 20th International Conference on …, 2018
252018
Csimpl: A rely-guarantee-based framework for verifying concurrent programs
D Sanán, Y Zhao, Z Hou, F Zhang, A Tiu, Y Liu
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
242017
Silas: A high-performance machine learning foundation for logical reasoning and verification
H Bride, CH Cai, J Dong, JS Dong, Z Hóu, S Mirjalili, J Sun
Expert Systems with Applications 176, 114806, 2021
232021
Automated theorem proving for assertions in separation logic with all connectives
Z Hóu, R Goré, A Tiu
Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015
232015
Proof search for propositional abstract separation logics via labelled sequents
Z Hóu, R Clouston, R Goré, A Tiu
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
212014
An iterative approach to synthesize business process templates from compliance rules
A Awad, R Goré, Z Hou, J Thomson, M Weidlich
Information Systems 37 (8), 714-736, 2012
202012
Graph based visualisation techniques for analysis of blockchain transactions
JS Tharani, EYA Charles, Z Hóu, M Palaniswami, V Muthukkumarasamy
2021 IEEE 46th Conference on Local Computer Networks (LCN), 427-430, 2021
172021
SMS2D designs as starting points for lens optimization
Z Hou, M Nikolic, P Benitez, F Bociort
Optics Express 26 (25), 32463-32474, 2018
172018
An executable formalisation of the SPARCv8 instruction set architecture: a case study for the LEON3 processor
Z Hou, D Sanan, A Tiu, Y Liu, KC Hoa
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016
172016
The burn-to-claim cross-blockchain asset transfer protocol
B Pillai, K Biswas, Z Hóu, V Muthukkumarasamy
2020 25th International Conference on Engineering of Complex Computer …, 2020
162020
Level of conceptual interoperability model for blockchain based systems
B Pillai, K Biswas, Z Hóu, V Muthukkumarasamy
2022 IEEE Crosschain Workshop (ICBC-CROSS), 1-7, 2022
142022
Development of a novel 20 kV 0.1 Hz very low frequency cosine‐rectangular voltage generator for multi‐functional insulation testing of MV power cables
Z Hou, H Li, S Chen, B Li, Y Lu, S Ji
IET Generation, Transmission & Distribution 12 (1), 1-8, 2018
122018
One-dimensional searches for finding new lens design solutions efficiently
Z Hou, I Livshits, F Bociort
Applied Optics 55 (36), 10449-10456, 2016
112016
A CNN based encrypted network traffic classifier
Z Okonkwo, E Foo, Q Li, Z Hou
Proceedings of the 2022 Australasian Computer Science Week, 74-83, 2022
102022
Using saddle points for challenging optical design tasks
I Livshits, Z Hou, P van Grol, Y Shao, M van Turnhout, P Urbach, F Bociort
Current Developments in Lens Design and Optical Engineering XV 9192, 919204, 2014
92014
A digital twin runtime verification framework for protecting satellites systems from cyber attacks
Z Hóu, Q Li, E Foo, JS Dong, P de Souza
2022 26th International Conference on Engineering of Complex Computer …, 2022
82022
The system can't perform the operation now. Try again later.
Articles 1–20