. (2017). Opacity for switched linear systems: Notions and characterization. 2017 IEEE 56th Annual Conference on Decision and Control (CDC). Presented at the. https://doi.org/10.1109/CDC.2017.8264445 (Original work published Dec)
R. Cleaveland
First name
R.
Last name
Cleaveland
. (2016). A framework for decentralized opacity in linear systems. 2016 54th Annual Allerton Conference on Communication, Control, and Computing (Allerton). Presented at the. https://doi.org/10.1109/ALLERTON.2016.7852240 (Original work published Sept)
. (2016). Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus. 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE). Presented at the. https://doi.org/10.1109/ISSRE.2016.47 (Original work published Oct)