Hermann Härtig

Michael Roitzsch

Proceedings of the 9th Annual Workshop on the Economics of Information Security, 2010

Capability wrangling made easy: debugging on a microkernel with valgrind.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Virtual Execution Environments, 2010

2008

Trusted Computing Serving an Anonymity Service.

[BibT_eX]

[DOI]

Alexander Böttcher

Bernhard Kauer

Proceedings of the Trusted Computing, 2008

Acceleration of the L4/Fiasco microkernel using scratchpad memory.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Virtualization in Mobile Computing, 2008

VPFS: building a virtual private file system with a small trusted computing base.

[BibT_eX]

[DOI]

Carsten Weinhold

Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, 2008

Virtualization as an enabler for security in mobile devices.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems, 2008

Avoiding timing channels in fixed-priority schedulers.

[BibT_eX]

[DOI]

Marcus Völp

Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, 2008

2007

Enforceable component-based realtime contracts.

[BibT_eX]

[DOI]

Real Time Syst., 2007

Probabilistic Admission Control to Govern Real-Time Systems under Overload.

[BibT_eX]

[DOI]

Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

2006

Reducing TCB complexity for security-sensitive applications: three case studies.

[BibT_eX]

[DOI]

Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006

2005

Fast Component Interaction for Real-Time Systems.

[BibT_eX]

[DOI]

Udo Steinberg

Jean Wolter

Proceedings of the 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 2005

The Nizza secure-system architecture.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 11st ACM SIGOPS European Workshop, 2004

Using Switched Ethernet for Hard Real-Time Communication.

[BibT_eX]

[DOI]

Jork Löser

Proceedings of the 2004 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2004), 2004

Low-Latency Hard Real-Time Communication over Switched Ethernet.

[BibT_eX]

[DOI]

Jork Löser

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.

[BibT_eX]

[DOI]

Inform. Forsch. Entwickl., 2003

DOpE - a Window Server for Real-Time and Embedded Systems.

[BibT_eX]

[DOI]

Norman Feske

Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

2002

Security architectures revisited.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Frank Mehnert

Michael Hohmuth

Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002

2001

Pragmatic Nonblocking Synchronization for Real-Time Systems.

[BibT_eX]

[DOI]

Michael Hohmuth

Proceedings of the General Track: 2001 USENIX Annual Technical Conference, 2001

Quality-Assuring Scheduling-Using Stochastic Behavior to Improve Resource Utilization.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001

A Streaming Interface for Real-Time Interprocess Communication.

[BibT_eX]

[DOI]

Jork Löser

Lars Reuther

Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, 2001

2000

Policing Offloaded.

[BibT_eX]

[DOI]

Uwe Dannowski

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.

[BibT_eX]

[DOI]

Robert Baumgartl

Martin Borriss

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.

[BibT_eX]

[DOI]

Martin Borriss

Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

1997

The Performance of µKernel-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth ACM Symposium on Operating System Principles, 1997

OS-Controlled Cache Predictability for Real-Time Systems.

[BibT_eX]

[DOI]

Jochen Liedtke

Michael Hohmuth

Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium, 1997

Encapsulating Mobile Objects.

[BibT_eX]

[DOI]

Lars Reuther

Proceedings of the 17th International Conference on Distributed Computing Systems, 1997

Achieved IPC Performance.

[BibT_eX]

[DOI]

Proceedings of The Sixth Workshop on Hot Topics in Operating Systems, 1997

Kapselung mobiler Programme.

[BibT_eX]

Lars Reuther

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

1994

Adaptability using Reflection.

[BibT_eX]

Susann Sonntag

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

1993

The BirliX Security Architecture.

[BibT_eX]

J. Comput. Secur., 1993

1992

Models and paradigms for distributed systems structuring: the BirliX approach.

[BibT_eX]

[DOI]

Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992

Performance of the BirLiX Operating System.

[BibT_eX]

Peter Schüller

Hermann Streich

Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, 1992

1991

Auf dem Weg zu einer Sicherheitsachitektur.

[BibT_eX]

[DOI]

Michael Groß

Proceedings of the VIS'91, 1991

Issues in Security and Fault Tolerance.

[BibT_eX]

[DOI]

Jochen Liedtke

Proceedings of the Operating Systems of the 90s and Beyond, International Workshop, 1991

1990

Position statement.

[BibT_eX]

[DOI]

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

Protection in the BirliX Operating System.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28, 1990

Mechanisms for Persistence and Security in BirliX.

[BibT_eX]

[DOI]

Proceedings of the Security and Persistence, 1990

Software Configuration Management for Medium-Size Systems.

[BibT_eX]

[DOI]

W. Reck

Proceedings of the Advanced Information Systems Engineering, 1990

The Architecture of the BIRLIX Operating System.

[BibT_eX]

Proceedings of the Architektur von Rechensystemen, 1990

1989

On the Implementation of Abstract Data Types in BirliX.

[BibT_eX]

[DOI]

Proceedings of the Process in Distributed Operating Systems and Distributed Systems Management, 1989

Position Statement for the Panel Discussion.

[BibT_eX]

[DOI]

Proceedings of the Process in Distributed Operating Systems and Distributed Systems Management, 1989

1987

Distribution and Recovery in the BirliX Operating System.

[BibT_eX]

[DOI]

Hermann Streich

Gerhard Goos

Proceedings of the Kommunikation in Verteilten Systemen, 1987

1986

Distribution in the BirliX Operating System.

[BibT_eX]

Proceedings of the Architektur von Rechensystemen, 1986

1985

Über die Konstruktion spezialisierter Rechensysteme aus Programmen höherer Programmiersprachen.

[BibT_eX]

[DOI]

PhD thesis, 1985

1982

Spezialisierung von Befehlssätzen - Das aktuelle Schlagwort.

[BibT_eX]

Inform. Spektrum, 1982

Grenzwerte der Zurverlässigkeit von Parallel-Serien-Systemen.

[BibT_eX]

[DOI]

Andreas Pfitzmann

Proceedings of the Fehlertolerierende Rechensysteme, 1982

Rechnerunterstützte Konstruktion von Spezialrechnern aus Programmen anwendungsorientierter höherer Programmiersprachen.

[BibT_eX]

[DOI]

Thomas Krause

Andreas Pfitzmann

Proceedings of the GI - 12. Jahrestagung, Kaiserslautern, 5. -7. Oktober 1982, Proceedings, 1982

1980

COPRA - Eine auf Concurrent Pascal basierende Rechner-Architektur.

[BibT_eX]