Ernest Bonnah
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2023–2026
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FORTE | NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic. | Paapa Kwesi Quansah, Ernest Bonnah |
| 2025 | MEMOCODE | Hyperproperty-Constrained Secure Reinforcement Learning. | Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque |
| 2024 | ICFEM | Efficient SMT-Based Model Checking for HyperTWTL. | Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque |
| 2024 | NOMS | Formal Verification for Blockchain-based Insurance Claims Processing. | Roshan Lal Neupane, Ernest Bonnah, Bishnu Bhusal, Kiran Neupane, Khaza Anuarul Hoque, Prasad Calyam |
| 2023 | MEMOCODE | QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring. | Ernest Bonnah, Khaza Anuarul Hoque |
| 2023 | MEMOCODE | Model Checking Time Window Temporal Logic for Hyperproperties. | Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque |