Ravi Akella

According to our database, Ravi Akella authored at least 12 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Consistency vs. Availability in Distributed Cyber-Physical Systems.

Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard

ACM Trans. Embed. Comput. Syst., October, 2023

Consistency vs. Availability in Distributed Real-Time Systems.

Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard

CoRR, 2023

2019

Security Middleground for Resource Protection in Measurement Infrastructure-as-a-Service.

Ravi Akella, Saptarshi Debroy, Prasad Calyam, Alex Berryman, Kunpeng Zhu, Mukundan Sridharan

IEEE Trans. Serv. Comput., 2019

Service Discovery for the Connected Car with Semantic Accessors.

Matthew Weber, Ravi Akella, Edward A. Lee

Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

2015

Data integrity protection through security monitoring for just-in-time news feeds.

Abdulrahman Althobaiti, Prasad Calyam, Ravi Akella, Prabhu Vallabhaneni

Proceedings of the 4th IEEE International Conference on Cloud Networking, 2015

2013

Modeling and verification of security properties for critical infrastructure protection.

Ravi Akella, Bruce M. McMillin

Proceedings of the Cyber Security and Information Intelligence, 2013

2012

Verification and Protection of Confidentiality in an Advanced Smart Grid.

Bruce M. McMillin, Ravi Akella

Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012

CPS-CSH Cyber-Physical Analysis and Design.

Dale Fitch, Sahra Sedigh, Bruce M. McMillin, Ravi Akella

Proceedings of the Critical Information Infrastructures Security, 2012

2011

Information flow security in cyber-physical systems.

Thoshitha T. Gamage, Ravi Akella, Thomas P. Roth, Bruce M. McMillin

Proceedings of the 7th Cyber Security and Information Intelligence Research Workshop, 2011

2010

Analysis of information flow security in cyber-physical systems.

Ravi Akella, Han Tang, Bruce M. McMillin

Int. J. Crit. Infrastructure Prot., 2010

Information Flow Analysis of Energy Management in a Smart Grid.

Ravi Akella, Bruce M. McMillin

Proceedings of the Computer Safety, 2010

2009

Model-Checking BNDC Properties in Cyber-Physical Systems.

Ravi Akella, Bruce M. McMillin

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009