Maurizio Leotta, Davide Ancona, Luca Franceschini, Dario Olianas, Marina Ribaudo, Filippo Ricca. Towards a Runtime Verification Approach for Internet of Things Systems. In Cesare Pautasso, Fernando Sánchez-Figueroa, Kari Systä, Juan Manuel Murillo Rodriguez, editors, Current Trends in Web Engineering - ICWE 2018 International Workshops, MATWEP, EnWot, KD-WEB, WEOD, TourismKG, Cáceres, Spain, June 5, 2018, Revised Selected Papers. Volume 11153 of Lecture Notes in Computer Science, pages 83-96, Springer, 2018. [doi]
Abstract is missing.