ASE 2001 paper that helped shape the Runtime Verification field got the Most Influential Paper Award

Klaus Havelund and I got the ASE 2016 most influential paper award for a paper we published 15 years ago, in ASE 2001. ¬†That paper is important to me because it turned my interest to the field that we now call “runtime verification” (back then, we didn’t know exactly what it was). ¬†Below is a link to an article that the CS Department at UIUC just published about this award.


CS article