Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee. Towards synthesis of platform-aware attack-resilient control systems: extended abstract. In Linda Bushnell, Larry Rohrbough, Saurabh Amin, Xenofon D. Koutsoukos, editors, 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), HiCoNS 2013, Philadelphia, PA, USA, April 9-11, 2013. pages 75-76, ACM, 2013. [doi]
@inproceedings{PajicBWAMMPSTWL13,
title = {Towards synthesis of platform-aware attack-resilient control systems: extended abstract},
author = {Miroslav Pajic and Nicola Bezzo and James Weimer and Rajeev Alur and Rahul Mangharam and Nathan Michael and George J. Pappas and Oleg Sokolsky and Paulo Tabuada and Stephanie Weirich and Insup Lee},
year = {2013},
doi = {10.1145/2461446.2461457},
url = {http://doi.acm.org/10.1145/2461446.2461457},
researchr = {https://researchr.org/publication/PajicBWAMMPSTWL13},
cites = {0},
citedby = {0},
pages = {75-76},
booktitle = {2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), HiCoNS 2013, Philadelphia, PA, USA, April 9-11, 2013},
editor = {Linda Bushnell and Larry Rohrbough and Saurabh Amin and Xenofon D. Koutsoukos},
publisher = {ACM},
isbn = {978-1-4503-1961-4},
}