V. Gehlot

Formal specification and analysis of DMI-an X-25 based protocol

Insup Lee, V. Gehlot, 1988, IEEE INFOCOM '88,Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies. Networks: Evolution or Revolution?.

System of Systems Issues for the 2008 U. S. National Healthcare Information Network Remote Patient Monitoring Requirements

E. Sloane, V. Gehlot, T. Way, 2008, 2008 2nd Annual IEEE Systems Conference.

A Hybrid Approach to Modeling SOA Systems of Systems Using CPN and MESA/Extend

E. Sloane, V. Gehlot, T. Way, 2007, 2007 1st Annual IEEE Systems Conference.

Conceptual SOS Model and Simulation Systems for A Next Generation National Healthcare Information Network (NHIN-2): Creating A Net-Centric, Extensible, Context Aware, Dynamic Discovery Framework for Robust, Secure, Flexible, Safe, and Reliable Healthcare

E. Sloane, V. Gehlot, T. Way, 2007, 2007 1st Annual IEEE Systems Conference.

Performance specification and livelock detection/correction of a protocol using timed Petri nets

V. Gehlot, 1988, IEEE International Conference on Communications, - Spanning the Universe..

Ensuring Patient Safety by using Colored Petri Net Simulation in the Design of Heterogeneous, Multi-Vendor, Integrated, Life-Critical Wireless (802.x) Patient Care Device Networks

V. Gehlot, E.B. Sloane, E. Sloane, 2005, 2005 IEEE Engineering in Medicine and Biology 27th Annual Conference.

A specification language for parallel real-time systems

Alok Choudhary, V. Gehlot, R. Metzger, 1995, Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems.