Hermann Härtig

According to our database1, Hermann Härtig authored at least 88 papers between 1980 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Architecture and Advanced Electronics Pathways Toward Highly Adaptive Energy- Efficient Computing.
Proceedings of the IEEE, 2019

SemperOS: A Distributed Capability System.
Proceedings of the 2019 USENIX Annual Technical Conference, 2019

M³x: Autonomous Accelerators via Context-Enabled Fast-Path Communication.
Proceedings of the 2019 USENIX Annual Technical Conference, 2019

Corrected trees for reliable group communication.
Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

2018
A Hardware/Software Stack for Heterogeneous Systems.
IEEE Trans. Multi-Scale Computing Systems, 2018

Hardware Performance Variation: A Comparative Study Using Lightweight Kernels.
Proceedings of the High Performance Computing - 33rd International Conference, 2018

Energy-Utility Function-Based Resource Control for In-Memory Database Systems LIVE.
Proceedings of the 2018 International Conference on Management of Data, 2018

2017
E-Team: Practical Energy Accounting for Multi-Core Systems.
Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Sandcrust: Automatic Sandboxing of Unsafe Components in Rust.
Proceedings of the 9th Workshop on Programming Languages and Operating Systems, 2017

TETRiS: a Multi-Application Run-Time System for Predictable Execution of Static Mappings.
Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, 2017

Lateral Thinking for Trustworthy Apps.
Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

Towards Automated Configuration of Systems with Non-Functional Constraints.
Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

2016
FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale Computing.
Proceedings of the Software for Exascale Computing - SPPEXA 2013-2015, 2016

Decoupled: Low-Effort Noise-Free Execution on Commodity Systems.
Proceedings of the 6th International Workshop on Runtime and Operating Systems for Supercomputers, 2016

M3: A Hardware/Operating-System Co-Design to Tame Heterogeneous Manycores.
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2015
Locks: Picking key methods for a scalable quantitative analysis.
J. Comput. Syst. Sci., 2015

Multi-layer software reliability for unreliable hardware.
it - Information Technology, 2015

Demo abstract: An energy/utility demo - Energy-aware resource scheduling under utility considerations.
Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

Towards dependable CPS infrastructures: Architectural and operating-system challenges.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2014
Resilience in Exascale Computing (Dagstuhl Seminar 14402).
Dagstuhl Reports, 2014

Overhead of a decentralized gossip algorithm on the performance of HPC applications.
Proceedings of the 4th International Workshop on Runtime and Operating Systems for Supercomputers, 2014

Building blocks for an exa-scale operating system.
Proceedings of the 4th International Workshop on Runtime and Operating Systems for Supercomputers, 2014

Heterogeneity by the Numbers: A Study of the ODROID XU+E big.LITTLE Platform.
Proceedings of the 6th Workshop on Power-Aware Computing and Systems, 2014

Can we put concurrency back into redundant multithreading?
Proceedings of the 2014 International Conference on Embedded Software, 2014

2013
The case for practical multi-resource and multi-level scheduling based on Energy/Utility.
Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013

On confidentiality-preserving real-time locking protocols.
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

Atlas: Look-ahead scheduling using workload metrics.
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

Where Have all the Cycles Gone? - Investigating Runtime Overheads of OSAssisted Replication.
Proceedings of the Informatik 2013, 2013

eBond: energy saving in heterogeneous R.A.I.N.
Proceedings of the Fourth International Conference on Future Energy Systems, 2013

Response-Time Analysis of Parallel Fork-Join Workloads with Real-Time Constraints.
Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013

The Potential of Energy/Utility-Accrual Scheduling.
Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013

2012
Measuring energy consumption for short code paths using RAPL.
SIGMETRICS Performance Evaluation Review, 2012

Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

Who Watches the Watchmen? Protecting Operating System Reliability Mechanisms.
Proceedings of the Eighth Workshop on Hot Topics in System Dependability, HotDep 2012, 2012

The IMData Approach to Accelerate Data Intensive Workloads.
Proceedings of the Facing the Multicore-Challenge, 2012

Waiting for Locks: How Long Does It Usually Take?
Proceedings of the Formal Methods for Industrial Critical Systems, 2012

Flattening hierarchical scheduling.
Proceedings of the 12th International Conference on Embedded Software, 2012

Operating system support for redundant multithreading.
Proceedings of the 12th International Conference on Embedded Software, 2012

As Time Goes By: Research on L4-Based Real-Time Systems.
Proceedings of the Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years)., 2012

2011

2010
The Mathematics of Obscurity: On the Trustworthiness of Open Source.
Proceedings of the 9th Annual Workshop on the Economics of Information Security, 2010

Capability wrangling made easy: debugging on a microkernel with valgrind.
Proceedings of the 6th International Conference on Virtual Execution Environments, 2010

2008
Trusted Computing Serving an Anonymity Service.
Proceedings of the Trusted Computing, 2008

Acceleration of the L4/Fiasco microkernel using scratchpad memory.
Proceedings of the First Workshop on Virtualization in Mobile Computing, 2008

VPFS: building a virtual private file system with a small trusted computing base.
Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, 2008

Avoiding timing channels in fixed-priority schedulers.
Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, 2008

2007
Enforceable component-based realtime contracts.
Real-Time Systems, 2007

Probabilistic Admission Control to Govern Real-Time Systems under Overload.
Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

2006
Reducing TCB complexity for security-sensitive applications: three case studies.
Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006

2005
Fast Component Interaction for Real-Time Systems.
Proceedings of the 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 2005

The Nizza secure-system architecture.
Proceedings of the 1st International Conference on Collaborative Computing: Networking, 2005

2004
Reducing TCB size by using untrusted components: small kernels versus virtual-machine monitors.
Proceedings of the 11st ACM SIGOPS European Workshop, 2004

Using Switched Ethernet for Hard Real-Time Communication.
Proceedings of the 2004 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2004), 2004

Low-Latency Hard Real-Time Communication over Switched Ethernet.
Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS 2004), 30 June, 2004

2003
COMQUAD: Komponentenbasierte Softwaresysteme mit zusagbaren quantitativen Eigenschaften und Adaptionsfähigkeit.
Inform., Forsch. Entwickl., 2003

DOpE - a Window Server for Real-Time and Embedded Systems.
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

2002
Security architectures revisited.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

Cost and Benefit of Separate Address Spaces in Real-Time Operating Systems.
Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002

2001
Pragmatic Nonblocking Synchronization for Real-Time Systems.
Proceedings of the General Track: 2001 USENIX Annual Technical Conference, 2001

Quality-Assuring Scheduling-Using Stochastic Behavior to Improve Resource Utilization.
Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001

A Streaming Interface for Real-Time Interprocess Communication.
Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, 2001

2000
Policing Offloaded.
Proceedings of the Sixth IEEE Real Time Technology and Applications Symposium, RTAS 2000, Washington, DC, USA, May 31, 2000

1998
DROPS: OS support for distributed multimedia applications.
Proceedings of the 8th ACM SIGOPS European Workshop: Support for Composing Distributed Applications, 1998

Design and Implementation of a Real-Time ATM-Based Protocol Server.
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

1997
The Performance of µKernel-Based Systems.
Proceedings of the Sixteenth ACM Symposium on Operating System Principles, 1997

OS-Controlled Cache Predictability for Real-Time Systems.
Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium, 1997

Encapsulating Mobile Objects.
Proceedings of the 17th International Conference on Distributed Computing Systems, 1997

Achieved IPC Performance.
Proceedings of The Sixth Workshop on Hot Topics in Operating Systems, 1997

Kapselung mobiler Programme.
Proceedings of the Architektur von Rechensystemen, Arbeitsteilige Systemarchitekturen: Konzepte, Lösungen, Anwendungen, Trends, 1997

1994
Adaptability using Reflection.
Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

1993
The BirliX Security Architecture.
Journal of Computer Security, 1993

1992
Models and paradigms for distributed systems structuring: the BirliX approach.
Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992

Performance of the BirLiX Operating System.
Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, 1992

1991
Auf dem Weg zu einer Sicherheitsachitektur.
Proceedings of the VIS'91, 1991

Issues in Security and Fault Tolerance.
Proceedings of the Operating Systems of the 90s and Beyond, International Workshop, 1991

1990
Position statement.
Proceedings of the 4th ACM SIGOPS European Workshop, Bologna, Italy, September 3-5, 1990, 1990

Protection in the BirliX Operating System.
Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28, 1990

Software Configuration Management for Medium-Size Systems.
Proceedings of the Advanced Information Systems Engineering, 1990

The Architecture of the BIRLIX Operating System.
Proceedings of the Architektur von Rechensystemen, 1990

1989
On the Implementation of Abstract Data Types in BirliX.
Proceedings of the Process in Distributed Operating Systems and Distributed Systems Management, 1989

Position Statement for the Panel Discussion.
Proceedings of the Process in Distributed Operating Systems and Distributed Systems Management, 1989

1987
Distribution and Recovery in the BirliX Operating System.
Proceedings of the Kommunikation in Verteilten Systemen, 1987

1986
Distribution in the BirliX Operating System.
Proceedings of the Architektur von Rechensystemen, 1986

1985
Über die Konstruktion spezialisierter Rechensysteme aus Programmen höherer Programmiersprachen.
PhD thesis, 1985

1982
Spezialisierung von Befehlssätzen - Das aktuelle Schlagwort.
Informatik Spektrum, 1982

Grenzwerte der Zurverlässigkeit von Parallel-Serien-Systemen.
Proceedings of the Fehlertolerierende Rechensysteme, 1982

Rechnerunterstützte Konstruktion von Spezialrechnern aus Programmen anwendungsorientierter höherer Programmiersprachen.
Proceedings of the GI - 12. Jahrestagung, Kaiserslautern, 5. -7. Oktober 1982, Proceedings, 1982

1980
COPRA - Eine auf Concurrent Pascal basierende Rechner-Architektur.
Proceedings of the Hardware für Software, 1980


  Loading...