Ernest Bonnah

According to our database, Ernest Bonnah authored at least 13 papers between 2020 and 2026.

Collaborative distances:

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

2026

SENTIL: A Runtime Verification Tool for Probabilistic Temporal Logic.

Paapa Kwesi Quansah, Ernest Bonnah

CoRR, May, 2026

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic.

Paapa Kwesi Quansah, Ernest Bonnah

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2026

2025

Hyperproperty-Constrained Secure Reinforcement Learning.

Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque

Proceedings of the International Symposium on Formal Methods and Models for System Design, 2025

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

An improved multi-leader comprehensive learning particle swarm optimisation based on gravitational search algorithm.

Alfred Adutwum Amponsah, Fei Han, Jeremiah Osei-Kwakye, Ernest Bonnah, Qing-Hua Ling

Connect. Sci., 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