ISTA Research Explorer

Pavol Cerny

Henzinger_Thomas Group

27 Publications

[27]

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

Cerny, Pavol, et al. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.” Formal Methods in System Design, vol. 50, no. 2–3, Springer, 2017, pp. 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, Pavol, et al. From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis. Vol. 9207, Springer, 2015, pp. 180–97, 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, Pavol, et al. Segment Abstraction for Worst-Case Execution Time Analysis. Vol. 9032, Springer, 2015, pp. 105–31, doi:10.1007/978-3-662-46669-8_5.

View | DOI

[24]

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

Cerny, Pavol, et al. “Quantitative Abstraction Refinement.” Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 115–28, doi:10.1145/2429069.2429085.

View | DOI

[23]

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

Cerny, Pavol, et al. Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. Vol. 8044, Springer, 2013, pp. 951–67, 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, Pavol, et al. “Synthesis from Incompatible Specifications.” Proceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 53–62, doi:10.1145/2380356.2380371.

View | DOI

[21]

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

Cerny, Pavol, et al. “Interface Simulation Distances.” Electronic Proceedings in Theoretical Computer Science, vol. 96, EPTCS, 2012, pp. 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, Rajeev, et al. “Algorithmic Analysis of Array-Accessing Programs.” ACM Transactions on Computational Logic (TOCL), vol. 13, no. 3, 27, ACM, 2012, doi:10.1145/2287718.2287727.

View | Files available | DOI

[19]

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

Cerny, Pavol, et al. “Simulation Distances.” Theoretical Computer Science, vol. 413, no. 1, Elsevier, 2012, pp. 21–35, doi:10.1016/j.tcs.2011.08.002.

View | Files available | DOI

[18]

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

Alur, Rajeev, and Pavol Cerny. Streaming Transducers for Algorithmic Verification of Single Pass List Processing Programs. Vol. 46, no. 1, ACM, 2011, pp. 599–610, doi:10.1145/1926385.1926454.

View | DOI

[17]

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

Cerny, Pavol, and Thomas A. Henzinger. From Boolean to Quantitative Synthesis. ACM, 2011, pp. 149–54, doi:10.1145/2038642.2038666.

View | DOI

[16]

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

Cerny, Pavol, et al. The Complexity of Quantitative Information Flow Problems. IEEE, 2011, pp. 205–17, doi:10.1109/CSF.2011.21.

[Submitted Version] View | Files available | DOI

[15]

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

Cerny, Pavol, et al. Quantitative Synthesis for Concurrent Programs. Edited by Ganesh Gopalakrishnan and Shaz Qadeer, vol. 6806, Springer, 2011, pp. 243–59, 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, Pavol, et al. Model Checking of Linearizability of Concurrent List Implementations. Vol. 6174, Springer, 2010, pp. 465–79, 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, Pavol, et al. “Quantitative Simulation Games.” Time For Verification: Essays in Memory of Amir Pnueli, edited by Zohar Manna and Doron Peled, vol. 6200, Springer, 2010, pp. 42–60, doi:10.1007/978-3-642-13754-9_3.

View | DOI

[12]

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

Cerny, Pavol, et al. Simulation Distances. Vol. 6269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–68, 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, Rajeev, and Pavol Cerny. Expressiveness of Streaming String Transducers. Vol. 8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 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, Krishnendu, et al. 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, Pavol, et al. 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, Pavol, et al. 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, Roberto, et al. Parallel Programming with Object Assemblies. ACM, 2009, pp. 61–80, doi:1546.

View | DOI

[6]

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

Cerny, Pavol, and Rajeev Alur. Automated Analysis of Java Methods for Confidentiality. Springer, 2009, pp. 173–87, doi:1548.

View | DOI

[5]

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

Alur, Rajeev, et al. Algorithmic Analysis of Array-Accessing Programs. Vol. 5771, Springer, 2009, pp. 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, Adam, et al. Security Evaluation of ES&S Voting Machines and Election Management System. USENIX, 2008, doi:1545.

View | DOI | Download (ext.)

[3]

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

Alur, Rajeev, et al. Model Checking on Trees with Path Equivalences. Springer, 2007, pp. 664–78, doi:1544.

View | DOI

[2]

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

Alur, Rajeev, et al. Preserving Secrecy Under Refinement. Springer, 2006, pp. 107–18, doi:1543.

View | DOI

[1]

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

Alur, Rajeev, et al. Synthesis of Interface Specifications for Java Classes. ACM, 2005, pp. 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, Pavol, et al. From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis. Vol. 9207, Springer, 2015, pp. 180–97, 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, Pavol, et al. Segment Abstraction for Worst-Case Execution Time Analysis. Vol. 9032, Springer, 2015, pp. 105–31, 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 |

Cerny, Pavol, et al. Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. Vol. 8044, Springer, 2013, pp. 951–67, doi:10.1007/978-3-642-39799-8_68.

[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, Pavol, et al. “Interface Simulation Distances.” Electronic Proceedings in Theoretical Computer Science, vol. 96, EPTCS, 2012, pp. 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, Rajeev, et al. “Algorithmic Analysis of Array-Accessing Programs.” ACM Transactions on Computational Logic (TOCL), vol. 13, no. 3, 27, ACM, 2012, doi:10.1145/2287718.2287727.

View | Files available | DOI

[19]

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

Cerny, Pavol, et al. “Simulation Distances.” Theoretical Computer Science, vol. 413, no. 1, Elsevier, 2012, pp. 21–35, doi:10.1016/j.tcs.2011.08.002.

View | Files available | DOI

[18]

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

Alur, Rajeev, and Pavol Cerny. Streaming Transducers for Algorithmic Verification of Single Pass List Processing Programs. Vol. 46, no. 1, ACM, 2011, pp. 599–610, doi:10.1145/1926385.1926454.

View | DOI

[17]

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

Cerny, Pavol, and Thomas A. Henzinger. From Boolean to Quantitative Synthesis. ACM, 2011, pp. 149–54, doi:10.1145/2038642.2038666.

View | DOI

[16]

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

Cerny, Pavol, et al. The Complexity of Quantitative Information Flow Problems. IEEE, 2011, pp. 205–17, doi:10.1109/CSF.2011.21.

[Submitted Version] View | Files available | DOI

[15]

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

Cerny, Pavol, et al. Quantitative Synthesis for Concurrent Programs. Edited by Ganesh Gopalakrishnan and Shaz Qadeer, vol. 6806, Springer, 2011, pp. 243–59, 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, Pavol, et al. Model Checking of Linearizability of Concurrent List Implementations. Vol. 6174, Springer, 2010, pp. 465–79, 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, Pavol, et al. Simulation Distances. Vol. 6269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–68, 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, Rajeev, and Pavol Cerny. Expressiveness of Streaming String Transducers. Vol. 8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 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, Krishnendu, et al. 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, Pavol, et al. 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, Pavol, et al. 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, Roberto, et al. Parallel Programming with Object Assemblies. ACM, 2009, pp. 61–80, doi:1546.

View | DOI

[6]

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

Cerny, Pavol, and Rajeev Alur. Automated Analysis of Java Methods for Confidentiality. Springer, 2009, pp. 173–87, doi:1548.

View | DOI

[5]

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

Alur, Rajeev, et al. Algorithmic Analysis of Array-Accessing Programs. Vol. 5771, Springer, 2009, pp. 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, Adam, et al. Security Evaluation of ES&S Voting Machines and Election Management System. USENIX, 2008, doi:1545.

View | DOI | Download (ext.)

[3]

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

Alur, Rajeev, et al. Model Checking on Trees with Path Equivalences. Springer, 2007, pp. 664–78, doi:1544.

View | DOI

[2]

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

Alur, Rajeev, et al. Preserving Secrecy Under Refinement. Springer, 2006, pp. 107–18, doi:1543.

View | DOI

[1]

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

Alur, Rajeev, et al. Synthesis of Interface Specifications for Java Classes. ACM, 2005, pp. 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