Brian Kempa
Papers
1
Total Citations
32
H-Index
1
About
No biography available yet.
Research Focus
Computer science1 · 32 citations
Correctness1 · 32 citations
Debugging1 · 32 citations
Distributed computing1 · 32 citations
Embedded system1 · 32 citations
Formal verification1 · 32 citations
Fuzz testing1 · 32 citations
Linear temporal logic1 · 32 citations
Model checking1 · 32 citations
Process (computing)1 · 32 citations
Programming language1 · 32 citations
Real-time computing1 · 32 citations
Key Achievements
1
H-Index
1
Papers
32
Total Citations
32
Avg Citations/Paper
🏆 Most Cited Paper
Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2
32 citations · 2020
📈 Most Prolific Year: 2020 (1 Papers)
🤝 Key Collaborators: 4
🏛 Institutions: Iowa State University
Top Papers
- 1Embedding Online Runtime Verification for Fault Disambiguation on Robonaut232 citations · 2020
Key Collaborators
Not generated yet