Devesh Bhatt

According to our database, Devesh Bhatt authored at least 17 papers between 1984 and 2022.

Collaborative distances:

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

2022

DesCert: Design for Certification.

Natarajan Shankar, Devesh Bhatt, Michael D. Ernst, Minyoung Kim, Srivatsan Varadarajan, Suzanne Millstein, Jorge Navas, Jason Biatek, Huascar Sanchez, Anitha Murugesan, Hao Ren

CoRR, 2022

Requirements-Driven Model Checking and Test Generation for Comprehensive Verification.

Devesh Bhatt, Hao Ren, Anitha Murugesan, Jason Biatek, Srivatsan Varadarajan, Natarajan Shankar

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

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, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta

Proceedings of the Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, 2021

2016

Improving an Industrial Test Generation Tool Using SMT Solver.

Hao Ren, Devesh Bhatt, Jan Hvozdovic

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems.

Devesh Bhatt, Arunabh Chattopadhyay, Wenchao Li, David Oglesby, Sam Owre, Natarajan Shankar

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

2013

Quantifying Error Propagation in Data Flow Models.

Devesh Bhatt, Kirk Schloegel, Gabor Madl, David Oglesby

Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013

2007

A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules.

Changyan Zhou, Ratnesh Kumar, Devesh Bhatt, Kirk Schloegel, Darren D. Cofer

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

2003

Composable Code Generation for Model-Based Development.

Kirk Schloegel, David Oglesby, Eric Engstrom, Devesh Bhatt

Proceedings of the Software and Compilers for Embedded Systems, 7th International Workshop, 2003

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

Proceedings of the Parallel and Distributed Processing, 2000

Workshop on Embedded/Distributed HPC Systems and Applications (EHPC 2000).

Devesh Bhatt, Lonnie R. Welch

Proceedings of the Parallel and Distributed Processing, 2000

1996

A methodology and toolset for the design of parallel embedded systems.

Devesh Bhatt, Vicraj T. Thomas, John Shackleton

OOPS Messenger, 1996

A Design Notation and Toolset for High-Performance Embedded Systems Development.

Devesh Bhatt, John Shackleton

Proceedings of the Lectures on Embedded Systems, European Educational Forum, 1996

1995

SPI: an instrumentation development environment for parallel/distributed systems.

Devesh Bhatt, Rakesh Jha, Todd Steeves, Rashmi Bhatt, David Wills

Proceedings of IPPS '95, 1995

1990

Implementing a distributed fault-tolerant embedded system in Ada.

Devesh Bhatt

Proceedings of the conference on TRI-ADA 1990, 1990

1987

An Instrumental Testbed for Real-Time Distributed Systems Development.

Devesh Bhatt, Adel Ghonami, Ranga Ramanujan

Proceedings of the 8th IEEE Real-Time Systems Symposium (RTSS '87), 1987

1984

DCT - A Testbed Approach to Distributed Systems Research.

Walter L. Heimerdinger, Devesh Bhatt

Proceedings of the First International Conference on Data Engineering, 1984

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

Proceedings of the 4th International Conference on Distributed Computing Systems, 1984