Veröffentlichungen sortiert nach Jahren : 
[2013] [2012] [2011] [2010] [2009] [2008] [2007] [2006] [2005] [2004] [2003] [2002] [2001] [2000] [1999] [1998] [1997] [1996] [1995] [1993] [1991]

2013

• 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
  To appear at: ACM eEnergy (e-Energy 2013), Berkeley, CA, USA, May 2013
  
• 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
• 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
• 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

2012

• 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
• 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
• Who is Going to Program This?
  Marcus Völp, Michael Roitzsch, Hermann Härtig
  OSDI 2012 - Poster Session, Hollywood, CA, USA, October 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
• 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ärker, Hendric 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
  
• The IMData Approach to Accelerating Data-Intensive Workloads
  Marcus Völp, Nils Asmussen, Hermann Härtig
  Facing the Multicore-Challendge III - Poster, Stuttgart, Germany, September 2012
  PDF
• 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
• ASTEROID - Analyzable, Resilient Real-Time Operating System Design
  Björn Döbel, Hermann Härtig, Philip Axer, Rolf Ernst
  DATE 2012, poster session, Dresden, February 2012
  PDF
• Towards Characterizing Video Decoding Complexity as Energy-Utility Functions
  Marcus Hähnel, Björn Döbel, Michael Roitzsch, Marcus Völp
  DATE 2012, poster session, Dresden, Germany, February 2012
  PDF

2011

• 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
• 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
• Provable Protection of Confidential Data in Microkernel-Based Systems
  Marcus Völp
  Dissertation, Dresden, Germany, January 2011
  PDF , Additional information , summary
• Communication in Microkernel-Based Operating Systems
  Ronald Aigner
  Dissertation, Dresden, Germany, January 2011
  PDF

2010

• 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
• L4 technology by TUD:OS
  Hermann Härtig, Michael Roitzsch and Adam Lackorzynski
  ARTIST Summer School Europe 2010, Autrans near Grenoble, France, September 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
• Runtime monitoring for open real-time systems
  Martin Pohlack
  Dissertation, Dresden, Germany, 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
• NOVA: A Microhypervisor-Based Secure Virtualization Architecture
  Udo Steinberg, Bernhard Kauer
  Proceedings of EuroSys 2010, Paris, France, April 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
  
• Improving the Efficiency of I/O Virtualization
  Bernhard Kauer, Udo Steinberg, Julian Stecklina
  Eurosys 2010, poster session, April 2010
  
• 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

2009

• Faithful Virtualization on a Real-Time Operating System
  Henning Schild, Adam Lackorzynski, Alexander Warg
  Eleventh Real-Time Linux Workshop 2009, September 2009
  PDF
• ATARE: ACPI Tables and Regular Expressions
  Bernhard Kauer
  TU Dresden technical report TUD-FI09-09, Dresden, Germany, August 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
• Formal Memory Models for the Verification of Low-Level Operating-System Code
  Hendrik Tews, Marcus Völp, Tjark Weber
  Journal of Automated Reasoning - Special Issue on Operating System Verification, April 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
• Securing Graphical User Interface
  Norman Feske
  Dissertation, Dresden, Germany, January 2009
  PDF

2008

• NOVA OS Virtualization Architecture
  Udo Steinberg, Bernhard Kauer
  OSDI 2008, poster session, December 2008
  HTML
• Video Quality and System Resources: Scheduling two Opponents
  Michael Roitzsch, Martin Pohlack
  Journal of Visual Communication and Image Representation, Volume 19, Issue 8, Pages 473-488 , Special issue: Resource-Aware Adaptive Video Streaming, December 2008
  PDF
• L4 - Virtualization and Beyond
  Hermann Härtig, Michael Roitzsch, Adam Lackorzynski, Björn Döbel, Alexander Böttcher
  Korean Information Science Society Review, December 2008
  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
  
• Nova Micro-Hypervisor Verification
  Tews, Hendrik and Weber, Tjark and Völp, Marcus and Poll, Erik and Eekelen, Marko van and Rossum, Peter van
  ICIS technical report ICIS-R08012, Radboud University Nijmegen, Netherlands , May 2008
  PDF
• 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
  
• 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

2007

• Enforcing Configurable Trust in Client-side Software Stacks by Splitting Information Flow
  Lenin Singaravelu, Bernhard Kauer, Alexander Böttcher, Hermann Härtig, Calton Pu, Gueyoung Jung, Carsten Weinhold
  Technical Report, GeorgiaTec University, November 2007
  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
• A Case Study on the Cost and Benefit of Dynamic RPC Marshalling for Low-Level System Components
  Norman Feske
  SIGOPS OSR Special Issue on Secure Small-Kernel Systems, 2007
  PDF

2006

• 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
• 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
• Quality-Assuring Scheduling
  Cl.-J. Hamann, L. Reuther, J. Wolter, H. Härtig
  TU Dresden technical report TUD-FI06-09, Dresden, Germany, December 2006
  PDF
• Design of the Bastei OS Architecture
  N. Feske, C. Helmuth
  TU Dresden technical report TUD-FI06-07, Dresden, Germany , December 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
• Enforceable Component-Based Realtime Contracts - Supporting Realtime Properties from Software Development to Execution
  Härtig, Zschaler, Pohlack, Aigner, Göbel, Pohl, Röttger
  Realtime Systems Journal. The original publication is available at www.springerlink.com , August 2006
  PDF
• Disk Storage and File Systems with Quality-of-Service Guarantees
  Lars Reuther
  Dissertation, Dresden, Germany, May 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
• Low-Latency Hard Real-Time Communication over Switched Ethernet
  Jork Löser
  Dissertation, Dresden, Germany, January 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

2005

• 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
• Schwankungsbeschränkte Ströme
  Cl.-J. Hamann
  TU Dresden technical report TUD-FI05-11, Dresden, Germany, August 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
• Kapselung von Standard-Betriebssystemen
  Frank Mehnert
  Dissertation, Dresden, Germany, July 2005
  PDF
• Mikro-SINA—Hands-on Experiences with the Nizza Security Architecture.
  C. Helmuth, A. Warg, and N. Feske
  Proceedings of the D.A.CH Security 2005, Darmstadt, Germany , March 2005
  PDF

2004

• 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
• 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
• 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
• 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
• The COMQUAD Component Container Architecture and Contract Negotiation
  S. Göbel, C. Pohl, R. Aigner, M. Pohlack, S. Röttger, S. Zschaler
  TU Dresden technical report TUD-FI04-04, Dresden, Germany, April 2004
  PDF
• Overlay Window Management: User interaction with multiple security domains
  N. Feske, C. Helmuth
  TU Dresden technical report TUD-FI04-02, Dresden, Germany, March 2004
  PDF
• Connecting Real-Time and Non-Real-Time Components
  M. Pohlack, R. Aigner, H. Härtig
  TU Dresden technical report TUD-FI04-01, Dresden, Germany, February 2004
  PDF

2003

• 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
• Buffer Bounds of a FIFO Multiplexer
  J. Loeser
  TU Dresden technical report TUD-FI03-15, Dresden, Germany , November 2003
  PDF
• Measuring Microsecond Delays
  J. Loeser
  TU Dresden technical report TUD-FI03-16, Dresden, Germany , November 2003
  PDF
• DOpE — a Window Server for Real-Time and Embedded Systems
  N. Feske, H. Härtig
  TU Dresden technical report TUD-FI03-10, Dresden, Germany , September 2003
  PDF
• An I/O Architecture for Mikrokernel-Based Operating Systems
  H. Härtig, J. Loeser, F. Mehnert, L. Reuther, M. Pohlack, A. Warg
  TU Dresden technical report TUD-FI03-08, Dresden, Germany, July 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
• µSINA - Eine mikrokernbasierte Systemarchitektur für sichere Systemkomponenten
  C. Helmuth, A. Westfeld, M. Sobirey
  Bundesamt für Sicherheit in der Informationstechnik (Hrsg.): IT-Sicherheit im verteilten Chaos, Tagungsband 8. Deutscher IT-Sicherheitskongress des BSI, S439-453, Secumedia-Verlag Ingelsheim Best paper award! , 2003
  PDF

2002

• 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
• 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
• Pragmatic nonblocking synchronization for real-time systems
  Michael Hohmuth
  Dissertation, TU Dresden, Dresden, Germany, September 2002
  PDF
• Using PCI-Bus Systems in Real-Time Environments
  S. Schönberg
  Dissertation, TU Dresden, Dresden, Germany , September 2002
  PDF
• Security Architectures Revisited
  H. Härtig
  Proceedings of the 10th ACM SIGOPS European Workshop (EW 2002), Saint-Emilion, France , September 2002
  PDF
• Cache Influence on Worst Case Execution Time of Network Stacks
  J. Loeser, H. Härtig
  TU Dresden technical report TUD-FI02-07, Dresden, Germany , July 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
• 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

2001

• 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
• 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
• Unsichtbare Botschaften
  A. Westfeld
  C't Magazin für Computertechnik 9/2001, S. 170-181, September 2001
  HTML
• A Streaming Interface for Real-Time Interprocess Communication
  J. Loeser, H. Härtig, L. Reuther
  TU Dresden technical report TUD-FI01-09, Dresden, Germany , August 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
• 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
• Buffer optimization in realtime media streams using jitter-constrained periodic streams
  Cl.-J. Hamann, A. Märcz, K. Meyer-Wegener
  TU Dresden technical report, Dresden, Germany, January 2001
  PDF
• Helping in a multiprocessor environment
  Michael Hohmuth, Michael Peter
  Proceedings of the Second Workshop on Common Microkernel System Platforms, 2001
  PDF
• Kapselung ausführbarer Binärdateien. slcaps: Implementierung von Capabilitys für Linux
  S. Lehmann, A. Westfeld
  In: Dirk Fox, Marit Köhntopp, Andreas Pfitzmann (Hrsg.): Verlässliche IT-Systeme 2001. Sicherheit in komplexen IT-Infrastrukturen, S. 21-35, DuD Fachbeiträge, Vieweg Braunschweig Wiesbaden , 2001
  PDF
• F5 - Ein steganographischer Algorithmus: Hohe Kapazität trotz verbesserter Angriffe
  A. Westfeld
  In: Dirk Fox, Marit Köhntopp, Andreas Pfitzmann (Hrsg.): Verlässliche IT-Systeme 2001. Sicherheit in komplexen IT-Infrastrukturen, S. 241-255, DuD Fachbeiträge, Vieweg Braunschweig Wiesbaden , 2001
  PDF

2000

• 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
• 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
• 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

1999

• Pufferdimensionierung für schwankungsbeschränkte Ströme in DROPS
  Cl.-J. Hamann, L. Reuther
  10. GI/ITG Fachtagung MMB'99, Trier, Germany, Semptember 1999
  PDF
• 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

1998

• 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
• 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
• 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
• µ-kernel Memory Management / Microkernel Memory Management
  Sebastian Schönberg, Volkmar Uhlig
  Technische Universität Dresden , May 1998
  PDF
• 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

1997

• Kapselung mobiler Programme
  L. Reuther, H. Härtig
  14. ITG/GI-Fachtagung Architektur von Rechensystemen ARCS '97 Rostock , September 1997
  PS
• Efficient communication mechanisms for DSP-based multimedia accelerators
  R. Baumgartl, H. Härtig
  Proceedings of ICSPAT'97, San Diego, September 1997
  PS , slides
• OS-Controlled Cache Predictability for Real-Time Systems
  J. Liedtke, H. Härtig, M. Hohmuth
  Proceedings of the Third IEEE Real-time Technology and Applications Symposium (RTAS'97), Montreal, Canada , June 1997
  PDF
• 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
• Prinzessin auf der Erbse - Linux-Portierung auf den Mikrokern
  M. Hohmuth, J. Wolter
  Appeared in iX 1/1997, January 1997
  HTML , Additional information
• Portierung von Linux auf den µ-Kern L4
  M. Borriss, M. Hohmuth, J. Wolter, H. Härtig
  Appeared at the ``Int. wiss. Kolloquium Ilmenau, 1997
  PS , Additional information
• 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

1996

• Portierung des SCSI-Gerätetreibers von Linux auf L3
  F. Mehnert
  TU Dresden term paper, Dresden, Germany, November 1996
  PS
• 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
• Emulation des UNIX-Prozeßkonzepts auf dem Mikrokern L3
  J. Wolter
  TU Dresden master's thesis; also technical report TUD-FI95-12, Dresden, Germany , November 1995
  PS
• Systematische Übertragung von Gerätetreibern von einem monolithischen Betriebssystem auf eine mikrokernbasierte Architektur
  R. Stange
  TU Dresden master's thesis, Dresden, Germany, May 1996
  PS
• Steps Towards Porting a Unix Single Server to the L3 Microkernel
  M. Hohmuth, S. Rudolph
  TU Dresden term paper, Dresden, Germany , April 1996
  PDF
• Linux-Portierung auf den Mikrokern L4
  R. Baumgartl, M. Borriss, H. Haertig, M. Hohmuth, J. Wolter
  Appeared in ``Wiss. Beiträge zur Informatik,'' TU Dresden, Fakultät Informatik, Heft 1/1996; ISSN 0863-0798, 1996
  
• Linux-Emulation auf einem Mikrokern
  M. Hohmuth
  TU Dresden master's thesis, Dresden, Germany, August 1996
  PS , Additional information , slides

1995

• Simulation von Warteschlangennetzen mit BNETD
  M. Borriss
  MMB Mitteilungen, November 1995
  PS
• Verwaltung persistenter Daten in einem verteilten objektbasierten Betriebssystem
  M. Schalm
  Wissenschaftliche Beiträge zur Informatik Fak. Informatik, TU Dresden, Heft 2/1995 , February 1995
  
• Zum Beweis eines Satzes über ratenmonotones Scheduling
  Cl.-J. Hamann
  Wissenschaftliche Beiträge zur Informatik Fak. Informatik, TU Dresden, Heft 2/1995 , February 1995
  
• Multimediaunterstützung in Betriebssystemen
  H. Härtig et al.
  Wissenschaftliche Beiträge zur Informatik Fak. Informatik, TU Dresden, Heft 2/1995 , February 1995
  
• Integration flexibler Hardware (FPGA's)
  J. Wittenberger
  TU Dresden technical report, Dresden, Germany, 1995
  

1993

• The BirliX Security Architecture
  H. Härtig, O. Kowalski, W. Kühnhauser
  Journal of Computer Security 2, p. 5—21 , 1993
  PS

1991

• Vertrauenswürdiges Booten als Grundlage authentischer Basissysteme
  M. Groß
  In: Verläßliche Informationssysteme, Proceedings der GI-Fachtagung VIS'91, Darmstadt, Informatik-Fachberichte Nr. 271, Springer-Verlag, Heidelberg, S. 190-207 , 1991
  PDF