Ravi Akella

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