TUD Logo

TUD Home » ... » Publications » Grouped by category » Microkernel

Operating Systems

Microkernel

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

  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • Communication in Microkernel-Based Operating Systems
    Ronald Aigner
    Dissertation, Dresden, Germany, January 2011
    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
  • 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
  • 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
  • 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
  • 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
  • Pragmatic nonblocking synchronization for real-time systems
    Michael Hohmuth
    Dissertation, TU Dresden, Dresden, Germany, September 2002
    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
  • Helping in a multiprocessor environment
    Michael Hohmuth, Michael Peter
    Proceedings of the Second Workshop on Common Microkernel System Platforms, 2001
    PDF
  • 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
  • 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
  • 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
  • µ-kernel Memory Management / Microkernel Memory Management
    Sebastian Schönberg, Volkmar Uhlig
    Technische Universität Dresden , May 1998
    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
  • 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
  • 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
Last modified: 5th Jul 2017, 2.43 PM
Author: Dr.-Ing. Carsten Weinhold

Contact
Dr.-Ing.
Carsten Weinhold

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