TUD Logo

TUD Home » ... » Operating Systems » Research » Publications

Operating Systems

Publications

Publications sorted by year : 
[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]

2017

  • 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
  • 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), Duprovnik, 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
Last modified: 15th Nov 2017, 4.32 AM
Author: Dr.-Ing. Carsten Weinhold

Contact
Dr.-Ing.
Carsten Weinhold

Phone: 463 38056
Fax: 463 38284
e-mail contact form