Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Beyer, Dirk ; Holzer, Andreas ; Tautschnig, Michael ; Veith, Helmut | Information Reuse for Multi-goal Reachability Analyses | Konferenzbeitrag Inproceedings  | 2013 | |
| 2 | Cerny, Pavol ; Henzinger, Thomas A. ; Kovacs, Laura ; Radhakrishna, Arjun ; Zwirchmayr, Jakob ; Vitek, Jan | Segment Abstraction for Worst-Case Execution Time Analysis | Konferenzbeitrag Inproceedings | 2015 |