BibTeX records: Kedar S. Namjoshi

download as .bib file

@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},
  archivePrefix = {arXiv},
  eprint    = {1903.10405},
  timestamp = {Mon, 01 Apr 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1903-10405},
  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 in System Design},
  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 = {Tue, 25 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/DengN18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BansalNS18,
  author    = {Suguman Bansal and
               Kedar S. Namjoshi and
               Yaniv Sa'ar},
  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}},
  pages     = {367--385},
  year      = {2018},
  crossref  = {DBLP:conf/cav/2018-1},
  url       = {https://doi.org/10.1007/978-3-319-96145-3\_20},
  doi       = {10.1007/978-3-319-96145-3\_20},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BansalNS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/NamjoshiP18,
  author    = {Kedar S. Namjoshi and
               Zvonimir Pavlinovic},
  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},
  pages     = {306--325},
  year      = {2018},
  crossref  = {DBLP:conf/sas/2018},
  url       = {https://doi.org/10.1007/978-3-319-99725-4\_19},
  doi       = {10.1007/978-3-319-99725-4\_19},
  timestamp = {Wed, 29 Aug 2018 12:01:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/NamjoshiP18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/NamjoshiT18,
  author    = {Kedar S. Namjoshi and
               Richard J. Trefler},
  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}},
  pages     = {379--395},
  year      = {2018},
  crossref  = {DBLP:conf/tacas/2018-2},
  url       = {https://doi.org/10.1007/978-3-319-89963-3\_22},
  doi       = {10.1007/978-3-319-89963-3\_22},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/NamjoshiT18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/mc/GiannakopoulouNP18,
  author    = {Dimitra Giannakopoulou and
               Kedar S. Namjoshi and
               Corina S. Pasareanu},
  title     = {Compositional Reasoning},
  booktitle = {Handbook of Model Checking.},
  pages     = {345--383},
  year      = {2018},
  crossref  = {DBLP:reference/mc/2018},
  url       = {https://doi.org/10.1007/978-3-319-10575-8\_12},
  doi       = {10.1007/978-3-319-10575-8\_12},
  timestamp = {Tue, 29 May 2018 12:30:27 +0200},
  biburl    = {https://dblp.org/rec/bib/reference/mc/GiannakopoulouNP18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/DengN17,
  author    = {Chaoqiang Deng and
               Kedar S. Namjoshi},
  title     = {Witnessing Network Transformations},
  booktitle = {Runtime Verification - 17th International Conference, {RV} 2017, Seattle,
               WA, USA, September 13-16, 2017, Proceedings},
  pages     = {155--171},
  year      = {2017},
  crossref  = {DBLP:conf/rv/2017},
  url       = {https://doi.org/10.1007/978-3-319-67531-2\_10},
  doi       = {10.1007/978-3-319-67531-2\_10},
  timestamp = {Wed, 06 Sep 2017 15:37:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/DengN17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/DengN17,
  author    = {Chaoqiang Deng and
               Kedar S. Namjoshi},
  title     = {Securing the {SSA} Transform},
  booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
               NY, USA, August 30 - September 1, 2017, Proceedings},
  pages     = {88--105},
  year      = {2017},
  crossref  = {DBLP:conf/sas/2017},
  url       = {https://doi.org/10.1007/978-3-319-66706-5\_5},
  doi       = {10.1007/978-3-319-66706-5\_5},
  timestamp = {Tue, 22 Aug 2017 07:32:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/DengN17},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/qrs/2016},
  url       = {https://doi.org/10.1109/QRS.2016.44},
  doi       = {10.1109/QRS.2016.44},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/qrs/GjomemoPBNVZ16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/DengN16,
  author    = {Chaoqiang Deng and
               Kedar S. Namjoshi},
  title     = {Securing a Compiler Transformation},
  booktitle = {Static Analysis - 23rd International Symposium, {SAS} 2016, Edinburgh,
               UK, September 8-10, 2016, Proceedings},
  pages     = {170--188},
  year      = {2016},
  crossref  = {DBLP:conf/sas/2016},
  url       = {https://doi.org/10.1007/978-3-662-53413-7\_9},
  doi       = {10.1007/978-3-662-53413-7\_9},
  timestamp = {Wed, 14 Nov 2018 10:55:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sas/DengN16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/NamjoshiS16,
  author    = {Kedar S. Namjoshi and
               Nimit Singhania},
  title     = {Loopy: Programmable and Formally Verified Loop Transformations},
  booktitle = {Static Analysis - 23rd International Symposium, {SAS} 2016, Edinburgh,
               UK, September 8-10, 2016, Proceedings},
  pages     = {383--402},
  year      = {2016},
  crossref  = {DBLP:conf/sas/2016},
  url       = {https://doi.org/10.1007/978-3-662-53413-7\_19},
  doi       = {10.1007/978-3-662-53413-7\_19},
  timestamp = {Wed, 14 Nov 2018 10:55:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sas/NamjoshiS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/NamjoshiT16,
  author    = {Kedar S. Namjoshi and
               Richard J. Trefler},
  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},
  pages     = {589--606},
  year      = {2016},
  crossref  = {DBLP:conf/tacas/2016},
  url       = {https://doi.org/10.1007/978-3-662-49674-9\_39},
  doi       = {10.1007/978-3-662-49674-9\_39},
  timestamp = {Fri, 02 Nov 2018 09:42:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/NamjoshiT16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/NamjoshiT15,
  author    = {Kedar S. Namjoshi and
               Richard J. Trefler},
  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},
  pages     = {98--112},
  year      = {2015},
  crossref  = {DBLP:conf/forte/2015},
  url       = {https://doi.org/10.1007/978-3-319-19195-9\_7},
  doi       = {10.1007/978-3-319-19195-9\_7},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/NamjoshiT15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/NamjoshiT15,
  author    = {Kedar S. Namjoshi and
               Richard J. Trefler},
  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},
  pages     = {164--178},
  year      = {2015},
  crossref  = {DBLP:conf/tacas/2015},
  url       = {https://doi.org/10.1007/978-3-662-46681-0\_11},
  doi       = {10.1007/978-3-662-46681-0\_11},
  timestamp = {Thu, 15 Jun 2017 21:37:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/NamjoshiT15},
  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},
  title     = {From Verification to Optimizations},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
               Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
  pages     = {300--317},
  year      = {2015},
  crossref  = {DBLP:conf/vmcai/2015},
  url       = {https://doi.org/10.1007/978-3-662-46081-8\_17},
  doi       = {10.1007/978-3-662-46081-8\_17},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/GjomemoNPVZ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/NamjoshiTZ13,
  author    = {Kedar S. Namjoshi and
               Giacomo Tagliabue and
               Lenore D. Zuck},
  title     = {A Witnessing Compiler: {A} Proof of Concept},
  booktitle = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
               France, September 24-27, 2013. Proceedings},
  pages     = {340--345},
  year      = {2013},
  crossref  = {DBLP:conf/rv/2013},
  url       = {https://doi.org/10.1007/978-3-642-40787-1\_22},
  doi       = {10.1007/978-3-642-40787-1\_22},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/NamjoshiTZ13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/NamjoshiZ13,
  author    = {Kedar S. Namjoshi and
               Lenore D. Zuck},
  title     = {Witnessing Program Transformations},
  booktitle = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle,
               WA, USA, June 20-22, 2013. Proceedings},
  pages     = {304--323},
  year      = {2013},
  crossref  = {DBLP:conf/sas/2013},
  url       = {https://doi.org/10.1007/978-3-642-38856-9\_17},
  doi       = {10.1007/978-3-642-38856-9\_17},
  timestamp = {Wed, 24 May 2017 08:27:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/NamjoshiZ13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/NamjoshiT13,
  author    = {Kedar S. Namjoshi and
               Richard J. Trefler},
  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},
  pages     = {496--514},
  year      = {2013},
  crossref  = {DBLP:conf/vmcai/2013},
  url       = {https://doi.org/10.1007/978-3-642-35873-9\_29},
  doi       = {10.1007/978-3-642-35873-9\_29},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/NamjoshiT13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Namjoshi13,
  author    = {Kedar S. Namjoshi},
  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.},
  pages     = {404--416},
  year      = {2013},
  crossref  = {DBLP:journals/corr/BanerjeeDDH13},
  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/bib/journals/corr/Namjoshi13},
  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 Technical Journal},
  volume    = {17},
  number    = {2},
  pages     = {15--24},
  year      = {2012},
  url       = {https://doi.org/10.1002/bltj.21541},
  doi       = {10.1002/bltj.21541},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/bell/KoppolNSW12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/NamjoshiT12,
  author    = {Kedar S. Namjoshi and
               Richard J. Trefler},
  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},
  pages     = {348--362},
  year      = {2012},
  crossref  = {DBLP:conf/vmcai/2012},
  url       = {https://doi.org/10.1007/978-3-642-27940-9\_23},
  doi       = {10.1007/978-3-642-27940-9\_23},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/NamjoshiT12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KleinN11,
  author    = {Uri Klein and
               Kedar S. Namjoshi},
  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},
  pages     = {541--556},
  year      = {2011},
  crossref  = {DBLP:conf/cav/2011},
  url       = {https://doi.org/10.1007/978-3-642-22110-1\_43},
  doi       = {10.1007/978-3-642-22110-1\_43},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/KleinN11},
  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},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/podc/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/bib/conf/podc/KoppolNSW11},
  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 = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hvc/2009},
  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 = {Tue, 13 Apr 2010 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijfcs/NamjoshiY10},
  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/bib/journals/tocl/NamjoshiT10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/VasudevanNE10,
  author    = {Nalini Vasudevan and
               Kedar S. Namjoshi and
               Stephen A. Edwards},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/IEEEpact/2010},
  url       = {https://doi.org/10.1145/1854273.1854287},
  doi       = {10.1145/1854273.1854287},
  timestamp = {Mon, 15 Apr 2019 16:17:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/IEEEpact/VasudevanNE10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CohenNS10,
  author    = {Ariel Cohen and
               Kedar S. Namjoshi and
               Yaniv Sa'ar},
  title     = {A Dash of Fairness for Compositional Reasoning},
  booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
               2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  pages     = {543--557},
  year      = {2010},
  crossref  = {DBLP:conf/cav/2010},
  url       = {https://doi.org/10.1007/978-3-642-14295-6\_46},
  doi       = {10.1007/978-3-642-14295-6\_46},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/CohenNS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CohenNS10a,
  author    = {Ariel Cohen and
               Kedar S. Namjoshi and
               Yaniv Sa'ar},
  title     = {{SPLIT:} {A} Compositional {LTL} Verifier},
  booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
               2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  pages     = {558--561},
  year      = {2010},
  crossref  = {DBLP:conf/cav/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/bib/conf/cav/CohenNS10a},
  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},
  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},
  pages     = {46--59},
  year      = {2010},
  crossref  = {DBLP:conf/hvc/2010},
  url       = {https://doi.org/10.1007/978-3-642-19583-9\_9},
  doi       = {10.1007/978-3-642-19583-9\_9},
  timestamp = {Fri, 19 May 2017 01:26:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hvc/CohenNSZK10},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/infocom/2010},
  url       = {https://doi.org/10.1109/INFCOM.2010.5462149},
  doi       = {10.1109/INFCOM.2010.5462149},
  timestamp = {Tue, 16 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/infocom/NamjoshiN10},
  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 Technical Journal},
  volume    = {14},
  number    = {3},
  pages     = {167--185},
  year      = {2009},
  url       = {https://doi.org/10.1002/bltj.20395},
  doi       = {10.1002/bltj.20395},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/bell/ArleinDHLN09},
  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 in System Design},
  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 = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/CohenN09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CohenN08,
  author    = {Ariel Cohen and
               Kedar S. Namjoshi},
  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},
  pages     = {149--161},
  year      = {2008},
  crossref  = {DBLP:conf/cav/2008},
  url       = {https://doi.org/10.1007/978-3-540-70545-1\_15},
  doi       = {10.1007/978-3-540-70545-1\_15},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/CohenN08},
  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 Barrett},
  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},
  pages     = {62--77},
  year      = {2008},
  crossref  = {DBLP:conf/sas/2008},
  url       = {https://doi.org/10.1007/978-3-540-69166-2\_5},
  doi       = {10.1007/978-3-540-69166-2\_5},
  timestamp = {Wed, 14 Nov 2018 10:55:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sas/ConwayDNB08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CohenN07,
  author    = {Ariel Cohen and
               Kedar S. Namjoshi},
  title     = {Local Proofs for Global Safety Properties},
  booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
               2007, Berlin, Germany, July 3-7, 2007, Proceedings},
  pages     = {55--67},
  year      = {2007},
  crossref  = {DBLP:conf/cav/2007},
  url       = {https://doi.org/10.1007/978-3-540-73368-3\_9},
  doi       = {10.1007/978-3-540-73368-3\_9},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/CohenN07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Namjoshi07,
  author    = {Kedar S. Namjoshi},
  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},
  pages     = {299--313},
  year      = {2007},
  crossref  = {DBLP:conf/vmcai/2007},
  url       = {https://doi.org/10.1007/978-3-540-69738-1\_22},
  doi       = {10.1007/978-3-540-69738-1\_22},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/Namjoshi07},
  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 = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2007},
  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, 30 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2006},
  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},
  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},
  pages     = {449--461},
  year      = {2005},
  crossref  = {DBLP:conf/cav/2005},
  url       = {https://doi.org/10.1007/11513988\_45},
  doi       = {10.1007/11513988\_45},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/ConwayNDE05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DamsN05,
  author    = {Dennis Dams and
               Kedar S. Namjoshi},
  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},
  pages     = {138--160},
  year      = {2005},
  crossref  = {DBLP:conf/fmco/2005},
  url       = {https://doi.org/10.1007/11804192\_7},
  doi       = {10.1007/11804192\_7},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/DamsN05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DamsN05,
  author    = {Dennis Dams and
               Kedar S. Namjoshi},
  title     = {Automata as Abstractions},
  booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
               Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
  pages     = {216--232},
  year      = {2005},
  crossref  = {DBLP:conf/vmcai/2005},
  url       = {https://doi.org/10.1007/978-3-540-30579-8\_15},
  doi       = {10.1007/978-3-540-30579-8\_15},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/DamsN05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Namjoshi04,
  author    = {Kedar S. Namjoshi},
  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},
  pages     = {57--69},
  year      = {2004},
  crossref  = {DBLP:conf/cav/2004},
  url       = {https://doi.org/10.1007/978-3-540-27813-9\_5},
  doi       = {10.1007/978-3-540-27813-9\_5},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/Namjoshi04},
  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},
  year      = {2004},
  crossref  = {DBLP:conf/lics/2004},
  url       = {https://doi.org/10.1109/LICS.2004.1319628},
  doi       = {10.1109/LICS.2004.1319628},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/DamsN04},
  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/bib/journals/ijfcs/EmersonN03},
  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/bib/journals/tosem/FeltyN03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Namjoshi03,
  author    = {Kedar S. Namjoshi},
  title     = {Abstraction for Branching Time Properties},
  booktitle = {Computer Aided Verification, 15th International Conference, {CAV}
               2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
  pages     = {288--300},
  year      = {2003},
  crossref  = {DBLP:conf/cav/2003},
  url       = {https://doi.org/10.1007/978-3-540-45069-6\_29},
  doi       = {10.1007/978-3-540-45069-6\_29},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/Namjoshi03},
  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},
  title     = {Abstract Patterns of Compositional Reasoning},
  booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
               Marseille, France, September 3-5, 2003, Proceedings},
  pages     = {423--438},
  year      = {2003},
  crossref  = {DBLP:conf/concur/2003},
  url       = {https://doi.org/10.1007/978-3-540-45187-7\_28},
  doi       = {10.1007/978-3-540-45187-7\_28},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/AmlaENT03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Namjoshi03,
  author    = {Kedar S. Namjoshi},
  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},
  pages     = {174--188},
  year      = {2003},
  crossref  = {DBLP:conf/vmcai/2003},
  url       = {https://doi.org/10.1007/3-540-36384-X\_16},
  doi       = {10.1007/3-540-36384-X\_16},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/Namjoshi03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DamsN03,
  author    = {Dennis Dams and
               Kedar S. Namjoshi},
  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},
  pages     = {310--324},
  year      = {2003},
  crossref  = {DBLP:conf/vmcai/2003},
  url       = {https://doi.org/10.1007/3-540-36384-X\_25},
  doi       = {10.1007/3-540-36384-X\_25},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/DamsN03},
  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},
  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},
  pages     = {226--242},
  year      = {2002},
  crossref  = {DBLP:conf/forte/2002},
  url       = {https://doi.org/10.1007/3-540-36135-9\_15},
  doi       = {10.1007/3-540-36135-9\_15},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/AmlaENT02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Namjoshi01,
  author    = {Kedar S. Namjoshi},
  title     = {Certifying Model Checkers},
  booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
               2001, Paris, France, July 18-22, 2001, Proceedings},
  pages     = {2--13},
  year      = {2001},
  crossref  = {DBLP:conf/cav/2001},
  url       = {https://doi.org/10.1007/3-540-44585-4\_2},
  doi       = {10.1007/3-540-44585-4\_2},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/Namjoshi01},
  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},
  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},
  pages     = {387--390},
  year      = {2001},
  crossref  = {DBLP:conf/cav/2001},
  url       = {https://doi.org/10.1007/3-540-44585-4\_38},
  doi       = {10.1007/3-540-44585-4\_38},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/AmlaEKN01},
  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},
  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},
  pages     = {465--479},
  year      = {2001},
  crossref  = {DBLP:conf/tacas/2001},
  url       = {https://doi.org/10.1007/3-540-45319-9\_32},
  doi       = {10.1007/3-540-45319-9\_32},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/AmlaENT01},
  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/bib/journals/todaes/RaimiHN00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NamjoshiT00,
  author    = {Kedar S. Namjoshi and
               Richard J. Trefler},
  title     = {On the Competeness of Compositional Reasoning},
  booktitle = {Computer Aided Verification, 12th International Conference, {CAV}
               2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
  pages     = {139--153},
  year      = {2000},
  crossref  = {DBLP:conf/cav/2000},
  url       = {https://doi.org/10.1007/10722167\_14},
  doi       = {10.1007/10722167\_14},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/NamjoshiT00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NamjoshiK00,
  author    = {Kedar S. Namjoshi and
               Robert P. Kurshan},
  title     = {Syntactic Program Transformations for Automatic Abstraction},
  booktitle = {Computer Aided Verification, 12th International Conference, {CAV}
               2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
  pages     = {435--449},
  year      = {2000},
  crossref  = {DBLP:conf/cav/2000},
  url       = {https://doi.org/10.1007/10722167\_33},
  doi       = {10.1007/10722167\_33},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/NamjoshiK00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/FeltyN00,
  author    = {Amy P. Felty and
               Kedar S. Namjoshi},
  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},
  year      = {2000},
  crossref  = {DBLP:conf/fiw/2000},
  timestamp = {Tue, 16 Nov 2004 09:12:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fiw/FeltyN00},
  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},
  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},
  pages     = {283--298},
  year      = {2000},
  crossref  = {DBLP:conf/fmcad/2000},
  url       = {https://doi.org/10.1007/3-540-40922-X\_18},
  doi       = {10.1007/3-540-40922-X\_18},
  timestamp = {Wed, 24 May 2017 15:40:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/AmlaEKN00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ManoliosNS99,
  author    = {Panagiotis Manolios and
               Kedar S. Namjoshi and
               Robert Summers},
  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},
  pages     = {369--379},
  year      = {1999},
  crossref  = {DBLP:conf/cav/1999},
  url       = {https://doi.org/10.1007/3-540-48683-6\_32},
  doi       = {10.1007/3-540-48683-6\_32},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/ManoliosNS99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NamjoshiK99,
  author    = {Kedar S. Namjoshi and
               Robert P. Kurshan},
  title     = {Efficient Analysis of Cyclic Definitions},
  booktitle = {Computer Aided Verification, 11th International Conference, {CAV}
               '99, Trento, Italy, July 6-10, 1999, Proceedings},
  pages     = {394--405},
  year      = {1999},
  crossref  = {DBLP:conf/cav/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 15:40:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/NamjoshiK99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/AmlaEN99,
  author    = {Nina Amla and
               E. Allen Emerson and
               Kedar S. Namjoshi},
  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},
  pages     = {67--81},
  year      = {1999},
  crossref  = {DBLP:conf/charme/1999},
  url       = {https://doi.org/10.1007/3-540-48153-2\_7},
  doi       = {10.1007/3-540-48153-2\_7},
  timestamp = {Wed, 24 May 2017 15:40:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/charme/AmlaEN99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EmersonN98,
  author    = {E. Allen Emerson and
               Kedar S. Namjoshi},
  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},
  pages     = {452--463},
  year      = {1998},
  crossref  = {DBLP:conf/cav/1998},
  url       = {https://doi.org/10.1007/BFb0028766},
  doi       = {10.1007/BFb0028766},
  timestamp = {Tue, 23 May 2017 11:53:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/EmersonN98},
  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},
  year      = {1998},
  crossref  = {DBLP:conf/lics/1998},
  url       = {https://doi.org/10.1109/LICS.1998.705644},
  doi       = {10.1109/LICS.1998.705644},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/EmersonN98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Namjoshi97,
  author    = {Kedar S. Namjoshi},
  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},
  pages     = {284--296},
  year      = {1997},
  crossref  = {DBLP:conf/fsttcs/1997},
  url       = {https://doi.org/10.1007/BFb0058037},
  doi       = {10.1007/BFb0058037},
  timestamp = {Tue, 23 May 2017 11:53:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/Namjoshi97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EmersonN96,
  author    = {E. Allen Emerson and
               Kedar S. Namjoshi},
  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},
  pages     = {87--98},
  year      = {1996},
  crossref  = {DBLP:conf/cav/1996},
  url       = {https://doi.org/10.1007/3-540-61474-5\_60},
  doi       = {10.1007/3-540-61474-5\_60},
  timestamp = {Mon, 22 May 2017 16:14:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/EmersonN96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/EmersonN95,
  author    = {E. Allen Emerson and
               Kedar S. Namjoshi},
  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},
  year      = {1995},
  crossref  = {DBLP:conf/popl/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/bib/conf/popl/EmersonN95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2018-1,
  editor    = {Hana Chockler and
               Georg Weissenbacher},
  title     = {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},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-96145-3},
  doi       = {10.1007/978-3-319-96145-3},
  isbn      = {978-3-319-96144-6},
  timestamp = {Mon, 23 Jul 2018 17:17:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2018-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2018,
  editor    = {Andreas Podelski},
  title     = {Static Analysis - 25th International Symposium, {SAS} 2018, Freiburg,
               Germany, August 29-31, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11002},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-99725-4},
  doi       = {10.1007/978-3-319-99725-4},
  isbn      = {978-3-319-99724-7},
  timestamp = {Wed, 29 Aug 2018 12:01:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2018-2,
  editor    = {Dirk Beyer and
               Marieke Huisman},
  title     = {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},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-89963-3},
  doi       = {10.1007/978-3-319-89963-3},
  isbn      = {978-3-319-89962-6},
  timestamp = {Tue, 17 Apr 2018 09:53:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2018-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:reference/mc/2018,
  editor    = {Edmund M. Clarke and
               Thomas A. Henzinger and
               Helmut Veith and
               Roderick Bloem},
  title     = {Handbook of Model Checking},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-10575-8},
  doi       = {10.1007/978-3-319-10575-8},
  isbn      = {978-3-319-10574-1},
  timestamp = {Tue, 29 May 2018 12:30:27 +0200},
  biburl    = {https://dblp.org/rec/bib/reference/mc/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2017,
  editor    = {Shuvendu K. Lahiri and
               Giles Reger},
  title     = {Runtime Verification - 17th International Conference, {RV} 2017, Seattle,
               WA, USA, September 13-16, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10548},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-67531-2},
  doi       = {10.1007/978-3-319-67531-2},
  isbn      = {978-3-319-67530-5},
  timestamp = {Wed, 06 Sep 2017 15:37:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2017,
  editor    = {Francesco Ranzato},
  title     = {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},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66706-5},
  doi       = {10.1007/978-3-319-66706-5},
  isbn      = {978-3-319-66705-8},
  timestamp = {Tue, 22 Aug 2017 07:32:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qrs/2016,
  title     = {2016 {IEEE} International Conference on Software Quality, Reliability
               and Security, {QRS} 2016, Vienna, Austria, August 1-3, 2016},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7588292},
  isbn      = {978-1-5090-4127-5},
  timestamp = {Mon, 17 Oct 2016 16:40:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qrs/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2016,
  editor    = {Xavier Rival},
  title     = {Static Analysis - 23rd International Symposium, {SAS} 2016, Edinburgh,
               UK, September 8-10, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9837},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-53413-7},
  doi       = {10.1007/978-3-662-53413-7},
  isbn      = {978-3-662-53412-0},
  timestamp = {Wed, 14 Nov 2018 10:55:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sas/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2016,
  editor    = {Marsha Chechik and
               Jean{-}Fran{\c{c}}ois Raskin},
  title     = {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},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-49674-9},
  doi       = {10.1007/978-3-662-49674-9},
  isbn      = {978-3-662-49673-2},
  timestamp = {Fri, 02 Nov 2018 09:42:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2015,
  editor    = {Susanne Graf and
               Mahesh Viswanathan},
  title     = {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},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19195-9},
  doi       = {10.1007/978-3-319-19195-9},
  isbn      = {978-3-319-19194-2},
  timestamp = {Sun, 21 May 2017 00:17:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2015,
  editor    = {Christel Baier and
               Cesare Tinelli},
  title     = {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},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46681-0},
  doi       = {10.1007/978-3-662-46681-0},
  isbn      = {978-3-662-46680-3},
  timestamp = {Thu, 15 Jun 2017 21:37:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2015,
  editor    = {Deepak D'Souza and
               Akash Lal and
               Kim Guldstrand Larsen},
  title     = {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},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-46081-8},
  doi       = {10.1007/978-3-662-46081-8},
  isbn      = {978-3-662-46080-1},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2013,
  editor    = {Axel Legay and
               Saddek Bensalem},
  title     = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
               France, September 24-27, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8174},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40787-1},
  doi       = {10.1007/978-3-642-40787-1},
  isbn      = {978-3-642-40786-4},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2013,
  editor    = {Francesco Logozzo and
               Manuel F{\"{a}}hndrich},
  title     = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle,
               WA, USA, June 20-22, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7935},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38856-9},
  doi       = {10.1007/978-3-642-38856-9},
  isbn      = {978-3-642-38855-2},
  timestamp = {Wed, 24 May 2017 08:27:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2013,
  editor    = {Roberto Giacobazzi and
               Josh Berdine and
               Isabella Mastroeni},
  title     = {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},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-35873-9},
  doi       = {10.1007/978-3-642-35873-9},
  isbn      = {978-3-642-35872-2},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BanerjeeDDH13,
  editor    = {Anindya Banerjee and
               Olivier Danvy and
               Kyung{-}Goo Doh and
               John Hatcliff},
  title     = {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},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.129},
  doi       = {10.4204/EPTCS.129},
  timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BanerjeeDDH13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2012,
  editor    = {Viktor Kuncak and
               Andrey Rybalchenko},
  title     = {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},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-27940-9},
  doi       = {10.1007/978-3-642-27940-9},
  isbn      = {978-3-642-27939-3},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2011,
  editor    = {Ganesh Gopalakrishnan and
               Shaz Qadeer},
  title     = {Computer Aided Verification - 23rd International Conference, {CAV}
               2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6806},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22110-1},
  doi       = {10.1007/978-3-642-22110-1},
  isbn      = {978-3-642-22109-5},
  timestamp = {Thu, 25 May 2017 00:39:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/podc/2011,
  editor    = {Cyril Gavoille and
               Pierre Fraigniaud},
  title     = {Proceedings of the 30th Annual {ACM} Symposium on Principles of Distributed
               Computing, {PODC} 2011, San Jose, CA, USA, June 6-8, 2011},
  publisher = {{ACM}},
  year      = {2011},
  url       = {http://dl.acm.org/citation.cfm?id=1993806},
  isbn      = {978-1-4503-0719-2},
  timestamp = {Wed, 23 May 2012 14:26:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/podc/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/IEEEpact/2010,
  editor    = {Valentina Salapura and
               Michael Gschwind and
               Jens Knoop},
  title     = {19th International Conference on Parallel Architectures and Compilation
               Techniques, {PACT} 2010, Vienna, Austria, September 11-15, 2010},
  publisher = {{ACM}},
  year      = {2010},
  url       = {https://doi.org/10.1145/1854273},
  doi       = {10.1145/1854273},
  isbn      = {978-1-4503-0178-7},
  timestamp = {Mon, 15 Apr 2019 16:17:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/IEEEpact/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2010,
  editor    = {Tayssir Touili and
               Byron Cook and
               Paul B. Jackson},
  title     = {Computer Aided Verification, 22nd International Conference, {CAV}
               2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6174},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14295-6},
  doi       = {10.1007/978-3-642-14295-6},
  isbn      = {978-3-642-14294-9},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hvc/2010,
  editor    = {Sharon Barner and
               Ian G. Harris and
               Daniel Kroening and
               Orna Raz},
  title     = {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},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-19583-9},
  doi       = {10.1007/978-3-642-19583-9},
  isbn      = {978-3-642-19582-2},
  timestamp = {Fri, 19 May 2017 01:26:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hvc/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/infocom/2010,
  title     = {{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}},
  publisher = {{IEEE}},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5461675},
  isbn      = {978-1-4244-5838-7},
  timestamp = {Mon, 26 Jan 2015 16:54:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/infocom/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2008,
  editor    = {Aarti Gupta and
               Sharad Malik},
  title     = {Computer Aided Verification, 20th International Conference, {CAV}
               2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5123},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-70545-1},
  doi       = {10.1007/978-3-540-70545-1},
  isbn      = {978-3-540-70543-7},
  timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2008,
  editor    = {Mar{\'{\i}}a Alpuente and
               Germ{\'{a}}n Vidal},
  title     = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
               Spain, July 16-18, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5079},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-69166-2},
  doi       = {10.1007/978-3-540-69166-2},
  isbn      = {978-3-540-69163-1},
  timestamp = {Wed, 14 Nov 2018 10:55:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sas/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2007,
  editor    = {Werner Damm and
               Holger Hermanns},
  title     = {Computer Aided Verification, 19th International Conference, {CAV}
               2007, Berlin, Germany, July 3-7, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4590},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73368-3},
  doi       = {10.1007/978-3-540-73368-3},
  isbn      = {978-3-540-73367-6},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2007,
  editor    = {Byron Cook and
               Andreas Podelski},
  title     = {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},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-69738-1},
  doi       = {10.1007/978-3-540-69738-1},
  isbn      = {978-3-540-69735-0},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2005,
  editor    = {Kousha Etessami and
               Sriram K. Rajamani},
  title     = {Computer Aided Verification, 17th International Conference, {CAV}
               2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3576},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b138445},
  doi       = {10.1007/b138445},
  isbn      = {3-540-27231-3},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2005,
  editor    = {Frank S. de Boer and
               Marcello M. Bonsangue and
               Susanne Graf and
               Willem P. de Roever},
  title     = {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},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11804192},
  doi       = {10.1007/11804192},
  isbn      = {3-540-36749-7},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2005,
  editor    = {Radhia Cousot},
  title     = {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},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b105073},
  doi       = {10.1007/b105073},
  isbn      = {3-540-24297-X},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2004,
  editor    = {Rajeev Alur and
               Doron A. Peled},
  title     = {Computer Aided Verification, 16th International Conference, {CAV}
               2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3114},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b98490},
  doi       = {10.1007/b98490},
  isbn      = {3-540-22342-8},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2004,
  title     = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
               14-17 July 2004, Turku, Finland, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9221},
  isbn      = {0-7695-2192-4},
  timestamp = {Fri, 21 Nov 2014 14:08:55 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2003,
  editor    = {Warren A. Hunt Jr. and
               Fabio Somenzi},
  title     = {Computer Aided Verification, 15th International Conference, {CAV}
               2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2725},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b11831},
  doi       = {10.1007/b11831},
  isbn      = {3-540-40524-0},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2003,
  editor    = {Roberto M. Amadio and
               Denis Lugiez},
  title     = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
               Marseille, France, September 3-5, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2761},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b11938},
  doi       = {10.1007/b11938},
  isbn      = {3-540-40753-7},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2003,
  editor    = {Lenore D. Zuck and
               Paul C. Attie and
               Agostino Cortesi and
               Supratik Mukhopadhyay},
  title     = {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},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-36384-X},
  doi       = {10.1007/3-540-36384-X},
  isbn      = {3-540-00348-7},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2002,
  editor    = {Doron A. Peled and
               Moshe Y. Vardi},
  title     = {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},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-36135-9},
  doi       = {10.1007/3-540-36135-9},
  isbn      = {3-540-00141-7},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2001,
  editor    = {G{\'{e}}rard Berry and
               Hubert Comon and
               Alain Finkel},
  title     = {Computer Aided Verification, 13th International Conference, {CAV}
               2001, Paris, France, July 18-22, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2102},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44585-4},
  doi       = {10.1007/3-540-44585-4},
  isbn      = {3-540-42345-1},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2001,
  editor    = {Tiziana Margaria and
               Wang Yi},
  title     = {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},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45319-9},
  doi       = {10.1007/3-540-45319-9},
  isbn      = {3-540-41865-2},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2000,
  editor    = {E. Allen Emerson and
               A. Prasad Sistla},
  title     = {Computer Aided Verification, 12th International Conference, {CAV}
               2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1855},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/10722167},
  doi       = {10.1007/10722167},
  isbn      = {3-540-67770-4},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fiw/2000,
  editor    = {Muffy Calder and
               Evan H. Magill},
  title     = {Feature Interactions in Telecommunications and Software Systems VI,
               May 17-19, 2000, Glasgow, Scotland, {UK}},
  publisher = {{IOS} Press},
  year      = {2000},
  isbn      = {1-58603-065-5},
  timestamp = {Tue, 16 Nov 2004 09:12:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fiw/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2000,
  editor    = {Warren A. Hunt Jr. and
               Steven D. Johnson},
  title     = {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},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-40922-X},
  doi       = {10.1007/3-540-40922-X},
  isbn      = {3-540-41219-0},
  timestamp = {Wed, 24 May 2017 15:40:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1999,
  editor    = {Nicolas Halbwachs and
               Doron A. Peled},
  title     = {Computer Aided Verification, 11th International Conference, {CAV}
               '99, Trento, Italy, July 6-10, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1633},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48683-6},
  doi       = {10.1007/3-540-48683-6},
  isbn      = {3-540-66202-2},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/charme/1999,
  editor    = {Laurence Pierre and
               Thomas Kropf},
  title     = {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},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48153-2},
  doi       = {10.1007/3-540-48153-2},
  isbn      = {3-540-66559-5},
  timestamp = {Wed, 24 May 2017 15:40:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/charme/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1998,
  editor    = {Alan J. Hu and
               Moshe Y. Vardi},
  title     = {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},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0028725},
  doi       = {10.1007/BFb0028725},
  isbn      = {3-540-64608-6},
  timestamp = {Tue, 23 May 2017 11:53:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/1998,
  title     = {Thirteenth Annual {IEEE} Symposium on Logic in Computer Science, Indianapolis,
               Indiana, USA, June 21-24, 1998},
  publisher = {{IEEE} Computer Society},
  year      = {1998},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5684},
  isbn      = {0-8186-8506-9},
  timestamp = {Fri, 21 Nov 2014 14:08:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/1997,
  editor    = {S. Ramesh and
               G. Sivakumar},
  title     = {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},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0058017},
  doi       = {10.1007/BFb0058017},
  isbn      = {3-540-63876-8},
  timestamp = {Tue, 23 May 2017 11:53:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1996,
  editor    = {Rajeev Alur and
               Thomas A. Henzinger},
  title     = {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},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61474-5},
  doi       = {10.1007/3-540-61474-5},
  isbn      = {3-540-61474-5},
  timestamp = {Mon, 22 May 2017 16:14:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/1995,
  editor    = {Ron K. Cytron and
               Peter Lee},
  title     = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, San Francisco, California,
               USA, January 23-25, 1995},
  publisher = {{ACM} Press},
  year      = {1995},
  url       = {http://dl.acm.org/citation.cfm?id=199448},
  isbn      = {0-89791-692-1},
  timestamp = {Mon, 10 Dec 2012 15:26:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier