Publications sorted by year : 
[2020] [2019] [2018] [2017] [2016] [2015] [2014] [2013] [2012] [2011] [2010] [2009] [2008] [2007] [2006] [2005] [2004] [2003] [2002] [2001] [2000] [1999] [1998] [1997] [1996] [1995] [1993] [1991] [1982]

2020

• A Heterogeneous Microkernel OS for Rack-Scale Systems
  Matthias Hille, Nils Asmussen, Hermann Härtig, Pramod Bhatotia
  11th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys 2020), August 2020
  HTML
• 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
• Caladan: A Distributed Meta-OS for Data Center Disaggregation
  Lluís Vilanova, Lina Maudlej, Matthias Hille, Nils Asmussen, Michael Roitzsch, Mark Silberstein
  10th Workshop on Systems for Post-Moore Architectures (SPMA 2020), April 2020
  HTML

2019

• 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
• Configuration of inter-process communication with probabilistic model checking
  Linda Herrmann, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz
  International Journal on Software Tools for Technology Transfer volume 21, 651–666 (2019), October 2019
  HTML
• FFMK: An HPC OS based on the L4Re Microkernel
  Carsten Weinhold, Adam Lackorzynski, Hermann Härtig
  In Robert W. Wisniewski, Balazs Gerofi, Rolf Riesen, Yutaka Ishikawa (eds) Operating Systems for Supercomputers and High Performance Computing, October 2019
  HTML
• 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
• A New System Architecture for Heterogeneous Compute Units
  Nils Asmussen
  Dissertation, Dresden, Germany, Mai 2019
  PDF
• Pluggable Components All The Way Down
  Nils Asmussen, Michael Roitzsch, Carsten Weinhold
  1st International Workshop on Next-Generation Operating Systems for Cyber-Physical Systems (NGOSCPS), Montreal, Canada, April 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
• Architecture and Advanced Electronics Pathways Toward Highly Adaptive Energy-Efficient Computing
  G. P. Fettweis, M. Dörpinghaus, J. Castrillon, A. Kumar, C. Baier, K. Bock, F. Ellinger, A. Fery, F. H. P. Fitzek, H. Härtig, K. Jamshidi, T. Kissinger, W. Lehner, M. Mertig, W. E. Nagel, G. T. Nguyen, D. Plettemeier, M. Schröter, T. Strufe
  Proceedings of the IEEE, vol. 107, no. 1, pp. 204-231, 2019, January 2019
  HTML

2018

• 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
• Modular Energy Modeling using Energy/Utility
  Marcus Hähnel, Till Smejkal
  4th International Workshop on Energy-aware Simulation (ENERGY-SIM’18), Berlin, Germany, April 2018
  

2017

• Probabilistic Analysis of Low-Criticality Execution
  Martin Küttler, Michael Roitzsch, Claude-Joachim Hamann, Marcus Völp
  TU Dresden technical report TUD-FI17-02, Dresden, Germany, December 2017
  HTML
• Probabilistic Analysis of Low-Criticality Execution
  Martin Küttler, Michael Roitzsch, Claude-Joachim Hamann, Marcus Völp
  5th International Workshop on Mixed Criticality Systems (WMC 2017), Paris, France, December 2017
  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
• Sandcrust: Automatic Sandboxing of Unsafe Components in Rust
  Benjamin Lamowski, Carsten Weinhold, Adam Lackorzynski, Hermann Härtig
  9th Workshop on Programming Languages and Operating Systems (PLOS 2017), Shanghai, China, October 2017
  PDF
• Powernightmares: The Challenge of Efficiently Using Sleep States on Multi-Core Systems
  Thomas Ilsche, Marcus Hähnel, Robert Schöne, Mario Bielert and Daniel Hackenberg
  5th Workshop on Runtime and Operating Systems for the Many-core Era (ROME 2017), Santiago de Compostela, Spain, August 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
• What are you Waiting for - Removing Blocking Time from High Priority Jobs through Hardware Transactional Memory
  Benjamin Engel, Claude-Joachim Hamann
  Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT 2017), Dubrovnik, Kroatia, June 2017
  
• Predictable Low-Latency Interrupt Response with General-Purpose Systems
  Adam Lackorzynski, Carsten Weinhold, Hermann Härtig
  Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT 2017), Dubrovnik, Kroatia, June 2017
  PDF
• TETRiS: a Multi-Application Run-Time System for Predictable Execution of Static Mappings
  Andrés Goens, Robert Khasanov, Marcus Hähnel, Till Smejkal, Hermann Härtig, Jeronimo Castrillon
  20th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2017), Sankt Goar, Germany, June 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
• Towards Automated Configuration of Systems with Non-Functional Constraints
  Linda Leuschner, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz
  Proceedings of 16th Workshop on Hot Topics in Operating Systems (HotOS XVI), Vancouver, Canada, May 2017
  

2016

• RAW 2014: Random Number Generators on FPGAs
  Michael Raitza, Markus Vogt, Christian Hochberger, Thilo Pionteck
  Invited article in: ACM Transactions on Reconfigurable Technology and Systems (TRETS), Volume 9, Issue 2, January 2016
  HTML
• Combining Predictable Execution with Full-Featured Commodity Systems
  Adam Lackorzynski, Carsten Weinhold, Hermann Härtig
  Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT 2016), Toulouse, France, July 2016
  PDF
• Decoupled: Low-Effort Noise-Free Execution on Commodity Systems
  Adam Lackorzynski, Carsten Weinhold, Hermann Härtig
  Runtime and Operating Systems for Supercomputers (ROSS 2016), Kyoto, Japan, June 2016
  PDF
• Operating Heterogeneous Systems at Scale
  Matthias Hille, Nils Asmussen, Pramod Bhatotia, Hermann Härtig
  EuroSys 2016 - Poster Session, London, UK, April 2016, April 2016
  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

2015

• Cross-layer Resilience Mechanisms to Protect the Communication Path in Embedded Systems
  Tobias Stumpf, Hermann Härtig, Eberle Rambo, Rolf Ernst
  1st International ESWEEK Workshop on Resiliency in Embedded Electronic Systems, October 2015
  PDF
• 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
• Transactional IPC in Fiasco.OC - Can we get the multicore case verified for free?
  Till Smejkal, Adam Lackorzynski, Benjamin Engel, Marcus Völp
  Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT 2015), Lund, Sweden, July 2015
  PDF
• How to Protect the Protector?
  Tobias Stumpf
  Proceedings of The 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2015) - Student Forum, Rio de Janeiro, June 2015
  PDF
• FFMK: A Fast and Fault-Tolerant Microkernel-Based Operating System for Exascale Computing
  Carsten Weinhold, Hermann Härtig
  Invited paper in: inSiDE - Innovatives Supercomputing in Deutschland, Spring 2015 Issue, Spring 2015
  HTML
• Multi-Layer Software Reliability for Unreliable Hardware
  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 Kreibel, Daniel Lohmann, Peter Marwedel, Semeen Rehman, Florian Schmoll, Olaf Spinczyk
  it - Information Technology: Methods And Applications Of Informatics And Information Technology, Band 57, Heft 3, June 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
  
• Query Processing on Low-Energy Many-Core Processors
  Annett Ungethüm, Dirk Habich, Tomas Karnagel, Wolfgang Lehner, Nils Asmussen, Marcus Völp, Benedikt Nöthen, Gerhard Fettweis
  In Proceedings of the 31st IEEE International Conference on Data Engineering Workshops (ICDEW) 2015 , April 2015
  HTML
• 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
  

2014

• Improving System Security Through TCB Reduction
  Bernhard kauer
  Dissertation, Dresden, Germany, Dezember 2014
  PDF
• 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
• Operating System Support for Redundant Multithreading
  Björn Döbel
  Dissertation, Dresden, Germany, November 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
• Locks: Picking key methods for a scalable quantitative analysis
  Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
  Journal of Computer and System Sciences, July 2014
  HTML
• Overhead of a Decentralized Gossip Algorithm on the Performance of HPC Applications
  Ely Levy, Amnon Barak, Amnon Shiloh, Matthias Lieber, Carsten Weinhold, Hermann Härtig
  Runtime and Operating Systems for Supercomputers (ROSS 2014), Munich, Germany, June 2014
  PDF
• Towards Computation With Microchemomechanical Systems
  Andreas Voigt, Rinaldo Greiner, Merle Allerdißen, Andreas Richter, Stephan Henker, Marcus Völp
  International Journal of Foundations of Computer Science, Volume 25, Issue 04, June 2014
  HTML
• Resource-Aware Replication on Heterogeneous Multicores: Challenges and Opportunities
  Björn Döbel, Robert Muschner, Hermann Härtig
  1st Workshop on Resource Awareness and Adaptivity in Multi-core Computing (RACING), Paderborn, Germany, May 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
• Reducing Size and Complexity of the Security-Critical Code Base of File Systems
  Carsten Weinhold
  Dissertation, Dresden, Germany, January 2014
  PDF

2013

• On the Expressiveness of Fixed-Priority Scheduling Contexts for Mixed-Criticality Scheduling
  Marcus Völp, Adam Lackorzynski, Hermann Härtig
  1st International Workshop on Mixed Criticality Systems (WMC), co-located with RTSS 2013, Vancouver, Canada, March 2014
  PDF
• Predictable Coherent Caching with Incoherent Caches
  Adam Lackorzynski, Benjamin Engel, Marcus Völp
  Real-Time Linux Workshop, Lugano-Manno, Switzerland, October 2013
  PDF
• Practical Real-Time with Look-Ahead Scheduling
  Michael Roitzsch
  Dissertation, Dresden, Germany, September 2013
  PDF
• Where have all the cycles gone? -- Investigating Runtime Overheads of OS-Assisted Replication
  Björn Döbel, Hermann Härtig
  To appear at: 2nd Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '13), Koblenz, Germany, September 2013
  PDF
• Elastic Manycores: How to bring the OS back into the scheduling game?
  Marcus Völp, Michael Roitzsch
  1st Workshop on Runtime and Operating Systems for the Many-core Era (ROME 2013), Aachen, Germany, August 2013
  PDF
• Flat but Trustworthy: Security Aspects in Flattened Hierarchical Scheduling
  Adam Lackorzynski, Marcus Völp and Alexander Warg
  Workshop on Virtualization for Real-Time Embedded Systems (VtRES'13, colocated with RTCSA'13), Taipeh, Taiwan, August 2013
  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
• 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
  ACM eEnergy (e-Energy 2013), Berkeley, CA, USA, May 2013
  PDF
• A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select
  Christel Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews and Marcus Völp
  5th NASA Formal Methods Symposium (NFM'13), Moffett Field, CA, USA, May 2013
  PDF
• 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ärcker, Hendrik 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

1982

• Grenzwerte der Zuverlässigkeit von Parallel-Serien-Systemen
  Andreas Pfitzmann, Hermann Härtig
  Nett E., Schwärtzel H. (eds) Fehlertolerierende Rechnersysteme, Informatik-Fachberichte, vol 54. Springer, Berlin, Heidelberg , March 1982
  PDF