Michael Zolda

According to our database, Michael Zolda authored at least 8 papers between 2003 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Calculating WCET estimates from timed traces.

Michael Zolda, Raimund Kirner

Real Time Syst., 2016

2015

Optimised Adaptation of Mixed-Criticality Systems with Periodic Tasks on Uniform Multiprocessors in Case of Faults.

Raimund Kirner, Saverio Iacovelli, Michael Zolda

Proceedings of the 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2015

2011

Let's get less optimistic in measurement-based timing analysis.

Sven Bünte, Michael Zolda, Raimund Kirner

Proceedings of the Industrial Embedded Systems (SIES), 2011

Context-Sensitive Measurement-Based Worst-Case Execution Time Estimation.

Michael Zolda, Sven Bünte, Raimund Kirner

Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2011

Improving the Confidence in Measurement-Based Timing Analysis.

Sven Bünte, Michael Zolda, Michael Tautschnig, Raimund Kirner

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011

2010

Context-Sensitivity in IPET for Measurement-Based Timing Analysis.

Michael Zolda, Sven Bünte, Raimund Kirner

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2008

INFER: Interactive Timing Profiles based on Bayesian Networks.

Michael Zolda

Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

2003

Comparing Different Prenexing Strategies for Quantified Boolean Formulas.

Uwe Egly, Martina Seidl, Hans Tompits, Stefan Woltran, Michael Zolda

Proceedings of the Theory and Applications of Satisfiability Testing, 2003