BibTeX records: Devesh Bhatt

download as .bib file

@inproceedings{DBLP:conf/nfm/BhattRMBVS22,
  author       = {Devesh Bhatt and
                  Hao Ren and
                  Anitha Murugesan and
                  Jason Biatek and
                  Srivatsan Varadarajan and
                  Natarajan Shankar},
  editor       = {Jyotirmoy V. Deshmukh and
                  Klaus Havelund and
                  Ivan Perez},
  title        = {Requirements-Driven Model Checking and Test Generation for Comprehensive
                  Verification},
  booktitle    = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022,
                  Pasadena, CA, USA, May 24-27, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13260},
  pages        = {576--596},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-06773-0\_31},
  doi          = {10.1007/978-3-031-06773-0\_31},
  timestamp    = {Sun, 31 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nfm/BhattRMBVS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2203-15178,
  author       = {Natarajan Shankar and
                  Devesh Bhatt and
                  Michael D. Ernst and
                  Minyoung Kim and
                  Srivatsan Varadarajan and
                  Suzanne Millstein and
                  Jorge Navas and
                  Jason Biatek and
                  Huascar Sanchez and
                  Anitha Murugesan and
                  Hao Ren},
  title        = {DesCert: Design for Certification},
  journal      = {CoRR},
  volume       = {abs/2203.15178},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2203.15178},
  doi          = {10.48550/ARXIV.2203.15178},
  eprinttype    = {arXiv},
  eprint       = {2203.15178},
  timestamp    = {Sun, 31 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2203-15178.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2109-04634,
  author       = {Brendan Hall and
                  Sarat Chandra Varanasi and
                  Jan Fiedor and
                  Joaqu{\'{\i}}n Arias and
                  Kinjal Basu and
                  Fang Li and
                  Devesh Bhatt and
                  Kevin Driscoll and
                  Elmer Salazar and
                  Gopal Gupta},
  editor       = {Hossein Hojjat and
                  Bishoksan Kafle},
  title        = {Knowledge-Assisted Reasoning of Model-Augmented System Requirements
                  with Event Calculus and Goal-Directed Answer Set Programming},
  booktitle    = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
                  HCVS@ETAPS 2021, Virtual, 28th March 2021},
  series       = {{EPTCS}},
  volume       = {344},
  pages        = {79--90},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.344.6},
  doi          = {10.4204/EPTCS.344.6},
  timestamp    = {Sun, 08 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-04634.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/BhattCLOOS16,
  author       = {Devesh Bhatt and
                  Arunabh Chattopadhyay and
                  Wenchao Li and
                  David Oglesby and
                  Sam Owre and
                  Natarajan Shankar},
  editor       = {Sanjai Rayadurgam and
                  Oksana Tkachuk},
  title        = {Contract-Based Verification of Complex Time-Dependent Behaviors in
                  Avionic Systems},
  booktitle    = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis,
                  MN, USA, June 7-9, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9690},
  pages        = {34--40},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40648-0\_3},
  doi          = {10.1007/978-3-319-40648-0\_3},
  timestamp    = {Mon, 05 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/BhattCLOOS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/RenBH16,
  author       = {Hao Ren and
                  Devesh Bhatt and
                  Jan Hvozdovic},
  editor       = {Sanjai Rayadurgam and
                  Oksana Tkachuk},
  title        = {Improving an Industrial Test Generation Tool Using {SMT} Solver},
  booktitle    = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis,
                  MN, USA, June 7-9, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9690},
  pages        = {100--106},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40648-0\_8},
  doi          = {10.1007/978-3-319-40648-0\_8},
  timestamp    = {Sun, 31 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nfm/RenBH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecbs/BhattSMO13,
  author       = {Devesh Bhatt and
                  Kirk Schloegel and
                  Gabor Madl and
                  David Oglesby},
  editor       = {Jerzy W. Rozenblit},
  title        = {Quantifying Error Propagation in Data Flow Models},
  booktitle    = {20th {IEEE} International Conference and Workshops on Engineering
                  of Computer Based Systems, {ECBS} 2013, Scottsdale, AZ, USA, April
                  22-24, 2013},
  pages        = {2--11},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECBS.2013.7},
  doi          = {10.1109/ECBS.2013.7},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/BhattSMO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/seke/ZhouKBSC07,
  author       = {Changyan Zhou and
                  Ratnesh Kumar and
                  Devesh Bhatt and
                  Kirk Schloegel and
                  Darren D. Cofer},
  title        = {A Framework of Hierarchical Requirements Patterns for Specifying Systems
                  of Interconnected Simulink/Stateflow Modules},
  booktitle    = {Proceedings of the Nineteenth International Conference on Software
                  Engineering {\&} Knowledge Engineering (SEKE'2007), Boston, Massachusetts,
                  USA, July 9-11, 2007},
  pages        = {179--184},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2007},
  timestamp    = {Thu, 12 Mar 2020 11:30:50 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/ZhouKBSC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scopes/SchloegelOEB03,
  author       = {Kirk Schloegel and
                  David Oglesby and
                  Eric Engstrom and
                  Devesh Bhatt},
  editor       = {Andreas Krall},
  title        = {Composable Code Generation for Model-Based Development},
  booktitle    = {Software and Compilers for Embedded Systems, 7th International Workshop,
                  {SCOPES} 2003, Vienna, Austria, September 24-26, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2826},
  pages        = {211--225},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-39920-9\_15},
  doi          = {10.1007/978-3-540-39920-9\_15},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/scopes/SchloegelOEB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ipps/BhattW00,
  author       = {Devesh Bhatt and
                  Lonnie R. Welch},
  editor       = {Jos{\'{e}} D. P. Rolim},
  title        = {Workshop on Embedded/Distributed {HPC} Systems and Applications {(EHPC}
                  2000)},
  booktitle    = {Parallel and Distributed Processing, 15 {IPDPS} 2000 Workshops, Cancun,
                  Mexico, May 1-5, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1800},
  pages        = {773--775},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45591-4\_106},
  doi          = {10.1007/3-540-45591-4\_106},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ipps/BhattW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ipps/PatelJCB00,
  author       = {Minesh I. Patel and
                  Karl Jordan and
                  Mattew Clark and
                  Devesh Bhatt},
  editor       = {Jos{\'{e}} D. P. Rolim},
  title        = {Auto Source Code Generation and Run-Time Infrastructure and Environment
                  for High Performance, Distributed Computing Systems},
  booktitle    = {Parallel and Distributed Processing, 15 {IPDPS} 2000 Workshops, Cancun,
                  Mexico, May 1-5, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1800},
  pages        = {816--822},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45591-4\_112},
  doi          = {10.1007/3-540-45591-4\_112},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ipps/PatelJCB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ipps/1999w,
  editor       = {Jos{\'{e}} D. P. Rolim and
                  Frank Mueller and
                  Albert Y. Zomaya and
                  Fikret Er{\c{c}}al and
                  Stephan Olariu and
                  Binoy Ravindran and
                  Jan Gustafsson and
                  Hiroaki Takada and
                  Ronald A. Olsson and
                  Laxmikant V. Kal{\'{e}} and
                  Peter H. Beckman and
                  Matthew Haines and
                  Hossam A. ElGindy and
                  Denis Caromel and
                  Serge Chaumette and
                  Geoffrey C. Fox and
                  Yi Pan and
                  Keqin Li and
                  Tao Yang and
                  G. Ghiola and
                  Gianni Conte and
                  Luigi V. Mancini and
                  Dominique M{\'{e}}ry and
                  Beverly A. Sanders and
                  Devesh Bhatt and
                  Viktor K. Prasanna},
  title        = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {1586},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/BFb0097882},
  doi          = {10.1007/BFB0097882},
  isbn         = {3-540-65831-9},
  timestamp    = {Mon, 22 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/1999w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/oopsm/BhattTS96,
  author       = {Devesh Bhatt and
                  Vicraj T. Thomas and
                  John Shackleton},
  title        = {A methodology and toolset for the design of parallel embedded systems},
  journal      = {{OOPS} Messenger},
  volume       = {7},
  number       = {1},
  pages        = {5--12},
  year         = {1996},
  url          = {https://doi.org/10.1145/227986.227989},
  doi          = {10.1145/227986.227989},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/oopsm/BhattTS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eef/BhattS96,
  author       = {Devesh Bhatt and
                  John Shackleton},
  editor       = {Grzegorz Rozenberg and
                  Frits W. Vaandrager},
  title        = {A Design Notation and Toolset for High-Performance Embedded Systems
                  Development},
  booktitle    = {Lectures on Embedded Systems, European Educational Forum, School on
                  Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996},
  series       = {Lecture Notes in Computer Science},
  volume       = {1494},
  pages        = {249--267},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-65193-4\_24},
  doi          = {10.1007/3-540-65193-4\_24},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/eef/BhattS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ipps/BhattJSBW95,
  author       = {Devesh Bhatt and
                  Rakesh Jha and
                  Todd Steeves and
                  Rashmi Bhatt and
                  David Wills},
  title        = {{SPI:} an instrumentation development environment for parallel/distributed
                  systems},
  booktitle    = {Proceedings of {IPPS} '95, The 9th International Parallel Processing
                  Symposium, April 25-28, 1995, Santa Barbara, California, {USA}},
  pages        = {494--501},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/IPPS.1995.395976},
  doi          = {10.1109/IPPS.1995.395976},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/BhattJSBW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Bhatt90,
  author       = {Devesh Bhatt},
  editor       = {Charles B. Engle Jr.},
  title        = {Implementing a distributed fault-tolerant embedded system in Ada},
  booktitle    = {Proceedings of the conference on {TRI-ADA} 1990, TRI-Ada 1990, Baltimore,
                  Maryland, USA, December 3-6, 1990},
  pages        = {323--331},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/255471.255546},
  doi          = {10.1145/255471.255546},
  timestamp    = {Wed, 11 May 2022 12:30:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/Bhatt90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtss/BhattGR87,
  author       = {Devesh Bhatt and
                  Adel Ghonami and
                  Ranga Ramanujan},
  title        = {An Instrumental Testbed for Real-Time Distributed Systems Development},
  booktitle    = {Proceedings of the 8th {IEEE} Real-Time Systems Symposium {(RTSS}
                  '87), December 1-3, 1987, San Jose, Califorinia, {USA}},
  pages        = {241--250},
  publisher    = {{IEEE} Computer Society},
  year         = {1987},
  timestamp    = {Wed, 23 Jan 2013 07:55:26 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/BhattGR87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icdcs/ChanBHKL84,
  author       = {Tammy Chan and
                  Devesh Bhatt and
                  Walter L. Heimerdinger and
                  Larry L. Kinney and
                  Marvin Lum},
  title        = {A High-Performance, Multi-Link, Multi-Protocol Data Link Controller
                  for an Experimental Distributed Computer Testbed},
  booktitle    = {Proceedings of the 4th International Conference on Distributed Computing
                  Systems, San Francisco, California, USA, May 14-18, 1984},
  pages        = {398--405},
  publisher    = {{IEEE} Computer Society},
  year         = {1984},
  timestamp    = {Wed, 27 Nov 2013 16:54:32 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/ChanBHKL84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icde/HeimerdingerB84,
  author       = {Walter L. Heimerdinger and
                  Devesh Bhatt},
  title        = {{DCT} - {A} Testbed Approach to Distributed Systems Research},
  booktitle    = {Proceedings of the First International Conference on Data Engineering,
                  April 24-27, 1984, Los Angeles, California, {USA}},
  pages        = {552--559},
  publisher    = {{IEEE} Computer Society},
  year         = {1984},
  url          = {https://doi.org/10.1109/ICDE.1984.7271318},
  doi          = {10.1109/ICDE.1984.7271318},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/icde/HeimerdingerB84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.