Model-Checking BNDC Properties in Cyber-Physical Systems. - Ravi Akella; Bruce M. McMillin (COMPSAC (1), 2009)

Information Flow Analysis of Energy Management in a Smart Grid. - Ravi Akella; Bruce M. McMillin (SAFECOMP, 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 security in cyber-physical systems. - Thoshitha T. Gamage; Ravi Akella; Thomas P. Roth; Bruce M. McMillin (CSIIRW, 2011)

CPS-CSH Cyber-Physical Analysis and Design. - Dale Fitch; Sahra Sedigh; Bruce M. McMillin; Ravi Akella (CRITIS, 2012)

Verification and Protection of Confidentiality in an Advanced Smart Grid. - Bruce M. McMillin; Ravi Akella (HICSS, 2012)

Modeling and verification of security properties for critical infrastructure protection. - Ravi Akella; Bruce M. McMillin (CSIIRW, 2013)

Data integrity protection through security monitoring for just-in-time news feeds. - Abdulrahman Althobaiti; Prasad Calyam; Ravi Akella; Prabhu Vallabhaneni (CloudNet, 2015)

Service Discovery for the Connected Car with Semantic Accessors. - Matthew Weber; Ravi Akella; Edward A. Lee (IV, 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)

Consistency vs. Availability in Distributed Real-Time Systems. - Edward A. Lee; Ravi Akella; Soroush Bateni; Shaokai Lin; Marten Lohstroh; Christian Menard (CoRR, 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., 2023)