Pranav Srinivas Kumar

According to our database, Pranav Srinivas Kumar authored at least 11 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Programmed-Lattice Editor and accelerated processing of parametric program-representations of steady lattices.

Ashish Gupta, Kelsey Kurzeja, Jarek Rossignac, George Allen, Pranav Srinivas Kumar, Suraj Musuvathy

Comput. Aided Des., 2019

2017

DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems.

Abhishek Dubey, Gabor Karsai, Aniruddha S. Gokhale, William Emfinger, Pranav Srinivas Kumar

CoRR, 2017

2016

Integrated Timing Analysis and Verification of Component-based Distributed Real-time Systems.

Pranav Srinivas Kumar

PhD thesis, 2016

Achieving resilience in distributed software systems via self-reconfiguration.

Subhav Pradhan, Abhishek Dubey, Tihamer Levendovszky, Pranav Srinivas Kumar, William Emfinger, Daniel Balasubramanian, William Otte, Gabor Karsai

J. Syst. Softw., 2016

2015

DREMS ML: A wide spectrum architecture design language for distributed computing platforms.

Daniel Balasubramanian, Abhishek Dubey, William Otte, Tihamer Levendovszky, Aniruddha S. Gokhale, Pranav Srinivas Kumar, William Emfinger, Gabor Karsai

Sci. Comput. Program., 2015

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

Proceedings of the 2015 International Symposium on Rapid System Prototyping, 2015

A testbed to simulate and analyze resilient cyber-physical systems.

Pranav Srinivas Kumar, William Emfinger, Gabor Karsai

Proceedings of the 2015 International Symposium on Rapid System Prototyping, 2015

Integrated Analysis of Temporal Behavior of Component-Based Distributed Real-Time Embedded Systems.

Pranav Srinivas Kumar, Gabor Karsai

Proceedings of the 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2015

2014

Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems.

Tihamer Levendovszky, Abhishek Dubey, William Otte, Daniel Balasubramanian, Alessandro Coglio, Sandor Nyako, William Emfinger, Pranav Srinivas Kumar, Aniruddha S. Gokhale, Gabor Karsai

IEEE Softw., 2014

A Rapid Testing Framework for a Mobile Cloud.

Daniel Balasubramanian, Abhishek Dubey, William R. Otte, William Emfinger, Pranav Srinivas Kumar, Gabor Karsai

Proceedings of the 25nd IEEE International Symposium on Rapid System Prototyping, 2014

Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications.

Pranav Srinivas Kumar, Abhishek Dubey, Gabor Karsai

Proceedings of the 11th Workshop on Model-Driven Engineering, 2014