Automated configuration distribution in verinec. - David Buchmann; Dominik Jungo; Ulrich Ultes-Nitsche (ICETE, 2005)

A Unit Testing Framework for Network Configurations. - Dominik Jungo; David Buchmann; Ulrich Ultes-Nitsche (MSVVEIS, 2005)

Testing of Semantic Properties in XML Documents. - Dominik Jungo; David Buchmann; Ulrich Ultes-Nitsche (MSVVEIS, 2006)

Environmental Acquisition in Mobile Network Simulation. - David Buchmann; Dominik Jungo; Ulrich Ultes-Nitsche (WINSYS, 2006)

Assessment of Code Quality through Classification of Unit Tests in VeriNeC. - Dominik Jungo; David Buchmann; Ulrich Ultes-Nitsche (AINA Workshops (1), 2007)

Improving network reliability by avoiding misconfiguration. - David Buchmann; Dominik Jungo; Ulrich Ultes-Nitsche (DRCN, 2007)