Segment Abstraction for Worst-Case Execution Time Analysis
Pavol Cerny, Thomas A. Henzinger, Laura Kovacs, Arjun Radhakrishna, Jakob Zwirchmayr
European Symposium on Programming Languages and Systems (ESOP) | April 2015
Publications
Publications by Year
-
-
Interface simulation distances
Pavol Cerny, Martin Chmelík, Thomas A. Henzinger, Arjun Radhakrishna
Theoretical Computer Science | December 2014, Vol 560: pp. 348-363
Battery Transition Systems
Udi Boker, Thomas A. Henzinger, Arjun Radhakrishna
Principles of Programming Languages (POPL) | January 2014
-
Quantitative Abstraction Refinement
Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna
Principles of Programming Languages (POPL) | January 2013
-
Synthesis from incompatible specifications
Pavol Cerny, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla
2012 Embedded Software | October 2012
Nominated for the Best Paper award
-
Simulation distances
Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna
Theoretical Computer Science | December 2011, Vol 413(1): pp. 21-35
2010 International Conference on Concurrency Theory
-
Quantitative Simulation Games
Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna
Time for Verification: Essays in Memory of Amir Pnueli | July 2010
Publications by Research Area
-
Segment Abstraction for Worst-Case Execution Time Analysis
Pavol Cerny, Thomas A. Henzinger, Laura Kovacs, Arjun Radhakrishna, Jakob Zwirchmayr
European Symposium on Programming Languages and Systems (ESOP) | April 2015
Interface simulation distances
Pavol Cerny, Martin Chmelík, Thomas A. Henzinger, Arjun Radhakrishna
Theoretical Computer Science | December 2014, Vol 560: pp. 348-363
Battery Transition Systems
Udi Boker, Thomas A. Henzinger, Arjun Radhakrishna
Principles of Programming Languages (POPL) | January 2014
Quantitative Abstraction Refinement
Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna
Principles of Programming Languages (POPL) | January 2013
Synthesis from incompatible specifications
Pavol Cerny, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla
2012 Embedded Software | October 2012
Nominated for the Best Paper award
Simulation distances
Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna
Theoretical Computer Science | December 2011, Vol 413(1): pp. 21-35
2010 International Conference on Concurrency Theory
Quantitative Simulation Games
Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna
Time for Verification: Essays in Memory of Amir Pnueli | July 2010
Publications by Type
-
Segment Abstraction for Worst-Case Execution Time Analysis
Pavol Cerny, Thomas A. Henzinger, Laura Kovacs, Arjun Radhakrishna, Jakob Zwirchmayr
European Symposium on Programming Languages and Systems (ESOP) | April 2015
Battery Transition Systems
Udi Boker, Thomas A. Henzinger, Arjun Radhakrishna
Principles of Programming Languages (POPL) | January 2014
Quantitative Abstraction Refinement
Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna
Principles of Programming Languages (POPL) | January 2013
Synthesis from incompatible specifications
Pavol Cerny, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla
2012 Embedded Software | October 2012
Nominated for the Best Paper award
-
Interface simulation distances
Pavol Cerny, Martin Chmelík, Thomas A. Henzinger, Arjun Radhakrishna
Theoretical Computer Science | December 2014, Vol 560: pp. 348-363
Simulation distances
Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna
Theoretical Computer Science | December 2011, Vol 413(1): pp. 21-35
2010 International Conference on Concurrency Theory
Quantitative Simulation Games
Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna
Time for Verification: Essays in Memory of Amir Pnueli | July 2010
People
Pavol Cerny
Professor
TU Wien
Thomas A. Henzinger
Professor
IST Austria
Arjun Radhakrishna
Principal Researcher