Synthesis of Monitors for Networked Systems With Heterogeneous Safety Requirements

Mischa Möstl, Johannes Schlatow, Rolf Ernst. Synthesis of Monitors for Networked Systems With Heterogeneous Safety Requirements. IEEE Trans. on CAD of Integrated Circuits and Systems, 37(11):2824-2834, 2018. [doi]

@article{MostlSE18,
  title = {Synthesis of Monitors for Networked Systems With Heterogeneous Safety Requirements},
  author = {Mischa Möstl and Johannes Schlatow and Rolf Ernst},
  year = {2018},
  doi = {10.1109/TCAD.2018.2862458},
  url = {https://doi.org/10.1109/TCAD.2018.2862458},
  researchr = {https://researchr.org/publication/MostlSE18},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
  volume = {37},
  number = {11},
  pages = {2824-2834},
}