2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS)| 978-1-7281-8558-3/20/$31.00© 2020 IEEE| DOI: 10.1109/ICECCS51672. 2020.00033 M Anderson, É André, P Arcaini, G Bai, K Biswas, H Bride, I Buzhinsky, ... | | |
2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS)| 979-8-3503-4004-4/23/$31.00© 2023 IEEE| DOI: 10.1109/ICECCS59891. 2023.00035 É André, P Arcaini, S Baarir, G Bai, JP Baudeveix, P Bellini, C Benzaïd, ... | | |
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 | 14 | 2022 |
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 | 11 | 2022 |
A formal method for evaluating the performance of tsn traffic shapers using uppaal W Guo, Y Huang, J Shi, Z Hou, Y Yang 2021 IEEE 46th Conference on Local Computer Networks (LCN), 241-248, 2021 | 10 | 2021 |
A formal model for the SPARCv8 ISA and a proof of non-interference for the LEON3 processor Z Hóu, D Sanán, A Tiu, Y Liu | | 2018 |
A formalisation of the SPARC TSO memory model for multi-core machine code Z Hou, D Sanan, A Tiu, Y Liu, JS Dong arXiv preprint arXiv:1906.11203, 2019 | | 2019 |
A Graph Representation Framework for Encrypted Network Traffic Classification Z Okonkwo, E Foo, Z Hou, Q Li, Z Jadidi Available at SSRN 4892699, 0 | | |
A Graph-Based Visual Modeling for Enhancing Suspicious Node Detection in Blockchain Networks S Jeyakumar, EYA Charles, Z Hou, M Palaniswami, ... Available at SSRN 4605929, 0 | | |
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 | 33 | 2018 |
A parallel and distributed quantum SAT solver based on entanglement and quantum teleportation SW Lin, TF Wang, YR Chen, Z Hou, D Sanán, YS Teo arXiv preprint arXiv:2308.03344, 2023 | 2 | 2023 |
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation SW Lin, TF Wang, YR Chen, Z Hou, D Sanán, YS Teo International Conference on Tools and Algorithms for the Construction and …, 2024 | | 2024 |
A privacy awareness framework for NFT avatars in the metaverse D Zelenyanszki, Z Hóu, K Biswas, V Muthukkumarasamy 2023 International Conference on Computing, Networking and Communications …, 2023 | 9 | 2023 |
A Runtime Verification Framework for Cyber-Physical Systems Based on Data Analytics and LTL Formula Learning A James Akande, Z Hou, E Foo, Q Li International Conference on Formal Engineering Methods, 273-278, 2023 | | 2023 |
A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models M Tian, J Shi, Z Hou, Y Huang, S Qin 2021 International Symposium on Theoretical Aspects of Software Engineering …, 2021 | | 2021 |
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 | 35 | 2022 |
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective M Huasong Meng, G Bai, S Gee Teo, Z Hou, Y Xiao, Y Lin, JS Dong arXiv e-prints, arXiv: 2206.12227, 2022 | | 2022 |
An Analysis of Zero-knowledge Proof-based Privacy-preserving Techniques for Non-fungible Tokens in the Metaverse D Zelenyanszki, Z Hóu, K Biswas, V Muthukkumarasamy 2023 IEEE International Conference on Metaverse Computing, Networking and …, 2023 | 1 | 2023 |
An executable formal model of the vhdl in isabelle/hol W Khan, Z Hou, D Sanan, J Nebhen, Y Liu, A Tiu arXiv preprint arXiv:2202.04192, 2022 | 1 | 2022 |
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 | 18 | 2016 |