Ravi Akella

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 4

Top Topics

Anytime Algorithms

Security Properties

Top Venues

ACM Trans. Embed. Comput. Syst.

IEEE Trans. Serv. Comput.

Publications

Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard
Consistency vs. Availability in Distributed Real-Time Systems. CoRR (2023)
Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard
Consistency vs. Availability in Distributed Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Matthew Weber, Ravi Akella, Edward A. Lee
Service Discovery for the Connected Car with Semantic Accessors. IV (2019)
Ravi Akella, Saptarshi Debroy, Prasad Calyam, Alex Berryman, Kunpeng Zhu, Mukundan Sridharan
Security Middleground for Resource Protection in Measurement Infrastructure-as-a-Service. IEEE Trans. Serv. Comput. 12 (4) (2019)
Abdulrahman Althobaiti, Prasad Calyam, Ravi Akella, Prabhu Vallabhaneni
Data integrity protection through security monitoring for just-in-time news feeds. CloudNet (2015)
Ravi Akella, Bruce M. McMillin
Modeling and verification of security properties for critical infrastructure protection. CSIIRW (2013)
Dale Fitch, Sahra Sedigh, Bruce M. McMillin, Ravi Akella
CPS-CSH Cyber-Physical Analysis and Design. CRITIS (2012)
Bruce M. McMillin, Ravi Akella
Verification and Protection of Confidentiality in an Advanced Smart Grid. HICSS (2012)
Thoshitha T. Gamage, Ravi Akella, Thomas P. Roth, Bruce M. McMillin
Information flow security in cyber-physical systems. CSIIRW (2011)
Ravi Akella, Bruce M. McMillin
Information Flow Analysis of Energy Management in a Smart Grid. SAFECOMP (2010)
Ravi Akella, Han Tang, Bruce M. McMillin
Analysis of information flow security in cyber-physical systems. Int. J. Crit. Infrastructure Prot. 3 (3-4) (2010)
Ravi Akella, Bruce M. McMillin
Model-Checking BNDC Properties in Cyber-Physical Systems. COMPSAC (1) (2009)