Devesh Bhatt

18 papers A* 1A 2C 2Journal 2Unranked 10
YearRankTypeTitle / Venue / Authors
2022 J jnl
DesCert: Design for Certification.
CoRR
Natarajan Shankar, Devesh Bhatt, Michael D. Ernst, Minyoung Kim, Srivatsan Varadarajan, Suzanne Millstein, Jorge Navas, Jason Biatek, Huascar Sanchez, Anitha Murugesan, Hao Ren
2022 — conf
Requirements-Driven Model Checking and Test Generation for Comprehensive Verification.
NFM
Devesh Bhatt, Hao Ren, Anitha Murugesan, Jason Biatek, Srivatsan Varadarajan, Natarajan Shankar
2021 — conf
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming.
HCVS@ETAPS
Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta
2016 — conf
Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems.
NFM
Devesh Bhatt, Arunabh Chattopadhyay, Wenchao Li, David Oglesby, Sam Owre, Natarajan Shankar
2016 — conf
Improving an Industrial Test Generation Tool Using SMT Solver.
NFM
Hao Ren, Devesh Bhatt, Jan Hvozdovic
2013 — conf
Quantifying Error Propagation in Data Flow Models.
ECBS
Devesh Bhatt, Kirk Schloegel, Gabor Madl, David Oglesby
2007 C conf
A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules.
SEKE
Changyan Zhou, Ratnesh Kumar, Devesh Bhatt, Kirk Schloegel, Darren D. Cofer
2003 C conf
Composable Code Generation for Model-Based Development.
SCOPES
Kirk Schloegel, David Oglesby, Eric Engstrom, Devesh Bhatt
2000 — conf
Auto Source Code Generation and Run-Time Infrastructure and Environment for High Performance, Distributed Computing Systems.
IPDPS Workshops
Minesh I. Patel, Karl Jordan, Mattew Clark, Devesh Bhatt
2000 — conf
Workshop on Embedded/Distributed HPC Systems and Applications (EHPC 2000).
IPDPS Workshops
Devesh Bhatt, Lonnie R. Welch
1999 — ed.
Parallel and Distributed Processing, 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, April 12-16, 1999, Proceedings
IPPS/SPDP Workshops
José D. P. Rolim, Frank Mueller, Albert Y. Zomaya, Fikret Erçal, Stephan Olariu, Binoy Ravindran, Jan Gustafsson, Hiroaki Takada, Ronald A. Olsson, Laxmikant V. Kalé, Peter H. Beckman, Matthew Haines, Hossam A. ElGindy, Denis Caromel, Serge Chaumette, Geoffrey C. Fox, Yi Pan, Keqin Li, Tao Yang, G. Ghiola, Gianni Conte, Luigi V. Mancini, Dominique Méry, Beverly A. Sanders, Devesh Bhatt, Viktor K. Prasanna
1996 — conf
A Design Notation and Toolset for High-Performance Embedded Systems Development.
European Educational Forum: School on Embedded Systems
Devesh Bhatt, John Shackleton
1996 J jnl
A methodology and toolset for the design of parallel embedded systems.
OOPS Messenger
Devesh Bhatt, Vicraj T. Thomas, John Shackleton
1995 — conf
SPI: an instrumentation development environment for parallel/distributed systems.
IPPS
Devesh Bhatt, Rakesh Jha, Todd Steeves, Rashmi Bhatt, David Wills
1990 — conf
Implementing a distributed fault-tolerant embedded system in Ada.
TRI-Ada
Devesh Bhatt
1987 A conf
An Instrumental Testbed for Real-Time Distributed Systems Development.
RTSS
Devesh Bhatt, Adel Ghonami, Ranga Ramanujan
1984 A conf
A High-Performance, Multi-Link, Multi-Protocol Data Link Controller for an Experimental Distributed Computer Testbed.
ICDCS
Tammy Chan, Devesh Bhatt, Walter L. Heimerdinger, Larry L. Kinney, Marvin Lum
1984 A* conf
DCT - A Testbed Approach to Distributed Systems Research.
ICDE
Walter L. Heimerdinger, Devesh Bhatt