Pranav Srinivas Kumar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2014–2015
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ISORC | Integrated Analysis of Temporal Behavior of Component-Based Distributed Real-Time Embedded Systems. | Pranav Srinivas Kumar, Gabor Karsai |
| 2015 | RSP | A testbed to simulate and analyze resilient cyber-physical systems. | Pranav Srinivas Kumar, William Emfinger, Gabor Karsai |
| 2015 | RSP | ROSMOD: a toolsuite for modeling, generating, deploying, and managing distributed real-time component-based software using ROS. | Pranav Srinivas Kumar, William Emfinger, Amogh Kulkarni, Gabor Karsai, Dexter Watkins, Benjamin Gasser, Cameron Ridgewell, Amrutur Anilkumar |
| 2014 | MODELS | Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications. | Pranav Srinivas Kumar, Abhishek Dubey, Gabor Karsai |
| 2014 | RSP | A Rapid Testing Framework for a Mobile Cloud. | Daniel Balasubramanian, Abhishek Dubey, William R. Otte, William Emfinger, Pranav Srinivas Kumar, Gabor Karsai |