@inproceedings{rv17,
  author    = {Adrian Francalanza and
               Luca Aceto and
               Antonis Achilleos and
               Attard, Duncan Paul and
               Ian Cassar and
               Della Monica, Dario and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title     = {A Foundation for Runtime Monitoring},
  booktitle = {Proc. of the 17th International Conference on Runtime
               Verification (RV)},
  pages     = {8--29},
  year      = {2017},
  editor    = {Shuvendu K. Lahiri and
               Giles Reger},
  series    = {Lecture Notes in Computer Science},
  volume    = {10548},
  publisher = {Springer},
  doi       = {10.1007/978-3-319-67531-2_2},
  isbn      = {978-3-319-67530-5},
  address   = {Seattle, WA, USA},
  month     = {September}
}