Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Pavol Cerný
@article{DBLP:journals/sttt/Tizpaz-NiariCST21,
author = {Saeid Tizpaz{-}Niari and
Pavol Cern{\'{y}} and
Sriram Sankaranarayanan and
Ashutosh Trivedi},
title = {Quantitative estimation of side-channel leaks with neural networks},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {4},
pages = {641--654},
year = {2021},
url = {https://doi.org/10.1007/s10009-021-00622-2},
doi = {10.1007/S10009-021-00622-2},
timestamp = {Tue, 26 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Tizpaz-NiariCST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Tizpaz-NiariC020,
author = {Saeid Tizpaz{-}Niari and
Pavol Cern{\'{y}} and
Ashutosh Trivedi},
editor = {Sarfraz Khurshid and
Corina S. Pasareanu},
title = {Detecting and understanding real-world differential performance bugs
in machine learning libraries},
booktitle = {{ISSTA} '20: 29th {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, Virtual Event, USA, July 18-22, 2020},
pages = {189--199},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3395363.3404540},
doi = {10.1145/3395363.3404540},
timestamp = {Wed, 15 Jul 2020 15:59:31 +0200},
biburl = {https://dblp.org/rec/conf/issta/Tizpaz-NiariC020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/Tizpaz-NiariC020,
author = {Saeid Tizpaz{-}Niari and
Pavol Cern{\'{y}} and
Ashutosh Trivedi},
title = {Data-Driven Debugging for Functional Side Channels},
booktitle = {27th Annual Network and Distributed System Security Symposium, {NDSS}
2020, San Diego, California, USA, February 23-26, 2020},
publisher = {The Internet Society},
year = {2020},
url = {https://www.ndss-symposium.org/ndss-paper/data-driven-debugging-for-functional-side-channels/},
timestamp = {Mon, 01 Feb 2021 08:42:10 +0100},
biburl = {https://dblp.org/rec/conf/ndss/Tizpaz-NiariC020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-01991,
author = {Saeid Tizpaz{-}Niari and
Pavol Cern{\'{y}} and
Ashutosh Trivedi},
title = {Detecting and Understanding Real-World Differential Performance Bugs
in Machine Learning Libraries},
journal = {CoRR},
volume = {abs/2006.01991},
year = {2020},
url = {https://arxiv.org/abs/2006.01991},
eprinttype = {arXiv},
eprint = {2006.01991},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-01991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LewchenkoRGC19,
author = {Nicholas V. Lewchenko and
Arjun Radhakrishna and
Akash Gaonkar and
Pavol Cern{\'{y}}},
title = {Sequential programming for replicated data stores},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{ICFP}},
pages = {106:1--106:28},
year = {2019},
url = {https://doi.org/10.1145/3341710},
doi = {10.1145/3341710},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/LewchenkoRGC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Tizpaz-NiariC019,
author = {Saeid Tizpaz{-}Niari and
Pavol Cern{\'{y}} and
Ashutosh Trivedi},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Quantitative Mitigation of Timing Side Channels},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11561},
pages = {140--160},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25540-4\_8},
doi = {10.1007/978-3-030-25540-4\_8},
timestamp = {Fri, 31 Jan 2020 21:32:18 +0100},
biburl = {https://dblp.org/rec/conf/cav/Tizpaz-NiariC019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/Tizpaz-NiariC0019,
author = {Saeid Tizpaz{-}Niari and
Pavol Cern{\'{y}} and
Sriram Sankaranarayanan and
Ashutosh Trivedi},
editor = {Bernd Finkbeiner and
Leonardo Mariani},
title = {Efficient Detection and Quantification of Timing Leaks with Neural
Networks},
booktitle = {Runtime Verification - 19th International Conference, {RV} 2019, Porto,
Portugal, October 8-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11757},
pages = {329--348},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32079-9\_19},
doi = {10.1007/978-3-030-32079-9\_19},
timestamp = {Mon, 07 Oct 2019 11:22:34 +0200},
biburl = {https://dblp.org/rec/conf/rv/Tizpaz-NiariC0019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/LuCC019,
author = {Tianhan Lu and
Pavol Cern{\'{y}} and
Bor{-}Yuh Evan Chang and
Ashutosh Trivedi},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Type-Directed Bounding of Collections in Reactive Programs},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {275--296},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_13},
doi = {10.1007/978-3-030-11245-5\_13},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/LuCC019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-08957,
author = {Saeid Tizpaz{-}Niari and
Pavol Cern{\'{y}} and
Ashutosh Trivedi},
title = {Quantitative Mitigation of Timing Side Channels},
journal = {CoRR},
volume = {abs/1906.08957},
year = {2019},
url = {http://arxiv.org/abs/1906.08957},
eprinttype = {arXiv},
eprint = {1906.08957},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-08957.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-10159,
author = {Saeid Tizpaz{-}Niari and
Pavol Cern{\'{y}} and
Sriram Sankaranarayanan and
Ashutosh Trivedi},
title = {Efficient Detection and Quantification of Timing Leaks with Neural
Networks},
journal = {CoRR},
volume = {abs/1907.10159},
year = {2019},
url = {http://arxiv.org/abs/1907.10159},
eprinttype = {arXiv},
eprint = {1907.10159},
timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-10159.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Tizpaz-NiariCCT18,
author = {Saeid Tizpaz{-}Niari and
Pavol Cern{\'{y}} and
Bor{-}Yuh Evan Chang and
Ashutosh Trivedi},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Differential Performance Debugging With Discriminant Regression Trees},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {2468--2475},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.11875},
doi = {10.1609/AAAI.V32I1.11875},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Tizpaz-NiariCCT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RadhakrishnaLMM18,
author = {Arjun Radhakrishna and
Nicholas V. Lewchenko and
Shawn Meier and
Sergio Mover and
Krishna Chaitanya Sripada and
Damien Zufferey and
Bor{-}Yuh Evan Chang and
Pavol Cern{\'{y}}},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {DroidStar: callback typestates for Android classes},
booktitle = {Proceedings of the 40th International Conference on Software Engineering,
{ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
pages = {1160--1170},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3180155.3180232},
doi = {10.1145/3180155.3180232},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/RadhakrishnaLMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-08733,
author = {Nicholas V. Lewchenko and
Arjun Radhakrishna and
Pavol Cern{\'{y}}},
title = {Conflict-Aware Replicated Data Types},
journal = {CoRR},
volume = {abs/1802.08733},
year = {2018},
url = {http://arxiv.org/abs/1802.08733},
eprinttype = {arXiv},
eprint = {1802.08733},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-08733.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-10502,
author = {Saeid Tizpaz{-}Niari and
Pavol Cern{\'{y}} and
Ashutosh Trivedi},
title = {Data-Driven Debugging for Functional Side Channels},
journal = {CoRR},
volume = {abs/1808.10502},
year = {2018},
url = {http://arxiv.org/abs/1808.10502},
eprinttype = {arXiv},
eprint = {1808.10502},
timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-10502.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-10443,
author = {Tianhan Lu and
Pavol Cern{\'{y}} and
Bor{-}Yuh Evan Chang and
Ashutosh Trivedi},
title = {Type-directed Bounding of Collections in Reactive Programs},
journal = {CoRR},
volume = {abs/1810.10443},
year = {2018},
url = {http://arxiv.org/abs/1810.10443},
eprinttype = {arXiv},
eprint = {1810.10443},
timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-10443.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 Syst. Des.},
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 = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/CernyCHRRST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/McClurgHC17,
author = {Jedidiah McClurg and
Hossein Hojjat and
Pavol Cern{\'{y}}},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Synchronization Synthesis for Network Programs},
booktitle = {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},
pages = {301--321},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63390-9\_16},
doi = {10.1007/978-3-319-63390-9\_16},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/McClurgHC17.bib},
bibsource = {dblp computer science bibliography, https://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},
editor = {Axel Legay and
Tiziana Margaria},
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}},
series = {Lecture Notes in Computer Science},
volume = {10206},
pages = {21--37},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54580-5\_2},
doi = {10.1007/978-3-662-54580-5\_2},
timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Tizpaz-NiariCCS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RadhakrishnaLMM17,
author = {Arjun Radhakrishna and
Nicholas V. 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},
eprinttype = {arXiv},
eprint = {1701.07842},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RadhakrishnaLMM17.bib},
bibsource = {dblp computer science bibliography, https://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},
eprinttype = {arXiv},
eprint = {1702.07103},
timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Tizpaz-NiariCCS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-04076,
author = {Saeid Tizpaz{-}Niari and
Pavol Cern{\'{y}} and
Bor{-}Yuh Evan Chang and
Ashutosh Trivedi},
title = {Differential Performance Debugging with Discriminant Regression Trees},
journal = {CoRR},
volume = {abs/1711.04076},
year = {2017},
url = {http://arxiv.org/abs/1711.04076},
eprinttype = {arXiv},
eprint = {1711.04076},
timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-04076.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Cerny16,
author = {Pavol Cern{\'{y}}},
editor = {Ruzica Piskac and
Muralidhar Talupur},
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},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/FMCAD.2016.7886653},
doi = {10.1109/FMCAD.2016.7886653},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/Cerny16.bib},
bibsource = {dblp computer science bibliography, https://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},
editor = {Ruzica Piskac and
Muralidhar Talupur},
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},
publisher = {{IEEE}},
year = {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 = {https://dblp.org/rec/conf/fmcad/HojjatRMCF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/McClurgHFC16,
author = {Jedidiah McClurg and
Hossein Hojjat and
Nate Foster and
Pavol Cern{\'{y}}},
editor = {Chandra Krintz and
Emery D. Berger},
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},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2908080.2908097},
doi = {10.1145/2908080.2908097},
timestamp = {Sat, 30 Sep 2023 09:54:48 +0200},
biburl = {https://dblp.org/rec/conf/pldi/McClurgHFC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/CernyFJM16,
author = {Pavol Cern{\'{y}} and
Nate Foster and
Nilesh Jagnik and
Jedidiah McClurg},
editor = {Cyril Gavoille and
David Ilcinkas},
title = {Optimal Consistent Network Updates in Polynomial Time},
booktitle = {Distributed Computing - 30th International Symposium, {DISC} 2016,
Paris, France, September 27-29, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9888},
pages = {114--128},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53426-7\_9},
doi = {10.1007/978-3-662-53426-7\_9},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/CernyFJM16.bib},
bibsource = {dblp computer science bibliography, https://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, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CernyKM16.bib},
bibsource = {dblp computer science bibliography, https://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},
eprinttype = {arXiv},
eprint = {1607.05159},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CernyFJM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurCR15,
author = {Rajeev Alur and
Pavol Cern{\'{y}} and
Arjun Radhakrishna},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Synthesis Through Unification},
booktitle = {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},
pages = {163--179},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21668-3\_10},
doi = {10.1007/978-3-319-21668-3\_10},
timestamp = {Fri, 27 Mar 2020 08:45:57 +0100},
biburl = {https://dblp.org/rec/conf/cav/AlurCR15.bib},
bibsource = {dblp computer science bibliography, https://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},
editor = {Daniel Kroening and
Corina S. Pasareanu},
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}},
series = {Lecture Notes in Computer Science},
volume = {9207},
pages = {180--197},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21668-3\_11},
doi = {10.1007/978-3-319-21668-3\_11},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/CernyCHRRST15.bib},
bibsource = {dblp computer science bibliography, https://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},
editor = {Jan Vitek},
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},
series = {Lecture Notes in Computer Science},
volume = {9032},
pages = {105--131},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46669-8\_5},
doi = {10.1007/978-3-662-46669-8\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/CernyHKRZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KimCD15,
author = {Youngsung Kim and
Pavol Cern{\'{y}} and
John M. Dennis},
editor = {Laurie J. Hendren and
Hidehiko Masuhara and
Mary Sheeran and
Jan Vitek},
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},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2774959.2774963},
doi = {10.1145/2774959.2774963},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KimCD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/McClurgHCF15,
author = {Jedidiah McClurg and
Hossein Hojjat and
Pavol Cern{\'{y}} and
Nate Foster},
editor = {David Grove and
Stephen M. Blackburn},
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},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2737980},
doi = {10.1145/2737924.2737980},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/pldi/McClurgHCF15.bib},
bibsource = {dblp computer science bibliography, https://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},
eprinttype = {arXiv},
eprint = {1505.04533},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CernyCHRRST15.bib},
bibsource = {dblp computer science bibliography, https://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},
eprinttype = {arXiv},
eprint = {1505.05868},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlurCR15.bib},
bibsource = {dblp computer science bibliography, https://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},
eprinttype = {arXiv},
eprint = {1507.07049},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/McClurgHFC15.bib},
bibsource = {dblp computer science bibliography, https://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},
eprinttype = {arXiv},
eprint = {1511.07163},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CernyCHRRST15a.bib},
bibsource = {dblp computer science bibliography, https://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 = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CernyCHR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CernyHRRT14,
author = {Pavol Cern{\'{y}} and
Thomas A. Henzinger and
Arjun Radhakrishna and
Leonid Ryzhyk and
Thorsten Tarrach},
editor = {Armin Biere and
Roderick Bloem},
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},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {568--584},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_38},
doi = {10.1007/978-3-319-08867-9\_38},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/CernyHRRT14.bib},
bibsource = {dblp computer science bibliography, https://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},
eprinttype = {arXiv},
eprint = {1403.5843},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/McClurgFC14.bib},
bibsource = {dblp computer science bibliography, https://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},
eprinttype = {arXiv},
eprint = {1407.3681},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CernyHRRT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CernyHRRT13,
author = {Pavol Cern{\'{y}} and
Thomas A. Henzinger and
Arjun Radhakrishna and
Leonid Ryzhyk and
Thorsten Tarrach},
editor = {Natasha Sharygina and
Helmut Veith},
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},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {951--967},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_68},
doi = {10.1007/978-3-642-39799-8\_68},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/CernyHRRT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CernyHR13,
author = {Pavol Cern{\'{y}} and
Thomas A. Henzinger and
Arjun Radhakrishna},
editor = {Roberto Giacobazzi and
Radhia Cousot},
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},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429085},
doi = {10.1145/2429069.2429085},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/CernyHR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/NoyesWCF14,
author = {Andrew Noyes and
Todd Warszawski and
Pavol Cern{\'{y}} and
Nate Foster},
editor = {Bernd Finkbeiner and
Armando Solar{-}Lezama},
title = {Toward Synthesis of Network Updates},
booktitle = {Proceedings Second Workshop on Synthesis, {SYNT} 2013, Saint Petersburg,
Russia, July 13th and July 14th, 2013},
series = {{EPTCS}},
volume = {142},
pages = {8--23},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.142.8},
doi = {10.4204/EPTCS.142.8},
timestamp = {Thu, 14 Oct 2021 09:13:55 +0200},
biburl = {https://dblp.org/rec/journals/corr/NoyesWCF14.bib},
bibsource = {dblp computer science bibliography, https://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 = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CernyHR12.bib},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1145/2287718.2287727},
doi = {10.1145/2287718.2287727},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/AlurCW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/CernyGHRT12,
author = {Pavol Cern{\'{y}} and
Sivakanth Gopi and
Thomas A. Henzinger and
Arjun Radhakrishna and
Nishant Totla},
editor = {Ahmed Jerraya and
Luca P. Carloni and
Florence Maraninchi and
John Regehr},
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},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2380356.2380371},
doi = {10.1145/2380356.2380371},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/CernyGHRT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2450,
author = {Pavol Cern{\'{y}} and
Martin Chmelik and
Thomas A. Henzinger and
Arjun Radhakrishna},
editor = {Marco Faella and
Aniello Murano},
title = {Interface Simulation Distances},
booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
pages = {29--42},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.3},
doi = {10.4204/EPTCS.96.3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2450.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CernyCHRS11,
author = {Pavol Cern{\'{y}} and
Krishnendu Chatterjee and
Thomas A. Henzinger and
Arjun Radhakrishna and
Rohit Singh},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {Quantitative Synthesis for Concurrent Programs},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {243--259},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_20},
doi = {10.1007/978-3-642-22110-1\_20},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/CernyCHRS11.bib},
bibsource = {dblp computer science bibliography, https://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},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/CSF.2011.21},
doi = {10.1109/CSF.2011.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/CernyCH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/CernyH11,
author = {Pavol Cern{\'{y}} and
Thomas A. Henzinger},
editor = {Samarjit Chakraborty and
Ahmed Jerraya and
Sanjoy K. Baruah and
Sebastian Fischmeister},
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},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2038642.2038666},
doi = {10.1145/2038642.2038666},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/CernyH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AlurC11,
author = {Rajeev Alur and
Pavol Cern{\'{y}}},
editor = {Thomas Ball and
Mooly Sagiv},
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},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926454},
doi = {10.1145/1926385.1926454},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/AlurC11.bib},
bibsource = {dblp computer science bibliography, https://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},
eprinttype = {arXiv},
eprint = {1104.4306},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-4306.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CernyHR10,
author = {Pavol Cern{\'{y}} and
Thomas A. Henzinger and
Arjun Radhakrishna},
editor = {Zohar Manna and
Doron A. Peled},
title = {Quantitative Simulation Games},
booktitle = {Time for Verification, Essays in Memory of Amir Pnueli},
series = {Lecture Notes in Computer Science},
volume = {6200},
pages = {42--60},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13754-9\_3},
doi = {10.1007/978-3-642-13754-9\_3},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CernyHR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CernyRZCA10,
author = {Pavol Cern{\'{y}} and
Arjun Radhakrishna and
Damien Zufferey and
Swarat Chaudhuri and
Rajeev Alur},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
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},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {465--479},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_41},
doi = {10.1007/978-3-642-14295-6\_41},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/CernyRZCA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CernyHR10,
author = {Pavol Cern{\'{y}} and
Thomas A. Henzinger and
Arjun Radhakrishna},
editor = {Paul Gastin and
Fran{\c{c}}ois Laroussinie},
title = {Simulation Distances},
booktitle = {{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},
pages = {253--268},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15375-4\_18},
doi = {10.1007/978-3-642-15375-4\_18},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/CernyHR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AlurC10,
author = {Rajeev Alur and
Pavol Cern{\'{y}}},
editor = {Kamal Lodaya and
Meena Mahajan},
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},
series = {LIPIcs},
volume = {8},
pages = {1--12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1},
doi = {10.4230/LIPICS.FSTTCS.2010.1},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/AlurC10.bib},
bibsource = {dblp computer science bibliography, https://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},
eprinttype = {arXiv},
eprint = {1007.4958},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-4958.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CernyA09,
author = {Pavol Cern{\'{y}} and
Rajeev Alur},
editor = {Ahmed Bouajjani and
Oded Maler},
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},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {173--187},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_16},
doi = {10.1007/978-3-642-02658-4\_16},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/CernyA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AlurCW09,
author = {Rajeev Alur and
Pavol Cern{\'{y}} and
Scott Weinstein},
editor = {Erich Gr{\"{a}}del and
Reinhard Kahle},
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},
series = {Lecture Notes in Computer Science},
volume = {5771},
pages = {86--101},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04027-6\_9},
doi = {10.1007/978-3-642-04027-6\_9},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/AlurCW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LublinermanCC09,
author = {Roberto Lublinerman and
Swarat Chaudhuri and
Pavol Cern{\'{y}}},
editor = {Shail Arora and
Gary T. Leavens},
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},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1640089.1640095},
doi = {10.1145/1640089.1640095},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/LublinermanCC09.bib},
bibsource = {dblp computer science bibliography, https://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},
editor = {David L. Dill and
Tadayoshi Kohno},
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},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/evt08/tech/full\_papers/aviv/aviv.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uss/AvivCCCSSB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlurCC07,
author = {Rajeev Alur and
Pavol Cern{\'{y}} and
Swarat Chaudhuri},
editor = {Orna Grumberg and
Michael Huth},
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},
series = {Lecture Notes in Computer Science},
volume = {4424},
pages = {664--678},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71209-1\_51},
doi = {10.1007/978-3-540-71209-1\_51},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AlurCC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlurCZ06,
author = {Rajeev Alur and
Pavol Cern{\'{y}} and
Steve Zdancewic},
editor = {Michele Bugliesi and
Bart Preneel and
Vladimiro Sassone and
Ingo Wegener},
title = {Preserving Secrecy Under Refinement},
booktitle = {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},
pages = {107--118},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11787006\_10},
doi = {10.1007/11787006\_10},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlurCZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AlurCMN05,
author = {Rajeev Alur and
Pavol Cern{\'{y}} and
P. Madhusudan and
Wonhong Nam},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
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},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040314},
doi = {10.1145/1040305.1040314},
timestamp = {Sat, 31 Jul 2021 17:22:14 +0200},
biburl = {https://dblp.org/rec/conf/popl/AlurCMN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
