Kevin Boos
Papers
2
Total Citations
7
H-Index
2
About
No biography available yet.
Research Focus
Assertion2 · 7 citations
Computer science2 · 7 citations
Computer security2 · 7 citations
Correctness2 · 7 citations
Cyber-physical system2 · 7 citations
Debugging2 · 7 citations
Human–computer interaction2 · 7 citations
Key (lock)2 · 7 citations
Operating system2 · 7 citations
Process (computing)2 · 7 citations
Programming language2 · 7 citations
Semantics (computer science)2 · 7 citations
Key Achievements
2
H-Index
2
Papers
7
Total Citations
4
Avg Citations/Paper
🏆 Most Cited Paper
Brace: an assertion framework for debugging cyber-physical systems
4 citations · 2012
📈 Most Prolific Year: 2012 (2 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: The University of Texas at Austin
Top Papers
- 1Brace: an assertion framework for debugging cyber-physical systems4 citations · 2012
- 2BRACE: An assertion framework for debugging cyber-physical systems3 citations · 2012
Key Collaborators
Not generated yet