BibTeX records: Pavol Cerný

download as .bib file

@article{DBLP:journals/fmsd/CernyCHRRST17,
  author    = {Pavol Cern{\'{y}} and
               Edmund M. Clarke and
               Thomas A. Henzinger and
               Arjun Radhakrishna and
               Leonid Ryzhyk and
               Roopsha Samanta and
               Thorsten Tarrach},
  title     = {From non-preemptive to preemptive scheduling using synchronization
               synthesis},
  journal   = {Formal Methods in System Design},
  volume    = {50},
  number    = {2-3},
  pages     = {97--139},
  year      = {2017},
  url       = {https://doi.org/10.1007/s10703-016-0256-5},
  doi       = {10.1007/s10703-016-0256-5},
  timestamp = {Wed, 26 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/fmsd/CernyCHRRST17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cav/McClurgHC17,
  author    = {Jedidiah McClurg and
               Hossein Hojjat and
               Pavol Cern{\'{y}}},
  title     = {Synchronization Synthesis for Network Programs},
  booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
               2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}},
  pages     = {301--321},
  year      = {2017},
  crossref  = {DBLP:conf/cav/2017-2},
  url       = {https://doi.org/10.1007/978-3-319-63390-9_16},
  doi       = {10.1007/978-3-319-63390-9_16},
  timestamp = {Fri, 14 Jul 2017 13:04:29 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/McClurgHC17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Tizpaz-NiariCCS17,
  author    = {Saeid Tizpaz{-}Niari and
               Pavol Cern{\'{y}} and
               Bor{-}Yuh Evan Chang and
               Sriram Sankaranarayanan and
               Ashutosh Trivedi},
  title     = {Discriminating Traces with Time},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 23rd International Conference, {TACAS} 2017, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}},
  pages     = {21--37},
  year      = {2017},
  crossref  = {DBLP:conf/tacas/2017-2},
  url       = {https://doi.org/10.1007/978-3-662-54580-5_2},
  doi       = {10.1007/978-3-662-54580-5_2},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tacas/Tizpaz-NiariCCS17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/RadhakrishnaLMM17,
  author    = {Arjun Radhakrishna and
               Nicholas Lewchenko and
               Shawn Meier and
               Sergio Mover and
               Krishna Chaitanya Sripada and
               Damien Zufferey and
               Bor{-}Yuh Evan Chang and
               Pavol Cern{\'{y}}},
  title     = {Learning Asynchronous Typestates for Android Classes},
  journal   = {CoRR},
  volume    = {abs/1701.07842},
  year      = {2017},
  url       = {http://arxiv.org/abs/1701.07842},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/RadhakrishnaLMM17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/Tizpaz-NiariCCS17,
  author    = {Saeid Tizpaz{-}Niari and
               Pavol Cern{\'{y}} and
               Bor{-}Yuh Evan Chang and
               Sriram Sankaranarayanan and
               Ashutosh Trivedi},
  title     = {Discriminating Traces with Time},
  journal   = {CoRR},
  volume    = {abs/1702.07103},
  year      = {2017},
  url       = {http://arxiv.org/abs/1702.07103},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/Tizpaz-NiariCCS17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Cerny16,
  author    = {Pavol Cern{\'{y}}},
  title     = {Program synthesis for networks},
  booktitle = {2016 Formal Methods in Computer-Aided Design, {FMCAD} 2016, Mountain
               View, CA, USA, October 3-6, 2016},
  pages     = {7},
  year      = {2016},
  crossref  = {DBLP:conf/fmcad/2016},
  url       = {https://doi.org/10.1109/FMCAD.2016.7886653},
  doi       = {10.1109/FMCAD.2016.7886653},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fmcad/Cerny16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HojjatRMCF16,
  author    = {Hossein Hojjat and
               Philipp R{\"{u}}mmer and
               Jedidiah McClurg and
               Pavol Cern{\'{y}} and
               Nate Foster},
  title     = {Optimizing horn solvers for network repair},
  booktitle = {2016 Formal Methods in Computer-Aided Design, {FMCAD} 2016, Mountain
               View, CA, USA, October 3-6, 2016},
  pages     = {73--80},
  year      = {2016},
  crossref  = {DBLP:conf/fmcad/2016},
  url       = {https://doi.org/10.1109/FMCAD.2016.7886663},
  doi       = {10.1109/FMCAD.2016.7886663},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fmcad/HojjatRMCF16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pldi/McClurgHFC16,
  author    = {Jedidiah McClurg and
               Hossein Hojjat and
               Nate Foster and
               Pavol Cern{\'{y}}},
  title     = {Event-driven network programming},
  booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
               USA, June 13-17, 2016},
  pages     = {369--385},
  year      = {2016},
  crossref  = {DBLP:conf/pldi/2016},
  url       = {http://doi.acm.org/10.1145/2908080.2908097},
  doi       = {10.1145/2908080.2908097},
  timestamp = {Mon, 06 Jun 2016 12:07:41 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/McClurgHFC16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wdag/CernyFJM16,
  author    = {Pavol Cern{\'{y}} and
               Nate Foster and
               Nilesh Jagnik and
               Jedidiah McClurg},
  title     = {Optimal Consistent Network Updates in Polynomial Time},
  booktitle = {Distributed Computing - 30th International Symposium, {DISC} 2016,
               Paris, France, September 27-29, 2016. Proceedings},
  pages     = {114--128},
  year      = {2016},
  crossref  = {DBLP:conf/wdag/2016},
  url       = {https://doi.org/10.1007/978-3-662-53426-7_9},
  doi       = {10.1007/978-3-662-53426-7_9},
  timestamp = {Fri, 19 May 2017 01:25:17 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wdag/CernyFJM16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/CernyKM16,
  editor    = {Pavol Cern{\'{y}} and
               Viktor Kuncak and
               Parthasarathy Madhusudan},
  title     = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco,
               CA, USA, 18th July 2015},
  series    = {{EPTCS}},
  volume    = {202},
  year      = {2016},
  url       = {https://doi.org/10.4204/EPTCS.202},
  doi       = {10.4204/EPTCS.202},
  timestamp = {Wed, 03 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/CernyKM16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/CernyFJM16,
  author    = {Pavol Cern{\'{y}} and
               Nate Foster and
               Nilesh Jagnik and
               Jedidiah McClurg},
  title     = {Optimal Consistent Network Updates in Polynomial Time},
  journal   = {CoRR},
  volume    = {abs/1607.05159},
  year      = {2016},
  url       = {http://arxiv.org/abs/1607.05159},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/CernyFJM16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurCR15,
  author    = {Rajeev Alur and
               Pavol Cern{\'{y}} and
               Arjun Radhakrishna},
  title     = {Synthesis Through Unification},
  booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
               2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
               {II}},
  pages     = {163--179},
  year      = {2015},
  crossref  = {DBLP:conf/cav/2015},
  url       = {https://doi.org/10.1007/978-3-319-21668-3_10},
  doi       = {10.1007/978-3-319-21668-3_10},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/AlurCR15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cav/CernyCHRRST15,
  author    = {Pavol Cern{\'{y}} and
               Edmund M. Clarke and
               Thomas A. Henzinger and
               Arjun Radhakrishna and
               Leonid Ryzhyk and
               Roopsha Samanta and
               Thorsten Tarrach},
  title     = {From Non-preemptive to Preemptive Scheduling Using Synchronization
               Synthesis},
  booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
               2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
               {II}},
  pages     = {180--197},
  year      = {2015},
  crossref  = {DBLP:conf/cav/2015},
  url       = {https://doi.org/10.1007/978-3-319-21668-3_11},
  doi       = {10.1007/978-3-319-21668-3_11},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/CernyCHRRST15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/esop/CernyHKRZ15,
  author    = {Pavol Cern{\'{y}} and
               Thomas A. Henzinger and
               Laura Kov{\'{a}}cs and
               Arjun Radhakrishna and
               Jakob Zwirchmayr},
  title     = {Segment Abstraction for Worst-Case Execution Time Analysis},
  booktitle = {Programming Languages and Systems - 24th European Symposium on Programming,
               {ESOP} 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     = {105--131},
  year      = {2015},
  crossref  = {DBLP:conf/esop/2015},
  url       = {https://doi.org/10.1007/978-3-662-46669-8_5},
  doi       = {10.1007/978-3-662-46669-8_5},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/esop/CernyHKRZ15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KimCD15,
  author    = {Youngsung Kim and
               Pavol Cern{\'{y}} and
               John M. Dennis},
  title     = {Performance search engine driven by prior knowledge of optimization},
  booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} International Workshop on Libraries,
               Languages, and Compilers for Array Programming, ARRAY@PLDI, Portland,
               OR, USA, June 15 - 17, 2015},
  pages     = {25--30},
  year      = {2015},
  crossref  = {DBLP:conf/pldi/2015array},
  url       = {http://doi.acm.org/10.1145/2774959.2774963},
  doi       = {10.1145/2774959.2774963},
  timestamp = {Wed, 29 Jun 2016 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/KimCD15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pldi/McClurgHCF15,
  author    = {Jedidiah McClurg and
               Hossein Hojjat and
               Pavol Cern{\'{y}} and
               Nate Foster},
  title     = {Efficient synthesis of network updates},
  booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, Portland, OR, USA, June 15-17,
               2015},
  pages     = {196--207},
  year      = {2015},
  crossref  = {DBLP:conf/pldi/2015},
  url       = {http://doi.acm.org/10.1145/2737924.2737980},
  doi       = {10.1145/2737924.2737980},
  timestamp = {Fri, 05 Jun 2015 07:23:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/McClurgHCF15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/CernyCHRRST15,
  author    = {Pavol Cern{\'{y}} and
               Edmund M. Clarke and
               Thomas A. Henzinger and
               Arjun Radhakrishna and
               Leonid Ryzhyk and
               Roopsha Samanta and
               Thorsten Tarrach},
  title     = {From Non-preemptive to Preemptive Scheduling using Synchronization
               Synthesis},
  journal   = {CoRR},
  volume    = {abs/1505.04533},
  year      = {2015},
  url       = {http://arxiv.org/abs/1505.04533},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/CernyCHRRST15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/AlurCR15,
  author    = {Rajeev Alur and
               Pavol Cern{\'{y}} and
               Arjun Radhakrishna},
  title     = {Synthesis through Unification},
  journal   = {CoRR},
  volume    = {abs/1505.05868},
  year      = {2015},
  url       = {http://arxiv.org/abs/1505.05868},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/AlurCR15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/McClurgHFC15,
  author    = {Jedidiah McClurg and
               Hossein Hojjat and
               Nate Foster and
               Pavol Cern{\'{y}}},
  title     = {Specification and Compilation of Event-driven {SDN} Programs},
  journal   = {CoRR},
  volume    = {abs/1507.07049},
  year      = {2015},
  url       = {http://arxiv.org/abs/1507.07049},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/McClurgHFC15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/CernyCHRRST15a,
  author    = {Pavol Cern{\'{y}} and
               Edmund M. Clarke and
               Thomas A. Henzinger and
               Arjun Radhakrishna and
               Leonid Ryzhyk and
               Roopsha Samanta and
               Thorsten Tarrach},
  title     = {Optimizing Solution Quality in Synchronization Synthesis},
  journal   = {CoRR},
  volume    = {abs/1511.07163},
  year      = {2015},
  url       = {http://arxiv.org/abs/1511.07163},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/CernyCHRRST15a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/CernyCHR14,
  author    = {Pavol Cern{\'{y}} and
               Martin Chmelik and
               Thomas A. Henzinger and
               Arjun Radhakrishna},
  title     = {Interface simulation distances},
  journal   = {Theor. Comput. Sci.},
  volume    = {560},
  pages     = {348--363},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.tcs.2014.08.019},
  doi       = {10.1016/j.tcs.2014.08.019},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/CernyCHR14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cav/CernyHRRT14,
  author    = {Pavol Cern{\'{y}} and
               Thomas A. Henzinger and
               Arjun Radhakrishna and
               Leonid Ryzhyk and
               Thorsten Tarrach},
  title     = {Regression-Free Synthesis for Concurrency},
  booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
               2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
               Austria, July 18-22, 2014. Proceedings},
  pages     = {568--584},
  year      = {2014},
  crossref  = {DBLP:conf/cav/2014},
  url       = {https://doi.org/10.1007/978-3-319-08867-9_38},
  doi       = {10.1007/978-3-319-08867-9_38},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/CernyHRRT14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/McClurgFC14,
  author    = {Jedidiah McClurg and
               Nate Foster and
               Pavol Cern{\'{y}}},
  title     = {Efficient Synthesis of Network Updates},
  journal   = {CoRR},
  volume    = {abs/1403.5843},
  year      = {2014},
  url       = {http://arxiv.org/abs/1403.5843},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/McClurgFC14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/CernyHRRT14,
  author    = {Pavol Cern{\'{y}} and
               Thomas A. Henzinger and
               Arjun Radhakrishna and
               Leonid Ryzhyk and
               Thorsten Tarrach},
  title     = {Regression-free Synthesis for Concurrency},
  journal   = {CoRR},
  volume    = {abs/1407.3681},
  year      = {2014},
  url       = {http://arxiv.org/abs/1407.3681},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/CernyHRRT14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cav/CernyHRRT13,
  author    = {Pavol Cern{\'{y}} and
               Thomas A. Henzinger and
               Arjun Radhakrishna and
               Leonid Ryzhyk and
               Thorsten Tarrach},
  title     = {Efficient Synthesis for Concurrency by Semantics-Preserving Transformations},
  booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
               2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  pages     = {951--967},
  year      = {2013},
  crossref  = {DBLP:conf/cav/2013},
  url       = {https://doi.org/10.1007/978-3-642-39799-8_68},
  doi       = {10.1007/978-3-642-39799-8_68},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/CernyHRRT13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/popl/CernyHR13,
  author    = {Pavol Cern{\'{y}} and
               Thomas A. Henzinger and
               Arjun Radhakrishna},
  title     = {Quantitative abstraction refinement},
  booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
               2013},
  pages     = {115--128},
  year      = {2013},
  crossref  = {DBLP:conf/popl/2013},
  url       = {http://doi.acm.org/10.1145/2429069.2429085},
  doi       = {10.1145/2429069.2429085},
  timestamp = {Fri, 18 Jan 2013 17:48:28 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/popl/CernyHR13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/NoyesWCF14,
  author    = {Andrew Noyes and
               Todd Warszawski and
               Pavol Cern{\'{y}} and
               Nate Foster},
  title     = {Toward Synthesis of Network Updates},
  booktitle = {Proceedings Second Workshop on Synthesis, {SYNT} 2013, Saint Petersburg,
               Russia, July 13th and July 14th, 2013.},
  pages     = {8--23},
  year      = {2013},
  crossref  = {DBLP:journals/corr/FinkbeinerS14},
  url       = {https://doi.org/10.4204/EPTCS.142.8},
  doi       = {10.4204/EPTCS.142.8},
  timestamp = {Wed, 03 May 2017 14:47:57 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/NoyesWCF14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/CernyHR12,
  author    = {Pavol Cern{\'{y}} and
               Thomas A. Henzinger and
               Arjun Radhakrishna},
  title     = {Simulation distances},
  journal   = {Theor. Comput. Sci.},
  volume    = {413},
  number    = {1},
  pages     = {21--35},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.tcs.2011.08.002},
  doi       = {10.1016/j.tcs.2011.08.002},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/CernyHR12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tocl/AlurCW12,
  author    = {Rajeev Alur and
               Pavol Cern{\'{y}} and
               Scott Weinstein},
  title     = {Algorithmic analysis of array-accessing programs},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {13},
  number    = {3},
  pages     = {27:1--27:29},
  year      = {2012},
  url       = {http://doi.acm.org/10.1145/2287718.2287727},
  doi       = {10.1145/2287718.2287727},
  timestamp = {Mon, 09 Jan 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/tocl/AlurCW12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/CernyGHRT12,
  author    = {Pavol Cern{\'{y}} and
               Sivakanth Gopi and
               Thomas A. Henzinger and
               Arjun Radhakrishna and
               Nishant Totla},
  title     = {Synthesis from incompatible specifications},
  booktitle = {Proceedings of the 12th International Conference on Embedded Software,
               {EMSOFT} 2012, part of the Eighth Embedded Systems Week, ESWeek 2012,
               Tampere, Finland, October 7-12, 2012},
  pages     = {53--62},
  year      = {2012},
  crossref  = {DBLP:conf/emsoft/2012},
  url       = {http://doi.acm.org/10.1145/2380356.2380371},
  doi       = {10.1145/2380356.2380371},
  timestamp = {Sun, 06 Jan 2013 12:08:25 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/emsoft/CernyGHRT12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2450,
  author    = {Pavol Cern{\'{y}} and
               Martin Chmelik and
               Thomas A. Henzinger and
               Arjun Radhakrishna},
  title     = {Interface Simulation Distances},
  booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
               and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
               2012.},
  pages     = {29--42},
  year      = {2012},
  crossref  = {DBLP:journals/corr/abs-1210-2028},
  url       = {https://doi.org/10.4204/EPTCS.96.3},
  doi       = {10.4204/EPTCS.96.3},
  timestamp = {Wed, 03 May 2017 14:47:55 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1210-2450},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cav/CernyCHRS11,
  author    = {Pavol Cern{\'{y}} and
               Krishnendu Chatterjee and
               Thomas A. Henzinger and
               Arjun Radhakrishna and
               Rohit Singh},
  title     = {Quantitative Synthesis for Concurrent Programs},
  booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
               2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
  pages     = {243--259},
  year      = {2011},
  crossref  = {DBLP:conf/cav/2011},
  url       = {https://doi.org/10.1007/978-3-642-22110-1_20},
  doi       = {10.1007/978-3-642-22110-1_20},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/CernyCHRS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/csfw/CernyCH11,
  author    = {Pavol Cern{\'{y}} and
               Krishnendu Chatterjee and
               Thomas A. Henzinger},
  title     = {The Complexity of Quantitative Information Flow Problems},
  booktitle = {Proceedings of the 24th {IEEE} Computer Security Foundations Symposium,
               {CSF} 2011, Cernay-la-Ville, France, 27-29 June, 2011},
  pages     = {205--217},
  year      = {2011},
  crossref  = {DBLP:conf/csfw/2011},
  url       = {https://doi.org/10.1109/CSF.2011.21},
  doi       = {10.1109/CSF.2011.21},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csfw/CernyCH11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/CernyH11,
  author    = {Pavol Cern{\'{y}} and
               Thomas A. Henzinger},
  title     = {From boolean to quantitative synthesis},
  booktitle = {Proceedings of the 11th International Conference on Embedded Software,
               {EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011,
               Taipei, Taiwan, October 9-14, 2011},
  pages     = {149--154},
  year      = {2011},
  crossref  = {DBLP:conf/emsoft/2011},
  url       = {http://doi.acm.org/10.1145/2038642.2038666},
  doi       = {10.1145/2038642.2038666},
  timestamp = {Thu, 20 Oct 2011 21:16:46 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/emsoft/CernyH11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/popl/AlurC11,
  author    = {Rajeev Alur and
               Pavol Cern{\'{y}}},
  title     = {Streaming transducers for algorithmic verification of single-pass
               list-processing programs},
  booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
               2011},
  pages     = {599--610},
  year      = {2011},
  crossref  = {DBLP:conf/popl/2011},
  url       = {http://doi.acm.org/10.1145/1926385.1926454},
  doi       = {10.1145/1926385.1926454},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/popl/AlurC11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-4306,
  author    = {Pavol Cern{\'{y}} and
               Krishnendu Chatterjee and
               Thomas A. Henzinger and
               Arjun Radhakrishna and
               Rohit Singh},
  title     = {Quantitative Synthesis for Concurrent Programs},
  journal   = {CoRR},
  volume    = {abs/1104.4306},
  year      = {2011},
  url       = {http://arxiv.org/abs/1104.4306},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1104-4306},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CernyHR10,
  author    = {Pavol Cern{\'{y}} and
               Thomas A. Henzinger and
               Arjun Radhakrishna},
  title     = {Quantitative Simulation Games},
  booktitle = {Time for Verification, Essays in Memory of Amir Pnueli},
  pages     = {42--60},
  year      = {2010},
  crossref  = {DBLP:conf/birthday/2010pnueli},
  url       = {https://doi.org/10.1007/978-3-642-13754-9_3},
  doi       = {10.1007/978-3-642-13754-9_3},
  timestamp = {Tue, 23 May 2017 01:06:47 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/CernyHR10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cav/CernyRZCA10,
  author    = {Pavol Cern{\'{y}} and
               Arjun Radhakrishna and
               Damien Zufferey and
               Swarat Chaudhuri and
               Rajeev Alur},
  title     = {Model Checking of Linearizability of Concurrent List Implementations},
  booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
               2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  pages     = {465--479},
  year      = {2010},
  crossref  = {DBLP:conf/cav/2010},
  url       = {https://doi.org/10.1007/978-3-642-14295-6_41},
  doi       = {10.1007/978-3-642-14295-6_41},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/CernyRZCA10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/concur/CernyHR10,
  author    = {Pavol Cern{\'{y}} and
               Thomas A. Henzinger and
               Arjun Radhakrishna},
  title     = {Simulation Distances},
  booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
               {CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
  pages     = {253--268},
  year      = {2010},
  crossref  = {DBLP:conf/concur/2010},
  url       = {https://doi.org/10.1007/978-3-642-15375-4_18},
  doi       = {10.1007/978-3-642-15375-4_18},
  timestamp = {Tue, 23 May 2017 01:11:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/concur/CernyHR10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AlurC10,
  author    = {Rajeev Alur and
               Pavol Cern{\'{y}}},
  title     = {Expressiveness of streaming string transducers},
  booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
               Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010,
               Chennai, India},
  pages     = {1--12},
  year      = {2010},
  crossref  = {DBLP:conf/fsttcs/2010},
  url       = {https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1},
  doi       = {10.4230/LIPIcs.FSTTCS.2010.1},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fsttcs/AlurC10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-4958,
  author    = {Rajeev Alur and
               Pavol Cern{\'{y}}},
  title     = {Algorithmic Verification of Single-Pass List Processing Programs},
  journal   = {CoRR},
  volume    = {abs/1007.4958},
  year      = {2010},
  url       = {http://arxiv.org/abs/1007.4958},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1007-4958},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cav/CernyA09,
  author    = {Pavol Cern{\'{y}} and
               Rajeev Alur},
  title     = {Automated Analysis of Java Methods for Confidentiality},
  booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
               2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
  pages     = {173--187},
  year      = {2009},
  crossref  = {DBLP:conf/cav/2009},
  url       = {https://doi.org/10.1007/978-3-642-02658-4_16},
  doi       = {10.1007/978-3-642-02658-4_16},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/CernyA09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/csl/AlurCW09,
  author    = {Rajeev Alur and
               Pavol Cern{\'{y}} and
               Scott Weinstein},
  title     = {Algorithmic Analysis of Array-Accessing Programs},
  booktitle = {Computer Science Logic, 23rd international Workshop, {CSL} 2009, 18th
               Annual Conference of the EACSL, Coimbra, Portugal, September 7-11,
               2009. Proceedings},
  pages     = {86--101},
  year      = {2009},
  crossref  = {DBLP:conf/csl/2009},
  url       = {https://doi.org/10.1007/978-3-642-04027-6_9},
  doi       = {10.1007/978-3-642-04027-6_9},
  timestamp = {Fri, 02 Jun 2017 20:49:36 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csl/AlurCW09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LublinermanCC09,
  author    = {Roberto Lublinerman and
               Swarat Chaudhuri and
               Pavol Cern{\'{y}}},
  title     = {Parallel programming with object assemblies},
  booktitle = {Proceedings of the 24th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, {OOPSLA} 2009,
               October 25-29, 2009, Orlando, Florida, {USA}},
  pages     = {61--80},
  year      = {2009},
  crossref  = {DBLP:conf/oopsla/2009},
  url       = {http://doi.acm.org/10.1145/1640089.1640095},
  doi       = {10.1145/1640089.1640095},
  timestamp = {Fri, 30 Oct 2009 13:49:47 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/LublinermanCC09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/uss/AvivCCCSSB08,
  author    = {Adam J. Aviv and
               Pavol Cern{\'{y}} and
               Sandy Clark and
               Eric Cronin and
               Gaurav Shah and
               Micah Sherr and
               Matt Blaze},
  title     = {Security Evaluation of ES{\&}S Voting Machines and Election Management
               System},
  booktitle = {2008 {USENIX/ACCURATE} Electronic Voting Workshop, {EVT} 2008, July
               28-29, 2008, San Jose, CA, USA, Proceedings},
  year      = {2008},
  crossref  = {DBLP:conf/uss/2008evt},
  url       = {http://www.usenix.org/events/evt08/tech/full_papers/aviv/aviv.pdf},
  timestamp = {Tue, 13 May 2014 22:34:47 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/uss/AvivCCCSSB08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlurCC07,
  author    = {Rajeev Alur and
               Pavol Cern{\'{y}} and
               Swarat Chaudhuri},
  title     = {Model Checking on Trees with Path Equivalences},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               13th International Conference, {TACAS} 2007, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2007
               Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  pages     = {664--678},
  year      = {2007},
  crossref  = {DBLP:conf/tacas/2007},
  url       = {https://doi.org/10.1007/978-3-540-71209-1_51},
  doi       = {10.1007/978-3-540-71209-1_51},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tacas/AlurCC07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlurCZ06,
  author    = {Rajeev Alur and
               Pavol Cern{\'{y}} and
               Steve Zdancewic},
  title     = {Preserving Secrecy Under Refinement},
  booktitle = {Automata, Languages and Programming, 33rd International Colloquium,
               {ICALP} 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part {II}},
  pages     = {107--118},
  year      = {2006},
  crossref  = {DBLP:conf/icalp/2006-2},
  url       = {https://doi.org/10.1007/11787006_10},
  doi       = {10.1007/11787006_10},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/AlurCZ06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/popl/AlurCMN05,
  author    = {Rajeev Alur and
               Pavol Cern{\'{y}} and
               P. Madhusudan and
               Wonhong Nam},
  title     = {Synthesis of interface specifications for Java classes},
  booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2005, Long Beach, California, USA,
               January 12-14, 2005},
  pages     = {98--109},
  year      = {2005},
  crossref  = {DBLP:conf/popl/2005},
  url       = {http://doi.acm.org/10.1145/1040305.1040314},
  doi       = {10.1145/1040305.1040314},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/popl/AlurCMN05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cav/2017-2,
  editor    = {Rupak Majumdar and
               Viktor Kuncak},
  title     = {Computer Aided Verification - 29th International Conference, {CAV}
               2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10427},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-63390-9},
  doi       = {10.1007/978-3-319-63390-9},
  isbn      = {978-3-319-63389-3},
  timestamp = {Fri, 14 Jul 2017 13:04:29 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/2017-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tacas/2017-2,
  editor    = {Axel Legay and
               Tiziana Margaria},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 23rd International Conference, {TACAS} 2017, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10206},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-662-54580-5},
  doi       = {10.1007/978-3-662-54580-5},
  isbn      = {978-3-662-54579-9},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tacas/2017-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2016,
  editor    = {Ruzica Piskac and
               Muralidhar Talupur},
  title     = {2016 Formal Methods in Computer-Aided Design, {FMCAD} 2016, Mountain
               View, CA, USA, October 3-6, 2016},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7879555},
  isbn      = {978-0-9835678-6-8},
  timestamp = {Fri, 31 Mar 2017 11:38:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fmcad/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pldi/2016,
  editor    = {Chandra Krintz and
               Emery Berger},
  title     = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
               USA, June 13-17, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2908080},
  doi       = {10.1145/2908080},
  isbn      = {978-1-4503-4261-2},
  timestamp = {Mon, 06 Jun 2016 12:07:41 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wdag/2016,
  editor    = {Cyril Gavoille and
               David Ilcinkas},
  title     = {Distributed Computing - 30th International Symposium, {DISC} 2016,
               Paris, France, September 27-29, 2016. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9888},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-53426-7},
  doi       = {10.1007/978-3-662-53426-7},
  isbn      = {978-3-662-53425-0},
  timestamp = {Fri, 19 May 2017 01:25:17 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wdag/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cav/2015,
  editor    = {Daniel Kroening and
               Corina S. Pasareanu},
  title     = {Computer Aided Verification - 27th International Conference, {CAV}
               2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
               {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9207},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21668-3},
  doi       = {10.1007/978-3-319-21668-3},
  isbn      = {978-3-319-21667-6},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/esop/2015,
  editor    = {Jan Vitek},
  title     = {Programming Languages and Systems - 24th European Symposium on Programming,
               {ESOP} 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    = {9032},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46669-8},
  doi       = {10.1007/978-3-662-46669-8},
  isbn      = {978-3-662-46668-1},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/esop/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pldi/2015array,
  editor    = {Laurie J. Hendren and
               Hidehiko Masuhara and
               Mary Sheeran and
               Jan Vitek},
  title     = {Proceedings of the 2nd {ACM} {SIGPLAN} International Workshop on Libraries,
               Languages, and Compilers for Array Programming, ARRAY@PLDI, Portland,
               OR, USA, June 15 - 17, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2774959},
  isbn      = {978-1-4503-3584-3},
  timestamp = {Tue, 23 Jun 2015 19:24:28 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/2015array},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pldi/2015,
  editor    = {David Grove and
               Steve Blackburn},
  title     = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, Portland, OR, USA, June 15-17,
               2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2737924},
  isbn      = {978-1-4503-3468-6},
  timestamp = {Fri, 05 Jun 2015 07:23:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cav/2014,
  editor    = {Armin Biere and
               Roderick Bloem},
  title     = {Computer Aided Verification - 26th International Conference, {CAV}
               2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
               Austria, July 18-22, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8559},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-08867-9},
  doi       = {10.1007/978-3-319-08867-9},
  isbn      = {978-3-319-08866-2},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cav/2013,
  editor    = {Natasha Sharygina and
               Helmut Veith},
  title     = {Computer Aided Verification - 25th International Conference, {CAV}
               2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8044},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39799-8},
  doi       = {10.1007/978-3-642-39799-8},
  isbn      = {978-3-642-39798-1},
  timestamp = {Thu, 25 May 2017 00:39:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/popl/2013,
  editor    = {Roberto Giacobazzi and
               Radhia Cousot},
  title     = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
               2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2429069},
  isbn      = {978-1-4503-1832-7},
  timestamp = {Fri, 18 Jan 2013 17:48:28 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/popl/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/FinkbeinerS14,
  editor    = {Bernd Finkbeiner and
               Armando Solar{-}Lezama},
  title     = {Proceedings Second Workshop on Synthesis, {SYNT} 2013, Saint Petersburg,
               Russia, July 13th and July 14th, 2013},
  series    = {{EPTCS}},
  volume    = {142},
  year      = {2014},
  url       = {https://doi.org/10.4204/EPTCS.142},
  doi       = {10.4204/EPTCS.142},
  timestamp = {Wed, 03 May 2017 14:47:57 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/FinkbeinerS14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/emsoft/2012,
  editor    = {Ahmed Jerraya and
               Luca P. Carloni and
               Florence Maraninchi and
               John Regehr},
  title     = {Proceedings of the 12th International Conference on Embedded Software,
               {EMSOFT} 2012, part of the Eighth Embedded Systems Week, ESWeek 2012,
               Tampere, Finland, October 7-12, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2380356},
  isbn      = {978-1-4503-1425-1},
  timestamp = {Sun, 06 Jan 2013 12:08:25 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/emsoft/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1210-2028,
  editor    = {Marco Faella and
               Aniello Murano},
  title     = {Proceedings Third International Symposium on Games, Automata, Logics
               and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
               2012},
  series    = {{EPTCS}},
  volume    = {96},
  year      = {2012},
  url       = {https://doi.org/10.4204/EPTCS.96},
  doi       = {10.4204/EPTCS.96},
  timestamp = {Wed, 03 May 2017 14:47:55 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1210-2028},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/conf/cav/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/csfw/2011,
  title     = {Proceedings of the 24th {IEEE} Computer Security Foundations Symposium,
               {CSF} 2011, Cernay-la-Ville, France, 27-29 June, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5991608},
  isbn      = {978-1-61284-644-6},
  timestamp = {Fri, 13 May 2016 11:47:05 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csfw/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/emsoft/2011,
  editor    = {Samarjit Chakraborty and
               Ahmed Jerraya and
               Sanjoy K. Baruah and
               Sebastian Fischmeister},
  title     = {Proceedings of the 11th International Conference on Embedded Software,
               {EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011,
               Taipei, Taiwan, October 9-14, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0714-7},
  timestamp = {Thu, 20 Oct 2011 21:16:46 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/emsoft/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/popl/2011,
  editor    = {Thomas Ball and
               Mooly Sagiv},
  title     = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
               2011},
  publisher = {{ACM}},
  year      = {2011},
  url       = {http://dl.acm.org/citation.cfm?id=1926385},
  isbn      = {978-1-4503-0490-0},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/popl/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2010pnueli,
  editor    = {Zohar Manna and
               Doron A. Peled},
  title     = {Time for Verification, Essays in Memory of Amir Pnueli},
  series    = {Lecture Notes in Computer Science},
  volume    = {6200},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13754-9},
  doi       = {10.1007/978-3-642-13754-9},
  isbn      = {978-3-642-13753-2},
  timestamp = {Tue, 23 May 2017 01:06:47 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/2010pnueli},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/conf/cav/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/concur/2010,
  editor    = {Paul Gastin and
               Fran{\c{c}}ois Laroussinie},
  title     = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
               {CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6269},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15375-4},
  doi       = {10.1007/978-3-642-15375-4},
  isbn      = {978-3-642-15374-7},
  timestamp = {Tue, 23 May 2017 01:11:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/concur/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2010,
  editor    = {Kamal Lodaya and
               Meena Mahajan},
  title     = {{IARCS} Annual Conference on Foundations of Software Technology and
               Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010,
               Chennai, India},
  series    = {LIPIcs},
  volume    = {8},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2010},
  url       = {http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=10007},
  isbn      = {978-3-939897-23-1},
  timestamp = {Tue, 26 Feb 2013 10:47:56 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fsttcs/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cav/2009,
  editor    = {Ahmed Bouajjani and
               Oded Maler},
  title     = {Computer Aided Verification, 21st International Conference, {CAV}
               2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5643},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02658-4},
  doi       = {10.1007/978-3-642-02658-4},
  isbn      = {978-3-642-02657-7},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/csl/2009,
  editor    = {Erich Gr{\"{a}}del and
               Reinhard Kahle},
  title     = {Computer Science Logic, 23rd international Workshop, {CSL} 2009, 18th
               Annual Conference of the EACSL, Coimbra, Portugal, September 7-11,
               2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5771},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04027-6},
  doi       = {10.1007/978-3-642-04027-6},
  isbn      = {978-3-642-04026-9},
  timestamp = {Fri, 02 Jun 2017 20:49:36 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csl/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2009,
  editor    = {Shail Arora and
               Gary T. Leavens},
  title     = {Proceedings of the 24th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, {OOPSLA} 2009,
               October 25-29, 2009, Orlando, Florida, {USA}},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-766-0},
  timestamp = {Fri, 30 Oct 2009 13:49:47 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/uss/2008evt,
  editor    = {David L. Dill and
               Tadayoshi Kohno},
  title     = {2008 {USENIX/ACCURATE} Electronic Voting Workshop, {EVT} 2008, July
               28-29, 2008, San Jose, CA, USA, Proceedings},
  publisher = {{USENIX} Association},
  year      = {2008},
  url       = {https://www.usenix.org/publications/proceedings/?f[0]=im_group_audience%3A84},
  timestamp = {Tue, 13 May 2014 22:34:47 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/uss/2008evt},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tacas/2007,
  editor    = {Orna Grumberg and
               Michael Huth},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               13th International Conference, {TACAS} 2007, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2007
               Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4424},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-71209-1},
  doi       = {10.1007/978-3-540-71209-1},
  isbn      = {978-3-540-71208-4},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tacas/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icalp/2006-2,
  editor    = {Michele Bugliesi and
               Bart Preneel and
               Vladimiro Sassone and
               Ingo Wegener},
  title     = {Automata, Languages and Programming, 33rd International Colloquium,
               {ICALP} 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {4052},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11787006},
  doi       = {10.1007/11787006},
  isbn      = {3-540-35907-9},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/2006-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/popl/2005,
  editor    = {Jens Palsberg and
               Mart{\'{\i}}n Abadi},
  title     = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2005, Long Beach, California, USA,
               January 12-14, 2005},
  publisher = {{ACM}},
  year      = {2005},
  url       = {http://dl.acm.org/citation.cfm?id=1040305},
  isbn      = {1-58113-830-X},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/popl/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier