Offline Validation of Firewalls. - Stephan Windmüller (SEW, 2011)

Automated continuous quality assurance. - Johannes Neubauer; Bernhard Steffen; Oliver Bauer; Stephan Windmüller; Maik Merten; Tiziana Margaria; Falk Howar (FormSERA@ICSE, 2012)

Active continuous quality control. - Stephan Windmüller; Johannes Neubauer; Bernhard Steffen; Falk Howar; Oliver Bauer (CBSE, 2013)

Simplifying Firewall Setups by Using Offline Validation. - Stephan Windmüller (J. Integr. Des. Process. Sci., 2013)

Risk-based testing via active continuous quality control. - Johannes Neubauer; Stephan Windmüller; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2014)

Kontinuierliche Qualitätskontrolle von Webanwendungen auf Basis maschinengelernter Modelle. - Stephan Windmüller (2014)