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

Posted on October 30th, 2016 by Grigore Roșu
Posted in News

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.