Ernest Bonnah

Orcid: 0000-0001-7170-8936

According to our database1, Ernest Bonnah authored at least 8 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Formal Verification for Blockchain-based Insurance Claims Processing.
Proceedings of the NOMS 2024 IEEE Network Operations and Management Symposium, 2024

2023
Motion Planning Using Hyperproperties for Time Window Temporal Logic.
IEEE Robotics Autom. Lett., 2023

Model Checking Time Window Temporal Logic for Hyperproperties.
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.
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.
IEEE Robotics Autom. Lett., 2022

2021
ClaimChain: Secure Blockchain Platform for Handling Insurance Claims Processing.
Proceedings of the 2021 IEEE International Conference on Blockchain, 2021

2020
DecChain: A decentralized security approach in Edge Computing based on Blockchain.
Future Gener. Comput. Syst., 2020

Privacy Enhancement Scheme (PES) in a Blockchain-Edge Computing Environment.
IEEE Access, 2020


  Loading...