Christoph Borchert

According to our database, Christoph Borchert authored at least 20 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Compiler-Implemented Differential Checksums: Effective Detection and Correction of Transient and Permanent Memory Errors.

Christoph Borchert, Horst Schirmeier, Olaf Spinczyk

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Network, 2023

2022

Declarative Stream-based Acquisition and Processing of OSData with kCQL.

Christoph Borchert, Jochen Streicher, Alexander Lochmann, Olaf Spinczyk

Proceedings of the Machine Learning under Resource Constraints - Volume 1: Fundamentals, 2022

2021

Decoupling Application Logic from Persistent Memory Frameworks with AspectC++.

Marcel Köppen, Birte Friesel, Christoph Borchert, Olaf Spinczyk

Proceedings of the PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, 2021

2020

From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes.

Florian Rommel, Christian Dietrich, Birte Friesel, Marcel Köppen, Christoph Borchert, Michael Müller, Olaf Spinczyk, Daniel Lohmann

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

2019

Cache-Line Transactions: Building Blocks for Persistent Kernel Data Structures Enabled by AspectC++.

Marcel Köppen, Jana Traue, Christoph Borchert, Jörg Nolte, Olaf Spinczyk

Proceedings of the 10th Workshop on Programming Languages and Operating Systems, 2019

2017

Aspect-oriented technology for dependable operating systems.

Christoph Borchert

PhD thesis, 2017

Generic Soft-Error Detection and Correction for Concurrent Data Structures.

Christoph Borchert, Horst Schirmeier, Olaf Spinczyk

IEEE Trans. Dependable Secur. Comput., 2017

Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems.

Thiago Santini, Christoph Borchert, Christian Dietrich, Horst Schirmeier, Martin Hoffmann, Olaf Spinczyk, Daniel Lohmann, Flávio Rech Wagner, Paolo Rech

Proceedings of the Architecture of Computing Systems - ARCS 2017, 2017

2016

CrossCheck: A Holistic Approach for Tolerating Crash-Faults and Arbitrary Failures.

Arthur Martens, Christoph Borchert, Manuel Nieke, Olaf Spinczyk, Rüdiger Kapitza

Proceedings of the 12th European Dependable Computing Conference, 2016

2015

Hardening an L4 Microkernel Against Soft Errors by Aspect-Oriented Programming and Whole-Program Analysis.

Christoph Borchert, Olaf Spinczyk

ACM SIGOPS Oper. Syst. Rev., 2015

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 Kriebel, Daniel Lohmann, Peter Marwedel, Semeen Rehman, Florian Schmoll, Olaf Spinczyk

it Inf. Technol., 2015

Avoiding Pitfalls in Fault-Injection Based Comparison of Program Susceptibility to Soft Errors.

Horst Schirmeier, Christoph Borchert, Olaf Spinczyk

Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

2014

Rapid Fault-Space Exploration by Evolutionary Pruning.

Horst Schirmeier, Christoph Borchert, Olaf Spinczyk

Proceedings of the Computer Safety, Reliability, and Security, 2014

Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs.

Martin Hoffmann, Christoph Borchert, Christian Dietrich, Horst Schirmeier, Rüdiger Kapitza, Olaf Spinczyk, Daniel Lohmann

Proceedings of the 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2014

Crosscheck: Hardening Replicated Multithreaded Services.

Arthur Martens, Christoph Borchert, Tobias Oliver Geissler, Daniel Lohmann, Olaf Spinczyk, Rüdiger Kapitza

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

2013

Return-Address Protection in C/C++ Code by Dependability Aspects.

Christoph Borchert, Horst Schirmeier, Olaf Spinczyk

Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013

Generative software-based memory error detection and correction for operating system data structures.

Christoph Borchert, Horst Schirmeier, Olaf Spinczyk

Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2012

CiAO/IP: a highly configurable aspect-oriented IP stack.

Christoph Borchert, Daniel Lohmann, Olaf Spinczyk

Proceedings of the 10th International Conference on Mobile Systems, 2012

Protecting the Dynamic Dispatch in C++ by Dependability Aspects.

Christoph Borchert, Horst Schirmeier, Olaf Spinczyk

Proceedings of the 57. Jahrestagung der Deutschen Gesellschaft für Medizinische Informatik, Biometrie und Epidemiologie, 42. Jahrestagung der Gesellschaft für Informatik, Was bewegt uns in der/die Zukunft?, 2012

2011

Upcall dispatcher aspects: combining modularity with efficiency in the CiAO IP stack.

Jochen Streicher, Christoph Borchert, Olaf Spinczyk

Proceedings of the 1st workshop on Modularity in systems software, 2011