Hermann Härtig

ORCID

Publication Activity (10 Years)

Years Active: 1980-2023
Publications (10 Years): 35

Top Venues

USENIX Annual Technical Conference

CoRR

ROSS@ICS

IEEE Real-Time and Embedded Technology and Applications Symposium

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Jiawei Wang, Bohdan Trach, Ming Fu, Diogo Behrens, Jonathan Schwender, Yutao Liu, Jitang Lei, Viktor Vafeiadis, Hermann Härtig, Haibo Chen
BWoS: Formally Verified Block-based Work Stealing for Parallel Processing. OSDI (2023)
Till Miemietz, Viktor Laurin Reusch, Michael Roitzsch, Hermann Härtig
An NVM Performance Study Towards Whole System Persistence on Server Platforms. DIMES@SOSP (2023)
Maksym Planeta, Jan Bierbaum, Michael Roitzsch, Hermann Härtig
CoRD: Converged RDMA Dataplane for High-Performance Clouds. CoRR (2023)
Martin Beck, Koustubha Bhat, Lazar Stricevic, Geng Chen, Diogo Behrens, Ming Fu, Viktor Vafeiadis, Haibo Chen, Hermann Härtig
AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM. ASPLOS (2) (2023)
Tim Lackorzynski, Sebastian Rehms, Tao Li, Stefan Köpsell, Hermann Härtig
Secure and Efficient Tunneling of MACsec for Modern Industrial Use Cases. CoRR (2022)
Tim Lackorzynski, Max Ostermann, Stefan Köpsell, Hermann Härtig
A Case for Practical Configuration Management Using Hardware-based Security Tokens. CoRR (2022)
Lluís Vilanova, Lina Maudlej, Shai Bergman, Till Miemietz, Matthias Hille, Nils Asmussen, Michael Roitzsch, Hermann Härtig, Mark Silberstein
Slashing the disaggregation tax in heterogeneous data centers with FractOS. EuroSys (2022)
Jiawei Wang, Diogo Behrens, Ming Fu, Lilith Oberhauser, Jonas Oberhauser, Jitang Lei, Geng Chen, Hermann Härtig, Haibo Chen
BBQ: A Block-based Bounded Queue for Exchanging Data and Profiling. USENIX Annual Technical Conference (2022)
Jan Bierbaum, Maksym Planeta, Hermann Härtig
Towards Efficient Oversubscription: On the Cost and Benefit of Event-Based Communication in MPI. ROSS (2022)
Tim Lackorzynski, Gregor Garten, Jan Sönke Huster, Stefan Köpsell, Hermann Härtig
Enabling and Optimizing MACsec for Industrial Environments. IEEE Trans. Ind. Informatics 17 (11) (2021)
Rafael Lourenco de Lima Chehab, Antonio Paolillo, Diogo Behrens, Ming Fu, Hermann Härtig, Haibo Chen
CLoF: A Compositional Lock Framework for Multi-level NUMA Systems. SOSP (2021)
Maksym Planeta, Jan Bierbaum, Leo Sahaya Daphne Antony, Torsten Hoefler, Hermann Härtig
MigrOS: Transparent Live-Migration Support for Containerised RDMA Applications. USENIX Annual Technical Conference (2021)
Matthias Hille, Nils Asmussen, Hermann Härtig, Pramod Bhatotia
A heterogeneous microkernel OS for Rack-Scale systems. APSys (2020)
Maksym Planeta, Jan Bierbaum, Leo Sahaya Daphne Antony, Torsten Hoefler, Hermann Härtig
TardiS: Migrating Containers with RDMA Networks. CoRR (2020)
Tim Lackorzynski, Gregor Garten, Jan Sönke Huster, Stefan Köpsell, Hermann Härtig
Enabling and Optimizing MACsec for Industrial Environments (Extended Abstract). WFCS (2020)
Nils Asmussen, Michael Roitzsch, Hermann Härtig
M³x: Autonomous Accelerators via Context-Enabled Fast-Path Communication. USENIX Annual Technical Conference (2019)
Matthias Hille, Nils Asmussen, Pramod Bhatotia, Hermann Härtig
SemperOS: A Distributed Capability System. USENIX Annual Technical Conference (2019)
Gerhard P. Fettweis, Meik Dorpinghaus, Jerónimo Castrillón, Akash Kumar, Christel Baier, Karlheinz Bock, Frank Ellinger, Andreas Fery, Frank H. P. Fitzek, Hermann Härtig, Kambiz Jamshidi, Thomas Kissinger, Wolfgang Lehner, Michael Mertig, Wolfgang E. Nagel, Giang T. Nguyen, Dirk Plettemeier, Michael Schröter, Thorsten Strufe
Architecture and Advanced Electronics Pathways Toward Highly Adaptive Energy- Efficient Computing. Proc. IEEE 107 (1) (2019)
Linda Herrmann, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz
Configuration of inter-process communication with probabilistic model checking. Int. J. Softw. Tools Technol. Transf. 21 (6) (2019)
Till Miemietz, Hannes Weisbach, Michael Roitzsch, Hermann Härtig
K2: Work-Constraining Scheduling of NVMe-Attached Storage. RTSS (2019)
Martin Küttler, Maksym Planeta, Jan Bierbaum, Carsten Weinhold, Hermann Härtig, Amnon Barak, Torsten Hoefler
Corrected trees for reliable group communication. PPoPP (2019)
Jerónimo Castrillón, Matthias Lieber, Sascha Klüppelholz, Marcus Völp, Nils Asmussen, Uwe Aßmann, Franz Baader, Christel Baier, Gerhard P. Fettweis, Jochen Fröhlich, Andrés Goens, Sebastian Haas, Dirk Habich, Hermann Härtig, Mattis Hasler, Immo Huismann, Tomas Karnagel, Sven Karol, Akash Kumar, Wolfgang Lehner, Linda Leuschner, Siqi Ling, Steffen Märcker, Christian Menard, Johannes Mey, Wolfgang E. Nagel, Benedikt Nöthen, Rafael Peñaloza, Michael Raitza, Jörg Stiller, Annett Ungethüm, Axel Voigt, Sascha Wunderlich
A Hardware/Software Stack for Heterogeneous Systems. IEEE Trans. Multi Scale Comput. Syst. 4 (3) (2018)
Thomas Kissinger, Marcus Hähnel, Till Smejkal, Dirk Habich, Hermann Härtig, Wolfgang Lehner
Energy-Utility Function-Based Resource Control for In-Memory Database Systems LIVE. SIGMOD Conference (2018)
Hannes Weisbach, Balazs Gerofi, Brian Kocoloski, Hermann Härtig, Yutaka Ishikawa
Hardware Performance Variation: A Comparative Study Using Lightweight Kernels. ISC (2018)
Linda Leuschner, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz
Towards Automated Configuration of Systems with Non-Functional Constraints. HotOS (2017)
Till Smejkal, Marcus Hähnel, Thomas Ilsche, Michael Roitzsch, Wolfgang E. Nagel, Hermann Härtig
E-Team: Practical Energy Accounting for Multi-Core Systems. USENIX Annual Technical Conference (2017)
Andrés Goens, Robert Khasanov, Jerónimo Castrillón, Marcus Hähnel, Till Smejkal, Hermann Härtig
TETRiS: a Multi-Application Run-Time System for Predictable Execution of Static Mappings. SCOPES (2017)
Benjamin Lamowski, Carsten Weinhold, Adam Lackorzynski, Hermann Härtig
Sandcrust: Automatic Sandboxing of Unsafe Components in Rust. PLOS@SOSP (2017)
Hermann Härtig, Michael Roitzsch, Carsten Weinhold, Adam Lackorzynski
Lateral Thinking for Trustworthy Apps. ICDCS (2017)
Nils Asmussen, Marcus Völp, Benedikt Nöthen, Hermann Härtig, Gerhard P. Fettweis
M3: A Hardware/Operating-System Co-Design to Tame Heterogeneous Manycores. ASPLOS (2016)
Adam Lackorzynski, Carsten Weinhold, Hermann Härtig
Decoupled: Low-Effort Noise-Free Execution on Commodity Systems. ROSS@HPDC (2016)
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 Kriebel, Daniel Lohmann, Peter Marwedel, Semeen Rehman, Florian Schmoll, Olaf Spinczyk
Multi-layer software reliability for unreliable hardware. it Inf. Technol. 57 (3) (2015)
Marcus Hähnel, Hermann Härtig
Demo abstract: An energy/utility demo - Energy-aware resource scheduling under utility considerations. RTAS (2015)
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
Locks: Picking key methods for a scalable quantitative analysis. J. Comput. Syst. Sci. 81 (1) (2015)
Marcus Völp, Nils Asmussen, Hermann Härtig, Benedikt Noethen, Gerhard P. Fettweis
Towards dependable CPS infrastructures: Architectural and operating-system challenges. ETFA (2015)
Hermann Härtig
Building blocks for an exa-scale operating system. ROSS@ICS (2014)
Björn Döbel, Robert Muschner, Hermann Härtig
Resource-Aware Replication on Heterogeneous Multicores: Challenges and Opportunities. CoRR (2014)
Björn Döbel, Hermann Härtig
Can we put concurrency back into redundant multithreading? EMSOFT (2014)
Hermann Härtig, Satoshi Matsuoka, Frank Mueller, Alexander Reinefeld
Resilience in Exascale Computing (Dagstuhl Seminar 14402). Dagstuhl Reports 4 (9) (2014)
Marcus Hähnel, Hermann Härtig
Heterogeneity by the Numbers: A Study of the ODROID XU+E big.LITTLE Platform. HotPower (2014)
Ely Levy, Amnon Barak, Amnon Shiloh, Matthias Lieber, Carsten Weinhold, Hermann Härtig
Overhead of a decentralized gossip algorithm on the performance of HPC applications. ROSS@ICS (2014)
Hermann Härtig, Marcus Völp, Marcus Hähnel
The case for practical multi-resource and multi-level scheduling based on Energy/Utility. RTCSA (2013)
Michael Roitzsch, Stefan Wachtler, Hermann Härtig
Atlas: Look-ahead scheduling using workload metrics. IEEE Real-Time and Embedded Technology and Applications Symposium (2013)
Marcus Völp, Benjamin Engel, Claude-Joachim Hamann, Hermann Härtig
On confidentiality-preserving real-time locking protocols. IEEE Real-Time and Embedded Technology and Applications Symposium (2013)
Björn Döbel, Hermann Härtig
Where Have all the Cycles Gone? - Investigating Runtime Overheads of OSAssisted Replication. GI-Jahrestagung (2013)
Philip Axer, Sophie Quinton, Moritz Neukirchner, Rolf Ernst, Björn Döbel, Hermann Härtig
Response-Time Analysis of Parallel Fork-Join Workloads with Real-Time Constraints. ECRTS (2013)
Marcus Hähnel, Marcus Völp, Björn Döbel, Hermann Härtig
The Potential of Energy/Utility-Accrual Scheduling. AINA Workshops (2013)
Marcus Hähnel, Björn Döbel, Marcus Völp, Hermann Härtig
eBond: energy saving in heterogeneous R.A.I.N. e-Energy (2013)
Björn Döbel, Hermann Härtig
Who Watches the Watchmen? Protecting Operating System Reliability Mechanisms. HotDep (2012)
Björn Döbel, Hermann Härtig, Michael Engel
Operating system support for redundant multithreading. EMSOFT (2012)
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code SSV (2012)
Adam Lackorzynski, Alexander Warg, Marcus Völp, Hermann Härtig
Flattening hierarchical scheduling. EMSOFT (2012)
Marcus Hähnel, Björn Döbel, Marcus Völp, Hermann Härtig
Measuring energy consumption for short code paths using RAPL. SIGMETRICS Perform. Evaluation Rev. 40 (3) (2012)
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
Waiting for Locks: How Long Does It Usually Take? FMICS (2012)
Hermann Härtig, Michael Roitzsch
As Time Goes By: Research on L4-Based Real-Time Systems. Advances in Real-Time Systems (2012)
Marcus Völp, Nils Asmussen, Hermann Härtig
The IMData Approach to Accelerate Data Intensive Workloads. Facing the Multicore-Challenge (2012)
Jörg Henkel, Lars Bauer, Joachim Becker, Oliver Bringmann, Uwe Brinkschulte, Samarjit Chakraborty, Michael Engel, Rolf Ernst, Hermann Härtig, Lars Hedrich, Andreas Herkersdorf, Rüdiger Kapitza, Daniel Lohmann, Peter Marwedel, Marco Platzner, Wolfgang Rosenstiel, Ulf Schlichtmann, Olaf Spinczyk, Mehdi Baradaran Tahoori, Jürgen Teich, Norbert Wehn, Hans-Joachim Wunderlich
Design and architectures for dependable embedded systems. CODES+ISSS (2011)
Hermann Härtig, Claude-Joachim Hamann, Michael Roitzsch
The Mathematics of Obscurity: On the Trustworthiness of Open Source. WEIS (2010)
Aaron Pohle, Björn Döbel, Michael Roitzsch, Hermann Härtig
Capability wrangling made easy: debugging on a microkernel with valgrind. VEE (2010)
Marcus Völp, Claude-Joachim Hamann, Hermann Härtig
Avoiding timing channels in fixed-priority schedulers. AsiaCCS (2008)
Sebastian Hessel, Felix Bruns, Attila Bilgic, Adam Lackorzynski, Hermann Härtig, Josef Hausner
Acceleration of the L4/Fiasco microkernel using scratchpad memory. MobiVirt (2008)
Alexander Böttcher, Bernhard Kauer, Hermann Härtig
Trusted Computing Serving an Anonymity Service. TRUST (2008)
Jörg Brakensiek, Axel Dröge, Martin Botteck, Hermann Härtig, Adam Lackorzynski
Virtualization as an enabler for security in mobile devices. IIES@EuroSys (2008)
Carsten Weinhold, Hermann Härtig
VPFS: building a virtual private file system with a small trusted computing base. EuroSys (2008)
Hermann Härtig, Steffen Zschaler, Martin Pohlack, Ronald Aigner, Steffen Göbel, Christoph Pohl, Simone Röttger
Enforceable component-based realtime contracts. Real Time Syst. 35 (1) (2007)
Claude-Joachim Hamann, Michael Roitzsch, Lars Reuther, Jean Wolter, Hermann Härtig
Probabilistic Admission Control to Govern Real-Time Systems under Overload. ECRTS (2007)
Lenin Singaravelu, Calton Pu, Hermann Härtig, Christian Helmuth
Reducing TCB complexity for security-sensitive applications: three case studies. EuroSys (2006)
Udo Steinberg, Jean Wolter, Hermann Härtig
Fast Component Interaction for Real-Time Systems. ECRTS (2005)
Hermann Härtig, Michael Hohmuth, Norman Feske, Christian Helmuth, Adam Lackorzynski, Frank Mehnert, Michael Peter
The Nizza secure-system architecture. CollaborateCom (2005)
Michael Hohmuth, Michael Peter, Hermann Härtig, Jonathan S. Shapiro
Reducing TCB size by using untrusted components: small kernels versus virtual-machine monitors. ACM SIGOPS European Workshop (2004)
Jork Löser, Hermann Härtig
Using Switched Ethernet for Hard Real-Time Communication. PARELEC (2004)
Jork Löser, Hermann Härtig
Low-Latency Hard Real-Time Communication over Switched Ethernet. ECRTS (2004)
Ronald Aigner, Henrike Berthold, Elke Franz, Steffen Göbel, Hermann Härtig, Heinrich Hußmann, Klaus Meißner, Klaus Meyer-Wegener, Marcus Meyerhöfer, Andreas Pfitzmann, Simone Röttger, Alexander Schill, Thomas Springer, Frank Wehner
COMQUAD: Komponentenbasierte Softwaresysteme mit zusagbaren quantitativen Eigenschaften und Adaptionsfähigkeit. Inform. Forsch. Entwickl. 18 (1) (2003)
Norman Feske, Hermann Härtig
DOpE - a Window Server for Real-Time and Embedded Systems. RTSS (2003)
Hermann Härtig
Security architectures revisited. ACM SIGOPS European Workshop (2002)
Frank Mehnert, Michael Hohmuth, Hermann Härtig
Cost and Benefit of Separate Address Spaces in Real-Time Operating Systems. RTSS (2002)
Jork Löser, Hermann Härtig, Lars Reuther
A Streaming Interface for Real-Time Interprocess Communication. HotOS (2001)
Claude-Joachim Hamann, Lars Reuther, Jork Wolter, Hermann Härtig, Jork Löser, Sebastian Schönberg
Quality-Assuring Scheduling-Using Stochastic Behavior to Improve Resource Utilization. RTSS (2001)
Michael Hohmuth, Hermann Härtig
Pragmatic Nonblocking Synchronization for Real-Time Systems. USENIX Annual Technical Conference, General Track (2001)
Uwe Dannowski, Hermann Härtig
Policing Offloaded. IEEE Real Time Technology and Applications Symposium (2000)
Hermann Härtig, Robert Baumgartl, Martin Borriss, Claude-Joachim Hamann, Michael Hohmuth, Frank Mehnert, Lars Reuther, Sebastian Schönberg, Jean Wolter
DROPS: OS support for distributed multimedia applications. ACM SIGOPS European Workshop (1998)
Martin Borriss, Hermann Härtig
Design and Implementation of a Real-Time ATM-Based Protocol Server. RTSS (1998)
Jochen Liedtke, Kevin Elphinstone, Sebastian Schönberg, Hermann Härtig, Gernot Heiser, Nayeem Islam, Trent Jaeger
Achieved IPC Performance. Workshop on Hot Topics in Operating Systems (1997)
Hermann Härtig, Lars Reuther
Encapsulating Mobile Objects. ICDCS (1997)
Hermann Härtig, Michael Hohmuth, Jochen Liedtke, Sebastian Schönberg, Jean Wolter
The Performance of µKernel-Based Systems. SOSP (1997)
Jochen Liedtke, Hermann Härtig, Michael Hohmuth
OS-Controlled Cache Predictability for Real-Time Systems. IEEE Real Time Technology and Applications Symposium (1997)
Lars Reuther, Hermann Härtig
Kapselung mobiler Programme. ARCS (1997)
Susann Sonntag, Hermann Härtig, Oliver C. Kowalski, Winfried E. Kühnhauser, Wolfgang Lux
Adaptability using Reflection. HICSS (2) (1994)
Hermann Härtig, Oliver C. Kowalski, Winfried E. Kühnhauser
The BirliX Security Architecture. J. Comput. Secur. 2 (1993)
Peter Schüller, Hermann Härtig, Winfried E. Kühnhauser, Hermann Streich
Performance of the BirLiX Operating System. USENIX Workshop on Microkernels and Other Kernel Architectures (1992)
Hermann Härtig, Winfried E. Kühnhauser, Wolfgang Lux, Oliver C. Kowalski, Hermann Streich, A. Bäcker
Models and paradigms for distributed systems structuring: the BirliX approach. ACM SIGOPS European Workshop (1992)
Hermann Härtig, Winfried E. Kühnhauser, Jochen Liedtke
Issues in Security and Fault Tolerance. Operating Systems of the 90s and Beyond (1991)
Michael Groß, Hermann Härtig, Oliver C. Kowalski
Auf dem Weg zu einer Sicherheitsachitektur. VIS (1991)
Hermann Härtig, Winfried E. Kühnhauser, Oliver C. Kowalski, Wolfgang Lux, W. Reck, Hermann Streich, Gerhard Goos
The Architecture of the BIRLIX Operating System. ARCS (1990)
W. Reck, Hermann Härtig
Software Configuration Management for Medium-Size Systems. CAiSE (1990)
Winfried E. Kühnhauser, Hermann Härtig, Oliver C. Kowalski, Wolfgang Lux
Mechanisms for Persistence and Security in BirliX. Security and Persistence (1990)
Hermann Härtig
Position statement. ACM SIGOPS European Workshop (1990)
Oliver C. Kowalski, Hermann Härtig
Protection in the BirliX Operating System. ICDCS (1990)
Wolfgang Lux, Hermann Härtig, Winfried E. Kühnhauser
On the Implementation of Abstract Data Types in BirliX. Process in Distributed Operating Systems and Distributed Systems Management (1989)
Hermann Härtig
Position Statement for the Panel Discussion. Process in Distributed Operating Systems and Distributed Systems Management (1989)

Hermann Härtig.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hermann Härtig