| Integrating Abstract Caches with Symbolic Pipeline Analysis | 0 | 0.34 | 2010 |
| Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models | 1 | 0.38 | 2007 |
| Efficient Analysis of Pipeline Models for WCET Computation | 5 | 0.51 | 2005 |
| Validierung des Zeitverhaltens von kritischer Echtzeit-Software | 1 | 0.34 | 2003 |
| Informationsmanagement in der Produktion - Neue Dienstleistungen durch E-Service | 0 | 0.34 | 2001 |
| Content Management - Aktuelles Schlagwort | 0 | 0.34 | 2000 |
