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, 第 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, 第 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
-
-
-
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, 第 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, 第 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
-
-
-
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, 第 560 卷: pp. 348-363
-
Simulation distances
Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna
Theoretical Computer Science | December 2011, 第 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
-
人员
Pavol Cerny
Professor
TU Wien
Thomas A. Henzinger
Professor
IST Austria
Arjun Radhakrishna
Principal Researcher