TUD Logo

TUD Home » ... » Publications » Grouped by category » Journals

Operating Systems

against racism

Journals

Publications sorted by various categories : 
[System Security] [Quality of Service] [Virtualization] [Microkernel Research] [Energy] [Misc]
[Dissertation] [Journal] [Conference] [Workshop] [Technical report] [Poster] [Misc.]

  • Formal Memory Models for the Verification of Low-Level Operating-System Code
    Hendrik Tews, Marcus Völp, Tjark Weber
    Journal of Automated Reasoning - Special Issue on Operating System Verification, April 2009
    PDF
  • Video Quality and System Resources: Scheduling two Opponents
    Michael Roitzsch, Martin Pohlack
    Journal of Visual Communication and Image Representation, Volume 19, Issue 8, Pages 473-488 , Special issue: Resource-Aware Adaptive Video Streaming, December 2008
    PDF
  • L4 - Virtualization and Beyond
    Hermann Härtig, Michael Roitzsch, Adam Lackorzynski, Björn Döbel, Alexander Böttcher
    Korean Information Science Society Review, December 2008
    PDF
  • A Case Study on the Cost and Benefit of Dynamic RPC Marshalling for Low-Level System Components
    Norman Feske
    SIGOPS OSR Special Issue on Secure Small-Kernel Systems, 2007
    PDF
  • Enforceable Component-Based Realtime Contracts - Supporting Realtime Properties from Software Development to Execution
    Härtig, Zschaler, Pohlack, Aigner, Göbel, Pohl, Röttger
    Realtime Systems Journal. The original publication is available at www.springerlink.com , August 2006
    PDF
  • Unsichtbare Botschaften
    A. Westfeld
    C't Magazin für Computertechnik 9/2001, S. 170-181, September 2001
    HTML
  • Prinzessin auf der Erbse - Linux-Portierung auf den Mikrokern
    M. Hohmuth, J. Wolter
    Appeared in iX 1/1997, January 1997
    HTML , Additional information
  • The BirliX Security Architecture
    H. Härtig, O. Kowalski, W. Kühnhauser
    Journal of Computer Security 2, p. 5—21 , 1993
    PS
Last modified: 28th Sep 2012, 2.12 PM
Author: Dipl.-Inf. Carsten Weinhold

Contact
Dipl.-Inf.
Carsten Weinhold

Phone: 463 38056
Fax: 463 38284
e-mail contact form