Publications

Export 3 results:
Author Title Type [ Year(Asc)]
Filters: Author is R. Cleaveland  [Clear All Filters]
2017
Opacity for switched linear systems: Notions and characterization, Ramasubramanian, B., Cleaveland R., and Marcus S. I. , 2017 IEEE 56th Annual Conference on Decision and Control (CDC), Dec, (2017)  (512.18 KB)
2016
Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus, Ganesan, D., Lindvall M., Hafsteinsson S., Cleaveland R., Strege S. L., and Moleski W. , 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE), Oct, (2016)  (976.61 KB)
A framework for decentralized opacity in linear systems, Ramasubramanian, B., Cleaveland R., and Marcus S. I. , 2016 54th Annual Allerton Conference on Communication, Control, and Computing (Allerton), Sept, (2016)  (564.69 KB)