Ernest Bonnah

According to our database, Ernest Bonnah authored at least 9 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Formal Verification for Blockchain-based Insurance Claims Processing.

Roshan Lal Neupane, Ernest Bonnah, Bishnu Bhusal, Kiran Neupane, Khaza Anuarul Hoque, Prasad Calyam

Proceedings of the NOMS 2024 IEEE Network Operations and Management Symposium, 2024

Efficient SMT-Based Model Checking for HyperTWTL.

Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque

Proceedings of the Formal Methods and Software Engineering, 2024

2023

Motion Planning Using Hyperproperties for Time Window Temporal Logic.

Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque

IEEE Robotics Autom. Lett., 2023

Model Checking Time Window Temporal Logic for Hyperproperties.

Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring.

Ernest Bonnah, Khaza Anuarul Hoque

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

2022

Runtime Monitoring of Time Window Temporal Logic.

Ernest Bonnah, Khaza Anuarul Hoque

IEEE Robotics Autom. Lett., 2022

2021

ClaimChain: Secure Blockchain Platform for Handling Insurance Claims Processing.

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

Proceedings of the 2021 IEEE International Conference on Blockchain, 2021

2020

DecChain: A decentralized security approach in Edge Computing based on Blockchain.

Ernest Bonnah, Shiguang Ju

Future Gener. Comput. Syst., 2020

Privacy Enhancement Scheme (PES) in a Blockchain-Edge Computing Environment.

Ernest Bonnah, Shiguang Ju

IEEE Access, 2020