VLDB 2026 Research / reviewers in the wild / expert
Jakob Zwirchmayr
dblp:82/8292
· DBLP profile ↗
5ranked-venue papers
0as first author
1since 2021 · last 2021
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 1 since 2021Theory of computation · 3 · 1 since 2021Artificial intelligence and machine learning · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Model Checking AUTOSAR Components with CBMC
Timothee Durand, Katalin Fazekas, Georg Weissenbacher, Jakob Zwirchmayr |
FMCAD | 4 |
| 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. | 3 |
| 2015 | Segment Abstraction for Worst-Case Execution Time Analysis
Pavol Cerný, Thomas A. Henzinger, Laura Kovács, Arjun Radhakrishna, Jakob Zwirchmayr |
ESOP | 5 |
| 2013 | SmacC: A Retargetable Symbolic Execution Engine
Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr |
ATVA | 4 |
| 2012 | r-TuBound: Loop Bounds for WCET Analysis (Tool Paper)
Jens Knoop, Laura Kovács, Jakob Zwirchmayr |
LPAR | 3 |