Browsing by Author
Showing results 1 to 1 of 1
| Preview | Authors / Editors | Title | Type | Issue Date |
|---|---|---|---|---|
 | Knoop, Jens ; Kovács, Laura; Zwirchmayr, Jakob | Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds Using Symbolic Execution | Article Artikel   | 2017 |