1. GIPSY: Generating Integrated Process Support Systems

Murer, Tobias, Würtz, A., Scherer, Daniel Bernhard and Schweizer, Daniel (1996)

Reports

2. OberonT - eine Programmiersprache für sicherheitskritische Systeme

Schweizer, Daniel (1996)

Reports

3. Overapproximating the Cost of Loops

Schweizer, Daniel (2013)

Master Theses

4. Verifikation von Implementationen abstrakter Datentypen für sicherheitskritische Systeme am Beispiel von Oberon

Schweizer, Daniel T. (1997)

Doctoral and Habilitation Theses