Christoph Borchert

According to our database1, Christoph Borchert authored at least 21 papers between 2011 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Hybrid Hardware/Software Detection of Multi-Bit Upsets in Memory.
Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2024

2023
Compiler-Implemented Differential Checksums: Effective Detection and Correction of Transient and Permanent Memory Errors.
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.
Proceedings of the Machine Learning under Resource Constraints - Volume 1: Fundamentals, 2022

2021
Decoupling Application Logic from Persistent Memory Frameworks with AspectC++.
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.
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++.
Proceedings of the 10th Workshop on Programming Languages and Operating Systems, 2019

2017
Aspect-oriented technology for dependable operating systems.
PhD thesis, 2017

Generic Soft-Error Detection and Correction for Concurrent Data Structures.
IEEE Trans. Dependable Secur. Comput., 2017

Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems.
Proceedings of the Architecture of Computing Systems - ARCS 2017, 2017

2016
CrossCheck: A Holistic Approach for Tolerating Crash-Faults and Arbitrary Failures.
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.
ACM SIGOPS Oper. Syst. Rev., 2015

Multi-layer software reliability for unreliable hardware.
it Inf. Technol., 2015

Avoiding Pitfalls in Fault-Injection Based Comparison of Program Susceptibility to Soft Errors.
Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

2014
Rapid Fault-Space Exploration by Evolutionary Pruning.
Proceedings of the Computer Safety, Reliability, and Security, 2014

Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs.
Proceedings of the 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2014

Crosscheck: Hardening Replicated Multithreaded Services.
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.
Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013

Generative software-based memory error detection and correction for operating system data structures.
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.
Proceedings of the 10th International Conference on Mobile Systems, 2012

Protecting the Dynamic Dispatch in C++ by Dependability Aspects.
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.
Proceedings of the 1st workshop on Modularity in systems software, 2011


  Loading...