Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Kedar S. Namjoshi
@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} }
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.