Zh Hu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
5
Active years
2018–2023
Best venue rank
C
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ICFEM | Formal Verification of the Burn-to-Claim Blockchain Interoperable Protocol. | Babu Pillai, Zh Hu, Kamanashis Biswas, Vallipuram Muthukkumarasamy |
| 2022 | ICECCS | A Digital Twin Runtime Verification Framework for Protecting Satellites Systems from Cyber Attacks. | Zh Hu, Qinyi Li, Ernest Foo, Jin Song Dong, Paulo de Souza |
| 2022 | SENSYS | Blockchain Interoperability: Performance and Security Trade-Offs. | Babu Pillai, Zh Hu, Kamanashis Biswas, Vinh Bui, Vallipuram Muthukkumarasamy |
| 2021 | LCN | Graph Based Visualisation Techniques for Analysis of Blockchain Transactions. | Jeyakumar Samantha Tharani, Eugene Yougarajah Andrew Charles, Zh Hu, Marimuthu Palaniswami, Vallipuram Muthukkumarasamy |
| 2020 | CADE | N-PAT: A Nested Model-Checker - (System Description). | Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Gor, Zh Hu, Brendan P. Mahony, Jim McCarthy |
| 2020 | ICECCS | RL: a Language for Formal Engineering. | Hadrien Bride, Jin Song Dong, Zh Hu, Brendan P. Mahony, Jim McCarthy |
| 2020 | ICECCS | The Burn-to-Claim cross-blockchain asset transfer protocol. | Babu Pillai, Kamanashis Biswas, Zh Hu, Vallipuram Muthukkumarasamy |
| 2018 | ICFEM | Towards Dependable and Explainable Machine Learning Using Automated Reasoning. | Hadrien Bride, Jie Dong, Jin Song Dong, Zh Hu |
| 2018 | ICFEM | Towards Trustworthy AI for Autonomous Systems. | Hadrien Bride, Jin Song Dong, Zh Hu, Brendan P. Mahony, Martin Oxenham |