Browsing by Author

Showing results 1 to 1 of 1
PreviewAuthors / EditorsTitleTypeIssue Date
Replacing Conjectures by Positive Knowledge Inferring Proven Precise Worst-Case Execution Time Bounds Using Symbolic Execution.pdf.jpgKnoop, Jens ; Kovács, Laura; Zwirchmayr, Jakob Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds Using Symbolic ExecutionArticle Artikel 2017