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

• A Heterogeneous Microkernel OS for Rack-Scale Systems
  Matthias Hille, Nils Asmussen, Hermann Härtig, Pramod Bhatotia
  11th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys 2020), August 2020
  HTML
• Caladan: A Distributed Meta-OS for Data Center Disaggregation
  Lluís Vilanova, Lina Maudlej, Matthias Hille, Nils Asmussen, Michael Roitzsch, Mark Silberstein
  10th Workshop on Systems for Post-Moore Architectures (SPMA 2020), April 2020
  HTML
• FFMK: An HPC OS based on the L4Re Microkernel
  Carsten Weinhold, Adam Lackorzynski, Hermann Härtig
  In Robert W. Wisniewski, Balazs Gerofi, Rolf Riesen, Yutaka Ishikawa (eds) Operating Systems for Supercomputers and High Performance Computing, October 2019
  HTML
• SemperOS: A Distributed Capability System
  Matthias Hille, Nils Asmussen, Pramod Bhatotia, Hermann Härtig
  2019 USENIX Annual Technical Conference (USENIX ATC'19), Renton, WA, United States, July 2019
  PDF
• M3x: Autonomous Accelerators via Context-Enabled Fast-Path Communication
  Nils Asmussen, Michael Roitzsch, Hermann Härtig
  2019 USENIX Annual Technical Conference (USENIX ATC'19), Renton, WA, United States, July 2019
  PDF
• A New System Architecture for Heterogeneous Compute Units
  Nils Asmussen
  Dissertation, Dresden, Germany, Mai 2019
  PDF
• Pluggable Components All The Way Down
  Nils Asmussen, Michael Roitzsch, Carsten Weinhold
  1st International Workshop on Next-Generation Operating Systems for Cyber-Physical Systems (NGOSCPS), Montreal, Canada, April 2019
  PDF
• Predictable Low-Latency Interrupt Response with General-Purpose Systems
  Adam Lackorzynski, Carsten Weinhold, Hermann Härtig
  Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT 2017), Dubrovnik, Kroatia, June 2017
  PDF
• Combining Predictable Execution with Full-Featured Commodity Systems
  Adam Lackorzynski, Carsten Weinhold, Hermann Härtig
  Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT 2016), Toulouse, France, July 2016
  PDF
• Decoupled: Low-Effort Noise-Free Execution on Commodity Systems
  Adam Lackorzynski, Carsten Weinhold, Hermann Härtig
  Runtime and Operating Systems for Supercomputers (ROSS 2016), Kyoto, Japan, June 2016
  PDF
• Operating Heterogeneous Systems at Scale
  Matthias Hille, Nils Asmussen, Pramod Bhatotia, Hermann Härtig
  EuroSys 2016 - Poster Session, London, UK, April 2016, April 2016
  PDF
• M3: A Hardware/Operating-System Co-Design to Tame Heterogeneous Manycores
  Nils Asmussen, Marcus Völp, Benedikt Nöthen, Hermann Härtig, and Gerhard Fettweis
  In Proceedings of the Twenty-first International Conference on Architectural Support for Programming Languages and Operating Systems, April 2016
  PDF
• Cross-layer Resilience Mechanisms to Protect the Communication Path in Embedded Systems
  Tobias Stumpf, Hermann Härtig, Eberle Rambo, Rolf Ernst
  1st International ESWEEK Workshop on Resiliency in Embedded Electronic Systems, October 2015
  PDF
• Towards Dependable CPS Infrastructures: Architectural and Operating-System Challenges
  Marcus Völp, Nils Asmussen, Hermann Härtig, Benedikt Nöthen, Gerhard Fettweis
  Invited paper in: Emerging Technologies and Factory Automation - Special Session on Secure and Resilient Industrial Automation and Control Systems, Luxembourg, September 2015
  HTML
• Transactional IPC in Fiasco.OC - Can we get the multicore case verified for free?
  Till Smejkal, Adam Lackorzynski, Benjamin Engel, Marcus Völp
  Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT 2015), Lund, Sweden, July 2015
  PDF
• How to Protect the Protector?
  Tobias Stumpf
  Proceedings of The 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2015) - Student Forum, Rio de Janeiro, June 2015
  PDF
• FFMK: A Fast and Fault-Tolerant Microkernel-Based Operating System for Exascale Computing
  Carsten Weinhold, Hermann Härtig
  Invited paper in: inSiDE - Innovatives Supercomputing in Deutschland, Spring 2015 Issue, Spring 2015
  HTML
• 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
• Uniform Control Over Heterogeneous Cores Through NoC-Level Isolation
  Nils Asmussen, Benedikt Nöthen, Marcus Völp, Oliver Arnold, Hermann Härtig, and Gerhard Fettweis
  Design Automation Conference (DAC), Work in Progress Session, San Francisco, June 2015
  
• Towards an Interpretation of Mixed Criticality for Optimistic Scheduling
  Marcus Völp, Michael Roitzsch, Hermann Härtig
  21st IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Work-in-Progress Session, Seattle, April 2015
  
• Taming Many Heterogeneous Cores
  Nils Asmussen, Marcus Völp, Benedikt Nöthen, and Annett Ungethüm
  21st IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Demo Session, Seattle, April 2015
  
• Taming Heterogeneous Accelerators: Operating-Systems for Cores with no OS Support
  Nils Asmussen, Marcus Völp
  20th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Wild and Crazy Ideas Session, March 2015
  
• Heterogeneity Beyond Hybrid Architectures: a Kernel for the Tomahawk
  Nils Asmussen, Marcus Völp
  GI Fachgruppe Betriebssysteme - Frühjahrstreffen, March 2015
  
• Operating System Support for Redundant Multithreading
  Björn Döbel
  Dissertation, Dresden, Germany, November 2014
  PDF
• Can we put Concurrency Back into Redundant Multithreading?
  Björn Döbel, Hermann Härtig
  International Conference on Embedded Software, EMSOFT 2014, October 2014
  PDF
• 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
• Resource-Aware Replication on Heterogeneous Multicores: Challenges and Opportunities
  Björn Döbel, Robert Muschner, Hermann Härtig
  1st Workshop on Resource Awareness and Adaptivity in Multi-core Computing (RACING), Paderborn, Germany, May 2014
  PDF
• Where have all the cycles gone? -- Investigating Runtime Overheads of OS-Assisted Replication
  Björn Döbel, Hermann Härtig
  To appear at: 2nd Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '13), Koblenz, Germany, September 2013
  PDF
• Elastic Manycores: How to bring the OS back into the scheduling game?
  Marcus Völp, Michael Roitzsch
  1st Workshop on Runtime and Operating Systems for the Many-core Era (ROME 2013), Aachen, Germany, August 2013
  PDF
• A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select
  Christel Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews and Marcus Völp
  5th NASA Formal Methods Symposium (NFM'13), Moffett Field, CA, USA, May 2013
  PDF
• 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