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.]

  • FFMK: A Fast and Fault-Tolerant Microkernel-Based Operating System for Exascale Computing
    Carsten Weinhold, Hermann Härtig
    Invited paper to appear in: inSiDE - Innovatives Supercomputing in Deutschland, Spring 2015 Issue, Spring 2015
  • Multi-Layer Software Reliability for Unreliable Hardware
    Muhammad Shafique, Philip Axer, Christoph Borchert, Jian-Jia Chen, Kuan-Hsun Chen, Björn Döbel, Rolf Ernst, Hermann Härtig, Andreas Heinig, Rüdiger Kapitza, Florian Kreibel, Daniel Lohmann, Peter Marwedel, Semeen Rehman, Florian Schmoll, Olaf Spinczyk
    it - Information Technology: Methods And Applications Of Informatics And Information Technology, Band 57, Heft 3, June 2015
    HTML
  • Locks: Picking key methods for a scalable quantitative analysis
    Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
    Journal of Computer and System Sciences, July 2014
    HTML
  • Towards Computation With Microchemomechanical Systems
    Andreas Voigt, Rinaldo Greiner, Merle Allerdißen, Andreas Richter, Stephan Henker, Marcus Völp
    International Journal of Foundations of Computer Science, Volume 25, Issue 04, June 2014
    HTML
  • 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: 15th Jun 2015, 10.34 AM
Author: Dr.-Ing. Carsten Weinhold

Contact
Dr.-Ing.
Carsten Weinhold

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