@incollection{2018-leotta-ENWOT,
  title     = {Towards a Runtime Verification Approach for {Internet of Things} Systems},
  author    = {Maurizio Leotta and Davide Ancona and Luca Franceschini and Dario Olianas and Marina Ribaudo and Filippo Ricca},
  booktitle = {Proceedings of 2nd International Workshop on Engineering the Web of Things (EnWoT 2018)},
  editor    = {Pautasso, Cesare and S{\'a}nchez-Figueroa, Fernando and Syst{\"a}, Kari and Murillo Rodr{\'i}guez, Juan Manuel},
  pages     = {83-96},
  publisher = {Springer},
  year      = {2018},
  volume    = {11153},
  series    = {LNCS},
  url       = {https://doi.org/10.1007/978-3-030-03056-8_8},
  doi       = {10.1007/978-3-030-03056-8_8},
  isbn      = {978-3-030-03055-1},
  url     = {https://sepl.dibris.unige.it/publications/2018-leotta-EnWoT.pdf},
}

{"_id":"r3k3rCh5AR9u4pHDv","bibbaseid":"leotta-ancona-franceschini-olianas-ribaudo-ricca-towardsaruntimeverificationapproachforinternetofthingssystems-2018","author_short":["Leotta, M.","Ancona, D.","Franceschini, L.","Olianas, D.","Ribaudo, M.","Ricca, F."],"bibdata":{"bibtype":"incollection","type":"incollection","title":"Towards a Runtime Verification Approach for Internet of Things Systems","author":[{"firstnames":["Maurizio"],"propositions":[],"lastnames":["Leotta"],"suffixes":[]},{"firstnames":["Davide"],"propositions":[],"lastnames":["Ancona"],"suffixes":[]},{"firstnames":["Luca"],"propositions":[],"lastnames":["Franceschini"],"suffixes":[]},{"firstnames":["Dario"],"propositions":[],"lastnames":["Olianas"],"suffixes":[]},{"firstnames":["Marina"],"propositions":[],"lastnames":["Ribaudo"],"suffixes":[]},{"firstnames":["Filippo"],"propositions":[],"lastnames":["Ricca"],"suffixes":[]}],"booktitle":"Proceedings of 2nd International Workshop on Engineering the Web of Things (EnWoT 2018)","editor":[{"propositions":[],"lastnames":["Pautasso"],"firstnames":["Cesare"],"suffixes":[]},{"propositions":[],"lastnames":["Sánchez-Figueroa"],"firstnames":["Fernando"],"suffixes":[]},{"propositions":[],"lastnames":["Systä"],"firstnames":["Kari"],"suffixes":[]},{"firstnames":["Murillo"],"propositions":[],"lastnames":["Rodríguez, Juan Manuel"],"suffixes":[]}],"pages":"83-96","publisher":"Springer","year":"2018","volume":"11153","series":"LNCS","url":"https://sepl.dibris.unige.it/publications/2018-leotta-EnWoT.pdf","doi":"10.1007/978-3-030-03056-8_8","isbn":"978-3-030-03055-1","bibtex":"@incollection{2018-leotta-ENWOT,\r\n title = {Towards a Runtime Verification Approach for {Internet of Things} Systems},\r\n author = {Maurizio Leotta and Davide Ancona and Luca Franceschini and Dario Olianas and Marina Ribaudo and Filippo Ricca},\r\n booktitle = {Proceedings of 2nd International Workshop on Engineering the Web of Things (EnWoT 2018)},\r\n editor = {Pautasso, Cesare and S{\\'a}nchez-Figueroa, Fernando and Syst{\\\"a}, Kari and Murillo Rodr{\\'i}guez, Juan Manuel},\r\n pages = {83-96},\r\n publisher = {Springer},\r\n year = {2018},\r\n volume = {11153},\r\n series = {LNCS},\r\n url = {https://doi.org/10.1007/978-3-030-03056-8_8},\r\n doi = {10.1007/978-3-030-03056-8_8},\r\n isbn = {978-3-030-03055-1},\r\n url = {https://sepl.dibris.unige.it/publications/2018-leotta-EnWoT.pdf},\r\n}\r\n\r\n","author_short":["Leotta, M.","Ancona, D.","Franceschini, L.","Olianas, D.","Ribaudo, M.","Ricca, F."],"editor_short":["Pautasso, C.","Sánchez-Figueroa, F.","Systä, K.","Rodríguez, Juan Manuel, M."],"key":"2018-leotta-ENWOT","id":"2018-leotta-ENWOT","bibbaseid":"leotta-ancona-franceschini-olianas-ribaudo-ricca-towardsaruntimeverificationapproachforinternetofthingssystems-2018","role":"author","urls":{"Paper":"https://sepl.dibris.unige.it/publications/2018-leotta-EnWoT.pdf"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"incollection","biburl":"http://sepl.dibris.unige.it/publications.bib","dataSources":["L4MmnFQ9js4SGijb8"],"keywords":[],"search_terms":["towards","runtime","verification","approach","internet","things","systems","leotta","ancona","franceschini","olianas","ribaudo","ricca"],"title":"Towards a Runtime Verification Approach for Internet of Things Systems","year":2018}