Analysis of information flow security in cyber–physical systems R Akella, H Tang, BM McMillin International Journal of Critical Infrastructure Protection 3 (3-4), 157-173, 2010 | 195 | 2010 |
Distributed power balancing for the FREEDM system R Akella, F Meng, D Ditch, B McMillin, M Crow 2010 First IEEE International Conference on Smart Grid Communications, 7-12, 2010 | 76 | 2010 |
Model-checking BNDC properties in cyber-physical systems R Akella, BM McMillin 2009 33rd annual ieee international computer software and applications …, 2009 | 58 | 2009 |
Distributed grid intelligence for future microgrid with renewable sources and storage F Meng, R Akella, ML Crow, B McMillin North American Power Symposium 2010, 1-6, 2010 | 26 | 2010 |
Information flow analysis of energy management in a smart grid R Akella, BM McMillin Computer Safety, Reliability, and Security: 29th International Conference …, 2010 | 22 | 2010 |
Architecture of a smart microgrid distributed operating system B McMillin, R Akella, D Ditch, G Heydt, Z Zhang, MY Chow 2011 IEEE/PES Power Systems Conference and Exposition, 2011 | 16 | 2011 |
Service discovery for the connected car with semantic accessors M Weber, R Akella, EA Lee 2019 IEEE Intelligent Vehicles Symposium (IV), 2417-2422, 2019 | 11 | 2019 |
Consistency vs. availability in distributed real-time systems EA Lee, R Akella, S Bateni, S Lin, M Lohstroh, C Menard arXiv preprint arXiv:2301.08906, 2023 | 5 | 2023 |
Modeling and verification of security properties for critical infrastructure protection R Akella, BM McMillin Proceedings of the Eighth Annual Cyber Security and Information Intelligence …, 2013 | 5 | 2013 |
Verification of information flow properties in cyber-physical systems B McMillin, R Akella Workshop on Foundations of Dependable and Secure Cyber-Physical Systems …, 2011 | 5 | 2011 |
Verification and Protection of Confidentiality in an Advanced Smart Grid B McMillin, R Akella System Science (HICSS), 2012 45th Hawaii International Conference on, 2011 | 4 | 2011 |
Consistency vs. availability in distributed cyber-physical systems EA Lee, R Akella, S Bateni, S Lin, M Lohstroh, C Menard ACM Transactions on Embedded Computing Systems 22 (5s), 1-24, 2023 | 3 | 2023 |
Information flow security in cyber-physical systems T Gamage, R Akella, T Roth, B McMillin Proceedings of the Seventh Annual Workshop on Cyber Security and Information …, 2011 | 3 | 2011 |
Roadside computing system for predicting road user trajectory and assessing travel risk Y Xu, R Akella, H Volos US Patent App. 17/216,254, 2021 | 2 | 2021 |
CPS-CSH cyber-physical analysis and design D Fitch, S Sedigh, B McMillin, R Akella Critical Information Infrastructures Security: 7th International Workshop …, 2013 | 2 | 2013 |
Verification of information flow security in cyber-physical systems RC Akella Missouri University of Science and Technology, 2013 | 2 | 2013 |
Systems And Machine Learning Models For Automated Vehicle Monitoring H Volos, Y Xu, R Akella, T Okayasu US Patent App. 17/961,752, 2023 | | 2023 |
Vehicle recommendation and translation system for setting personalized parameters within vehicles of mobility sharing environments R Akella, H Volos, Y Xu, T Bando US Patent 11,267,415, 2022 | | 2022 |
System and method for a semantic service discovery for a vehicle R Akella US Patent App. 16/537,544, 2021 | | 2021 |
10 Security in the Cyber-Physical Electric Power Infrastructure B McMillin, R Akella, G Howser, T Gamage, T Roth Principles of Cyber-Physical Systems: An Interdisciplinary Approach, 252, 2020 | | 2020 |