Wichtige Veröffentlichungen, sortiert nach Datum

2007

• Hamann, Reuther, Wolter, Härtig
  Quality-Assuring Scheduling
  
  
  

2006

• N.Feske, C. Helmuth
  Design of the Bastei OS Architecture.
  TU Dresden technical report TUD-FI06-07, December 2006, Dresden, Germany
  
  
• Roitzsch, Pohlack
  Principles for the Prediction of Video Decoding Times applied to MPEG-1/2 and MPEG-4 Part 2 Video
  In Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS), Rio de Janeiro, Brazil, 2006
  
  
• Roitzsch
  Slice-Balancing H.264 Video Encoding for Improved Scalability of Multicore Decoding
  In Work-in-Progress Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS), Rio de Janeiro, Brazil, 2006
  
  
• Roitzsch, Härtig
  Ten Years of Research on L4-Based Real-Time
  In Proceedings of the Eighth Real-Time Linux Workshop, Lanzhou, China, 2006
  
  
• Hamann, Zschaler
  Scheduling Real-Time Components Using Jitter-Constrained Streams
  10/2006 - EDOC 2006
  
  
• Martin Pohlack, Björn Döbel, and Adam Lackorzynski
  Towards Runtime Monitoring in Real-Time Systems
  In Proceedings of the Eighth Real-Time Linux Workshop, Lanzhou, China, 2006
  
  

2005

• Singaravelu, Pu, Härtig, Helmuth:
  Reducing TCB Complexity for Security-Sensitive Applications: Three Case Studies
  04/2006 - Eurosys 1
  
  
• Härtig, Hohmuth, Feske, Helmuth, Lackorzynski, Mehnert, Peter:
  The Nizza Secure-System Architecture
  12/2005 - CollaborateCom 2005
  
  
• Feske, Helmuth:
  A Nitpicker's guide to a minimal-complexity secure GUI
  12/2005 - ACSAC 2005
  
  
• Hamann:
  Schwankungsbeschräkte Ströme
  08/2005 - Technical Report
  
  
• Steinberg, Wolter, Härtig:
  Fast Component Interaction for Real-Time Systems
  07/2005 - ECRTS 2005
  
  
• Helmuth, Warg, Feske:
  Mikro-SINA—Hands-on Experiences with the Nizza Security Architecture
  04/2005 - DACH 2005
  
  

2004

• Loeser, Wolter:
  Scheduling support for Hard Real-Time Ethernet Networking
  12/2004 - WACERTS'04 Workshop
  
  
• Aigner, Pohl, Pohlack, Zschaler:
  Tailor-Made Containers: Modeling Non-functional Middleware Service
  10/2004 - NFC'04 Workshop
  
  
• Hohmuth, Härtig, Shapiro:
  Reducing TCB size by using untrusted components — small kernels versus virtual-machine monitors
  09/2004 - ACM SIGOPS EW
  
  
• Loeser, Härtig:
  Using Switched Ethernet for Hard Real-Time Communication
  09/2004 - PARELEC
  
  
• Loeser, Härtig:
  Low-latency Hard Real-Time Communication over Switched Ethernet
  06/2004 - ECRTS
  
  
• Göbel, Pohl, Aigner, Pohlack, Röttger, Zschaler:
  The COMQUAD Component Container Architecture
  06/2004 - WICSA-4
  
  
• Göbel, Pohl, Aigner, Pohlack, Röttger, Zschaler:
  The COMQUAD Component Container Architecture and Contract Negotiation
  04/2004 - Technical Report
  
  
• Feske, Helmuth:
  Overlay Window Management: User interaction with multiple security domains
  04/2004 - Technical Report
  
  
• Pohlack, Aigner, Härtig:
  Connecting Real-Time and Non-Real-Time Components
  02/2004 - Technical Report
  
  

2003

• Reuther, Pohlack:
  Rotational-Position-Aware Real-Time Disk Scheduling Using a Dynamic Active Subset (DAS)
  12/2003 - RTSS
  
  
• Schönberg:
  Impact of PCI-Bus Load on Applications in a PC Architecture
  12/2003 - RTSS
  
  
• Aigner, Pohlack, Röttger, Zschaler:
  Towards Pervasive Treatment of Non-Functional Properties at Design and Run-Time
  12/2003 - ICSSEA
  
  
• Feske, Härtig:
  DOpE — a Window Server for Real-Time and Embedded Systems
  12/2003 - Extended Abstract RTSS
  
  
• Löser:
  Measuring Microsecond Delays
  11/2003 - Technical Report
  
  
• Löser:
  Buffer Bounds of a FIFO Multiplexer
  11/2003 - Technical Report
  
  
• Feske, Härtig:
  DOpE — a Window Server for Real-Time and Embedded Systems
  09/2003 - Technical Report
  
  
• Hohmuth, Tews:
  The Semantics of C++ Data Types: Towards Verifying low-level System Components
  09/2003 - Emerging trends track, TPHOLs
  
  
• Härtig, Löser, Mehnert, Reuther, Pohlack, Warg:
  An I/O Architecture for Mikrokernel-Based Operating Systems
  08/2003 - Technical Report
  
  
• Helmuth, Westfeld, Sobirey:
  µSINA - Eine mikrokernbasierte Systemarchitektur für sichere Systemkomponenten
  05/2003 - 8. Deutscher IT-Sicherheitskongress des BSI
  Best Paper der Tagung!
  
  
• Reuther, Pohlack:
  Work-in-Progress Report: Using SATF Scheduling in Real-Time Systems
  03/2003 - Work-in-Progress Report, FAST
  
  

2002

• Mehnert, Hohmuth, Härtig:
  Cost and benefit of separate address spaces in real-time operating systems
  12/2002 - RTSS
  
  
• Westfeld:
  Detecting Low Embedding Rates
  10/2002 - IH'02
  
  
• Härtig:
  Security Architectures Revisited
  09/2002 - SIGOPS European Workshop
  
  
• Löser, Härtig:
  Cache Influence on Worst Case Execution Time of Network Stacks
  07/2002 - Technical Report
  
  
• Löser, Härtig:
  Real Time on Ethernet using off-the-shelf Hardware
  06/2002 - RTLIA
  
  
• Hohmuth, Tews, Stephens:
  Applying source-code verification to a microkernel - The VFiasco project
  03/2002 - Technical Report
  
  

2001

• Hamann, Löser, Reuther, Schönberg, Wolter, Härtig:
  Quality Assuring Scheduling - Deploying Stochastic Behavior to Improve Resource Utilization
  12/2001 - RTSS
  
  
• Mehnert, Hohmuth, Schönberg, Härtig:
  RTLinux with Address Spaces
  11/2001 - Real-Time Linux Workshop
  
  
• Lehmann, Westfeld:
  Kapselung ausführbarer Binärdateien.
  slcaps: Implementierung von Capabilitys für Linux.
  09/2001 - VIS
  
  
• Löser, Härtig, Reuther:
  A Streaming Interface for Real-Time Interprocess Communication
  08/2001 - Technical Report
  
  
• Hohmuth, Tews:
  VFiasco - Towards a Provably Correct Microkernel
  07/2001 - Work-in-Progress Report
  
  
• Hohmuth, Härtig:
  Pragmatic nonblocking synchronization for real-time systems
  06/2001 - USENIX Technical
  
  
• Löser, Härtig, Reuther:
  Position Summary. A Streaming Interface for Real-Time Interprocess Communication
  05/2001 - HotOS 2001
  
  
• Westfeld:
  F5 - A Steganographic Algorithm: High Capacity Despite Better Steganalysis
  04/2001 - IH'01
  
  
• Hamann, Märcz, Meyer-Wegener:
  Buffer optimization in realtime media streams using jitter-constrained periodic streams
  01/2001 - Technical Report
  
  
• Tews, Härtig, Hohmuth:
  VFiasco - Towards a Provably Correct Microkernel
  01/2001 - Technical Report
  
  

2000

• Dannowski, Härtig:
  Policing Offloaded
  05/2000 - RTAS
  
  
• Reuther, Uhlig, Aigner:
  Component Interfaces in a Microkernel-based System
  03/2000 - SDA Workhop
  
  

1999

• Hamann, Reuther:
  Pufferdimensionierung für schwankungsbeschränkte Ströme in DROPS
  09/1999 - GI/ITG Fachtagung MMB
  
  
• Härtig, Reuther, Wolter, Borriss, and Paul:
  Cooperating Resource Managers
  06/1999 - RTAS
  
  

1998

• Borriss, Härtig:
  Design and Implementation of a Real-Time ATM-Based Protocol Server
  12/1998 - RTSS
  
  
• Härtig, Baumgartl, Borriss, Hamann, Hohmuth, Mehnert, Reuther, Schönberg, Wolter:
  DROPS - OS Support for Distributed Multimedia Applications
  09/1998 - SIGOPS
  
  
• Baumgartl, Borriss, Härtig, Hamann, Hohmuth, Reuther, Schönberg, Wolter:
  
• Baumgartl, Härtig:
  DSPs as flexible Multimedia Accelerators
  09/1998 - EDRC
  
  
• Baumgartl, Stuhlemmer:
  Data Dependency in MPEG Audio Frame Decoding Time on a DSP
  09/1998 - ICSPAT
  
  
• Borriss, Dannowski, Härtig:
  TCP Performance over ATM on Linux and Windows NT
  06/1998 - ICATM
  
  
Dresden Realtime Operating System
03/1998 - SDA Workshop

1997

• Härtig, Hohmuth, Liedtke:
  The Performance of µ-Kernel-based Systems
  10/1997 - SOSP
  
  
• Liedtke, Härtig, Hohmuth:
  OS-Controlled Cache Predictability for Real-Time Systems
  06/1997 - RTAS
  
  
• Härtig, Reuther:
  Encapsulating Mobile Objects
  05/1997 - ICDCS
  
  
• Baumgartl, Härtig:
  Efficient communication mechanisms for DSP-based multimedia accelerators
  09/1997 - ICSPAT
  
  
• Hamann:
  On the Quantitative Specification of Jitter Constrained Periodic Streams
  01/1997 - MASCOTS
  
  

1996

• Härtig, Wolter, Liedtke:
  Flexible sized page objects
  11/1996 - IWOOOS
  
  
• Baumgartl, Härtig:
  On the Integration of DSP Hardware into a Microkernel-based Operating
  10/1996 - ICSPAT