Kevin Boos

Papers

Total Citations

H-Index

About

Kevin Boos is a researcher whose work centers on the challenges of debugging and verifying correctness in cyber-physical systems (CPS)—integrations of computation, networking, and physical processes. His major contribution is the development of **BRACE**, an assertion framework designed specifically for CPS. Traditional debugging tools struggle with these systems because correctness depends not only on software logic but also on physical states (e.g., timing, sensor readings), which are hard to observe. Boos’s framework allows developers to define and check assertions that span both the digital and physical realms, making it possible to catch subtle, cross-domain bugs that would otherwise require tedious, repeated hardware-software testing. While his most-cited papers have accumulated a modest number of citations (around 4 and 3, respectively), their impact lies in addressing a fundamental, unsolved problem in a rapidly growing field. This work is particularly notable for its practical, developer-focused approach—providing a tangible tool to tame the complexity of building reliable CPS, from autonomous vehicles to medical devices. Boos’s research is essential reading for anyone grappling with the unique debugging challenges at the intersection of code and the physical world.