Zwirchmayr, Jakob
Full name Familienname, Vorname
Zwirchmayr, Jakob
Results 1-5 of 5 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob | Von Vertrauen zum Beweis - Über funktionale Programmkorrektheit hinaus | Präsentation Presentation | 2014 | |
| 2 | Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob | The Five P's of Inferring Proven Precise Worst-Case Execution Time Bounds | Präsentation Presentation | 2014 | |
| 3 | Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob | Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds using Symbolic Execution | Präsentation Presentation | 2013 | |
| 4 | Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob | Replacing Conjectures by Positive Knowledge: Inferring and Proving Precision of Worst-Case Execution Time Bounds using Symbolic Execution | Präsentation Presentation | 2014 | |
| 5 | Durand, Timothee ; Fazekas, Katalin ; Weissenbacher, Georg ; Zwirchmayr, Jakob ; Piskac, Ruzica ; Whalen, Michael W. | Model Checking AUTOSAR Components with CBMC | Konferenzbeitrag Inproceedings  | 2021 |