Jakob Zwirchmayr

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 3

Top Topics

Upper And Lower Bounds

Worst Case Bounds

Automatic Image Annotation

Symbolic Execution

Top Venues

Publications

Timothee Durand, Katalin Fazekas, Georg Weissenbacher, Jakob Zwirchmayr
Model Checking AUTOSAR Components with CBMC. FMCAD (2021)
Jens Knoop, Laura Kovács, Jakob Zwirchmayr
Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution. J. Symb. Comput. 80 (2017)
Pavol Cerný, Thomas A. Henzinger, Laura Kovács, Arjun Radhakrishna, Jakob Zwirchmayr
Segment Abstraction for Worst-Case Execution Time Analysis. ESOP (2015)
Jakob Zwirchmayr, Pascal Sotin, Armelle Bonenfant, Denis Claraz, Philippe Cuenot
Identifying Relevant Parameters to Improve WCET Analysis. WCET (2014)
Jens Knoop, Laura Kovács, Jakob Zwirchmayr
WCET squeezing: on-demand feasibility refinement for proven precise WCET-bounds. RTNS (2013)
Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr
The Auspicious Couple: Symbolic Execution and WCET Analysis. WCET (2013)
Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr
SmacC: A Retargetable Symbolic Execution Engine. ATVA (2013)
Jens Knoop, Laura Kovács, Jakob Zwirchmayr
r-TuBound: Loop Bounds for WCET Analysis (Tool Paper). LPAR (2012)
Armelle Bonenfant, Hugues Cassé, Marianne De Michiel, Jens Knoop, Laura Kovács, Jakob Zwirchmayr
FFX: a portable WCET annotation language. RTNS (2012)
Jens Knoop, Laura Kovács, Jakob Zwirchmayr
Symbolic Loop Bound Computation for WCET Analysis. Ershov Memorial Conference (2011)
Jakob Zwirchmayr
Cutting-Edge Timing Analysis Techniques. ICLP (Technical Communications) (2010)