Hyperproperties of real-valued signals

Nguyen, Luan Viet; Kapinski, James; Jin, Xiaoqing; Deshmukh, Jyotirmoy; Johnson, Taylor T.

by Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy Deshmukh, Taylor T. Johnson

Reference:

Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy Deshmukh, Taylor T. Johnson, "Hyperproperties of real-valued signals", In 15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017), IEEE, 2017, oct.

Bibtex Entry:

@InProceedings{nguyen2017memocode,
  author    = {Luan Viet Nguyen and James Kapinski and Xiaoqing Jin and Jyotirmoy Deshmukh and Taylor T. Johnson},
  title     = {Hyperproperties of real-valued signals},
  booktitle = {15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017)},
  year      = {2017},
  month     = oct,
  publisher = {IEEE},
  file      = {http://www.taylortjohnson.com/research/nguyen2017memocode.pdf},
  owner     = {tjohnson},
}