Cited By
View all- Wägemann P(2022)Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical SystemsErnst Denert Award for Software Engineering 202010.1007/978-3-030-83128-8_11(227-247)Online publication date: 1-Jan-2022
- Búr MMarussy KMeyer BVarró D(2021)Worst-case Execution Time Calculation for Query-based Monitors by Witness GenerationACM Transactions on Embedded Computing Systems10.1145/347190420:6(1-36)Online publication date: 18-Oct-2021
- Luckow KKersten RPasareanu C(2020)Complexity vulnerability analysis using symbolic executionSoftware Testing, Verification and Reliability10.1002/stvr.171630:7-8Online publication date: 6-Feb-2020
- Show More Cited By