Jakob Zwirchmayr
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2010–2021
Best venue rank
National
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | FMCAD | Model Checking AUTOSAR Components with CBMC. | Timothee Durand, Katalin Fazekas, Georg Weissenbacher, Jakob Zwirchmayr |
| 2015 | ESOP | Segment Abstraction for Worst-Case Execution Time Analysis. | Pavol Cern, Thomas A. Henzinger, Laura Kovcs, Arjun Radhakrishna, Jakob Zwirchmayr |
| 2013 | ATVA | SmacC: A Retargetable Symbolic Execution Engine. | Armin Biere, Jens Knoop, Laura Kovcs, Jakob Zwirchmayr |
| 2013 | RTNS | WCET squeezing: on-demand feasibility refinement for proven precise WCET-bounds. | Jens Knoop, Laura Kovcs, Jakob Zwirchmayr |
| 2012 | LPAR | r-TuBound: Loop Bounds for WCET Analysis (Tool Paper). | Jens Knoop, Laura Kovcs, Jakob Zwirchmayr |
| 2012 | RTNS | FFX: a portable WCET annotation language. | Armelle Bonenfant, Hugues Cass, Marianne De Michiel, Jens Knoop, Laura Kovcs, Jakob Zwirchmayr |
| 2010 | ICLP | Cutting-Edge Timing Analysis Techniques. | Jakob Zwirchmayr |