Talks and Poster Presentations (with Proceedings-Entry):

J. Zwirchmayr:
"Cutting-edge Timing Analysis Techniques";
Talk: 26th International Conference on Logic Programming - Doctoral Consortium (ICLP-DC 2010), Edinburgh, Scotland, United Kingdom; 2010-07-21; in: "Technical Communications of the 26th International Conference on Logic Programming", M. Hermenegildo, T. Schraub (ed.); Leibniz International Proceedings in Informatics / Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 7 / Dagstuhl, Germany (2010), ISBN: 978-3-939897-17-0; 303 - 305.

English abstract:
Abstract. This text gives an overview about my current research in timing analysis
at the Vienna University of Technology. After a short introduction to the topic follows
the description of an approach relying on CLP, the implicit path enumeration technique
(IPET). This technique is also used in a tool developed at the institute of Computer
Languages (TuBound). Current timing analysis tools suffer from a few flaws worth further
investigation in order to achieve better results than current state-of-the-art timing analysis

verification, timing analysis, hard real-time systems, static analysis, worst-case execution time, loop-invariants, nested loop, symbolic computation, satisfiability modulo theories

Created from the Publication Database of the Vienna University of Technology.