Input-output robustness for discrete systems

Paulo Tabuada, Ayca Balkan, Sina Y. Caliskan, Yasser Shoukry, Rupak Majumdar. Input-output robustness for discrete systems. In Ahmed Jerraya, Luca P. Carloni, Florence Maraninchi, John Regehr, editors, Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012. pages 217-226, ACM, 2012. [doi]

@inproceedings{TabuadaBCSM12,
  title = {Input-output robustness for discrete systems},
  author = {Paulo Tabuada and Ayca Balkan and Sina Y. Caliskan and Yasser Shoukry and Rupak Majumdar},
  year = {2012},
  doi = {10.1145/2380356.2380396},
  url = {http://doi.acm.org/10.1145/2380356.2380396},
  researchr = {https://researchr.org/publication/TabuadaBCSM12},
  cites = {0},
  citedby = {0},
  pages = {217-226},
  booktitle = {Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012},
  editor = {Ahmed Jerraya and Luca P. Carloni and Florence Maraninchi and John Regehr},
  publisher = {ACM},
  isbn = {978-1-4503-1425-1},
}