C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Ernest Bonnah
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 9
Top Topics
Model Checking
Transition Systems
Satisfiability Problem
Temporal Logic
Top Venues
IEEE Robotics Autom. Lett.
CoRR
MEMOCODE
Future Gener. Comput. Syst.
</>
Publications
</>
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)