Michael Harder

Maximal non-exchangeability in dimension d

Michael Harder, Ulrich Stadtmüller, U. Stadtmüller, 2013, J. Multivar. Anal..

An Esterel processor with full preemption support and its worst case reaction time analysis

Michael Harder, Xin Li, Marian Boldt, 2005, CASES '05.

Improving test suites via operational abstraction

Michael D. Ernst, Michael Harder, Jeff Mellen, 2003, 25th International Conference on Software Engineering, 2003. Proceedings..