TUD Logo

TUD Home » ... » Publications » Grouped by category » Conference papers

Operating Systems

Conference papers

Publications sorted by various categories : 
[System Security] [Quality of Service] [Virtualization] [Microkernel Research] [Energy] [Misc]
[Dissertation] [Journal] [Conference] [Workshop] [Technical report] [Poster] [Misc.]

  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • NOVA: A Microhypervisor-Based Secure Virtualization Architecture
    Udo Steinberg, Bernhard Kauer
    Proceedings of EuroSys 2010, Paris, France, April 2010
    PDF
  • 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
  • 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
  • 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
  • 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
  • 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
  • Scheduling Real-Time Components Using Jitter-Constrained Streams
    Hamann, Zschaler
    Proceedings of 10th IEEE The Enterprise Computing Conference (EDOC) Hong Kong , 2006
    PDF
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • Efficient communication mechanisms for DSP-based multimedia accelerators
    R. Baumgartl, H. Härtig
    Proceedings of ICSPAT'97, San Diego, September 1997
    PS , slides
  • 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
  • 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
  • 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
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