Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications. - Pranav Srinivas Kumar; Abhishek Dubey; Gabor Karsai (MoDeVVa@MoDELS, 2014)

A Rapid Testing Framework for a Mobile Cloud. - Daniel Balasubramanian; Abhishek Dubey; William R. Otte; William Emfinger; Pranav Srinivas Kumar; Gabor Karsai (RSP, 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)

Integrated Analysis of Temporal Behavior of Component-Based Distributed Real-Time Embedded Systems. - Pranav Srinivas Kumar; Gabor Karsai (ISORC Workshops, 2015)

A testbed to simulate and analyze resilient cyber-physical systems. - Pranav Srinivas Kumar; William Emfinger; Gabor Karsai (RSP, 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 (RSP, 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)

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)

Integrated Timing Analysis and Verification of Component-based Distributed Real-time Systems. - Pranav Srinivas Kumar (2016)

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)

Programmed-Lattice Editor and accelerated processing of parametric program-representations of steady lattices. - Ashish Gupta 014; Kelsey Kurzeja; Jarek Rossignac; George Allen; Pranav Srinivas Kumar; Suraj Musuvathy (Comput. Aided Des., 2019)