Ravi Akella
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2009–2012
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | CRITIS | CPS-CSH Cyber-Physical Analysis and Design. | Dale Fitch, Sahra Sedigh, Bruce M. McMillin, Ravi Akella |
| 2010 | SAFECOMP | Information Flow Analysis of Energy Management in a Smart Grid. | Ravi Akella, Bruce M. McMillin |
| 2009 | COMPSAC | Model-Checking BNDC Properties in Cyber-Physical Systems. | Ravi Akella, Bruce M. McMillin |