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

• Enabling and Optimizing MACsec for Industrial Environments (Extended Abstract)
  Tim Lackorzynski, Gregor Garten, Jan Sönke Huster, Stefan Köpsell, Hermann Härtig
  16th IEEE International Conference on Factory Communication Systems (WFCS), April 2020
  HTML
• K2: Work-Constraining Scheduling of NVMe-Attached Storage
  Till Miemietz, Hannes Weisbach, Michael Roitzsch, Hermann Härtig
  40th IEEE Real-Time Systems Symposium (RTSS 2019), December 2019
  PDF
• 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
• Reliable Group Communication using Corrected Trees
  Martin Küttler, Maksym Planeta, Jan Bierbaum, Carsten Weinhold, Hermann Härtig, Amnon Barak, Torsten Hoefler
  Principles and Practice of Parallel Programming 2019 (PPoPP 2019), Washington, DC, United States, February 2019
  PDF
• Hardware Performance Variation: A Comparative Study Using Lightweight Kernels
  Hannes Weisbach, Balazs Gerofi, Brian Kocoloski, Hermann Härtig, Yutaka Ishikawa
  ISC High Performance 2018, (ISC 2018), Frankfurt, Germany, June 2018
  PDF
• Energy-Efficiency of OWL Reasoners—Frequency Matters
  Patrick Koopmann, Marcus Hähnel, Anni-Yasmin Turhan
  Semantic Technology - 7th Joint International Conference (JIST 2017), Gold Coast, QLD, Australia, November 2017
  HTML
• E-Team: Practical Energy Accounting for Multi-Core Systems
  Till Smejkal, Marcus Hähnel, Thomas Ilsche, Michael Roitzsch, Wolfgang E. Nagel, Hermann Härtig
  Proceedings of the 2017 USENIX Annual Technical Conference (ATC'17), Santa Clara, CA, USA, July 2017
  PDF
• High-Resolution Side Channels for Untrusted Operating Systems
  Marcus Hähnel, Weidong Cui, Marcus Peinado
  Proceedings of the 2017 USENIX Annual Technical Conference (ATC'17), Santa Clara, CA, USA, July 2017
  PDF
• Lateral Thinking for Trustworthy Apps
  Hermann Härtig, Michael Roitzsch, Carsten Weinhold, Adam Lackorzynski
  Proceedings of the 37th IEEE International Conference on Distributed Computing Systems (ICDCS 2017), Atlanta, Georgia, USA, June 2017
  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
• FFMK: A Fast and Fault-tolerant Microkernel-based System for Exascale Computing
  Carsten Weinhold, Adam Lackorzynski, Jan Bierbaum, Martin Küttler, Maksym Planeta, Hermann Härtig, Amnon Shiloh, Ely Levy, Tal Ben-Nun, Amnon Barak, Thomas Steinke, Thorsten Schütt, Jan Fajerski, Alexander Reinefeld, Matthias Lieber, and Wolfgang E. Nagel
  SPPEXA Symposium 2016, Garching near Munich, January 2016
  HTML
• 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
• 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
  
• Bridging the Application Knowledge Gap – Using Ontology-based Situation Recognition to Support Energy-Aware Resource Scheduling
  Marcus Hähnel, Julian Mendez, Veronika Thost, Anni-Yasmin Turhan
  The 13th Workshop on Adaptive and Reflective Middleware (ARM 2014), December 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
• Heterogeneity by the Numbers: A Study of the ODROID XU+E big.LITTLE Platform
  Marcus Hähnel, Hermann Härtig
  6th Workshop on Power-Aware Computing and Systems (HotPower '14), October 2014
  PDF
• Has Energy Surpassed Timeliness? - Scheduling Energy-Constrained Mixed-Criticality Systems
  Marcus Völp, Marcus Hähnel, Adam Lackorzynski
  To appear: Proceedings of the 20th Real-Time and Embedded Technology and Application Symposium (RTAS), Berlin, Germany, April 2014
  
• Shrinking the Hypervisor One Subsystem at a Time: A Userspace Packet Switch for Virtual Machines
  Julian Stecklina
  Proceedings of the 10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE 2014), Salt Lake City, Utah, USA, March 2014
  PDF
• The Case for Practical Multi-Resource and Multi-Level Scheduling Based on Energy/Utility
  Hermann Härtig, Marcus Völp, Marcus Hähnel
  19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Taipeh, Taiwan, August 2013
  PDF
• Response-time analysis of parallel fork-join workloads with real-time constraints
  Philip Axer, Moritz Neukirchner, Sophie Quinton, Rolf Ernst, Björn Döbel, Hermann Härtig
  25th Euromicro Conference on Real-Time Systems (ECRTS 2013), Paris, France, July 2013
  HTML
• ATLAS: Look-Ahead Scheduling Using Workload Metrics
  Michael Roitzsch, Stefan Wächtler, Hermann Härtig
  In Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2013), April 2013
  PDF
• On Confidentiality-Preserving Real-Time Locking Protocols
  Marcus Völp, Benjamin Engel, Claude-Joachim Hamann, Hermann Härtig
  In Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2013), April 2013
  PDF
• On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code
  Hendrik Tews, Marcus Völp, Tjark Weber
  7th Conference on Systems Software Verification, Sydney, Australia, November 2012
  PDF
• Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
  Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
  7th Conference on Systems Software Verification, Sydney, Australia, November 2012
  PDF
• Flattening Hierarchical Scheduling
  Adam Lackorzynski, Alexander Warg, Marcus Völp, Hermann Härtig
  International Conference on Embedded Software (EMSOFT'12), Tampere, Finland, October 2012
  PDF
• Operating System Support for Redundant Multithreading
  Björn Döbel, Hermann Härtig, Michael Engel
  International Conference on Embedded Software (EMSOFT'12), Tampere, Finland, October 2012
  PDF
• jVPFS: Adding Robustness to a Secure Stacked File System with Untrusted Local Storage Components
  Carsten Weinhold and Hermann Härtig
  Proceedings of the 2011 USENIX Annual Technical Conference, Portland, OR, USA, June 2011
  PDF
• NOVA: A Microhypervisor-Based Secure Virtualization Architecture
  Udo Steinberg, Bernhard Kauer
  Proceedings of EuroSys 2010, Paris, France, April 2010
  PDF
• Capability Wrangling made easy: Debugging on a Microkernel with Valgrind
  Aaron Pohle, Björn Döbel, Michael Roitzsch, Hermann Härtig
  Proceedings of the 6th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE 2010), Pittsburgh, PA, USA , March 2010
  PDF
• VPFS: Building a Virtual Private File System with a Small Trusted Computing Base
  Carsten Weinhold, Hermann Härtig
  Proceedings of EuroSys 2008, Glasgow, Scotland, April 2008
  PDF
• Statically Checking Confidentiality of Shared-Memory Programs with Dynamic Labels
  Marcus Völp
  The Third International Conference on Availability, Security and Reliability (ARES 2008), Barcelona, Spain, March 2008
  PDF
• Avoiding Timing Channels in Fixed-Priority Schedules
  Marcus Völp and Claude-J. Hamann and Hermann Härtig
  ACM Symposium on Information, Computer and Communication Security (ASIACCS '08), Tokyo, Japan, March 2008
  PDF
• Trusted Computing Serving an Anonymity Service
  Alexander Böttcher, Bernhard Kauer, Hermann Härtig
  Trusted Computing Challenges and Applications, First International Conference on Trusted Computing and Trust in Information Technologies, TRUST 2008 Villach, Austria, March 11-12, 2008 Proceedings Series: Lecture Notes in Computer Science , Vol. 4968, Springer, LNCS online, ISBN: 978-3-540-68978-2 , March 11-12, 2008
  PDF
• Slice-Balancing H.264 Video Encoding for Improved Scalability of Multicore Decoding
  Michael Roitzsch
  Proceedings of the 7th International Conference on Embedded Sofware (EMSOFT 07), Salzburg, Österreich, 2007
  PDF
• Probabilistic Admission Control to Govern Real-Time Systems under Overload
  Claude-J. Hamann, Michael Roitzsch, Lars Reuther, Jean Wolter, Hermann Härtig
  Proceedings of the 19th Euromicro Conference on Real-Time Systems (ECRTS 07), July 2007
  PDF , slides
• OSLO: Improving the security of Trusted Computing
  Bernhard Kauer
  Proceedings of the 16th USENIX Security Symposium, Boston, MA, USA, August 6-10, 2007
  PDF
• Principles for the Prediction of Video Decoding Times applied to MPEG-1/2 and MPEG-4 Part 2 Video
  Roitzsch, Pohlack
  Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS), Rio de Janeiro, Brazil , 2006
  PDF
• Reducing TCB Complexity for Security-Sensitive Applications: Three Case Studies
  Lenin Singaravelu (Georgia Tech), Calton Pu (Georgia Tech), Hermann Haertig (TU Dresden) and Christian Helmuth (TU Dresden)
  Proceedings of the First European Systems Conference (EuroSys 1), Leuven, Belgium , April 2006
  PDF
• Scheduling Real-Time Components Using Jitter-Constrained Streams
  Hamann, Zschaler
  Proceedings of 10th IEEE The Enterprise Computing Conference (EDOC) Hong Kong , 2006
  PDF
• A Nitpicker's guide to a minimal-complexity secure GUI.
  N. Feske, C. Helmuth
  Proceedings of the 21st Annual Computer Security Applications Conference (ACSAC 2005), Tucson, Arizona, USA , December 2005
  PDF
• The Nizza Secure-System Architecture.
  H. Härtig, M. Hohmuth, N. Feske, C. Helmuth, A. Lackorzynski, F. Mehnert, M. Peter
  Presented at The First International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2005), San Jose, California, USA , December 2005
  PDF
• Fast Component Interaction for Real-Time Systems
  U. Steinberg, J. Wolter, H. Härtig
  Proceedings of the 17th Euromicro Conference on Real-Time Systems (ECRTS'05), Palma de Mallorca, Spain , July 2005
  PDF
• Using Switched Ethernet for Hard Real-Time Communication
  J. Loeser, H. Härtig
  Proceedings of the International Conference on Parallel Computing in Electrical Engineering (PARELEC 2004), Dresden, Germany , September 2004
  PDF
• The COMQUAD Component Container Architecture
  S. Göbel, C. Pohl, R. Aigner, M. Pohlack, S. Röttger, S. Zschaler
  Proceedings of the Fourth IEEE/IFIP Working Conference on Software Architecture (WICSA-4), Oslo, Norway , June 2004
  PDF
• Low-latency Hard Real-Time Communication over Switched Ethernet
  J. Loeser, H. Härtig
  Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS 2004), Catania, Italy , June 2004
  PDF
• Towards Pervasive Treatment of Non-Functional Properties at Design and Run-Time
  R. Aigner, M. Pohlack, S. Röttger, and S. Zschaler
  Proceedings of 16th International Conference "Software & Systems Engineering and their Applications (ICSSEA 2003)", Paris , December 2003
  PDF
• Rotational-Position-Aware Real-Time Disk Scheduling Using a Dynamic Active Subset (DAS)
  L. Reuther, M. Pohlack
  Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), Cancun, Mexico , December 2003
  PDF
• Impact of PCI-Bus Load on Applications in a PC Architecture
  S. Schönberg
  Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), Cancun, Mexico , December 2003
  PDF
• Demonstration of DOpE — a Window Server for Real-time and Embedded Systems
  N. Feske, H. Härtig
  Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), Cancun, Mexico , December 2003
  PDF
• Work-in-Progress Report: Using SATF Scheduling in Real-Time Systems
  L. Reuther, M. Pohlack
  Proceedings of the 2nd USENIX Conference on File and Storage Technologies (FAST-2003), San Francisco, CA, USA , March 2003
  PDF
• Cost and benefit of separate address spaces in real-time operating systems
  F. Mehnert, M. Hohmuth, H. Härtig
  Proceedings of the 23th IEEE Real-Time Systems Symposium (RTSS-XXIII), Austin, TX, USA , December 2002
  PDF
• Real Time on Ethernet using off-the-shelf Hardware
  J. Loeser, H. Härtig
  Proceedings of the 1st Intl Workshop on Real-Time LANs in the Internet Age (RTLIA 2002), Vienna, Austria , June 2002
  PDF
• Quality-Assuring Scheduling — Using Stochastic Behavior to Improve Resource Utilization
  Cl.-J. Hamann, J. Loeser, L. Reuther, S. Schönberg, J. Wolter, H. Härtig
  Proceedings of the 22th IEEE Real-Time Systems Symposium (RTSS-XXII), London, UK , December 2001
  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
• Policing Offloaded
  U. Dannowski, H. Härtig
  Proceedings of the Sixth IEEE Real-Time Technology and Application Symposium (RTAS 2000), Washington D.C, USA , May 2000
  PDF
• Design and Implementation of a Real-Time ATM-Based Protocol Server
  M. Borriss, H. Härtig
  Proceedings of the 19th IEEE Real-Time Systems Symposium (RTSS'98), Madrid, Spain , December 1998
  PDF
• Data Dependency in MPEG Audio Frame Decoding Time on a DSP Accelerator
  R. Baumgartl, K. Stuhlemmer, H. Härtig
  Proceedings of ICSPAT'98, Toronto, September 1998
  PS , slides
• DSPs as flexible Multimedia Accelerators
  R. Baumgartl, H. Härtig
  Proceedings of EDRC'98, Paris, September 1998
  PDF , slides
• TCP Performance over ATM on Linux and Windows NT
  M. Borriss, U. Dannowski, H. Härtig
  Proceedings of the 1st IEEE Conference on ATM (ICATM), Colmar, France , June 1998
  PS
• Dresden Realtime Operating System
  R. Baumgartl, M. Borriss, H. Härtig, Cl.-J. Hamann, M. Hohmuth, L. Reuther, S. Schönberg, J. Wolter
  Proceedings of the Workshop of System-Designed Automation (SDA'98), Dresden, Germany , March 1998
  PS , Additional information , slides
• Taming Linux
  H. Härtig, M. Hohmuth, J. Wolter
  Proceedings of PART '98, 1998
  PDF , Additional information
• Efficient communication mechanisms for DSP-based multimedia accelerators
  R. Baumgartl, H. Härtig
  Proceedings of ICSPAT'97, San Diego, September 1997
  PS , slides
• Encapsulating Mobile Objects
  H. Härtig, L. Reuther
  Proceedings of the 17th International Conference on Distributed Computing Systems (ICDCS), Baltimore, IEEE Computer Society Press, p. 355—362, Montreal, Canada , May 1997
  PS
• On the Quantitative Specification of Jitter Constrained Periodic Streams
  Cl.-J. Hamann
  Proceedings of MASCOTS' 97, Haifa (Israel) , January 1997
  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
• Flexible sized page objects
  H. Härtig, J. Wolter, J. Liedtke
  Proceedings of IWOOOS, Seattle, November 1996
  PDF
• On the Integration of DSP Hardware into a Microkernel-based Operating System
  R. Baumgartl, H. Härtig
  Proceedings of ICSPAT'96, Boston, October 1996
  PS , slides