ISTA Research Explorer

Pavol Cerny

Henzinger_Thomas Group

27 Publications

[27]

2017 | Published | Journal Article | IST-REx-ID: 1338 |

Cerny P, Clarke E, Henzinger TA, et al. From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods in System Design. 2017;50(2-3):97-139. doi:10.1007/s10703-016-0256-5

[Published Version] View | Files available | DOI | WoS

[26]

2015 | Published | Conference Paper | IST-REx-ID: 1729

Cerny P, Clarke E, Henzinger TA, et al. From non-preemptive to preemptive scheduling using synchronization synthesis. 2015;9207:180-197. doi:10.1007/978-3-319-21668-3_11

[Submitted Version] View | Files available | DOI

[25]

2015 | Published | Conference Paper | IST-REx-ID: 1836

Cerny P, Henzinger TA, Kovács L, Radhakrishna A, Zwirchmayr J. Segment abstraction for worst-case execution time analysis. 2015;9032:105-131. doi:10.1007/978-3-662-46669-8_5

View | DOI

[24]

2013 | Published | Conference Paper | IST-REx-ID: 2182

Cerny P, Henzinger TA, Radhakrishna A. Quantitative abstraction refinement. In: Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language. ACM; 2013:115-128. doi:10.1145/2429069.2429085

View | DOI

[23]

2013 | Published | Conference Paper | IST-REx-ID: 2445 |

Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. Efficient synthesis for concurrency by semantics-preserving transformations. In: Vol 8044. Springer; 2013:951-967. doi:10.1007/978-3-642-39799-8_68

[Submitted Version] View | Files available | DOI

[22]

2012 | Published | Conference Paper | IST-REx-ID: 2890

Cerny P, Gopi S, Henzinger TA, Radhakrishna A, Totla N. Synthesis from incompatible specifications. In: Proceedings of the Tenth ACM International Conference on Embedded Software. ACM; 2012:53-62. doi:10.1145/2380356.2380371

View | DOI

[21]

2012 | Published | Conference Paper | IST-REx-ID: 2916 |

Cerny P, Chmelik M, Henzinger TA, Radhakrishna A. Interface Simulation Distances. In: Electronic Proceedings in Theoretical Computer Science. Vol 96. EPTCS; 2012:29-42. doi:10.4204/EPTCS.96.3

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv

[20]

2012 | Published | Journal Article | IST-REx-ID: 2967

Alur R, Cerny P, Weinstein S. Algorithmic analysis of array-accessing programs. ACM Transactions on Computational Logic (TOCL). 2012;13(3). doi:10.1145/2287718.2287727

View | Files available | DOI

[19]

2012 | Published | Journal Article | IST-REx-ID: 3249

Cerny P, Henzinger TA, Radhakrishna A. Simulation distances. Theoretical Computer Science. 2012;413(1):21-35. doi:10.1016/j.tcs.2011.08.002

View | Files available | DOI

[18]

2011 | Published | Conference Paper | IST-REx-ID: 3325

Alur R, Cerny P. Streaming transducers for algorithmic verification of single pass list processing programs. In: Vol 46. ACM; 2011:599-610. doi:10.1145/1926385.1926454

View | DOI

[17]

2011 | Published | Conference Paper | IST-REx-ID: 3359

Cerny P, Henzinger TA. From boolean to quantitative synthesis. In: ACM; 2011:149-154. doi:10.1145/2038642.2038666

View | DOI

[16]

2011 | Published | Conference Paper | IST-REx-ID: 3361 |

Cerny P, Chatterjee K, Henzinger TA. The complexity of quantitative information flow problems. In: IEEE; 2011:205-217. doi:10.1109/CSF.2011.21

[Submitted Version] View | Files available | DOI

[15]

2011 | Published | Conference Paper | IST-REx-ID: 3366 |

Cerny P, Chatterjee K, Henzinger TA, Radhakrishna A, Singh R. Quantitative synthesis for concurrent programs. In: Gopalakrishnan G, Qadeer S, eds. Vol 6806. Springer; 2011:243-259. doi:10.1007/978-3-642-22110-1_20

[Submitted Version] View | Files available | DOI

[14]

2010 | Published | Conference Paper | IST-REx-ID: 4390 |

Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model checking of linearizability of concurrent list implementations. In: Vol 6174. Springer; 2010:465-479. doi:10.1007/978-3-642-14295-6_41

[Submitted Version] View | Files available | DOI

[13]

2010 | Published | Book Chapter | IST-REx-ID: 4392

Cerny P, Henzinger TA, Radhakrishna A. Quantitative Simulation Games. In: Manna Z, Peled D, eds. Time For Verification: Essays in Memory of Amir Pnueli. Vol 6200. Essays in Memory of Amir Pnueli. Springer; 2010:42-60. doi:10.1007/978-3-642-13754-9_3

View | DOI

[12]

2010 | Published | Conference Paper | IST-REx-ID: 4393 |

Cerny P, Henzinger TA, Radhakrishna A. Simulation distances. In: Vol 6269. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:235-268. doi:10.1007/978-3-642-15375-4_18

[Submitted Version] View | Files available | DOI

[11]

2010 | Published | Conference Paper | IST-REx-ID: 488 |

Alur R, Cerny P. Expressiveness of streaming string transducers. In: Vol 8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:1-12. doi:10.4230/LIPIcs.FSTTCS.2010.1

[Published Version] View | Files available | DOI

[10]

2010 | Published | Technical Report | IST-REx-ID: 5388 |

Chatterjee K, Cerny P, Henzinger TA, Radhakrishna A, Singh R. Quantitative Synthesis for Concurrent Programs. IST Austria; 2010. doi:10.15479/AT:IST-2010-0004

[Published Version] View | Files available | DOI

[9]

2010 | Published | Technical Report | IST-REx-ID: 5389 |

Cerny P, Henzinger TA, Radhakrishna A. Simulation Distances. IST Austria; 2010. doi:10.15479/AT:IST-2010-0003

[Published Version] View | Files available | DOI

[8]

2010 | Published | Technical Report | IST-REx-ID: 5391 |

Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model Checking of Linearizability of Concurrent List Implementations. IST Austria; 2010. doi:10.15479/AT:IST-2010-0001

[Published Version] View | Files available | DOI

[7]

2009 | Published | Conference Paper | IST-REx-ID: 4376

Lublinerman R, Chaudhuri S, Cerny P. Parallel programming with object assemblies. In: ACM; 2009:61-80. doi:1546

View | DOI

[6]

2009 | Published | Conference Paper | IST-REx-ID: 4391

Cerny P, Alur R. Automated Analysis of Java Methods for Confidentiality. In: Springer; 2009:173-187. doi:1548

View | DOI

[5]

2009 | Published | Conference Paper | IST-REx-ID: 4403 |

Alur R, Cerny P, Weinstein S. Algorithmic analysis of array-accessing programs. In: Vol 5771. Springer; 2009:86-101. doi:10.1007/978-3-642-04027-6_9

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)

[4]

2008 | Published | Conference Paper | IST-REx-ID: 4400

Aviv A, Cerny P, Clark S, et al. Security Evaluation of ES&S Voting Machines and Election Management System. In: USENIX; 2008. doi:1545

View | DOI | Download (ext.)

[3]

2007 | Published | Conference Paper | IST-REx-ID: 4402

Alur R, Cerny P, Chaudhuri S. Model Checking on Trees with Path Equivalences. In: Springer; 2007:664-678. doi:1544

View | DOI

[2]

2006 | Published | Conference Paper | IST-REx-ID: 4401

Alur R, Cerny P, Zdancewic S. Preserving Secrecy Under Refinement. In: Springer; 2006:107-118. doi:1543

View | DOI

[1]

2005 | Published | Conference Paper | IST-REx-ID: 4404

Alur R, Cerny P, Madhusudan P, Nam W. Synthesis of interface specifications for Java classes. In: ACM; 2005:98-109. doi:1542

View | DOI

Grants

27 Publications

Mark all

[27]

2017 | Published | Journal Article | IST-REx-ID: 1338 |

[Published Version] View | Files available | DOI | WoS

[26]

2015 | Published | Conference Paper | IST-REx-ID: 1729

Cerny P, Clarke E, Henzinger TA, et al. From non-preemptive to preemptive scheduling using synchronization synthesis. 2015;9207:180-197. doi:10.1007/978-3-319-21668-3_11

[Submitted Version] View | Files available | DOI

[25]

2015 | Published | Conference Paper | IST-REx-ID: 1836

Cerny P, Henzinger TA, Kovács L, Radhakrishna A, Zwirchmayr J. Segment abstraction for worst-case execution time analysis. 2015;9032:105-131. doi:10.1007/978-3-662-46669-8_5

View | DOI

[24]

2013 | Published | Conference Paper | IST-REx-ID: 2182

View | DOI

[23]

2013 | Published | Conference Paper | IST-REx-ID: 2445 |

[Submitted Version] View | Files available | DOI

[22]

2012 | Published | Conference Paper | IST-REx-ID: 2890

View | DOI

[21]

2012 | Published | Conference Paper | IST-REx-ID: 2916 |

Cerny P, Chmelik M, Henzinger TA, Radhakrishna A. Interface Simulation Distances. In: Electronic Proceedings in Theoretical Computer Science. Vol 96. EPTCS; 2012:29-42. doi:10.4204/EPTCS.96.3

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv

[20]

2012 | Published | Journal Article | IST-REx-ID: 2967

Alur R, Cerny P, Weinstein S. Algorithmic analysis of array-accessing programs. ACM Transactions on Computational Logic (TOCL). 2012;13(3). doi:10.1145/2287718.2287727

View | Files available | DOI

[19]

2012 | Published | Journal Article | IST-REx-ID: 3249

Cerny P, Henzinger TA, Radhakrishna A. Simulation distances. Theoretical Computer Science. 2012;413(1):21-35. doi:10.1016/j.tcs.2011.08.002

View | Files available | DOI

[18]

2011 | Published | Conference Paper | IST-REx-ID: 3325

Alur R, Cerny P. Streaming transducers for algorithmic verification of single pass list processing programs. In: Vol 46. ACM; 2011:599-610. doi:10.1145/1926385.1926454

View | DOI

[17]

2011 | Published | Conference Paper | IST-REx-ID: 3359

Cerny P, Henzinger TA. From boolean to quantitative synthesis. In: ACM; 2011:149-154. doi:10.1145/2038642.2038666

View | DOI

[16]

2011 | Published | Conference Paper | IST-REx-ID: 3361 |

Cerny P, Chatterjee K, Henzinger TA. The complexity of quantitative information flow problems. In: IEEE; 2011:205-217. doi:10.1109/CSF.2011.21

[Submitted Version] View | Files available | DOI

[15]

2011 | Published | Conference Paper | IST-REx-ID: 3366 |

[Submitted Version] View | Files available | DOI

[14]

2010 | Published | Conference Paper | IST-REx-ID: 4390 |

Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model checking of linearizability of concurrent list implementations. In: Vol 6174. Springer; 2010:465-479. doi:10.1007/978-3-642-14295-6_41

[Submitted Version] View | Files available | DOI

[13]

2010 | Published | Book Chapter | IST-REx-ID: 4392

View | DOI

[12]

2010 | Published | Conference Paper | IST-REx-ID: 4393 |

Cerny P, Henzinger TA, Radhakrishna A. Simulation distances. In: Vol 6269. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:235-268. doi:10.1007/978-3-642-15375-4_18

[Submitted Version] View | Files available | DOI

[11]

2010 | Published | Conference Paper | IST-REx-ID: 488 |

Alur R, Cerny P. Expressiveness of streaming string transducers. In: Vol 8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:1-12. doi:10.4230/LIPIcs.FSTTCS.2010.1

[Published Version] View | Files available | DOI

[10]

2010 | Published | Technical Report | IST-REx-ID: 5388 |

Chatterjee K, Cerny P, Henzinger TA, Radhakrishna A, Singh R. Quantitative Synthesis for Concurrent Programs. IST Austria; 2010. doi:10.15479/AT:IST-2010-0004

[Published Version] View | Files available | DOI

[9]

2010 | Published | Technical Report | IST-REx-ID: 5389 |

Cerny P, Henzinger TA, Radhakrishna A. Simulation Distances. IST Austria; 2010. doi:10.15479/AT:IST-2010-0003

[Published Version] View | Files available | DOI

[8]

2010 | Published | Technical Report | IST-REx-ID: 5391 |

Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model Checking of Linearizability of Concurrent List Implementations. IST Austria; 2010. doi:10.15479/AT:IST-2010-0001

[Published Version] View | Files available | DOI

[7]

2009 | Published | Conference Paper | IST-REx-ID: 4376

Lublinerman R, Chaudhuri S, Cerny P. Parallel programming with object assemblies. In: ACM; 2009:61-80. doi:1546

View | DOI

[6]

2009 | Published | Conference Paper | IST-REx-ID: 4391

Cerny P, Alur R. Automated Analysis of Java Methods for Confidentiality. In: Springer; 2009:173-187. doi:1548

View | DOI

[5]

2009 | Published | Conference Paper | IST-REx-ID: 4403 |

Alur R, Cerny P, Weinstein S. Algorithmic analysis of array-accessing programs. In: Vol 5771. Springer; 2009:86-101. doi:10.1007/978-3-642-04027-6_9

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)

[4]

2008 | Published | Conference Paper | IST-REx-ID: 4400

Aviv A, Cerny P, Clark S, et al. Security Evaluation of ES&S Voting Machines and Election Management System. In: USENIX; 2008. doi:1545

View | DOI | Download (ext.)

[3]

2007 | Published | Conference Paper | IST-REx-ID: 4402

Alur R, Cerny P, Chaudhuri S. Model Checking on Trees with Path Equivalences. In: Springer; 2007:664-678. doi:1544

View | DOI

[2]

2006 | Published | Conference Paper | IST-REx-ID: 4401

Alur R, Cerny P, Zdancewic S. Preserving Secrecy Under Refinement. In: Springer; 2006:107-118. doi:1543

View | DOI

[1]

2005 | Published | Conference Paper | IST-REx-ID: 4404

Alur R, Cerny P, Madhusudan P, Nam W. Synthesis of interface specifications for Java classes. In: ACM; 2005:98-109. doi:1542

View | DOI

Pavol Cerny

27 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Grants

27 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Pavol Cerny

27 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options

Grants

27 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options