Devesh Bhatt

Publication Activity (10 Years)

Years Active: 1984-2022
Publications (10 Years): 5

Top Topics

Symbolic Execution

Answer Set Programming

Test Generation

Top Venues

Publications

Devesh Bhatt, Hao Ren, Anitha Murugesan, Jason Biatek, Srivatsan Varadarajan, Natarajan Shankar
Requirements-Driven Model Checking and Test Generation for Comprehensive Verification. NFM (2022)
Natarajan Shankar, Devesh Bhatt, Michael D. Ernst, Minyoung Kim, Srivatsan Varadarajan, Suzanne Millstein, Jorge Navas, Jason Biatek, Huascar Sanchez, Anitha Murugesan, Hao Ren
DesCert: Design for Certification. CoRR (2022)
Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming. HCVS@ETAPS (2021)
Hao Ren, Devesh Bhatt, Jan Hvozdovic
Improving an Industrial Test Generation Tool Using SMT Solver. NFM (2016)
Devesh Bhatt, Arunabh Chattopadhyay, Wenchao Li, David Oglesby, Sam Owre, Natarajan Shankar
Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems. NFM (2016)
Devesh Bhatt, Kirk Schloegel, Gabor Madl, David Oglesby
Quantifying Error Propagation in Data Flow Models. ECBS (2013)
Changyan Zhou, Ratnesh Kumar, Devesh Bhatt, Kirk Schloegel, Darren D. Cofer
A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules. SEKE (2007)
Kirk Schloegel, David Oglesby, Eric Engstrom, Devesh Bhatt
Composable Code Generation for Model-Based Development. SCOPES (2003)
Minesh I. Patel, Karl Jordan, Mattew Clark, Devesh Bhatt
Auto Source Code Generation and Run-Time Infrastructure and Environment for High Performance, Distributed Computing Systems. IPDPS Workshops (2000)
Devesh Bhatt, Lonnie R. Welch
Workshop on Embedded/Distributed HPC Systems and Applications (EHPC 2000). IPDPS Workshops (2000)
Devesh Bhatt, John Shackleton
A Design Notation and Toolset for High-Performance Embedded Systems Development. European Educational Forum: School on Embedded Systems (1996)
Devesh Bhatt, Vicraj T. Thomas, John Shackleton
A methodology and toolset for the design of parallel embedded systems. OOPS Messenger 7 (1) (1996)
Devesh Bhatt, Rakesh Jha, Todd Steeves, Rashmi Bhatt, David Wills
SPI: an instrumentation development environment for parallel/distributed systems. IPPS (1995)
Devesh Bhatt
Implementing a distributed fault-tolerant embedded system in Ada. TRI-Ada (1990)
Devesh Bhatt, Adel Ghonami, Ranga Ramanujan
An Instrumental Testbed for Real-Time Distributed Systems Development. RTSS (1987)
Walter L. Heimerdinger, Devesh Bhatt
DCT - A Testbed Approach to Distributed Systems Research. ICDE (1984)
Tammy Chan, Devesh Bhatt, Walter L. Heimerdinger, Larry L. Kinney, Marvin Lum
A High-Performance, Multi-Link, Multi-Protocol Data Link Controller for an Experimental Distributed Computer Testbed. ICDCS (1984)