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

• Turning x86 into a Hardware Simulator for Future Manycores
  Nils Asmussen, Hermann Härtig, Marcus Völp
  3rd Workshop on Systems for Future Multicore Architectures (SFMA'13), Prague, Czech Republic, April 2013
  PDF
• Who Watches the Watchmen? - Protecting Operating System Reliability Mechanisms
  Björn Döbel, Hermann Härtig
  International Workshop on Hot Topics in System Dependability (HotDep 2012), Hollywood, CA, USA, October 2012
  PDF
• The IMData Approach to Accelerating Data-Intensive Workloads
  Marcus Völp, Nils Asmussen, Hermann Härtig
  Facing the Multicore-Challendge III - Poster, Stuttgart, Germany, September 2012
  PDF
• Designing an Analyzable and Resilient Embedded Operating System
  Philip Axer, Rolf Ernst, Björn Döbel, Hermann Härtig
  SOBRES 2012, Brunswick, Germany, September 2012
  PDF
• The Reliable Computing Base -- A Paradigm for Software-based Reliability
  Michael Engel, Björn Döbel
  SOBRES 2012, Brunswick, Germany, September 2012
  PDF
• ASTEROID - Analyzable, Resilient Real-Time Operating System Design
  Björn Döbel, Hermann Härtig, Philip Axer, Rolf Ernst
  DATE 2012, poster session, Dresden, February 2012
  PDF
• Fiasco.OC on the SCC
  Markus Partheymüller, Julian Stecklina, Björn Döbel
  4th Intel MARC Symposium, Postdam, December 2011
  PDF
• Rounding Pointers - Type Safe Capabilities with C++ Meta Programming
  Alexander Warg and Adam Lackorzynski
  Sixth Workshop on Programming Languages and Operating Systems, Cascais, Portugal, October 2011
  PDF
• Turning Kriegers MCS Lock into a Send Queue or, a Case for Reusing Clever, Mostly Lock-Free Code in a Different Area
  Benjamin Engel, Macrus Völp
  13th Real-Time Linux Workshop, Prague, Czech Republic, October 2011
  PDF
• Generic User-Level PCI Drivers
  Hannes Weisbach, Björn Döbel, Adam Lackorzynski
  13th Real-Time Linux Workshop, Prague, Czech Republic, October 2011
  PDF
• Communication in Microkernel-Based Operating Systems
  Ronald Aigner
  Dissertation, Dresden, Germany, January 2011
  PDF
• Timeslice Donation in Component-Based Systems
  Udo Steinberg, Alexander Böttcher and Bernhard Kauer
  Proceedings of OSPERT 2010 Workshop (in conjunction with ECRTS 2010), Brussels, Belgium, July 2010
  PDF
• NOVA: A Microhypervisor-Based Secure Virtualization Architecture
  Udo Steinberg, Bernhard Kauer
  Proceedings of EuroSys 2010, Paris, France, April 2010
  PDF
• Stay strong, stay safe - enhancing reliability of a secure operating system
  Dirk Vogt, Björn Döbel and Adam Lackorzynski
  IIDS'10: Workshop on Isolation and Integration for Dependable Systems (Eurosys 2010 affiliated workshop) , April 2010
  PDF
• Towards a Scalable Multiprocessor User-level Environment
  Udo Steinberg, Bernhard Kauer
  IIDS'10: Workshop on Isolation and Integration for Dependable Systems (Eurosys 2010 affiliated workshop) , April 2010
  
• Improving the Efficiency of I/O Virtualization
  Bernhard Kauer, Udo Steinberg, Julian Stecklina
  Eurosys 2010, poster session, April 2010
  
• 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
• Acceleration of the L4/Fiasco microkernel using scratchpad memory
  S. Hessel & F. Bruns & A. Bilgic (Ruhr-Universität Bochum), A. Lackorzynski & H. Härtig (TU-Dresden), J. Hausner (Infineon Technologies AG)
  MobiVirt 2008, Proceedings of the First Workshop on Virtualization in Mobile Computing ACM , June 2008
  
• Nova Micro-Hypervisor Verification
  Tews, Hendrik and Weber, Tjark and Völp, Marcus and Poll, Erik and Eekelen, Marko van and Rossum, Peter van
  ICIS technical report ICIS-R08012, Radboud University Nijmegen, Netherlands , May 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
• Pragmatic nonblocking synchronization for real-time systems
  Michael Hohmuth
  Dissertation, TU Dresden, Dresden, Germany, September 2002
  PDF
• Pragmatic nonblocking synchronization for real-time systems
  M. Hohmuth, H. Härtig
  Proceedings of USENIX Annual Technical 2001, June 2001, Boston, MA, USA , June 2001
  PDF , Additional information
• Helping in a multiprocessor environment
  Michael Hohmuth, Michael Peter
  Proceedings of the Second Workshop on Common Microkernel System Platforms, 2001
  PDF
• Stub-code performance is becoming important.
  A. Haeberlen, J. Liedtke, Y. Park, L. Reuther, V. Uhlig
  Proceedings of the First Workshop on Industrial Experiences with Systems Software (WIESS), San Diego, USA , October 2000
  PDF
• Component Interfaces in a Microkernel-based System
  L. Reuther, V. Uhlig, R. Aigner
  Proceedings of the Third Workshop on System Design Automation (SDA), Rathen, Germany , March 2000
  PS
• Omega0 - a portable interface to interrupt hardware for L4 systems
  J. Loeser, M. Hohmuth
  Proceedings of the First Workshop on Common Microkernel System Platforms, December 1999, Kiawah Island, SC, USA , December 1999
  PS
• µ-kernel Memory Management / Microkernel Memory Management
  Sebastian Schönberg, Volkmar Uhlig
  Technische Universität Dresden , May 1998
  PDF
• Achieved IPC Performance (Still The Foundation For Extensibility)
  J. Liedtke, K. Elphinstone, S. Schönberg, H. Härtig, G. Heiser, N. Islam, T. Jaeger
  Appeared at HotOS IV , 1997
  PS
• The Performance of µ-Kernel-based Systems
  H. Härtig, M. Hohmuth, J. Liedtke, S. Schönberg, J. Wolter
  Appeared at 16th SOSP; also in ``Wiss. Beiträge zur Informatik'', TU Dresden, Fakultät Informatik, Heft 1/1997 , 1997
  PDF , Additional information , slides
• Portierung des SCSI-Gerätetreibers von Linux auf L3
  F. Mehnert
  TU Dresden term paper, Dresden, Germany, November 1996
  PS
• Flexible sized page objects
  H. Härtig, J. Wolter, J. Liedtke
  Proceedings of IWOOOS, Seattle, November 1996
  PDF
• Emulation des UNIX-Prozeßkonzepts auf dem Mikrokern L3
  J. Wolter
  TU Dresden master's thesis; also technical report TUD-FI95-12, Dresden, Germany , November 1995
  PS
• Systematische Übertragung von Gerätetreibern von einem monolithischen Betriebssystem auf eine mikrokernbasierte Architektur
  R. Stange
  TU Dresden master's thesis, Dresden, Germany, May 1996
  PS
• Steps Towards Porting a Unix Single Server to the L3 Microkernel
  M. Hohmuth, S. Rudolph
  TU Dresden term paper, Dresden, Germany , April 1996
  PDF