Jakob Zwirchmayr

According to our database, Jakob Zwirchmayr authored at least 11 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Model Checking AUTOSAR Components with CBMC.

Timothee Durand, Katalin Fazekas, Georg Weissenbacher, Jakob Zwirchmayr

Proceedings of the Formal Methods in Computer Aided Design, 2021

2017

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

2015

Segment Abstraction for Worst-Case Execution Time Analysis.

Pavol Cerný, Thomas A. Henzinger, Laura Kovács, Arjun Radhakrishna, Jakob Zwirchmayr

Proceedings of the Programming Languages and Systems, 2015

2014

Identifying Relevant Parameters to Improve WCET Analysis.

Jakob Zwirchmayr, Pascal Sotin, Armelle Bonenfant, Denis Claraz, Philippe Cuenot

Proceedings of the 14th International Workshop on Worst-Case Execution Time Analysis, 2014

2013

The Auspicious Couple: Symbolic Execution and WCET Analysis.

Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr

Proceedings of the 13th International Workshop on Worst-Case Execution Time Analysis, 2013

WCET squeezing: on-demand feasibility refinement for proven precise WCET-bounds.

Jens Knoop, Laura Kovács, Jakob Zwirchmayr

Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013

SmacC: A Retargetable Symbolic Execution Engine.

Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

FFX: a portable WCET annotation language.

Armelle Bonenfant, Hugues Cassé, Marianne De Michiel, Jens Knoop, Laura Kovács, Jakob Zwirchmayr

Proceedings of the 20th International Conference on Real-Time and Network Systems, 2012

r-TuBound: Loop Bounds for WCET Analysis (Tool Paper).

Jens Knoop, Laura Kovács, Jakob Zwirchmayr

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

2011

Symbolic Loop Bound Computation for WCET Analysis.

Jens Knoop, Laura Kovács, Jakob Zwirchmayr

Proceedings of the Perspectives of Systems Informatics, 2011

2010

Cutting-Edge Timing Analysis Techniques.

Jakob Zwirchmayr

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010