Model-Based Firewall Conformance Testing. - Achim D. Brucker; Lukas Brügger; Burkhart Wolff (TestCom/FATES, 2008)

Verifying Test-Hypotheses: An Experiment in Test and Proof. - Achim D. Brucker; Lukas Brügger; Burkhart Wolff (MBT@ETAPS, 2008)

Verified Firewall Policy Transformations for Test Case Generation. - Achim D. Brucker; Lukas Brügger; Paul J. Kearney; Burkhart Wolff (ICST, 2010)

An approach to modular and testable security models of real-world health-care applications. - Achim D. Brucker; Lukas Brügger; Paul J. Kearney; Burkhart Wolff (SACMAT, 2011)

A framework for modelling and testing of security policies. - Lukas Brügger (2012)

hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance Testing. - Achim D. Brucker; Lukas Brügger; Burkhart Wolff (ICTAC, 2013)

The Unified Policy Framework (UPF). - Achim D. Brucker; Lukas Brügger; Burkhart Wolff (Arch. Formal Proofs, 2014)

Formal firewall conformance testing: an application of test and proof techniques. - Achim D. Brucker; Lukas Brügger; Burkhart Wolff (Softw. Test. Verification Reliab., 2015)

Formal Network Models and Their Application to Firewall Policies. - Achim D. Brucker; Lukas Brügger; Burkhart Wolff (Arch. Formal Proofs, 2017)