First International Competition on Runtime Verification Rules, Benchmarks, Tools, and Final Results of CRV 2014

The manuscript entitled First International Competition on Runtime Verification – Rules, Benchmarks, Tools, and Final Results of CRV 2014 has been accepted for publication in Software Tools for Technology Transfer, a Springer journal. Below is an abstract of the paper The First International Competition on Runtime Verification (CRV) was held in September 2014, in Toronto, Canada, as a […]

Read More

Back to Grenoble!

After almost two great years as a postdoc fellow at INRIA (now Inria) Rennes – Bretagne Atlantique (located in the beautiful French Britanny) within the VerTeCs team, I have moved back to Grenoble. I get an associate professor position at Grenoble University (University Joseph Fourier) and I am doing my research at LIG – Laboratoire […]

Read More