ETH E-Collection · ETH Institutional Repository

1. OpenXL: an adaptable Web Service middleware

Reichel, Christian (2007)

Doctoral and Habilitation Theses

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

Biere, Armin (2001)

Conference Contributions

3. Bounded Model Checking

Biere, Armin (2000)

Conference Contributions

4. A decision procedure for quantified boolean formulae

Plaisted, David and Biere, Armin (2000)

Conference Contributions

5. Formal background and algorithms

Biere, Armin (2001)

Conference Contributions

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

Biere, Armin (2001)

Educational Material

7. Beyond SAT and BDD based model checking

Biere, Armin (2001)

Conference Contributions

8. Development and analysis of a workstation computer

Eberle, Johann Jakob (1987)

Doctoral and Habilitation Theses

9. Symbolic model checking using interval diagram techniques

Strehl, Karsten and Thiele, Lothar (1998)

Reports

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

Schuppan, Viktor (2006)

Doctoral and Habilitation Theses

11. Distributed embedded systems

Dyer, Matthias (2007)

Doctoral and Habilitation Theses

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

Stoimenov, Nikolay Nikolaev (2011)

Doctoral and Habilitation Theses

13. Modeling multimedia workloads for embedded system design

Maksyagin, Alexander (2006)

Doctoral and Habilitation Theses

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

Naedele, Martin (2000)

Doctoral and Habilitation Theses

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

Wandeler, Ernesto (2006)

Doctoral and Habilitation Theses

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

Trutmann, Hans Otto (2000)

Doctoral and Habilitation Theses

17. Design and implementation of a component architecture for Oberon

Marais, Johannes Leon (1996)

Doctoral and Habilitation Theses

18. Performance and dependability of fault-tolerant distributed systems

Brenner, Andreas (1996)

Doctoral and Habilitation Theses

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

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

Reports

20. Debora

Heeb, Beat Urs (1993)

Doctoral and Habilitation Theses

21. Evolutionary algorithms for multiobjective optimization

Zitzler, Eckart (1999)

Doctoral and Habilitation Theses

22. Proofs for the working engineer

Mehta, Farhad Dinshaw (2008)

Doctoral and Habilitation Theses

23. Assessment of the innovation capability of SMES – development of an internet-based evalutation tool

Kobe, Carmen, Verworn, Birgit, Songeregger, Roman, Bitzi, Stefan and Meier, Markus (2003)

Conference Contributions

24. Group and session management for collaborative applications

Wilde, Erik (1997)

Doctoral and Habilitation Theses

25. Communication channel synthesis for heterogeneous embedded systems

Eisenring, Michael Herbert (2002)

Doctoral and Habilitation Theses