ETH E-Collection · ETH Institutional Repository

1. Visualization framework for information graphs

Bichler, Patrick (2002)

Master Theses

2. Cloud bursting for cloudy

Unternährer, Thomas (2009)

Master Theses

3. Formale Methoden zur Lösung von Komplexitäts- und Qualitätsproblemen

Biere, Armin (2001)

Conference Contributions

4. Bounded Model Checking

Biere, Armin (2000)

Conference Contributions

5. A decision procedure for quantified boolean formulae

Plaisted, David and Biere, Armin (2000)

Conference Contributions

6. Formal background and algorithms

Biere, Armin (2001)

Conference Contributions

7. Formale Methoden zur Lösung von Komplexitäts- und Qualitätsproblemen

Biere, Armin (2001)

Educational Material

8. Beyond SAT and BDD based model checking

Biere, Armin (2001)

Conference Contributions

9. Development and analysis of a workstation computer

Eberle, Johann Jakob (1987)

Doctoral and Habilitation Theses

10. Symbolic model checking using interval diagram techniques

Strehl, Karsten and Thiele, Lothar (1998)

Reports

11. Liveness checking as safety checking to find shortest counterexamples to linear time properties

Schuppan, Viktor (2006)

Doctoral and Habilitation Theses

12. Offene Speichersysteme: physischer Datenbankentwurf für externe Objekte

Relly, Lukas (1999)

Doctoral and Habilitation Theses

13. Forthcoming database

Mieusset-Kang, Kuk Hwan (2005)

Doctoral and Habilitation Theses

14. Distributed embedded systems

Dyer, Matthias (2007)

Doctoral and Habilitation Theses

15. Compositional design and analysis of distributed, cyclic, and adaptive embedded real-time systems

Stoimenov, Nikolay Nikolaev (2011)

Doctoral and Habilitation Theses

16. Modeling multimedia workloads for embedded system design

Maksyagin, Alexander (2006)

Doctoral and Habilitation Theses

17. On the modeling and evaluation of real-time systems

Naedele, Martin (2000)

Doctoral and Habilitation Theses

18. Modular performance analysis and interface-based design for embedded real-time systems

Wandeler, Ernesto (2006)

Doctoral and Habilitation Theses

19. Separate connection and functionality is the pivot in embedded system design

Trutmann, Hans Otto (2000)

Doctoral and Habilitation Theses

20. Ganymed

Plattner, Christian Andreas (2006)

Doctoral and Habilitation Theses

21. Building database applications in the cloud

Kraska, Tim (2010)

Doctoral and Habilitation Theses

22. Distributed data & resources

Schlude, Konrad (2002)

Doctoral and Habilitation Theses

23. Design and implementation of a component architecture for Oberon

Marais, Johannes Leon (1996)

Doctoral and Habilitation Theses

24. Performance and dependability of fault-tolerant distributed systems

Brenner, Andreas (1996)

Doctoral and Habilitation Theses

25. CoFrame: a modular co-design framework for heterogeneous distributed systems

Eisenring, Michael, Zitzler, Eckart and Thiele, Lothar (1999)

Reports