Edge-Based Runtime Verification for the Internet of Things

Christos Tsigkanos, Marcello M. Bersani, Pantelis A. Frangoudis, Schahram Dustdar. Edge-Based Runtime Verification for the Internet of Things. In Nimanthi L. Atukorala, Carl K. Chang, Rong N. Chang, Ernesto Damiani, Ian T. Foster, Zhongjie Wang, Jia Zhang, editors, IEEE World Congress on Services, SERVICES 2021, Chicago, IL, USA, September 5-10, 2021. pages 16, IEEE, 2021. [doi]

@inproceedings{TsigkanosBFD21,
  title = {Edge-Based Runtime Verification for the Internet of Things},
  author = {Christos Tsigkanos and Marcello M. Bersani and Pantelis A. Frangoudis and Schahram Dustdar},
  year = {2021},
  doi = {10.1109/SERVICES51467.2021.00027},
  url = {https://doi.org/10.1109/SERVICES51467.2021.00027},
  researchr = {https://researchr.org/publication/TsigkanosBFD21},
  cites = {0},
  citedby = {0},
  pages = {16},
  booktitle = {IEEE World Congress on Services, SERVICES 2021, Chicago, IL, USA, September 5-10, 2021},
  editor = {Nimanthi L. Atukorala and Carl K. Chang and Rong N. Chang and Ernesto Damiani and Ian T. Foster and Zhongjie Wang and Jia Zhang},
  publisher = {IEEE},
  isbn = {978-1-6654-2719-7},
}