Klaus Hörmaier

According to our database, Klaus Hörmaier authored at least 3 papers between 2014 and 2015.

Collaborative distances:

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

2015

Require, Test and Trace IT.

Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran

Proceedings of the Formal Methods for Industrial Critical Systems, 2015

2014

Debugging with Timed Automata Mutations.

Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber

Proceedings of the Computer Safety, Reliability, and Security, 2014

Integration of Requirements Engineering and Test-Case Generation via OSLC.

Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Rupert Schlick, Didier Simoneau, Stefan Tiran

Proceedings of the 2014 14th International Conference on Quality Software, 2014