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
• 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
• Modular Energy Modeling using Energy/Utility
  Marcus Hähnel, Till Smejkal
  4th International Workshop on Energy-aware Simulation (ENERGY-SIM’18), Berlin, Germany, April 2018
  
• Probabilistic Analysis of Low-Criticality Execution
  Martin Küttler, Michael Roitzsch, Claude-Joachim Hamann, Marcus Völp
  5th International Workshop on Mixed Criticality Systems (WMC 2017), Paris, France, December 2017
  PDF
• Sandcrust: Automatic Sandboxing of Unsafe Components in Rust
  Benjamin Lamowski, Carsten Weinhold, Adam Lackorzynski, Hermann Härtig
  9th Workshop on Programming Languages and Operating Systems (PLOS 2017), Shanghai, China, October 2017
  PDF
• Powernightmares: The Challenge of Efficiently Using Sleep States on Multi-Core Systems
  Thomas Ilsche, Marcus Hähnel, Robert Schöne, Mario Bielert and Daniel Hackenberg
  5th Workshop on Runtime and Operating Systems for the Many-core Era (ROME 2017), Santiago de Compostela, Spain, August 2017
  HTML
• What are you Waiting for - Removing Blocking Time from High Priority Jobs through Hardware Transactional Memory
  Benjamin Engel, Claude-Joachim Hamann
  Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT 2017), Dubrovnik, Kroatia, June 2017
  
• 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
• TETRiS: a Multi-Application Run-Time System for Predictable Execution of Static Mappings
  Andrés Goens, Robert Khasanov, Marcus Hähnel, Till Smejkal, Hermann Härtig, Jeronimo Castrillon
  20th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2017), Sankt Goar, Germany, June 2017
  PDF
• Towards Automated Configuration of Systems with Non-Functional Constraints
  Linda Leuschner, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz
  Proceedings of 16th Workshop on Hot Topics in Operating Systems (HotOS XVI), Vancouver, Canada, May 2017
  
• 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
• 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
• 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
• Query Processing on Low-Energy Many-Core Processors
  Annett Ungethüm, Dirk Habich, Tomas Karnagel, Wolfgang Lehner, Nils Asmussen, Marcus Völp, Benedikt Nöthen, Gerhard Fettweis
  In Proceedings of the 31st IEEE International Conference on Data Engineering Workshops (ICDEW) 2015 , April 2015
  HTML
• Overhead of a Decentralized Gossip Algorithm on the Performance of HPC Applications
  Ely Levy, Amnon Barak, Amnon Shiloh, Matthias Lieber, Carsten Weinhold, Hermann Härtig
  Runtime and Operating Systems for Supercomputers (ROSS 2014), Munich, Germany, June 2014
  PDF
• 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
• On the Expressiveness of Fixed-Priority Scheduling Contexts for Mixed-Criticality Scheduling
  Marcus Völp, Adam Lackorzynski, Hermann Härtig
  1st International Workshop on Mixed Criticality Systems (WMC), co-located with RTSS 2013, Vancouver, Canada, March 2014
  PDF
• Predictable Coherent Caching with Incoherent Caches
  Adam Lackorzynski, Benjamin Engel, Marcus Völp
  Real-Time Linux Workshop, Lugano-Manno, Switzerland, October 2013
  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
• Flat but Trustworthy: Security Aspects in Flattened Hierarchical Scheduling
  Adam Lackorzynski, Marcus Völp and Alexander Warg
  Workshop on Virtualization for Real-Time Embedded Systems (VtRES'13, colocated with RTCSA'13), Taipeh, Taiwan, August 2013
  PDF
• A conservative real-time garbage collector for C/C++ running on top of RTEMS
  Tobias Stumpf, M. Werner
  To appear at: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2013), Paderborn, Germany, June 2013
  
• eBond: Energy Saving in Heterogeneous R.A.I.N
  Marcus Hähnel, Björn Döbel, Hermann Härtig, Marcus Völp
  ACM eEnergy (e-Energy 2013), Berkeley, CA, USA, May 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
• Consolidate-to-Idle: The Second Dimension is Almost for Free
  Marcus Völp, Johannes Steinmetz, Marcus Hähnel
  19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2013) WiP Session, Philadelphia, USA, April 2013
  PDF
• The Potential of Energy/Utility-Accrual Scheduling
  Marcus Hähnel, Marcus Völp, Björn Döbel, Hermann Härtig
  First International WorkShop on Energy-Aware Systems, Communications and Security (EASyCoSe 2013), Barcelona, Spain, March 2013
  PDF
• Investigating the Limitations of PVF For Realistic Program Vulnerability Assessment
  Björn Döbel, Horst Schirmeier, Michael Engel
  5th Workshop on Design for Reliability (DFR 2013), Berlin, Germany, Januar 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
• Waiting for Locks: How long does it usually take?
  Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
  17th International Workshop on Formal Methods for Industrial Critical Systems (Co-located with FM 2012), Paris, France, to appear in LNCS, August 2012
  
• 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
• Measuring Energy Consumption for Short Code Paths Using RAPL
  Marcus Hähnel, Björn Döbel, Marcus Völp, Hermann Härtig
  GREENMETRICS'12, London, UK, June 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
• Towards Modular Security-Conscious Virtual Machines
  Steffen Liebergeld, Michael Peter and Adam Lackorzynski
  Twelfth Real-Time Linux Workshop 2010, Nairobi, Kenya, October 2010
  PDF
• Generic Virtualization with Virtual Processors
  Adam Lackorzynski, Alexander Warg and Michael Peter
  Twelfth Real-Time Linux Workshop 2010, Nairobi, Kenya, October 2010
  PDF
• ARM TrustZone as a Virtualization Technique in Embedded Systems
  Torsten Frenzel, Adam Lackorzynski, Alexander Warg and Hermann Härtig
  Twelfth Real-Time Linux Workshop 2010, Nairobi, Kenya, October 2010
  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
• The Mathematics of Obscurity: On the Trustworthiness of Open Source
  Hermann Härtig, Claude-Joachim Hamann, Michael Roitzsch
  Proceedings of WEIS 2010 Workshop, Boston, USA, June 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
  
• Faithful Virtualization on a Real-Time Operating System
  Henning Schild, Adam Lackorzynski, Alexander Warg
  Eleventh Real-Time Linux Workshop 2009, September 2009
  PDF
• A Case for Utility: Study on Real-Time Scheduling a Real-World Problem
  Michael Roitzsch
  Work in Progress Proceedings of the 21st Euromicro Conference on Real-Time Systems (ECRTS 2009), Dublin, Ireland, July 2009
  PDF
• Taming Subsystems - Capabilities as Universal Resource Access Control in L4
  Adam Lackorzynski, Alexander Warg
  IIES'09: Second Workshop on Isolation and Integration in Embedded Systems (Eurosys 2009 affiliated workshop) , March 2009
  PDF
• Virtual Machines Jailed - Virtualization in Systems with Small Trusted Computing Bases
  Michael Peter, Henning Schild, Adam Lackorzynski, Alexander Warg
  VTDS'09: Workshop on Virtualization Technology for Dependable Systems (Eurosys 2009 affiliated workshop) , March 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
  
• Virtualization as an enabler for security in mobile devices
  Jörg Brakensiek and Axel Dröge and Martin Botteck and Hermann Härtig and Adam Lackorzynski
  IIES '08: Proceedings of the 1st workshop on Isolation and integration in embedded systems, Pages 17--22, ISBN 978-1-60558-126-2, Glasgow, Scotland , April 2008
  
• Slice-Balancing H.264 Video Encoding for Improved Scalability of Multicore Decoding
  Roitzsch
  Work-in-Progress Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS), Rio de Janeiro, Brazil , 2006
  PDF
• Ten Years of Research on L4-Based Real-Time
  Roitzsch, Härtig
  Proceedings of the Eighth Real-Time Linux Workshop, Lanzhou, China, 2006 , 2006
  PDF
• Towards Runtime Monitoring in Real-Time Systems
  M. Pohlack, B. Döbel, A. Lackorzynski
  Proceedings of the Eighth Real-Time Linux Workshop, Lanzhou, China, 2006 , 2006
  PDF
• Scheduling support for Hard Real-Time Ethernet Networking
  J. Loeser, J. Wolter
  Proceedings of the Workshop on Architectures for Cooperative Embedded Real-Time Systems (WACERTS'04), Lisbon, Portugal , December 2004
  PDF
• Tailor-Made Containers: Modeling Non-functional Middleware Service
  R. Aigner, C. Pohl, M. Pohlack, S. Zschaler
  Proceedings of the Workshop on Models for Non-Functional Aspects of Component-Based Software (NFC'04) colocated with UML 2004, Lisbon, Portugal , October 2004
  PDF
• Reducing TCB size by using untrusted components — small kernels versus virtual-machine monitors
  M. Hohmuth, M. Peter, H. Härtig, J. S. Shapiro
  Proceedings of the 11th ACM SIGOPS European Workshop (EW 2004), Leuven, Belgium , September 2004
  PDF
• Modeling of Non-Functional Contracts in Component-based Systems using a Layered Architecture
  S. Röttger, R. Aigner
  Proceedings of Component Based Software Engineering and Modeling Non-functional Aspect (SIVOES-MONA), Workshop at UML 2002, Dresden, Germany , October 2002
  PDF
• Security Architectures Revisited
  H. Härtig
  Proceedings of the 10th ACM SIGOPS European Workshop (EW 2002), Saint-Emilion, France , September 2002
  PDF
• Detecting Low Embedding Rates
  A. Westfeld
  Fabien A. P. Petitcolas (Hrsg.): Information Hiding. 5th International Workshop, IH 2002, Noordwijkerhout, The Netherlands, October 2002, Revised Papers, p. 324-339, LNCS 2578, Springer-Verlag Berlin Heidelberg 2003 , 2002
  PDF
• RTLinux with Address Spaces
  F. Mehnert, M. Hohmuth, S. Schönberg, H. Härtig
  Proceedings of the 3rd Real-Time Linux Workshop, Milano, Italy , November 2001
  PDF
• Position Summary: A Streaming Interface for Real-Time Interprocess Communication
  J. Loeser, H. Härtig, L. Reuther
  Proceedings of the 8th Workshop on Hot Topics in Operating Systems (HotOS-VIII), Schloss Elmau, Bavaria, Germany , May 2001
  PDF
• F5 — A Steganographic Algorithm: High Capacity Despite Better Steganalysis
  A. Westfeld
  In: Ira S. Moskowitz (Hrsg.): Information Hiding. 4th International Workshop, IH'01, Pittsburgh, USA, Proceedings, LNCS 2137, Springer-Verlag Berlin Heidelberg 2001 , April 2001
  PDF , slides
• 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
• Cooperating Resource Managers
  H. Härtig, L. Reuther, J. Wolter, M. Borriss, T. Paul
  Proceedings of Workshop on QoS Support for Real-Time Internet Applications, Vancouver, Canada , June 1999
  PDF
• 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
• DROPS — OS Support for Distributed Multimedia Applications
  H. Härtig, R. Baumgartl, M. Borriss, Cl.-J. Hamann, M. Hohmuth, F. Mehnert, L. Reuther, S. Schönberg, J. Wolter
  Proceedings of the Eigth ACM SIGOPS European Workshop (EW 98), Sintra, Portugal , September 1998
  PDF , Additional information