Vijay Gehlot

According to our database, Vijay Gehlot authored at least 36 papers between 1985 and 2024.

Collaborative distances:

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

2024

Model-Driven System Development for a Cloud-Based Healthcare Application Using Colored Petri Nets.

Adrian Cagaanan, Vijay Gehlot

Proceedings of the IEEE International Systems Conference, 2024

2023

Digital Twins for More Precise and Personalized Treatment.

Nilmini Wickramasinghe, Nalika Ulapane, Elliot B. Sloane, Vijay Gehlot

Proceedings of the MEDINFO 2023 - The Future Is Accessible, 2023

2022

COVID-19 and Beyond: Taming the Virtual Healthcare Tiger with Colored Petri Nets based Modeling and Simulation.

Vijay Gehlot, Elliot B. Sloane, Michael Kirk, Eric Miller, Jonathan L. Schaffer, Nilmini Wickramasinghe

Proceedings of the 55th Hawaii International Conference on System Sciences, 2022

Taxonomy, Tools, And A Framework For Combining Simulation Models With AI/ML Models.

Vijay Gehlot, Peter Rokowski, Elliot B. Sloane, Nilmini Wickramasinghe

Proceedings of the Annual Modeling and Simulation Conference, 2022

Healthcare Optimization and Augmented Intelligence by Coupling Simulation & Modeling: An Ideal AI/ML Partnership for a Better Clinical Informatics.

Vijay Gehlot, Elliot B. Sloane, Dominic King, Nilmini Wickramasinghe, Jonathan L. Schaffer

Proceedings of the AMIA 2022, 2022

2021

Toolkit for Healthcare Professionals: A Colored Petri Nets Based Approach for Modeling and Simulation of Healthcare Workflows.

Vijay Gehlot, Jake Robinson, Manisha Tanwar, Elliot B. Sloane, Nilmini Wickramasinghe

Proceedings of the Winter Simulation Conference, 2021

A Tutorial Introduction to Colored Petri Nets Framework for Model-Driven System Design and Engineering.

Vijay Gehlot

Proceedings of the Annual Modeling and Simulation Conference, 2021

2020

A Precision Post-Operative Wellness Monitoring Solution.

Nilmini Wickramasinghe, Vijay Gehlot, Elliot B. Sloane, Philip J. Smart, Jonathan L. Schaffer

Proceedings of the 53rd Hawaii International Conference on System Sciences, 2020

2019

From Petri NETS to Colored Petri NETS: A Tutorial Introduction to NETS Based Formalism For Modeling And Simulation.

Vijay Gehlot

Proceedings of the 2019 Winter Simulation Conference, 2019

Personal Health Technology: CPN based Modeling of Coordinated Neighborhood Care Environments (Hubs) and Personal Care Device Ecosystems.

Vijay Gehlot, Elliot B. Sloane, Angelo E. Thalassinidis

Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019

2018

Mitigation of undesirable association behaviors of mobile devices with public WiFi networks.

Sarvesh S. Kulkarni, Daniel Jigarjian, Vijay Gehlot, Ivan Ong

Proceedings of the 15th IEEE Annual Consumer Communications & Networking Conference, 2018

Best Practices for Development and Delivery of Graduate Health Informatics Curriculum.

Elliot B. Sloane, Nilmini Wickramasinghe, Vijay Gehlot, Angelo E. Thalassinidis, Doug B. Fridsma, Robert E. Hoyt

Proceedings of the 24th Americas Conference on Information Systems, 2018

2016

Modeling and performance simulation of a software architecture for large-scale measurement of broadband networks using colored petri nets.

Vijay Gehlot, Sarvesh S. Kulkarni, John Brzozowski

Proceedings of the 19th Communications & Networking Symposium, 2016

From data to processes - Use of modeling and simulation in healthcare.

Vijay Gehlot, Liji Matthew, Elliot B. Sloane

Proceedings of the 2016 IEEE-EMBS International Conference on Biomedical and Health Informatics, 2016

2015

A scalable architecture for performance measurement in broadband networks.

Sarvesh S. Kulkarni, Eduard Bachmakov, Edward Gallagher, Vijay Gehlot, Andrew Dammann, Peter Rokowski, John Brzozowski

Proceedings of the IEEE Conference on Standards for Communications and Networking, 2015

2012

Modeling and simulation of a re-entrant manufacturing system using Colored Petri Nets.

Vijay Gehlot, Carmen Nigro

Proceedings of the 2012 Spring Simulation Multiconference, 2012

2010

An introduction to systems modeling and simulation with Colored Petri Nets.

Vijay Gehlot, Carmen Nigro

Proceedings of the 2010 Winter Simulation Conference, 2010

2009

A Case Study in Defining Colored Petri Nets Based Model Driven Development of Enterprise Service Oriented Architectures.

Vijay Gehlot, Gayatri Pujari

Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

Use of Colored Petri Nets to Model, Analyze, and Evaluate Service Composition and Orchestration.

Vijay Gehlot, Kranthima Edupuganti

Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

Design and Assessment of a Multidisciplinary Course in Service Oriented Architecture.

Thomas P. Way, Vijay Gehlot

Proceedings of the 2009 International Conference on Frontiers in Education: Computer Science & Computer Engineering, 2009

2007

Use of Coloured Petri Net models in planning, design, and simulation of intelligent wireless medical device networks for safe and flexible hospital capacity management.

Elliot B. Sloane, Vijay Gehlot

Int. J. Netw. Virtual Organisations, 2007

SoSE Modeling and Simulation Approaches to Evaluate Security and Performance Limitations of a Next Generation National Healthcare Information Network (NHIN-2).

Elliot B. Sloane, Thomas P. Way, Vijay Gehlot, Anany Levitin, Robert Beck

Proceedings of the 2nd IEEE International Conference on System of Systems Engineering, 2007

Petri net based description and modeling of metabolic pathway.

I. Barjis, Vijay Gehlot

Proceedings of the 2007 Summer Computer Simulation Conference, 2007

Systems modeling and analysis using colored Petri Nets: a tutorial introduction and practical applications.

Vijay Gehlot, Anush Hayrapetyan

Proceedings of the 45th Annual Southeast Regional Conference, 2007

A formalized and validated executable model of the SIP-based presence protocol for mobile applications.

Vijay Gehlot, Anush Hayrapetyan

Proceedings of the 45th Annual Southeast Regional Conference, 2007

2006

Ensuring Patient Safety in Wireless Medical Device Networks.

Vijay Gehlot, Elliot B. Sloane

Computer, 2006

Petri Net Based Model Of The T Cell Receptor Signaling Pathway.

Srinidhi Jayasuryan, Anil Bamezai, Vijay Gehlot

Proceedings of the 2006 International Conference on Bioinformatics & Computational Biology, 2006

2005

Quality of Service (QoS) in Healthcare Applications: Colored Petri Net Simulation for Design of Heterogeneous, Multi-Vendor, Integrated, Life-Critical Wireless (802.x) Patient Care Device Networks.

Vijay Gehlot, Elliot B. Sloane

Proceedings of the A Conference on a Human Scale. 11th Americas Conference on Information Systems, 2005

2004

Timed Petri Nets, Linear Logic, and Performance Modeling.

Vijay Gehlot

Proceedings of the International Conference on Modeling, 2004

Application of the Petri Net to Simulate and Validate Complex, Multi-Vendor, Heterogeneous Networks of Wireless Medical Device Systems.

Vijay Gehlot, Elliot B. Sloane

Proceedings of the 10th Americas Conference on Information Systems, 2004

1997

Parallel real-time systems: formal specification.

Alok N. Choudhary, Vijay Gehlot, Bhagirath Narahari

Proceedings of the Fourth International on High-Performance Computing, 1997

1996

Syntax and Semantics of PRETSEL - A Specification Language for Parallel Real-Time Systems.

Alok N. Choudhary, Vijay Gehlot, Bhagirath Narahari

Proceedings of the 29th Annual Hawaii International Conference on System Sciences (HICSS-29), 1996

1990

Normal Process Representatives

Vijay Gehlot, Carl A. Gunter

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

1988

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

Vijay Gehlot, Insup Lee

Proceedings of the Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies. Networks: Evolution or Revolution?, 1988

1986

An Interpreter for SLIPS - An Applicative Language Based on Lambda-Calculus.

Vijay Gehlot, Y. N. Srikant

Comput. Lang., 1986

1985

Language Constructs for Distributed Real-Time Programming.

Insup Lee, Vijay Gehlot

Proceedings of the 6th IEEE Real-Time Systems Symposium (RTSS '85), 1985