Pranav Srinivas Kumar

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 7

Top Topics

Remote Attestation

Formal Analysis

Distributed Computing

Top Venues

ISORC Workshops

Comput. Aided Des.

Publications

Ashish Gupta, Kelsey Kurzeja, Jarek Rossignac, George Allen, Pranav Srinivas Kumar, Suraj Musuvathy
Programmed-Lattice Editor and accelerated processing of parametric program-representations of steady lattices. Comput. Aided Des. 113 (2019)
Abhishek Dubey, Gabor Karsai, Aniruddha S. Gokhale, William Emfinger, Pranav Srinivas Kumar
DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems. CoRR (2017)
Subhav Pradhan, Abhishek Dubey, Tihamer Levendovszky, Pranav Srinivas Kumar, William Emfinger, Daniel Balasubramanian, William Otte, Gabor Karsai
Achieving resilience in distributed software systems via self-reconfiguration. J. Syst. Softw. 122 (2016)
Daniel Balasubramanian, Abhishek Dubey, William Otte, Tihamer Levendovszky, Aniruddha S. Gokhale, Pranav Srinivas Kumar, William Emfinger, Gabor Karsai
DREMS ML: A wide spectrum architecture design language for distributed computing platforms. Sci. Comput. Program. 106 (2015)
Pranav Srinivas Kumar, William Emfinger, Gabor Karsai
A testbed to simulate and analyze resilient cyber-physical systems. RSP (2015)
Pranav Srinivas Kumar, Gabor Karsai
Integrated Analysis of Temporal Behavior of Component-Based Distributed Real-Time Embedded Systems. ISORC Workshops (2015)
Pranav Srinivas Kumar, William Emfinger, Amogh Kulkarni, Gabor Karsai, Dexter Watkins, Benjamin Gasser, Cameron Ridgewell, Amrutur Anilkumar
ROSMOD: a toolsuite for modeling, generating, deploying, and managing distributed real-time component-based software using ROS. RSP (2015)
Tihamer Levendovszky, Abhishek Dubey, William Otte, Daniel Balasubramanian, Alessandro Coglio, Sandor Nyako, William Emfinger, Pranav Srinivas Kumar, Aniruddha S. Gokhale, Gabor Karsai
Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems. IEEE Softw. 31 (2) (2014)
Pranav Srinivas Kumar, Abhishek Dubey, Gabor Karsai
Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications. MoDeVVa@MoDELS (2014)
Daniel Balasubramanian, Abhishek Dubey, William R. Otte, William Emfinger, Pranav Srinivas Kumar, Gabor Karsai
A Rapid Testing Framework for a Mobile Cloud. RSP (2014)