Ylies Falcone

From FSL
Revision as of 21:15, 1 October 2016 by Grosu (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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

Personal tools
Namespaces

Variants
Actions
Navigation