Cutting-Edge Timing Analysis Techniques. - Jakob Zwirchmayr (ICLP (Technical Communications), 2010)

Symbolic Loop Bound Computation for WCET Analysis. - Jens Knoop; Laura Kovács; Jakob Zwirchmayr (Ershov Memorial Conference, 2011)

r-TuBound: Loop Bounds for WCET Analysis (Tool Paper). - Jens Knoop; Laura Kovács; Jakob Zwirchmayr (LPAR, 2012)

FFX: a portable WCET annotation language. - Armelle Bonenfant; Hugues Cassé; Marianne De Michiel; Jens Knoop; Laura Kovács; Jakob Zwirchmayr (RTNS, 2012)

SmacC: A Retargetable Symbolic Execution Engine. - Armin Biere; Jens Knoop; Laura Kovács; Jakob Zwirchmayr (ATVA, 2013)

WCET squeezing: on-demand feasibility refinement for proven precise WCET-bounds. - Jens Knoop; Laura Kovács; Jakob Zwirchmayr (RTNS, 2013)

The Auspicious Couple: Symbolic Execution and WCET Analysis. - Armin Biere; Jens Knoop; Laura Kovács; Jakob Zwirchmayr (WCET, 2013)

Identifying Relevant Parameters to Improve WCET Analysis. - Jakob Zwirchmayr; Pascal Sotin; Armelle Bonenfant; Denis Claraz; Philippe Cuenot (WCET, 2014)

Segment Abstraction for Worst-Case Execution Time Analysis. - Pavol Cerný; Thomas A. Henzinger; Laura Kovács; Arjun Radhakrishna; Jakob Zwirchmayr (ESOP, 2015)

Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution. - Jens Knoop; Laura Kovács; Jakob Zwirchmayr (J. Symb. Comput., 2017)

Model Checking AUTOSAR Components with CBMC. - Timothee Durand; Katalin Fazekas; Georg Weissenbacher; Jakob Zwirchmayr (FMCAD, 2021)