@inproceedings{DBLP:conf/icwe/LeottaAFORR18,
  author       = {Maurizio Leotta and
                  Davide Ancona and
                  Luca Franceschini and
                  Dario Olianas and
                  Marina Ribaudo and
                  Filippo Ricca},
  editor       = {Cesare Pautasso and
                  Fernando S{\'{a}}nchez{-}Figueroa and
                  Kari Syst{\"{a}} and
                  Juan Manuel Murillo Rodr{\'{\i}}guez},
  title        = {Towards a Runtime Verification Approach for Internet of Things Systems},
  booktitle    = {Current Trends in Web Engineering - {ICWE} 2018 International Workshops,
                  MATWEP, EnWot, KD-WEB, WEOD, TourismKG, C{\'{a}}ceres, Spain, June
                  5, 2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11153},
  pages        = {83--96},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-03056-8\_8},
  doi          = {10.1007/978-3-030-03056-8\_8},
  timestamp    = {Wed, 21 Jun 2023 16:54:51 +0200},
  biburl       = {https://dblp.org/rec/conf/icwe/LeottaAFORR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"zcShQa7uhDQiJM7hm","bibbaseid":"leotta-ancona-franceschini-olianas-ribaudo-ricca-towardsaruntimeverificationapproachforinternetofthingssystems-2018","downloads":0,"creationDate":"2018-06-04T08:50:04.108Z","title":"Towards a Runtime Verification Approach for Internet of Things Systems","author_short":["Leotta, M.","Ancona, D.","Franceschini, L.","Olianas, D.","Ribaudo, M.","Ricca, F."],"year":2018,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/a/DAncona.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","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":[]}],"editor":[{"firstnames":["Cesare"],"propositions":[],"lastnames":["Pautasso"],"suffixes":[]},{"firstnames":["Fernando"],"propositions":[],"lastnames":["Sánchez-Figueroa"],"suffixes":[]},{"firstnames":["Kari"],"propositions":[],"lastnames":["Systä"],"suffixes":[]},{"firstnames":["Juan","Manuel","Murillo"],"propositions":[],"lastnames":["Rodríguez"],"suffixes":[]}],"title":"Towards a Runtime Verification Approach for Internet of Things Systems","booktitle":"Current Trends in Web Engineering - ICWE 2018 International Workshops, MATWEP, EnWot, KD-WEB, WEOD, TourismKG, Cáceres, Spain, June 5, 2018, Revised Selected Papers","series":"Lecture Notes in Computer Science","volume":"11153","pages":"83–96","publisher":"Springer","year":"2018","url":"https://doi.org/10.1007/978-3-030-03056-8\\_8","doi":"10.1007/978-3-030-03056-8_8","timestamp":"Wed, 21 Jun 2023 16:54:51 +0200","biburl":"https://dblp.org/rec/conf/icwe/LeottaAFORR18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/icwe/LeottaAFORR18,\n author = {Maurizio Leotta and\n Davide Ancona and\n Luca Franceschini and\n Dario Olianas and\n Marina Ribaudo and\n Filippo Ricca},\n editor = {Cesare Pautasso and\n Fernando S{\\'{a}}nchez{-}Figueroa and\n Kari Syst{\\\"{a}} and\n Juan Manuel Murillo Rodr{\\'{\\i}}guez},\n title = {Towards a Runtime Verification Approach for Internet of Things Systems},\n booktitle = {Current Trends in Web Engineering - {ICWE} 2018 International Workshops,\n MATWEP, EnWot, KD-WEB, WEOD, TourismKG, C{\\'{a}}ceres, Spain, June\n 5, 2018, Revised Selected Papers},\n series = {Lecture Notes in Computer Science},\n volume = {11153},\n pages = {83--96},\n publisher = {Springer},\n year = {2018},\n url = {https://doi.org/10.1007/978-3-030-03056-8\\_8},\n doi = {10.1007/978-3-030-03056-8\\_8},\n timestamp = {Wed, 21 Jun 2023 16:54:51 +0200},\n biburl = {https://dblp.org/rec/conf/icwe/LeottaAFORR18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\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, J. M. M."],"key":"DBLP:conf/icwe/LeottaAFORR18","id":"DBLP:conf/icwe/LeottaAFORR18","bibbaseid":"leotta-ancona-franceschini-olianas-ribaudo-ricca-towardsaruntimeverificationapproachforinternetofthingssystems-2018","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-03056-8\\_8"},"metadata":{"authorlinks":{"leotta, m":"https://person.dibris.unige.it/leotta-maurizio/publications.php"}},"downloads":0},"search_terms":["towards","runtime","verification","approach","internet","things","systems","leotta","ancona","franceschini","olianas","ribaudo","ricca"],"keywords":[],"authorIDs":["55006f3a8eef46c572000988","5deb777d9e04d1df010000d8","5e1f7a9d08195af301000047","5e2318d9327a15de01000011","5e3acca7f2a00cdf010001a1","5e5490a1fd5b13df0100005a","9f6zgbR3JHtwqsijZ","Pz4fokfC9WEdfjBEd","YNevcgD57CncTNskK","eP7pjEJ4W6yP7rgdE","jJE4nda7tHT3JW3bD","my9fpYXQzsRRsHecc","qRNp2va3tSuJkFvde"],"dataSources":["LXjRbk5PnzwuMzpa3","L4MmnFQ9js4SGijb8","8SWG3qY45gh6hT2WD","hbmDF3mowSFP7RzLi"]}