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

Posted on October 30, 2016 by Grigore Rosu

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.


company mission and vision news team careers publications presentations videos faq Embedded Systems Blockhain Advisory Services Smart Contract Verification Protocol Verification Formal Design and Modeling The IELE Virtual Machine Partnerships contact media kit blog