Travelled to:
2 × United Kingdom
Collaborated with:
∅ P.Cerný T.A.Henzinger L.Kovács A.Radhakrishna
Talks about:
analysi (2) time (2) techniqu (1) abstract (1) segment (1) execut (1) worst (1) case (1) edg (1) cut (1)
Person: Jakob Zwirchmayr
DBLP: Zwirchmayr:Jakob
Contributed to:
Wrote 2 papers:
- ESOP-2015-CernyHKRZ #abstraction #analysis #execution #worst-case
- Segment Abstraction for Worst-Case Execution Time Analysis (PC, TAH, LK, AR, JZ), pp. 105–131.
- ICLP-2010-Zwirchmayr10 #analysis
- Cutting-Edge Timing Analysis Techniques (JZ), pp. 303–305.