Ernest Bonnah

University of Missouri

Papers

3

Total Citations

23

H-Index

3

About

No biography available yet.

Research Focus

Programming language3 · 23 citations
Linear temporal logic3 · 23 citations
Model checking3 · 23 citations
Computer science3 · 23 citations
Temporal logic3 · 23 citations
Operating system2 · 15 citations
Window (computing)2 · 15 citations
Artificial intelligence1 · 12 citations
Real-time computing1 · 12 citations
Automaton1 · 12 citations
Formal verification1 · 12 citations
Embedded system1 · 12 citations

Key Achievements

3
H-Index
3
Papers
23
Total Citations
8
Avg Citations/Paper
🏆 Most Cited Paper
Runtime Monitoring of Time Window Temporal Logic
12 citations · 2022
📈 Most Prolific Year: 2023 (2 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: University of Missouri

Top Papers

  1. 1
    Runtime Monitoring of Time Window Temporal Logic
    12 citations · 2022
  2. 2
    Motion Planning Using Hyperproperties for Time Window Temporal Logic
    8 citations · 2023
  3. 3
    Model Checking Time Window Temporal Logic for Hyperproperties
    3 citations · 2023

Key Collaborators

KAKhaza Anuarul Hoque3 shared papersLVLuan Viet Nguyen2 shared papers
Not generated yet