Improving Test Suites via Operational Abstraction. - Michael Harder; Jeff Mellen; Michael D. Ernst (ICSE, 2003)

An Esterel processor with full preemption support and its worst case reaction time analysis. - Xin Li 020; Jan Lukoschus; Marian Boldt; Michael Harder; Reinhard von Hanxleden (CASES, 2005)

Maximal non-exchangeability in dimension d. - Michael Harder; Ulrich Stadtmüller (J. Multivar. Anal., 2014)

Improving and Testing Rational Drug Design with Computational Methods and Experimental Model Systems. - Michael Harder (2014)