BibTeX records: Kedar S. Namjoshi

download as .bib file

@inproceedings{DBLP:conf/fmcad/ZhangTN22,
  author       = {Ruoxi Zhang and
                  Richard J. Trefler and
                  Kedar S. Namjoshi},
  editor       = {Alberto Griggio and
                  Neha Rungta},
  title        = {Synthesizing Locally Symmetric Parameterized Protocols from Temporal
                  Specifications},
  booktitle    = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
                  Italy, October 17-21, 2022},
  pages        = {235--244},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_30},
  doi          = {10.34727/2022/ISBN.978-3-85448-053-2\_30},
  timestamp    = {Mon, 13 Feb 2023 21:53:10 +0100},
  biburl       = {https://dblp.org/rec/conf/fmcad/ZhangTN22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/NamjoshiP22,
  author       = {Kedar S. Namjoshi and
                  Nisarg Patel},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {Synthesis of Compact Strategies for Coordination Programs},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {46--63},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_3},
  doi          = {10.1007/978-3-030-99524-9\_3},
  timestamp    = {Fri, 29 Apr 2022 14:50:36 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/NamjoshiP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/CarrollNS21,
  author       = {Martin Carroll and
                  Kedar S. Namjoshi and
                  Itai Segall},
  title        = {The Resh Programming Language for Multirobot Orchestration},
  booktitle    = {{IEEE} International Conference on Robotics and Automation, {ICRA}
                  2021, Xi'an, China, May 30 - June 5, 2021},
  pages        = {4026--4032},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICRA48506.2021.9561133},
  doi          = {10.1109/ICRA48506.2021.9561133},
  timestamp    = {Fri, 22 Oct 2021 19:54:31 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/CarrollNS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/NamjoshiX21,
  author       = {Kedar S. Namjoshi and
                  Anton Xue},
  editor       = {Fritz Henglein and
                  Sharon Shoham and
                  Yakir Vizel},
  title        = {A Self-certifying Compilation Framework for WebAssembly},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 22nd International
                  Conference, {VMCAI} 2021, Copenhagen, Denmark, January 17-19, 2021,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12597},
  pages        = {127--148},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-67067-2\_7},
  doi          = {10.1007/978-3-030-67067-2\_7},
  timestamp    = {Wed, 13 Jan 2021 17:58:39 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/NamjoshiX21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2021,
  editor       = {Cezara Dragoi and
                  Suvam Mukherjee and
                  Kedar S. Namjoshi},
  title        = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
                  IL, USA, October 17-19, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12913},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88806-0},
  doi          = {10.1007/978-3-030-88806-0},
  isbn         = {978-3-030-88805-3},
  timestamp    = {Mon, 18 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-13921,
  author       = {Martin Carroll and
                  Kedar S. Namjoshi and
                  Itai Segall},
  title        = {The Resh Programming Language for Multirobot Orchestration},
  journal      = {CoRR},
  volume       = {abs/2103.13921},
  year         = {2021},
  url          = {https://arxiv.org/abs/2103.13921},
  eprinttype    = {arXiv},
  eprint       = {2103.13921},
  timestamp    = {Wed, 07 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2103-13921.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BansalNS20,
  author       = {Suguman Bansal and
                  Kedar S. Namjoshi and
                  Yaniv Sa'ar},
  title        = {Synthesis of coordination programs from linear temporal specifications},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {4},
  number       = {{POPL}},
  pages        = {54:1--54:27},
  year         = {2020},
  url          = {https://doi.org/10.1145/3371122},
  doi          = {10.1145/3371122},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/BansalNS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/NamjoshiT20,
  author       = {Kedar S. Namjoshi and
                  Lucas M. Tabajara},
  editor       = {Dirk Beyer and
                  Damien Zufferey},
  title        = {Witnessing Secure Compilation},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 21st International
                  Conference, {VMCAI} 2020, New Orleans, LA, USA, January 16-21, 2020,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11990},
  pages        = {1--22},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-39322-9\_1},
  doi          = {10.1007/978-3-030-39322-9\_1},
  timestamp    = {Thu, 16 Jan 2020 17:28:31 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/NamjoshiT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-10405,
  author       = {Kedar S. Namjoshi and
                  Richard J. Trefler},
  title        = {Symmetry Reduction for the Local Mu-Calculus},
  journal      = {CoRR},
  volume       = {abs/1903.10405},
  year         = {2019},
  url          = {http://arxiv.org/abs/1903.10405},
  eprinttype    = {arXiv},
  eprint       = {1903.10405},
  timestamp    = {Mon, 01 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1903-10405.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-03807,
  author       = {Suguman Bansal and
                  Kedar S. Namjoshi and
                  Yaniv Sa'ar},
  title        = {Synthesis of coordination programs from linear temporal logic},
  journal      = {CoRR},
  volume       = {abs/1911.03807},
  year         = {2019},
  url          = {http://arxiv.org/abs/1911.03807},
  eprinttype    = {arXiv},
  eprint       = {1911.03807},
  timestamp    = {Sun, 01 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1911-03807.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-05866,
  author       = {Kedar S. Namjoshi and
                  Lucas M. Tabajara},
  title        = {Witnessing Secure Compilation},
  journal      = {CoRR},
  volume       = {abs/1911.05866},
  year         = {2019},
  url          = {http://arxiv.org/abs/1911.05866},
  eprinttype    = {arXiv},
  eprint       = {1911.05866},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1911-05866.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/DengN18,
  author       = {Chaoqiang Deng and
                  Kedar S. Namjoshi},
  title        = {Securing a compiler transformation},
  journal      = {Formal Methods Syst. Des.},
  volume       = {53},
  number       = {2},
  pages        = {166--188},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-017-0313-8},
  doi          = {10.1007/S10703-017-0313-8},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/DengN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BansalNS18,
  author       = {Suguman Bansal and
                  Kedar S. Namjoshi and
                  Yaniv Sa'ar},
  editor       = {Hana Chockler and
                  Georg Weissenbacher},
  title        = {Synthesis of Asynchronous Reactive Programs from Temporal Specifications},
  booktitle    = {Computer Aided Verification - 30th International Conference, {CAV}
                  2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
                  UK, July 14-17, 2018, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10981},
  pages        = {367--385},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-96145-3\_20},
  doi          = {10.1007/978-3-319-96145-3\_20},
  timestamp    = {Fri, 09 Apr 2021 18:35:27 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BansalNS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/NamjoshiP18,
  author       = {Kedar S. Namjoshi and
                  Zvonimir Pavlinovic},
  editor       = {Andreas Podelski},
  title        = {The Impact of Program Transformations on Static Program Analysis},
  booktitle    = {Static Analysis - 25th International Symposium, {SAS} 2018, Freiburg,
                  Germany, August 29-31, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11002},
  pages        = {306--325},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99725-4\_19},
  doi          = {10.1007/978-3-319-99725-4\_19},
  timestamp    = {Mon, 28 Aug 2023 21:17:53 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/NamjoshiP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/NamjoshiT18,
  author       = {Kedar S. Namjoshi and
                  Richard J. Trefler},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {Symmetry Reduction for the Local Mu-Calculus},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {379--395},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_22},
  doi          = {10.1007/978-3-319-89963-3\_22},
  timestamp    = {Fri, 09 Apr 2021 18:45:36 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/NamjoshiT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/mc/GiannakopoulouNP18,
  author       = {Dimitra Giannakopoulou and
                  Kedar S. Namjoshi and
                  Corina S. Pasareanu},
  editor       = {Edmund M. Clarke and
                  Thomas A. Henzinger and
                  Helmut Veith and
                  Roderick Bloem},
  title        = {Compositional Reasoning},
  booktitle    = {Handbook of Model Checking},
  pages        = {345--383},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-10575-8\_12},
  doi          = {10.1007/978-3-319-10575-8\_12},
  timestamp    = {Mon, 03 Jan 2022 22:13:30 +0100},
  biburl       = {https://dblp.org/rec/reference/mc/GiannakopoulouNP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/DengN17,
  author       = {Chaoqiang Deng and
                  Kedar S. Namjoshi},
  editor       = {Shuvendu K. Lahiri and
                  Giles Reger},
  title        = {Witnessing Network Transformations},
  booktitle    = {Runtime Verification - 17th International Conference, {RV} 2017, Seattle,
                  WA, USA, September 13-16, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10548},
  pages        = {155--171},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-67531-2\_10},
  doi          = {10.1007/978-3-319-67531-2\_10},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/DengN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/DengN17,
  author       = {Chaoqiang Deng and
                  Kedar S. Namjoshi},
  editor       = {Francesco Ranzato},
  title        = {Securing the {SSA} Transform},
  booktitle    = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
                  NY, USA, August 30 - September 1, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10422},
  pages        = {88--105},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66706-5\_5},
  doi          = {10.1007/978-3-319-66706-5\_5},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/DengN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/GjomemoPBNVZ16,
  author       = {Rigel Gjomemo and
                  Phu H. Phung and
                  Edmund Ballou and
                  Kedar S. Namjoshi and
                  V. N. Venkatakrishnan and
                  Lenore D. Zuck},
  title        = {Leveraging Static Analysis Tools for Improving Usability of Memory
                  Error Sanitization Compilers},
  booktitle    = {2016 {IEEE} International Conference on Software Quality, Reliability
                  and Security, {QRS} 2016, Vienna, Austria, August 1-3, 2016},
  pages        = {323--334},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/QRS.2016.44},
  doi          = {10.1109/QRS.2016.44},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/qrs/GjomemoPBNVZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/DengN16,
  author       = {Chaoqiang Deng and
                  Kedar S. Namjoshi},
  editor       = {Xavier Rival},
  title        = {Securing a Compiler Transformation},
  booktitle    = {Static Analysis - 23rd International Symposium, {SAS} 2016, Edinburgh,
                  UK, September 8-10, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9837},
  pages        = {170--188},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-53413-7\_9},
  doi          = {10.1007/978-3-662-53413-7\_9},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/DengN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/NamjoshiS16,
  author       = {Kedar S. Namjoshi and
                  Nimit Singhania},
  editor       = {Xavier Rival},
  title        = {Loopy: Programmable and Formally Verified Loop Transformations},
  booktitle    = {Static Analysis - 23rd International Symposium, {SAS} 2016, Edinburgh,
                  UK, September 8-10, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9837},
  pages        = {383--402},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-53413-7\_19},
  doi          = {10.1007/978-3-662-53413-7\_19},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/NamjoshiS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/NamjoshiT16,
  author       = {Kedar S. Namjoshi and
                  Richard J. Trefler},
  editor       = {Marsha Chechik and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Parameterized Compositional Model Checking},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 22nd International Conference, {TACAS} 2016, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9636},
  pages        = {589--606},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-49674-9\_39},
  doi          = {10.1007/978-3-662-49674-9\_39},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/NamjoshiT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/NamjoshiT15,
  author       = {Kedar S. Namjoshi and
                  Richard J. Trefler},
  editor       = {Susanne Graf and
                  Mahesh Viswanathan},
  title        = {Loop Freedom in AODVv2},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held
                  as Part of the 10th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9039},
  pages        = {98--112},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19195-9\_7},
  doi          = {10.1007/978-3-319-19195-9\_7},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/NamjoshiT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/NamjoshiT15,
  author       = {Kedar S. Namjoshi and
                  Richard J. Trefler},
  editor       = {Christel Baier and
                  Cesare Tinelli},
  title        = {Analysis of Dynamic Process Networks},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 21st International Conference, {TACAS} 2015, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2015, London, UK, April 11-18, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9035},
  pages        = {164--178},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-46681-0\_11},
  doi          = {10.1007/978-3-662-46681-0\_11},
  timestamp    = {Sat, 30 Sep 2023 09:57:43 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/NamjoshiT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GjomemoNPVZ15,
  author       = {Rigel Gjomemo and
                  Kedar S. Namjoshi and
                  Phu H. Phung and
                  V. N. Venkatakrishnan and
                  Lenore D. Zuck},
  editor       = {Deepak D'Souza and
                  Akash Lal and
                  Kim Guldstrand Larsen},
  title        = {From Verification to Optimizations},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 16th International
                  Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8931},
  pages        = {300--317},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-46081-8\_17},
  doi          = {10.1007/978-3-662-46081-8\_17},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/GjomemoNPVZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/NamjoshiTZ13,
  author       = {Kedar S. Namjoshi and
                  Giacomo Tagliabue and
                  Lenore D. Zuck},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {A Witnessing Compiler: {A} Proof of Concept},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {340--345},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_22},
  doi          = {10.1007/978-3-642-40787-1\_22},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/NamjoshiTZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/NamjoshiZ13,
  author       = {Kedar S. Namjoshi and
                  Lenore D. Zuck},
  editor       = {Francesco Logozzo and
                  Manuel F{\"{a}}hndrich},
  title        = {Witnessing Program Transformations},
  booktitle    = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle,
                  WA, USA, June 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7935},
  pages        = {304--323},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38856-9\_17},
  doi          = {10.1007/978-3-642-38856-9\_17},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/NamjoshiZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/NamjoshiT13,
  author       = {Kedar S. Namjoshi and
                  Richard J. Trefler},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {Uncovering Symmetries in Irregular Process Networks},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {496--514},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_29},
  doi          = {10.1007/978-3-642-35873-9\_29},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/NamjoshiT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Namjoshi13,
  author       = {Kedar S. Namjoshi},
  editor       = {Anindya Banerjee and
                  Olivier Danvy and
                  Kyung{-}Goo Doh and
                  John Hatcliff},
  title        = {Model Checking in Bits and Pieces},
  booktitle    = {Semantics, Abstract Interpretation, and Reasoning about Programs:
                  Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth
                  Birthday, Manhattan, Kansas, USA, 19-20th September 2013},
  series       = {{EPTCS}},
  volume       = {129},
  pages        = {404--416},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.129.25},
  doi          = {10.4204/EPTCS.129.25},
  timestamp    = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Namjoshi13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bell/KoppolNSW12,
  author       = {Pramod V. Koppol and
                  Kedar S. Namjoshi and
                  Thanos Stathopoulos and
                  Gordon T. Wilfong},
  title        = {The Inherent Difficulty of Timely Primary-Backup Replication},
  journal      = {Bell Labs Tech. J.},
  volume       = {17},
  number       = {2},
  pages        = {15--24},
  year         = {2012},
  url          = {https://doi.org/10.1002/bltj.21541},
  doi          = {10.1002/BLTJ.21541},
  timestamp    = {Thu, 27 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bell/KoppolNSW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/NamjoshiT12,
  author       = {Kedar S. Namjoshi and
                  Richard J. Trefler},
  editor       = {Viktor Kuncak and
                  Andrey Rybalchenko},
  title        = {Local Symmetry and Compositional Verification},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 13th International
                  Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7148},
  pages        = {348--362},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-27940-9\_23},
  doi          = {10.1007/978-3-642-27940-9\_23},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/NamjoshiT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KleinN11,
  author       = {Uri Klein and
                  Kedar S. Namjoshi},
  editor       = {Ganesh Gopalakrishnan and
                  Shaz Qadeer},
  title        = {Formalization and Automated Verification of RESTful Behavior},
  booktitle    = {Computer Aided Verification - 23rd International Conference, {CAV}
                  2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6806},
  pages        = {541--556},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22110-1\_43},
  doi          = {10.1007/978-3-642-22110-1\_43},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/KleinN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/KoppolNSW11,
  author       = {Pramod V. Koppol and
                  Kedar S. Namjoshi and
                  Thanos Stathopoulos and
                  Gordon T. Wilfong},
  editor       = {Cyril Gavoille and
                  Pierre Fraigniaud},
  title        = {The inherent difficulty of timely primary-backup replication},
  booktitle    = {Proceedings of the 30th Annual {ACM} Symposium on Principles of Distributed
                  Computing, {PODC} 2011, San Jose, CA, USA, June 6-8, 2011},
  pages        = {349--350},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1993806.1993878},
  doi          = {10.1145/1993806.1993878},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/KoppolNSW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hvc/2009,
  editor       = {Kedar S. Namjoshi and
                  Andreas Zeller and
                  Avi Ziv},
  title        = {Hardware and Software: Verification and Testing - 5th International
                  Haifa Verification Conference, {HVC} 2009, Haifa, Israel, October
                  19-22, 2009, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6405},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-19237-1},
  doi          = {10.1007/978-3-642-19237-1},
  isbn         = {978-3-642-19236-4},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/NamjoshiY10,
  author       = {Kedar S. Namjoshi and
                  Tomohiro Yoneda},
  title        = {Preface},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {21},
  number       = {2},
  year         = {2010},
  url          = {http://www.worldscinet.com/ijfcs/21/2102/S0129054110007167.html},
  timestamp    = {Thu, 19 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/NamjoshiY10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/NamjoshiT10,
  author       = {Kedar S. Namjoshi and
                  Richard J. Trefler},
  title        = {On the completeness of compositional reasoning methods},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {11},
  number       = {3},
  pages        = {16:1--16:22},
  year         = {2010},
  url          = {https://doi.org/10.1145/1740582.1740584},
  doi          = {10.1145/1740582.1740584},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/NamjoshiT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/VasudevanNE10,
  author       = {Nalini Vasudevan and
                  Kedar S. Namjoshi and
                  Stephen A. Edwards},
  editor       = {Valentina Salapura and
                  Michael Gschwind and
                  Jens Knoop},
  title        = {Simple and fast biased locks},
  booktitle    = {19th International Conference on Parallel Architectures and Compilation
                  Techniques, {PACT} 2010, Vienna, Austria, September 11-15, 2010},
  pages        = {65--74},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1854273.1854287},
  doi          = {10.1145/1854273.1854287},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEpact/VasudevanNE10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CohenNS10,
  author       = {Ariel Cohen and
                  Kedar S. Namjoshi and
                  Yaniv Sa'ar},
  editor       = {Tayssir Touili and
                  Byron Cook and
                  Paul B. Jackson},
  title        = {A Dash of Fairness for Compositional Reasoning},
  booktitle    = {Computer Aided Verification, 22nd International Conference, {CAV}
                  2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6174},
  pages        = {543--557},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14295-6\_46},
  doi          = {10.1007/978-3-642-14295-6\_46},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/CohenNS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CohenNS10a,
  author       = {Ariel Cohen and
                  Kedar S. Namjoshi and
                  Yaniv Sa'ar},
  editor       = {Tayssir Touili and
                  Byron Cook and
                  Paul B. Jackson},
  title        = {{SPLIT:} {A} Compositional {LTL} Verifier},
  booktitle    = {Computer Aided Verification, 22nd International Conference, {CAV}
                  2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6174},
  pages        = {558--561},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14295-6\_47},
  doi          = {10.1007/978-3-642-14295-6\_47},
  timestamp    = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/CohenNS10a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/CohenNSZK10,
  author       = {Ariel Cohen and
                  Kedar S. Namjoshi and
                  Yaniv Sa'ar and
                  Lenore D. Zuck and
                  Katya I. Kisyova},
  editor       = {Sharon Barner and
                  Ian G. Harris and
                  Daniel Kroening and
                  Orna Raz},
  title        = {Parallelizing a Symbolic Compositional Model-Checking Algorithm},
  booktitle    = {Hardware and Software: Verification and Testing - 6th International
                  Haifa Verification Conference, {HVC} 2010, Haifa, Israel, October
                  4-7, 2010. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6504},
  pages        = {46--59},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-19583-9\_9},
  doi          = {10.1007/978-3-642-19583-9\_9},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/CohenNSZK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/NamjoshiN10,
  author       = {Kedar S. Namjoshi and
                  Girija J. Narlikar},
  title        = {Robust and Fast Pattern Matching for Intrusion Detection},
  booktitle    = {{INFOCOM} 2010. 29th {IEEE} International Conference on Computer Communications,
                  Joint Conference of the {IEEE} Computer and Communications Societies,
                  15-19 March 2010, San Diego, CA, {USA}},
  pages        = {740--748},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/INFCOM.2010.5462149},
  doi          = {10.1109/INFCOM.2010.5462149},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/infocom/NamjoshiN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bell/ArleinDHLN09,
  author       = {Robert M. Arlein and
                  Dennis Dams and
                  Richard B. Hull and
                  John P. Letourneau and
                  Kedar S. Namjoshi},
  title        = {Telco meets the Web: Programming shared-experience services},
  journal      = {Bell Labs Tech. J.},
  volume       = {14},
  number       = {3},
  pages        = {167--185},
  year         = {2009},
  url          = {https://doi.org/10.1002/bltj.20395},
  doi          = {10.1002/BLTJ.20395},
  timestamp    = {Thu, 27 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bell/ArleinDHLN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/CohenN09,
  author       = {Ariel Cohen and
                  Kedar S. Namjoshi},
  title        = {Local proofs for global safety properties},
  journal      = {Formal Methods Syst. Des.},
  volume       = {34},
  number       = {2},
  pages        = {104--125},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10703-008-0063-8},
  doi          = {10.1007/S10703-008-0063-8},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/CohenN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CohenN08,
  author       = {Ariel Cohen and
                  Kedar S. Namjoshi},
  editor       = {Aarti Gupta and
                  Sharad Malik},
  title        = {Local Proofs for Linear-Time Properties of Concurrent Programs},
  booktitle    = {Computer Aided Verification, 20th International Conference, {CAV}
                  2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5123},
  pages        = {149--161},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-70545-1\_15},
  doi          = {10.1007/978-3-540-70545-1\_15},
  timestamp    = {Sat, 30 Sep 2023 09:35:55 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/CohenN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ConwayDNB08,
  author       = {Christopher L. Conway and
                  Dennis Dams and
                  Kedar S. Namjoshi and
                  Clark W. Barrett},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {Pointer Analysis, Conditional Soundness, and Proving the Absence of
                  Errors},
  booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  pages        = {62--77},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2\_5},
  doi          = {10.1007/978-3-540-69166-2\_5},
  timestamp    = {Wed, 25 Sep 2019 18:08:39 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/ConwayDNB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CohenN07,
  author       = {Ariel Cohen and
                  Kedar S. Namjoshi},
  editor       = {Werner Damm and
                  Holger Hermanns},
  title        = {Local Proofs for Global Safety Properties},
  booktitle    = {Computer Aided Verification, 19th International Conference, {CAV}
                  2007, Berlin, Germany, July 3-7, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4590},
  pages        = {55--67},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73368-3\_9},
  doi          = {10.1007/978-3-540-73368-3\_9},
  timestamp    = {Sat, 30 Sep 2023 09:35:55 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/CohenN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Namjoshi07,
  author       = {Kedar S. Namjoshi},
  editor       = {Byron Cook and
                  Andreas Podelski},
  title        = {Symmetry and Completeness in the Analysis of Parameterized Systems},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 8th International
                  Conference, {VMCAI} 2007, Nice, France, January 14-16, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4349},
  pages        = {299--313},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-69738-1\_22},
  doi          = {10.1007/978-3-540-69738-1\_22},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/Namjoshi07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2007,
  editor       = {Kedar S. Namjoshi and
                  Tomohiro Yoneda and
                  Teruo Higashino and
                  Yoshio Okamura},
  title        = {Automated Technology for Verification and Analysis, 5th International
                  Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4762},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75596-8},
  doi          = {10.1007/978-3-540-75596-8},
  isbn         = {978-3-540-75595-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2006,
  editor       = {E. Allen Emerson and
                  Kedar S. Namjoshi},
  title        = {Verification, Model Checking, and Abstract Interpretation, 7th International
                  Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3855},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11609773},
  doi          = {10.1007/11609773},
  isbn         = {3-540-31139-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ConwayNDE05,
  author       = {Christopher L. Conway and
                  Kedar S. Namjoshi and
                  Dennis Dams and
                  Stephen A. Edwards},
  editor       = {Kousha Etessami and
                  Sriram K. Rajamani},
  title        = {Incremental Algorithms for Inter-procedural Analysis of Safety Properties},
  booktitle    = {Computer Aided Verification, 17th International Conference, {CAV}
                  2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3576},
  pages        = {449--461},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11513988\_45},
  doi          = {10.1007/11513988\_45},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ConwayNDE05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DamsN05,
  author       = {Dennis Dams and
                  Kedar S. Namjoshi},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Susanne Graf and
                  Willem P. de Roever},
  title        = {Orion: High-Precision Methods for Static Error Analysis of {C} and
                  {C++} Programs},
  booktitle    = {Formal Methods for Components and Objects, 4th International Symposium,
                  {FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {4111},
  pages        = {138--160},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11804192\_7},
  doi          = {10.1007/11804192\_7},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fmco/DamsN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DamsN05,
  author       = {Dennis Dams and
                  Kedar S. Namjoshi},
  editor       = {Radhia Cousot},
  title        = {Automata as Abstractions},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 6th International
                  Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3385},
  pages        = {216--232},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-30579-8\_15},
  doi          = {10.1007/978-3-540-30579-8\_15},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/DamsN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Namjoshi04,
  author       = {Kedar S. Namjoshi},
  editor       = {Rajeev Alur and
                  Doron A. Peled},
  title        = {An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model
                  Checking},
  booktitle    = {Computer Aided Verification, 16th International Conference, {CAV}
                  2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3114},
  pages        = {57--69},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27813-9\_5},
  doi          = {10.1007/978-3-540-27813-9\_5},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Namjoshi04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DamsN04,
  author       = {Dennis Dams and
                  Kedar S. Namjoshi},
  title        = {The Existence of Finite Abstractions for Branching Time Model Checking},
  booktitle    = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
                  14-17 July 2004, Turku, Finland, Proceedings},
  pages        = {335--344},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/LICS.2004.1319628},
  doi          = {10.1109/LICS.2004.1319628},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/DamsN04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/EmersonN03,
  author       = {E. Allen Emerson and
                  Kedar S. Namjoshi},
  title        = {On Reasoning About Rings},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {4},
  pages        = {527--550},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001881},
  doi          = {10.1142/S0129054103001881},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/EmersonN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/FeltyN03,
  author       = {Amy P. Felty and
                  Kedar S. Namjoshi},
  title        = {Feature specification and automated conflict detection},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {12},
  number       = {1},
  pages        = {3--27},
  year         = {2003},
  url          = {https://doi.org/10.1145/839268.839270},
  doi          = {10.1145/839268.839270},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tosem/FeltyN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Namjoshi03,
  author       = {Kedar S. Namjoshi},
  editor       = {Warren A. Hunt Jr. and
                  Fabio Somenzi},
  title        = {Abstraction for Branching Time Properties},
  booktitle    = {Computer Aided Verification, 15th International Conference, {CAV}
                  2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2725},
  pages        = {288--300},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45069-6\_29},
  doi          = {10.1007/978-3-540-45069-6\_29},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Namjoshi03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AmlaENT03,
  author       = {Nina Amla and
                  E. Allen Emerson and
                  Kedar S. Namjoshi and
                  Richard J. Trefler},
  editor       = {Roberto M. Amadio and
                  Denis Lugiez},
  title        = {Abstract Patterns of Compositional Reasoning},
  booktitle    = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
                  Marseille, France, September 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2761},
  pages        = {423--438},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45187-7\_28},
  doi          = {10.1007/978-3-540-45187-7\_28},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/AmlaENT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Namjoshi03,
  author       = {Kedar S. Namjoshi},
  editor       = {Lenore D. Zuck and
                  Paul C. Attie and
                  Agostino Cortesi and
                  Supratik Mukhopadhyay},
  title        = {Lifting Temporal Proofs through Abstractions},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 4th International
                  Conference, {VMCAI} 2003, New York, NY, USA, January 9-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2575},
  pages        = {174--188},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36384-X\_16},
  doi          = {10.1007/3-540-36384-X\_16},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/Namjoshi03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DamsN03,
  author       = {Dennis Dams and
                  Kedar S. Namjoshi},
  editor       = {Lenore D. Zuck and
                  Paul C. Attie and
                  Agostino Cortesi and
                  Supratik Mukhopadhyay},
  title        = {Shape Analysis through Predicate Abstraction and Model Checking},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 4th International
                  Conference, {VMCAI} 2003, New York, NY, USA, January 9-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2575},
  pages        = {310--324},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36384-X\_25},
  doi          = {10.1007/3-540-36384-X\_25},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/DamsN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AmlaENT02,
  author       = {Nina Amla and
                  E. Allen Emerson and
                  Kedar S. Namjoshi and
                  Richard J. Trefler},
  editor       = {Doron A. Peled and
                  Moshe Y. Vardi},
  title        = {Visual Specifications for Modular Reasoning about Asynchronous Systems},
  booktitle    = {Formal Techniques for Networked and Distributed Systems - {FORTE}
                  2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
                  USA, November 11-14, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2529},
  pages        = {226--242},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36135-9\_15},
  doi          = {10.1007/3-540-36135-9\_15},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/AmlaENT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Namjoshi01,
  author       = {Kedar S. Namjoshi},
  editor       = {G{\'{e}}rard Berry and
                  Hubert Comon and
                  Alain Finkel},
  title        = {Certifying Model Checkers},
  booktitle    = {Computer Aided Verification, 13th International Conference, {CAV}
                  2001, Paris, France, July 18-22, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2102},
  pages        = {2--13},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44585-4\_2},
  doi          = {10.1007/3-540-44585-4\_2},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Namjoshi01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AmlaEKN01,
  author       = {Nina Amla and
                  E. Allen Emerson and
                  Robert P. Kurshan and
                  Kedar S. Namjoshi},
  editor       = {G{\'{e}}rard Berry and
                  Hubert Comon and
                  Alain Finkel},
  title        = {Rtdt: {A} Front-End for Efficient Model Checking of Synchronous Timing
                  Diagrams},
  booktitle    = {Computer Aided Verification, 13th International Conference, {CAV}
                  2001, Paris, France, July 18-22, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2102},
  pages        = {387--390},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44585-4\_38},
  doi          = {10.1007/3-540-44585-4\_38},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/AmlaEKN01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AmlaENT01,
  author       = {Nina Amla and
                  E. Allen Emerson and
                  Kedar S. Namjoshi and
                  Richard J. Trefler},
  editor       = {Tiziana Margaria and
                  Wang Yi},
  title        = {Assume-Guarantee Based Compositional Reasoning for Synchronous Timing
                  Diagrams},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems,
                  7th International Conference, {TACAS} 2001 Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2001
                  Genova, Italy, April 2-6, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2031},
  pages        = {465--479},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45319-9\_32},
  doi          = {10.1007/3-540-45319-9\_32},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/AmlaENT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/RaimiHN00,
  author       = {Richard Raimi and
                  Ramin Hojati and
                  Kedar S. Namjoshi},
  title        = {Environment modeling and language universality},
  journal      = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume       = {5},
  number       = {3},
  pages        = {705--725},
  year         = {2000},
  url          = {https://doi.org/10.1145/348019.348572},
  doi          = {10.1145/348019.348572},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/todaes/RaimiHN00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NamjoshiT00,
  author       = {Kedar S. Namjoshi and
                  Richard J. Trefler},
  editor       = {E. Allen Emerson and
                  A. Prasad Sistla},
  title        = {On the Competeness of Compositional Reasoning},
  booktitle    = {Computer Aided Verification, 12th International Conference, {CAV}
                  2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1855},
  pages        = {139--153},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722167\_14},
  doi          = {10.1007/10722167\_14},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/NamjoshiT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NamjoshiK00,
  author       = {Kedar S. Namjoshi and
                  Robert P. Kurshan},
  editor       = {E. Allen Emerson and
                  A. Prasad Sistla},
  title        = {Syntactic Program Transformations for Automatic Abstraction},
  booktitle    = {Computer Aided Verification, 12th International Conference, {CAV}
                  2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1855},
  pages        = {435--449},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722167\_33},
  doi          = {10.1007/10722167\_33},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/NamjoshiK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/FeltyN00,
  author       = {Amy P. Felty and
                  Kedar S. Namjoshi},
  editor       = {Muffy Calder and
                  Evan H. Magill},
  title        = {Feature Specification and Automatic Conflict Detection},
  booktitle    = {Feature Interactions in Telecommunications and Software Systems VI,
                  May 17-19, 2000, Glasgow, Scotland, {UK}},
  pages        = {179--192},
  publisher    = {{IOS} Press},
  year         = {2000},
  timestamp    = {Tue, 16 Nov 2004 09:12:33 +0100},
  biburl       = {https://dblp.org/rec/conf/fiw/FeltyN00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/AmlaEKN00,
  author       = {Nina Amla and
                  E. Allen Emerson and
                  Robert P. Kurshan and
                  Kedar S. Namjoshi},
  editor       = {Warren A. Hunt Jr. and
                  Steven D. Johnson},
  title        = {Model Checking Synchronous Timing Diagrams},
  booktitle    = {Formal Methods in Computer-Aided Design, Third International Conference,
                  {FMCAD} 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1954},
  pages        = {283--298},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-40922-X\_18},
  doi          = {10.1007/3-540-40922-X\_18},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/AmlaEKN00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ManoliosNS99,
  author       = {Panagiotis Manolios and
                  Kedar S. Namjoshi and
                  Robert Summers},
  editor       = {Nicolas Halbwachs and
                  Doron A. Peled},
  title        = {Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation},
  booktitle    = {Computer Aided Verification, 11th International Conference, {CAV}
                  '99, Trento, Italy, July 6-10, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1633},
  pages        = {369--379},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48683-6\_32},
  doi          = {10.1007/3-540-48683-6\_32},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/ManoliosNS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NamjoshiK99,
  author       = {Kedar S. Namjoshi and
                  Robert P. Kurshan},
  editor       = {Nicolas Halbwachs and
                  Doron A. Peled},
  title        = {Efficient Analysis of Cyclic Definitions},
  booktitle    = {Computer Aided Verification, 11th International Conference, {CAV}
                  '99, Trento, Italy, July 6-10, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1633},
  pages        = {394--405},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48683-6\_34},
  doi          = {10.1007/3-540-48683-6\_34},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/NamjoshiK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/AmlaEN99,
  author       = {Nina Amla and
                  E. Allen Emerson and
                  Kedar S. Namjoshi},
  editor       = {Laurence Pierre and
                  Thomas Kropf},
  title        = {Efficient Decompositional Model Checking for Regular Timing Diagrams},
  booktitle    = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
                  10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
                  Germany, September 27-29, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1703},
  pages        = {67--81},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48153-2\_7},
  doi          = {10.1007/3-540-48153-2\_7},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/AmlaEN99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EmersonN98,
  author       = {E. Allen Emerson and
                  Kedar S. Namjoshi},
  editor       = {Alan J. Hu and
                  Moshe Y. Vardi},
  title        = {Verification of Parameterized Bus Arbitration Protocol},
  booktitle    = {Computer Aided Verification, 10th International Conference, {CAV}
                  '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1427},
  pages        = {452--463},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0028766},
  doi          = {10.1007/BFB0028766},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/EmersonN98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/EmersonN98,
  author       = {E. Allen Emerson and
                  Kedar S. Namjoshi},
  title        = {On Model Checking for Non-Deterministic Infinite-State Systems},
  booktitle    = {Thirteenth Annual {IEEE} Symposium on Logic in Computer Science, Indianapolis,
                  Indiana, USA, June 21-24, 1998},
  pages        = {70--80},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/LICS.1998.705644},
  doi          = {10.1109/LICS.1998.705644},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/EmersonN98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Namjoshi97,
  author       = {Kedar S. Namjoshi},
  editor       = {S. Ramesh and
                  G. Sivakumar},
  title        = {A Simple Characterization of Stuttering Bisimulation},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1346},
  pages        = {284--296},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0058037},
  doi          = {10.1007/BFB0058037},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Namjoshi97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EmersonN96,
  author       = {E. Allen Emerson and
                  Kedar S. Namjoshi},
  editor       = {Rajeev Alur and
                  Thomas A. Henzinger},
  title        = {Automatic Verification of Parameterized Synchronous Systems (Extended
                  Abstract)},
  booktitle    = {Computer Aided Verification, 8th International Conference, {CAV} '96,
                  New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1102},
  pages        = {87--98},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61474-5\_60},
  doi          = {10.1007/3-540-61474-5\_60},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/EmersonN96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/EmersonN95,
  author       = {E. Allen Emerson and
                  Kedar S. Namjoshi},
  editor       = {Ron K. Cytron and
                  Peter Lee},
  title        = {Reasoning about Rings},
  booktitle    = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
                  on Principles of Programming Languages, San Francisco, California,
                  USA, January 23-25, 1995},
  pages        = {85--94},
  publisher    = {{ACM} Press},
  year         = {1995},
  url          = {https://doi.org/10.1145/199448.199468},
  doi          = {10.1145/199448.199468},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/EmersonN95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics