ask others

Pavol Cerný

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c34]
- view
  - electronic edition @ aaai.org
- export record
  dblp key:
  - conf/aaai/Tizpaz-NiariCCT18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aaai/Tizpaz-NiariCCT18
Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi:
Differential Performance Debugging With Discriminant Regression Trees. AAAI 2018
[c33]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/RadhakrishnaLMM18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/RadhakrishnaLMM18
Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný:
DroidStar: callback typestates for Android classes. ICSE 2018: 1160-1170
[i13]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1802-08733
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1802-08733
Nicholas V. Lewchenko, Arjun Radhakrishna, Pavol Cerný:
Conflict-Aware Replicated Data Types. CoRR abs/1802.08733 (2018)
2017
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/CernyCHRRST17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/CernyCHRRST17
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach:
From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods in System Design 50(2-3): 97-139 (2017)
[c32]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/McClurgHC17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/McClurgHC17
Jedidiah McClurg, Hossein Hojjat, Pavol Cerný:
Synchronization Synthesis for Network Programs. CAV (2) 2017: 301-321
[c31]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/Tizpaz-NiariCCS17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/Tizpaz-NiariCCS17
Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi:
Discriminating Traces with Time. TACAS (2) 2017: 21-37
[i12]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/RadhakrishnaLMM17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/RadhakrishnaLMM17
Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný:
Learning Asynchronous Typestates for Android Classes. CoRR abs/1701.07842 (2017)
[i11]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/Tizpaz-NiariCCS17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/Tizpaz-NiariCCS17
Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi:
Discriminating Traces with Time. CoRR abs/1702.07103 (2017)
[i10]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1711-04076
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1711-04076
Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi:
Differential Performance Debugging with Discriminant Regression Trees. CoRR abs/1711.04076 (2017)
2016
[c30]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fmcad/Cerny16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fmcad/Cerny16
Pavol Cerný:
Program synthesis for networks. FMCAD 2016: 7
[c29]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fmcad/HojjatRMCF16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fmcad/HojjatRMCF16
Hossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerný, Nate Foster:
Optimizing horn solvers for network repair. FMCAD 2016: 73-80
[c28]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/pldi/McClurgHFC16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pldi/McClurgHFC16
Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný:
Event-driven network programming. PLDI 2016: 369-385
[c27]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wdag/CernyFJM16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wdag/CernyFJM16
Pavol Cerný, Nate Foster, Nilesh Jagnik, Jedidiah McClurg:
Optimal Consistent Network Updates in Polynomial Time. DISC 2016: 114-128
[e1]
- view
- export record
  dblp key:
  - journals/corr/CernyKM16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/CernyKM16
Pavol Cerný, Viktor Kuncak, Parthasarathy Madhusudan:
Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015. EPTCS 202, 2016 [contents]
[i9]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/CernyFJM16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/CernyFJM16
Pavol Cerný, Nate Foster, Nilesh Jagnik, Jedidiah McClurg:
Optimal Consistent Network Updates in Polynomial Time. CoRR abs/1607.05159 (2016)
2015
[c26]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/AlurCR15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/AlurCR15
Rajeev Alur, Pavol Cerný, Arjun Radhakrishna:
Synthesis Through Unification. CAV (2) 2015: 163-179
[c25]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/CernyCHRRST15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/CernyCHRRST15
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach:
From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis. CAV (2) 2015: 180-197
[c24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/CernyHKRZ15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/CernyHKRZ15
Pavol Cerný, Thomas A. Henzinger, Laura Kovács, Arjun Radhakrishna, Jakob Zwirchmayr:
Segment Abstraction for Worst-Case Execution Time Analysis. ESOP 2015: 105-131
[c23]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/pldi/KimCD15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pldi/KimCD15
Youngsung Kim, Pavol Cerný, John M. Dennis:
Performance search engine driven by prior knowledge of optimization. ARRAY@PLDI 2015: 25-30
[c22]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/pldi/McClurgHCF15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pldi/McClurgHCF15
Jedidiah McClurg, Hossein Hojjat, Pavol Cerný, Nate Foster:
Efficient synthesis of network updates. PLDI 2015: 196-207
[i8]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/CernyCHRRST15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/CernyCHRRST15
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach:
From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis. CoRR abs/1505.04533 (2015)
[i7]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/AlurCR15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/AlurCR15
Rajeev Alur, Pavol Cerný, Arjun Radhakrishna:
Synthesis through Unification. CoRR abs/1505.05868 (2015)
[i6]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/McClurgHFC15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/McClurgHFC15
Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný:
Specification and Compilation of Event-driven SDN Programs. CoRR abs/1507.07049 (2015)
[i5]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/CernyCHRRST15a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/CernyCHRRST15a
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach:
Optimizing Solution Quality in Synchronization Synthesis. CoRR abs/1511.07163 (2015)
2014
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/CernyCHR14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/CernyCHR14
Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna:
Interface simulation distances. Theor. Comput. Sci. 560: 348-363 (2014)
[c21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/CernyHRRT14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/CernyHRRT14
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach:
Regression-Free Synthesis for Concurrency. CAV 2014: 568-584
[i4]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/McClurgFC14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/McClurgFC14
Jedidiah McClurg, Nate Foster, Pavol Cerný:
Efficient Synthesis of Network Updates. CoRR abs/1403.5843 (2014)
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/CernyHRRT14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/CernyHRRT14
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach:
Regression-free Synthesis for Concurrency. CoRR abs/1407.3681 (2014)
2013
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/CernyHRRT13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/CernyHRRT13
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach:
Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. CAV 2013: 951-967
[c19]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/popl/CernyHR13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/CernyHR13
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna:
Quantitative abstraction refinement. POPL 2013: 115-128
[c18]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/NoyesWCF14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/NoyesWCF14
Andrew Noyes, Todd Warszawski, Pavol Cerný, Nate Foster:
Toward Synthesis of Network Updates. SYNT 2013: 8-23
2012
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/CernyHR12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/CernyHR12
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna:
Simulation distances. Theor. Comput. Sci. 413(1): 21-35 (2012)
[j1]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/tocl/AlurCW12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tocl/AlurCW12
Rajeev Alur, Pavol Cerný, Scott Weinstein:
Algorithmic analysis of array-accessing programs. ACM Trans. Comput. Log. 13(3): 27:1-27:29 (2012)
[c17]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/emsoft/CernyGHRT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/emsoft/CernyGHRT12
Pavol Cerný, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla:
Synthesis from incompatible specifications. EMSOFT 2012: 53-62
[c16]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1210-2450
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2450
Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna:
Interface Simulation Distances. GandALF 2012: 29-42
2011
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/CernyCHRS11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/CernyCHRS11
Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh:
Quantitative Synthesis for Concurrent Programs. CAV 2011: 243-259
[c14]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/csfw/CernyCH11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csfw/CernyCH11
Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger:
The Complexity of Quantitative Information Flow Problems. CSF 2011: 205-217
[c13]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/emsoft/CernyH11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/emsoft/CernyH11
Pavol Cerný, Thomas A. Henzinger:
From boolean to quantitative synthesis. EMSOFT 2011: 149-154
[c12]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/popl/AlurC11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/AlurC11
Rajeev Alur, Pavol Cerný:
Streaming transducers for algorithmic verification of single-pass list-processing programs. POPL 2011: 599-610
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1104-4306
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1104-4306
Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh:
Quantitative Synthesis for Concurrent Programs. CoRR abs/1104.4306 (2011)
2010
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/CernyHR10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/CernyHR10
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna:
Quantitative Simulation Games. Essays in Memory of Amir Pnueli 2010: 42-60
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/CernyRZCA10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/CernyRZCA10
Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur:
Model Checking of Linearizability of Concurrent List Implementations. CAV 2010: 465-479
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/CernyHR10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/CernyHR10
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna:
Simulation Distances. CONCUR 2010: 253-268
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/AlurC10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/AlurC10
Rajeev Alur, Pavol Cerný:
Expressiveness of streaming string transducers. FSTTCS 2010: 1-12
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1007-4958
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1007-4958
Rajeev Alur, Pavol Cerný:
Algorithmic Verification of Single-Pass List Processing Programs. CoRR abs/1007.4958 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/CernyA09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/CernyA09
Pavol Cerný, Rajeev Alur:
Automated Analysis of Java Methods for Confidentiality. CAV 2009: 173-187
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/AlurCW09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/AlurCW09
Rajeev Alur, Pavol Cerný, Scott Weinstein:
Algorithmic Analysis of Array-Accessing Programs. CSL 2009: 86-101
[c5]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/oopsla/LublinermanCC09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/oopsla/LublinermanCC09
Roberto Lublinerman, Swarat Chaudhuri, Pavol Cerný:
Parallel programming with object assemblies. OOPSLA 2009: 61-80
2008
[c4]
- view
  - electronic edition @ usenix.org
- export record
  dblp key:
  - conf/uss/AvivCCCSSB08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/uss/AvivCCCSSB08
Adam J. Aviv, Pavol Cerný, Sandy Clark, Eric Cronin, Gaurav Shah, Micah Sherr, Matt Blaze:
Security Evaluation of ES&S Voting Machines and Election Management System. EVT 2008
2007
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/AlurCC07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/AlurCC07
Rajeev Alur, Pavol Cerný, Swarat Chaudhuri:
Model Checking on Trees with Path Equivalences. TACAS 2007: 664-678
2006
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/AlurCZ06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/AlurCZ06
Rajeev Alur, Pavol Cerný, Steve Zdancewic:
Preserving Secrecy Under Refinement. ICALP (2) 2006: 107-118
2005
[c1]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/popl/AlurCMN05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/AlurCMN05
Rajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam:
Synthesis of interface specifications for Java classes. POPL 2005: 98-109

Coauthor Index

see FAQ

maintained by

at