Knoop, Jens

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Full name Familienname, Vorname
Knoop, Jens
 

Own Publications Eigene Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Replacing 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 Artikel2017