Diese Publikationsliste ist vor allem für die jährlich fällig werdende
statistische Abrechnung von Konferenzbeiträgen und Publikationen ausgelegt.
Unsere allgemeine Liste, sortiert nach Themen, ist
hier bzw. für VFiasco
hier zu finden.
Siehe auch unsere Liste der
abgeschlossenen Beleg- und Diplomarbeiten.
2007
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
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
1999
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
1996
|