Date Item Type No Grouping

Comparing Different Prenexing Strategies for Quantified Boolean Formulas. (2004) Uwe Egly, Martina Seidl, Hans Tompits, Stefan Woltran and M. Zolda

Measurement-Based Timing Analysis for Reconfigurable Embedded Systems. (2011) Raimund Kirner, Sven Bünte and Michael Zolda

Optimised Adaptation of Mixed-criticality Systems with Periodic Tasks on Uniform Multiprocessors in Case of Faults. (2015) Raimund Kirner, Saverio Iacovelli and Michael Zolda