( en | de | ru )

 

Disambiguation of "Kumar, Pranav Srinivas"

Author of the publication

copydeleteadd this publication to your clipboard
Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications.

, , and . MoDeVVa@MoDELS, volume 1235 of CEUR Workshop Proceedings, page 79-88. CEUR-WS.org, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Pranav Tendulkar

Pranav Oberoi

Srinivas Jagarlamudi

Pranav Patel

Pranav Sinha

 

Other publications of authors with the same name

Programmed-Lattice Editor and accelerated processing of parametric program-representations of steady lattices., , , , , and . Comput. Aided Des., (2019)DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems., , , , and . CoRR, (2017)Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems., , , , , , , , , and . IEEE Softw., 31 (2): 62-69 (2014)Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications., , and . MoDeVVa@MoDELS, volume 1235 of CEUR Workshop Proceedings, page 79-88. CEUR-WS.org, (2014)A Rapid Testing Framework for a Mobile Cloud., , , , , and . RSP, page 128-134. IEEE, (2014)ROSMOD: a toolsuite for modeling, generating, deploying, and managing distributed real-time component-based software using ROS., , , , , , , and . RSP, page 39-45. IEEE, (2015)Integrated Timing Analysis and Verification of Component-based Distributed Real-time Systems.. Vanderbilt University, Nashville, Tennessee, USA, (2016)base-search.net (ftvanderbilt:oai:ir.vanderbilt.edu:1803/14213).A testbed to simulate and analyze resilient cyber-physical systems., , and . RSP, page 97-103. IEEE, (2015)Integrated Analysis of Temporal Behavior of Component-Based Distributed Real-Time Embedded Systems., and . ISORC Workshops, page 50-57. IEEE Computer Society, (2015)Achieving resilience in distributed software systems via self-reconfiguration., , , , , , , and . J. Syst. Softw., (2016)