BibTeX records: Jay Thakkar

• > Home > Persons > Jay Thakkar

@article{DBLP:journals/esl/AdhikaryGTCDHD21,
  author       = {Sunandan Adhikary and
                  Amit Gurung and
                  Jay Thakkar and
                  Antonio Anastasio Bruto da Costa and
                  Soumyajit Dey and
                  Aritra Hazra and
                  Pallab Dasgupta},
  title        = {SMT-Based Verification of Safety-Critical Embedded Control Software},
  journal      = {{IEEE} Embed. Syst. Lett.},
  volume       = {13},
  number       = {3},
  pages        = {138--141},
  year         = {2021},
  url          = {https://doi.org/10.1109/LES.2020.3035560},
  doi          = {10.1109/LES.2020.3035560},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/esl/AdhikaryGTCDHD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ipl/ThakkarK15,
  author       = {Jay Thakkar and
                  Aditya Kanade},
  title        = {Non-deterministic transducer models of retransmission protocols over
                  noisy channels},
  journal      = {Inf. Process. Lett.},
  volume       = {115},
  number       = {9},
  pages        = {694--698},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ipl.2015.04.009},
  doi          = {10.1016/J.IPL.2015.04.009},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/ThakkarK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/ThakkarKA13,
  author       = {Jay Thakkar and
                  Aditya Kanade and
                  Rajeev Alur},
  editor       = {Dirk Beyer and
                  Michele Boreale},
  title        = {Transducer-Based Algorithmic Verification of Retransmission Protocols
                  over Noisy Channels},
  booktitle    = {Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1
                  International Conference, {FMOODS/FORTE} 2013, Held as Part of the
                  8th International Federated Conference on Distributed Computing Techniques,
                  DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7892},
  pages        = {209--224},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38592-6\_15},
  doi          = {10.1007/978-3-642-38592-6\_15},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/ThakkarKA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}