ETH E-Collection · ETH Institutional Repository

1. Program analyses for automatic and precise error detection

Pradel, Michael (2012)

Doctoral and Habilitation Theses

2. Using debuggers to understand failed verification attempts

Müller, Peter and Ruskiewicz, Joseph N. (2011)

Reports

3. Test wizard

Greber, Nicole (2004)

Master Theses

4. Guided random-based testing strategies

Mitran, Cosmin (2007)

Master Theses

5. Faultless systems: yes we can!

Abrial, Jean-Raymond (2009)

Reports

6. Strategies for random contract-based testing

Ciupa, Ilinca (2008)

Doctoral and Habilitation Theses

7. Contract-based tests in the software process and environment

Leitner, Andreas (2008)

Doctoral and Habilitation Theses

8. Multivariate tests of location for restricted alternatives

Nüesch, Peter, Nüesch, Peter and Nüesch, Peter (1964)

Doctoral and Habilitation Theses

9. Genotoxizität von Hydrazin-Derivaten bei Drosophila melanogaster

Juon, Heinz (1986)

Doctoral and Habilitation Theses

10. Biege-, Zug- und Druckversuche an Schweizer Fichtenholz

Steiger, René (1995)

Reports

11. Bruchmechanische Untersuchung mittels Kerbschlagproben

Beisken, Helmut (1973)

Doctoral and Habilitation Theses

12. Structural waves in nondestructive testing

Staudenmann, Markus (1995)

Doctoral and Habilitation Theses

13. Die thermische Analyse in der Praxis der Aluminium- und der Eisengiesserei

Menk, Werner (1990)

Doctoral and Habilitation Theses

14. Die Härte von N-2, O-2, Ar und von N-2-O-2-Gemischen

Trepp, Christian (1958)

Doctoral and Habilitation Theses

15. Wet processing of nanosized ceramic particles

Helbig, Jens (2000)

Doctoral and Habilitation Theses

16. Counterexemplare execution

Billeter, Jürg (2008)

Master Theses

17. Genotoxizitätsprüfung mit Drosophila melanogaster

Frölich, Albert Paul (1989)

Doctoral and Habilitation Theses

18. Deformationsverhalten von geschmolzenem Polyaethylen im Zugversuch bei grossen Gesamtdehnungen

Raible, Thomas (1981)

Doctoral and Habilitation Theses

19. Strichfiguren als visuelle Stimuli in psychologischen Experimenten

Party, Jean Luc (1975)

Doctoral and Habilitation Theses

20. Erweiterung einer photoelektrisch-interferometrischen Methode auf die Messung zeitlich veränderlicher, ebener Spannungszustände

Hänggi, Henri (1965)

Doctoral and Habilitation Theses

21. Untersuchungen über die Genauigkeit des Zielens mit Fernröhren

Noetzli, Alfred (1915)

Doctoral and Habilitation Theses

22. Theoretische und experimentelle Untersuchung von Messgeräten zur Bestimmung des Scheitelwertes von kurzzeitigen Stossspannungen

Trümpy, Ernst (1956)

Doctoral and Habilitation Theses

23. Beobachtungen bei der makroskopisch homogenen Kaltverformung und deren Einfluss auf die Sprödbruchempfindlichkeit von Stahl

Mohamed, Farouk Awad Ibrahim (1968)

Doctoral and Habilitation Theses

24. A framework for modelling and testing of security policies

Brügger, Lukas Alexander (2012)

Doctoral and Habilitation Theses

25. Die genaue parametrische Beschreibung von Profilschrieben technischer Oberflächen in Hinsicht auf die Funktionsfähigkeit des Werkstückes

Staufert, Gerhard (1980)

Doctoral and Habilitation Theses