@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},
}

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

@inproceedings{BasinKT-RV17,
  author    = {David Basin and Sr{\dj{}}an Krsti{\'c} and Dmitriy Traytel},
  title     = {Almost Event-Rate Independent Monitoring of Metric Dynamic Logic},
  editor    = {Shuvendu K. Lahiri and Giles Reger},
  booktitle = {{RV} 2017},
  series    = {LNCS},
  volume    = {10548},
  pages     = {85--102},
  publisher = {Springer},
  year      = {2017},
}

@inproceedings{BasinDHKRST2020IJCAR,
  author = {David Basin and Thibault Dardinier and Lukas Heimes and Sr{\dj{}}an Krsti{\'c}
    and Martin Raszyk and Joshua Schneider and Dmitriy Traytel},
  title = {A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic},
  editor = {Nicolas Peltier and Viorica Sofronie-Stokkermans},
  booktitle = {{IJCAR} 2020},
  series = {LNCS},
  volume = {12166},
  pages = {432--453},
  publisher = {Springer},
  year = {2020},
}
