Stephan Windmüller

According to our database, Stephan Windmüller authored at least 6 papers between 2011 and 2014.

Collaborative distances:

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

2014

Kontinuierliche Qualitätskontrolle von Webanwendungen auf Basis maschinengelernter Modelle.

Stephan Windmüller

PhD thesis, 2014

Risk-based testing via active continuous quality control.

Johannes Neubauer, Stephan Windmüller, Bernhard Steffen

Int. J. Softw. Tools Technol. Transf., 2014

2013

Simplifying Firewall Setups by Using Offline Validation.

Stephan Windmüller

J. Integr. Des. Process. Sci., 2013

Active continuous quality control.

Stephan Windmüller, Johannes Neubauer, Bernhard Steffen, Falk Howar, Oliver Bauer

Proceedings of the CBSE'13, 2013

2012

Automated continuous quality assurance.

Johannes Neubauer, Bernhard Steffen, Oliver Bauer, Stephan Windmüller, Maik Merten, Tiziana Margaria, Falk Howar

Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012

2011

Offline Validation of Firewalls.

Stephan Windmüller

Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011