Ylies Falcone is a Professor at the University Grenoble Alps and a Researcher at INRIA's Grenoble Informatics Lab. Checkout his webpage at http://www.ylies.fr/ for latest news.
Publications within FSL
- RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial
- Philip Daian and Ylies Falcone and Patrick Meredith and Traian Florin Serbanuta and Shinichi Shiraishi and Akihito Iwai and Grigore Rosu
RV'15, Lecture Notes in Computer Science 9333, pp 342-357. 2015
PDF, Slides(PDF), RV-Android, DOI, RV'15, BIB