Sprungmarken

Service navigation

Fakultät für Informatik Logo-Text ESS

Hauptnavigation

Publications of Christoph Borchert
You are here:

Bereichsnavigation

Hauptinhalt

C. Borchert. Aspect-Oriented Technology for Dependable Operating Systems. Dissertation, Technische Universität Dortmund, May 2017. [ bib | DOI: 10.17877/DE290R-17995 | .pdf ]
C. Borchert, H. Schirmeier, and O. Spinczyk. Generic soft-error detection and correction for concurrent data structures. IEEE Transactions on Dependable and Secure Computing, 14(1):22–36, Jan. 2017. [ bib | DOI: 10.1109/TDSC.2015.2427832 | http ]
Keywords: Benchmark testing;Data structures;Instruction sets;Kernel;Programming;Redundancy;Runtime;Concurrency;Fault tolerance;Object-Oriented Programming;Operating Systems
T. Santini, C. Borchert, C. Dietrich, H. Schirmeier, M. Hoffmann, O. Spinczyk, D. Lohmann, F. R. Wagner, and P. Rech. Effectiveness of software-based hardening for radiation-induced soft errors in real-time operating systems. In Proceedings of the 30th International Conference on Architecture of Computing Systems (ARCS '17), pages 3–15, Cham, Switzerland, Apr. 2017. Springer. [ bib | DOI: 10.1007/978-3-319-54999-6_1 ]
C. Borchert and O. Spinczyk. Hardening an L4 microkernel against soft errors by aspect-oriented programming and whole-program analysis. ACM Operating Systems Review, 49(2):37–43, Jan. 2016. [ bib | DOI: 10.1145/2883591.2883600 ]
A. Martens, C. Borchert, M. Nieke, O. Spinczyk, and R. Kapitza. CrossCheck: A holistic approach for tolerating crash-faults and arbitrary failures. In Proceedings of the 12th European Dependable Computing Conference (EDCC '16), pages 65–76, Piscataway, NJ, USA, Sept. 2016. IEEE Press. [ bib | DOI: 10.1109/EDCC.2016.29 | .pdf ]
T. Santini, C. Borchert, C. Dietrich, H. Schirmeier, M. Hoffmann, O. Spinczyk, D. Lohmann, F. R. Wagner, and P. Rech. Evaluating the radiation reliability of dependability-oriented real-time operating systems. In Proceedings of the 12th Workshop on Silicon Errors in Logic – System Effects (SELSE '16), Austin, TX, USA, Mar. 2016. [ bib | .pdf ]
C. Borchert and O. Spinczyk. Hardening an L4 microkernel against soft errors by aspect-oriented programming and whole-program analysis. In Proceedings of the 8th Workshop on Programming Languages and Operating Systems (PLOS '15), pages 1–7, New York, NY, USA, Oct. 2015. ACM Press. [ bib | DOI: 10.1145/2818302.2818304 | .pdf ]
H. Schirmeier, C. Borchert, and O. Spinczyk. Avoiding pitfalls in fault-injection based comparison of program susceptibility to soft errors. In Proceedings of the 45th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN '15), pages 319–330, Piscataway, NJ, USA, June 2015. IEEE Press. [ bib | DOI: 10.1109/DSN.2015.44 | .pdf ]
M. Shafique, P. Axer, C. Borchert, J. Chen, K. Chen, B. Döbel, R. Ernst, H. Härtig, A. Heinig, R. Kapitza, F. Kriebel, D. Lohmann, P. Marwedel, S. Rehman, F. Schmoll, and O. Spinczyk. Multi-layer software reliability for unreliable hardware. it - Information Technology, 57(3):170–180, June 2015. [ bib | DOI: 10.1515/itit-2014-1081 ]
M. Hoffmann, C. Borchert, C. Dietrich, H. Schirmeier, R. Kapitza, O. Spinczyk, and D. Lohmann. Effectiveness of fault detection mechanisms in static and dynamic operating system designs. In Proceedings of the 17th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '14), pages 230–237, Piscataway, NJ, USA, June 2014. IEEE Press. [ bib | DOI: 10.1109/ISORC.2014.26 | .pdf ]
A. Martens, C. Borchert, T. O. Geißler, D. Lohmann, O. Spinczyk, and R. Kapitza. Crosscheck: Hardening replicated multithreaded services. In Proceedings of the 4th International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology (DCDV '14), pages 648–653, Piscataway, NJ, USA, June 2014. IEEE Press. [ bib | DOI: 10.1109/DSN.2014.98 ]
H. Schirmeier, C. Borchert, and O. Spinczyk. Rapid fault-space exploration by evolutionary pruning. In Proceedings of the 33rd International Conference on Computer Safety, Reliability and Security (SAFECOMP '14), pages 17–32, Cham, Switzerland, Sept. 2014. Springer. [ bib | DOI: 10.1007/978-3-319-10506-2_2 | .pdf ]
C. Borchert, H. Schirmeier, and O. Spinczyk. Generative software-based memory error detection and correction for operating system data structures. In Proceedings of the 43rd IEEE/IFIP International Conference on Dependable Systems and Networks (DSN '13), Piscataway, NJ, USA, June 2013. IEEE Press. [ bib | DOI: 10.1109/DSN.2013.6575308 | .pdf ]
C. Borchert, H. Schirmeier, and O. Spinczyk. Return-address protection in C/C++ code by dependability aspects. In Proceedings of the 2nd GI Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '13), Lecture Notes in Informatics, pages 2519–2533, Bonn, Germany, Sept. 2013. German Society of Informatics. [ bib | .pdf | .pdf ]
C. Borchert, D. Lohmann, and O. Spinczyk. CiAO/IP: A highly configurable aspect-oriented IP stack. In Proceedings of the 10th International Conference on Mobile Systems, Applications, and Services (MobiSys '12), pages 435–448, New York, NY, USA, June 2012. ACM Press. [ bib | DOI: 10.1145/2307636.2307676 | .pdf ]
C. Borchert, H. Schirmeier, and O. Spinczyk. Protecting the dynamic dispatch in C++ by dependability aspects. In Proceedings of the 1st GI Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '12), Lecture Notes in Informatics, pages 521–535, Bonn, Germany, Sept. 2012. German Society of Informatics. [ bib | .pdf | .pdf ]
J. Streicher, C. Borchert, and O. Spinczyk. Upcall dispatcher aspects: Combining modularity with efficiency in the CiAO IP stack. In Proceedings of the 1st AOSD Workshop on Modularity in Systems Software (AOSD-MISS '11), pages 23–27, New York, NY, USA, Mar. 2011. ACM Press. [ bib | DOI: 10.1145/1960518.1960524 | .pdf ]
C. Borchert. Entwicklung eines aspektorientierten TCP/IP-Stacks für eingebettete Systeme. Diplomarbeit, Technische Universität Dortmund, Nov. 2010. [ bib | .pdf ]