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 […]
Category: Misc
Other stuff
Invited lecture at ETR 2017
I have been invited to lecture at ETR 2017 : École d’Été Temps Réel (Summer school on real-time systems), which will be help Aug. 28 – Sept. 1 2017 in Paris, France. My lecture will concern runtime verification and enforcement for real-time systems.
@ HUST this week
This week I am visiting HUST – Hanoi University of Sciences and Technology (aka IPH – Institut Polytechnique de Hanoi) to work with Thanh Hung Nguyen.
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 […]