Jakob Zwirchmayr

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