David Buchmann
Posts Archive
Tags
About

Posts tagged "verinec"

2007

Improving Network Reliability by avoiding Misconfiguration (10.10.2007)
PhD Thesis accepted (30.8.2007)
Assessment of code quality through classification of unit tests in VeriNeC (23.5.2007)
A role model to cope with the complexity of network configuration (25.4.2007)

2006

Assessment of code quality through classification of unit tests in VeriNeC (10.8.2006)
CLiXML - Testing of semantic properties in XML documents (24.5.2006)

2005

Automated Configuration Distribution in Verinec (7.10.2005)
A Unit Testing Framework for Network Configurations (24.5.2005)

2004

The Role of Simulation in a Network Configuration Engineering Approach (7.12.2004)
© 2025 David Buchmann @dbu@phpc.social @dbu