Lukas Brügger

Genotype–phenotype associations of polymorphisms within the gene locus of NOD-like receptor pyrin domain containing 3 in Swiss inflammatory bowel disease patients

C. Sokollik, J. Borovička, F. Ris, 2021, BMC Gastroenterology.

Model-Based Firewall Conformance Testing

Achim D. Brucker, Burkhart Wolff, Lukas Brügger, 2008, TestCom/FATES.

Verified Firewall Policy Transformations for Test Case Generation

Achim D. Brucker, Burkhart Wolff, Paul Kearney, 2010, 2010 Third International Conference on Software Testing, Verification and Validation.

Verifying Test-Hypotheses: An Experiment in Test and Proof

Achim D. Brucker, Burkhart Wolff, Lukas Brügger, 2008, MBT@ETAPS.

An approach to modular and testable security models of real-world health-care applications

Achim D. Brucker, Burkhart Wolff, Paul Kearney, 2011, SACMAT '11.