@inproceedings{daian:hal-01248350, TITLE = {{RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial}}, AUTHOR = {Daian, Philip and Falcone, Yli{\`e}s and Meredith, Patrick and Serbanuta, Traian Florin and Shiriashi, Shin'ichi and Iwai, Akihito and Rosu, Grigore}, URL = {https://inria.hal.science/hal-01248350}, BOOKTITLE = {{6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings}}, ADDRESS = {Vienne, Austria}, PUBLISHER = {{Springer}}, SERIES = {Runtime Verification}, VOLUME = {LNCS}, NUMBER = {9333}, PAGES = {16}, YEAR = {2015}, MONTH = Sep, DOI = {10.1007/978-3-319-23820-3\_24}, PDF = {https://inria.hal.science/hal-01248350/file/rv15-3.pdf}, HAL_ID = {hal-01248350}, HAL_VERSION = {v1}, }