Daniel Schweizer

Overapproximating the Cost of Loops

Daniel Schweizer, 2013 .

Verifying the Specification-to-Code Correspondence for Abstract Data Types

Daniel Schweizer, Christoph Denzler, C. Denzler, 1997 .

Learning frequent and periodic usage patterns in smart homes

Daniel Schweizer, Danny Schweizer, 2014 .

Exporting MOOSE Models to Rational Rose UML

Oscar Nierstrasz, Daniel Schweizer, Oscar Nierstrasz, 2000 .

Uncertainty assessment in 3-D geological models of increasing complexity

Daniel Schweizer, Philipp Blum, Christoph Butscher, 2017 .

Navigation in Object-Oriented Reverse Engineering

Daniel Schweizer, D. Schweizer, 2002 .