Michael Zolda

Publication Activity (10 Years)

Years Active: 2003-2016
Publications (10 Years): 1

Top Topics

Adaptive Systems

Adaptation Strategies

Top Venues

ISORC Workshops

Real Time Syst.

Publications

Michael Zolda, Raimund Kirner
Calculating WCET estimates from timed traces. Real Time Syst. 52 (1) (2016)
Raimund Kirner, Saverio Iacovelli, Michael Zolda
Optimised Adaptation of Mixed-Criticality Systems with Periodic Tasks on Uniform Multiprocessors in Case of Faults. ISORC Workshops (2015)
Sven Bünte, Michael Zolda, Raimund Kirner
Let's get less optimistic in measurement-based timing analysis. SIES (2011)
Sven Bünte, Michael Zolda, Michael Tautschnig, Raimund Kirner
Improving the Confidence in Measurement-Based Timing Analysis. ISORC (2011)
Michael Zolda, Sven Bünte, Raimund Kirner
Context-Sensitive Measurement-Based Worst-Case Execution Time Estimation. RTCSA (1) (2011)
Michael Zolda, Sven Bünte, Raimund Kirner
Context-Sensitivity in IPET for Measurement-Based Timing Analysis. ISoLA (2) (2010)
Michael Zolda
INFER: Interactive Timing Profiles based on Bayesian Networks. WCET (2008)
Uwe Egly, Martina Seidl, Hans Tompits, Stefan Woltran, Michael Zolda
Comparing Different Prenexing Strategies for Quantified Boolean Formulas. SAT (2003)