Ernest Bonnah

15 papers B 1C 4Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2025 C conf
Hyperproperty-Constrained Secure Reinforcement Learning.
MEMOCODE
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
2025 J jnl
Hyperproperty-Constrained Secure Reinforcement Learning.
CoRR
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
2024 C conf
Efficient SMT-Based Model Checking for HyperTWTL.
ICFEM
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
2024 B conf
Formal Verification for Blockchain-based Insurance Claims Processing.
NOMS
Roshan Lal Neupane, Ernest Bonnah, Bishnu Bhusal, Kiran Neupane, Khaza Anuarul Hoque, Prasad Calyam
2024 J jnl
Formal Verification for Blockchain-based Insurance Claims Processing.
CoRR
Roshan Lal Neupane, Ernest Bonnah, Bishnu Bhusal, Kiran Neupane, Khaza Anuarul Hoque, Prasad Calyam
2023 C conf
Model Checking Time Window Temporal Logic for Hyperproperties.
MEMOCODE
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
2023 J jnl
Model Checking Time Window Temporal Logic for Hyperproperties.
CoRR
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
2023 J jnl
Motion Planning Using Hyperproperties for Time Window Temporal Logic.
IEEE Robotics Autom. Lett.
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
2023 C conf
QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring.
MEMOCODE
Ernest Bonnah, Khaza Anuarul Hoque
2023 J jnl
QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring.
CoRR
Ernest Bonnah, Khaza Anuarul Hoque
2022 J jnl
Runtime Monitoring of Time Window Temporal Logic.
IEEE Robotics Autom. Lett.
Ernest Bonnah, Khaza Anuarul Hoque
2021 J jnl
An improved multi-leader comprehensive learning particle swarm optimisation based on gravitational search algorithm.
Connect. Sci.
Alfred Adutwum Amponsah, Fei Han, Jeremiah Osei-Kwakye, Ernest Bonnah, Qing-Hua Ling
2021 — conf
ClaimChain: Secure Blockchain Platform for Handling Insurance Claims Processing.
Blockchain
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
2020 J jnl
DecChain: A decentralized security approach in Edge Computing based on Blockchain.
Future Gener. Comput. Syst.
Ernest Bonnah, Shiguang Ju
2020 J jnl
Privacy Enhancement Scheme (PES) in a Blockchain-Edge Computing Environment.
IEEE Access
Ernest Bonnah, Shiguang Ju