ETH E-Collection · ETH Institutional Repository

1. Combined Static and Dynamic Analysis

Artho, Cyrille and Biere, Armin (2005)

Reports

2. Entwurf und Realisierung einer Methode zur Exceptionbehandlung und Synchronisation in Echtzeitprogrammen

Maier, Georg Ernst (1984)

Doctoral and Habilitation Theses

3. Optimal sparse matrix dense vector multiplication in the I/O-model

Bender, Michael A. (2006)

Reports

4. Safe loading and efficient runtime confinement

Payer, Mathias J. (2012)

Doctoral and Habilitation Theses

5. Approximating the worst-case execution of soft real-time applications

Corti, Matteo (2005)

Doctoral and Habilitation Theses

6. A Modular Design for the Common Language Runtime (CLR) Architecture

Fruja, Nicu Georgian (2005)

Reports

7. A Modular Design for the Common Language Runtime (CLR) Architecture

Fruja, Nicu Georgian (2005)

Reports

8. Type safety of generics for the .NET common language runtime

Fruja, Nicu Georgian

Reports

9. Running time analysis of evolutionary algorithms on vector-valued pseudo-Boolean functions

Laumanns, Marco, Thiele, Lothar and Zitzler, Eckart (2004)

Reports

10. A combination of system software techniques aimed at raising the run-time safety of complex mechatronic applications

Brega, Roberto (2002)

Doctoral and Habilitation Theses

11. Running time analysis of a multi-objective evolutionary algorithm on a simple discrete optimization problem

Laumanns, Marco, Thiele, Lothar, Zitzler, Eckart, Welzl, Emo and Deb, Kalyanmoy (2002)

Reports

12. Termination analysis for Bit-Vector programs

Wintersteiger, Christoph Michael (2011)

Doctoral and Habilitation Theses

13. A formal definition of JML in Coq and its application to runtime assertion checking

Lehner, Hermann (2011)

Doctoral and Habilitation Theses

14. Combining static and dynamic analysis to find multi-threading faults beyond data races

Artho, Cyrille (2005)

Doctoral and Habilitation Theses

15. Application-level multi-variant speculation with competitive parallel execution

Trachsel, Oliver (2010)

Doctoral and Habilitation Theses

16. Schedulability of event-driven code blocks in real-time embedded systems

Chakraborty, Samarjit, Erlebach, Thomas, Künzli, Simon and Thiele, Lothar (2002)

Reports

17. Rapid-Prototyping eingebetteter Systeme

Mattmann, Rudolf (1996)

Doctoral and Habilitation Theses

18. Performance evaluation of recent DRAM architectures for embedded systems

Gries, Matthias and Romer, Andreas (1999)

Reports

19. Supporting a low delay best-effort class in the presence of real-time traffic

Chakraborty, Samarjit, Gries, Matthias and Thiele, Lothar (2003)

Reports

20. Modular performance analysis of embedded real-time systems

Perathoner, Simon (2011)

Doctoral and Habilitation Theses

21. Scheduling Hardware/Software systems using symbolic techniques

Strehl, Karsten, Thiele, Lothar, Ziegenbein, Dirk and Ernst, Rolf (1999)

Reports

22. A proposal for a real-time extension of TTCN

Walter, Thomas and Grabowski, Jens (1996)

Reports

23. Characterizing variable task releases and processor capacities

Naedele, Martin, Thiele, Lothar and Eisenring, Michael (1999)

Reports

24. Design and implementation of a gateway for Web-based interaction and management of embedded devices

Wieland, Samuel (2009)

Master Theses

25. A survey of real-time scheduling tools

Naedele, Martin (1998)

Reports