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)