Follow
Ravi Akella
Ravi Akella
Sr. Research Engineer, DENSO International America Inc.
Verified email at na.denso.com
Title
Cited by
Cited by
Year
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
1952010
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
762010
Model-checking BNDC properties in cyber-physical systems
R Akella, BM McMillin
2009 33rd annual ieee international computer software and applications …, 2009
582009
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
262010
Information flow analysis of energy management in a smart grid
R Akella, BM McMillin
Computer Safety, Reliability, and Security: 29th International Conference …, 2010
222010
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
162011
Service discovery for the connected car with semantic accessors
M Weber, R Akella, EA Lee
2019 IEEE Intelligent Vehicles Symposium (IV), 2417-2422, 2019
112019
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
52023
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
52013
Verification of information flow properties in cyber-physical systems
B McMillin, R Akella
Workshop on Foundations of Dependable and Secure Cyber-Physical Systems …, 2011
52011
Verification and Protection of Confidentiality in an Advanced Smart Grid
B McMillin, R Akella
System Science (HICSS), 2012 45th Hawaii International Conference on, 2011
42011
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
32023
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
32011
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
22021
CPS-CSH cyber-physical analysis and design
D Fitch, S Sedigh, B McMillin, R Akella
Critical Information Infrastructures Security: 7th International Workshop …, 2013
22013
Verification of information flow security in cyber-physical systems
RC Akella
Missouri University of Science and Technology, 2013
22013
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
The system can't perform the operation now. Try again later.
Articles 1–20