Michael Harder

According to our database, Michael Harder authored at least 3 papers between 2003 and 2014.

Collaborative distances:

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

2014

Maximal non-exchangeability in dimension d.

Michael Harder, Ulrich Stadtmüller

J. Multivar. Anal., 2014

2005

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

Xin Li, Jan Lukoschus, Marian Boldt, Michael Harder, Reinhard von Hanxleden

Proceedings of the 2005 International Conference on Compilers, 2005

2003

Improving Test Suites via Operational Abstraction.

Michael Harder, Jeff Mellen, Michael D. Ernst

Proceedings of the 25th International Conference on Software Engineering, 2003