Ernest Bonnah

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 11

Top Topics

Formal Verification

Transition Systems

Top Venues

IEEE Robotics Autom. Lett.

Future Gener. Comput. Syst.

Publications

Roshan Lal Neupane, Ernest Bonnah, Bishnu Bhusal, Kiran Neupane, Khaza Anuarul Hoque, Prasad Calyam
Formal Verification for Blockchain-based Insurance Claims Processing. NOMS (2024)
Roshan Lal Neupane, Ernest Bonnah, Bishnu Bhusal, Kiran Neupane, Khaza Anuarul Hoque, Prasad Calyam
Formal Verification for Blockchain-based Insurance Claims Processing. CoRR (2024)
Ernest Bonnah, Khaza Anuarul Hoque
QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring. MEMOCODE (2023)
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
Model Checking Time Window Temporal Logic for Hyperproperties. MEMOCODE (2023)
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
Model Checking Time Window Temporal Logic for Hyperproperties. CoRR (2023)
Ernest Bonnah, Khaza Anuarul Hoque
QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring. CoRR (2023)
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
Motion Planning Using Hyperproperties for Time Window Temporal Logic. IEEE Robotics Autom. Lett. 8 (8) (2023)
Ernest Bonnah, Khaza Anuarul Hoque
Runtime Monitoring of Time Window Temporal Logic. IEEE Robotics Autom. Lett. 7 (3) (2022)
Naga Ramya Bhamidipati, Varsha Vakkavanthula, George Stafford, Masrik A. Dahir, Roshan Lal Neupane, Ernest Bonnah, Songjie Wang, J. V. R. Murthy, Khaza Anuarul Hoque, Prasad Calyam
ClaimChain: Secure Blockchain Platform for Handling Insurance Claims Processing. Blockchain (2021)
Ernest Bonnah, Shiguang Ju
DecChain: A decentralized security approach in Edge Computing based on Blockchain. Future Gener. Comput. Syst. 113 (2020)
Ernest Bonnah, Shiguang Ju
Privacy Enhancement Scheme (PES) in a Blockchain-Edge Computing Environment. IEEE Access 8 (2020)