2016conference

An efficient algorithm for monitoring practical TPTL specifications

Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos

2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

Topics: Runtime Verification and Monitoring

Citation

@inproceedings{dokhanchi2016efficient,
  title = {An efficient algorithm for monitoring practical TPTL specifications},
  author = {Dokhanchi, Adel and Hoxha, Bardh and Tuncali, Cumhur Erkan and Fainekos, Georgios},
  booktitle = {2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)},
  pages = {184--193},
  year = {2016},
  organization = {IEEE},
  url = {http://www.bhoxha.com/papers/Memocode2016_CameraReady.pdf},
  keywords = {Runtime Verification and Monitoring}
}