@article{BasinKMZ-JACM15,
  author = {Basin, David and Klaedtke, Felix and M{\"u}ller, Samuel and Z{\u a}linescu, Eugen},
  title = {Monitoring Metric First-Order Temporal Properties},
  journal = {J.\ ACM},
  volume = {62},
  number = {2},
  year = {2015},
  pages = {15:1--15:45},
  doi = {10.1145/2699444},
}

@inproceedings{monpoly,
    author    = {David Basin and Felix Klaedtke and Eugen Z\u{a}linescu},
    title     = {The {MonPoly} Monitoring Tool},
    booktitle = {RV-CuBES 2017},
    editor    = {Giles Reger and Klaus Havelund},
    series    = {Kalpa Publications in Computing},
    volume    = {3},
    pages     = {19--28},
    year      = {2017},
    publisher = {EasyChair},
    url       = {http://www.easychair.org/publications/paper/62MC}
}

@inproceedings{SchneiderBKT-RV19,
  author    = {Joshua Schneider and
               David Basin and
               Sr\dj{}an Krsti\'{c} and
               Dmitriy Traytel},
  editor    = {Bernd Finkbeiner and
               Leonardo Mariani},
  title     = {A Formally Verified Monitor for Metric First-Order Temporal Logic},
  booktitle = {RV 2019},
  series    = {LNCS},
  volume    = {11757},
  pages     = {310--328},
  publisher = {Springer},
  year      = {2019},
}

@article{SchneiderBBKT-STTT20,
  author = {Joshua Schneider and
            David Basin and
            Frederik Brix and
            Sr\dj{}an Krsti\'{c} and
            Dmitriy Traytel},
  title = {Scalable Online First-Order Monitoring},
  journal = {Int. J. Softw. Tools Technol. Transf.},
  year = {2020},
  note = {To appear. Preprint at \url{http://people.inf.ethz.ch/trayteld/papers/sttt20-som_long/som_long.pdf}},
}