Peter Wägemann. Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems. In Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf H. Reussner, Bernhard Rumpe, Ina Schaefer, editors, Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations. pages 227-247, Springer, 2020. [doi]
Abstract is missing.