A High-Performance, Multi-Link, Multi-Protocol Data Link Controller for an Experimental Distributed Computer Testbed. - Tammy Chan; Devesh Bhatt; Walter L. Heimerdinger; Larry L. Kinney; Marvin Lum (ICDCS, 1984)

DCT - A Testbed Approach to Distributed Systems Research. - Walter L. Heimerdinger; Devesh Bhatt (ICDE, 1984)

An Instrumental Testbed for Real-Time Distributed Systems Development. - Devesh Bhatt; Adel Ghonami; Ranga Ramanujan (RTSS, 1987)

Implementing a distributed fault-tolerant embedded system in Ada. - Devesh Bhatt (TRI-Ada, 1990)

SPI: an instrumentation development environment for parallel/distributed systems. - Devesh Bhatt; Rakesh Jha; Todd Steeves; Rashmi Bhatt; David Wills (IPPS, 1995)

A Design Notation and Toolset for High-Performance Embedded Systems Development. - Devesh Bhatt; John Shackleton (European Educational Forum: School on Embedded Systems, 1996)

A methodology and toolset for the design of parallel embedded systems. - Devesh Bhatt; Vicraj T. Thomas; John Shackleton (OOPS Messenger, 1996)

Workshop on Embedded/Distributed HPC Systems and Applications (EHPC 2000). - Devesh Bhatt; Lonnie R. Welch (IPDPS Workshops, 2000)

Auto Source Code Generation and Run-Time Infrastructure and Environment for High Performance, Distributed Computing Systems. - Minesh I. Patel; Karl Jordan; Mattew Clark; Devesh Bhatt (IPDPS Workshops, 2000)

Composable Code Generation for Model-Based Development. - Kirk Schloegel; David Oglesby; Eric Engstrom; Devesh Bhatt (SCOPES, 2003)

A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules. - Changyan Zhou; Ratnesh Kumar 001; Devesh Bhatt; Kirk Schloegel; Darren D. Cofer (SEKE, 2007)

Quantifying Error Propagation in Data Flow Models. - Devesh Bhatt; Kirk Schloegel; Gabor Madl; David Oglesby (ECBS, 2013)

Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems. - Devesh Bhatt; Arunabh Chattopadhyay; Wenchao Li 001; David Oglesby; Sam Owre; Natarajan Shankar (NFM, 2016)

Improving an Industrial Test Generation Tool Using SMT Solver. - Hao Ren 004; Devesh Bhatt; Jan Hvozdovic (NFM, 2016)

Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming. - Brendan Hall; Sarat Chandra Varanasi; Jan Fiedor; Joaquín Arias; Kinjal Basu 002; Fang Li 010; Devesh Bhatt; Kevin Driscoll 001; Elmer Salazar; Gopal Gupta 001 (HCVS@ETAPS, 2021)

Requirements-Driven Model Checking and Test Generation for Comprehensive Verification. - Devesh Bhatt; Hao Ren 004; Anitha Murugesan; Jason Biatek; Srivatsan Varadarajan; Natarajan Shankar (NFM, 2022)

DesCert: Design for Certification. - Natarajan Shankar; Devesh Bhatt; Michael D. Ernst; Minyoung Kim; Srivatsan Varadarajan; Suzanne Millstein; Jorge Navas 003; Jason Biatek; Huascar Sanchez; Anitha Murugesan; Hao Ren 004 (CoRR, 2022)