Hauptinhalt
BibTeX-Quelltext
@mastersthesis{borchert:10:diplom,
author = {Christoph Borchert},
title = {{E}ntwicklung eines aspektorientierten {TCP}/{IP}-{S}tacks f{\"u}r eingebettete {S}ysteme},
school = {Technische Universit{\"a}t Dortmund},
month = nov,
year = 2010,
type = {Diplomarbeit},
category = {ESS},
download-url = {http://ess.cs.tu-dortmund.de/Teaching/Theses/2010/DA_Borchert_2010.pdf}
}
@inproceedings{streicher:11:miss,
author = {Jochen Streicher and Christoph Borchert and Olaf Spinczyk},
title = {Upcall Dispatcher Aspects: Combining Modularity with Efficiency in the {CiAO} {IP} Stack},
booktitle = {Proceedings of the 1st AOSD Workshop on Modularity in Systems Software (AOSD-MISS '11)},
month = mar,
pages = {23--27},
numpages = {5},
year = {2011},
isbn = {978-1-4503-0647-8},
download-url = {http://www.aosd.net/workshops/miss/2011/papers/streicher_jochen.pdf},
doi = {10.1145/1960518.1960524},
category = {ESS, aop, aop-c++},
publisher = {ACM Press},
address = {New York, NY, USA}
}
@inproceedings{borchert:12:mobisys,
author = {Christoph Borchert and Daniel Lohmann and Olaf Spinczyk},
title = {{CiAO/IP}: A Highly Configurable Aspect-Oriented {IP} Stack},
booktitle = {Proceedings of the 10th International Conference on Mobile Systems, Applications, and Services (MobiSys '12)},
venue = {Low Wood Bay, Lake District, UK},
year = {2012},
isbn = {978-1-4503-1301-8},
month = jun,
pages = {435--448},
numpages = {14},
doi = {10.1145/2307636.2307676},
category = {ESS, DanceOS},
publisher = {ACM Press},
address = {New York, NY, USA},
download-url = {http://web.archive.org/web/20210122215142/http://danceos.org/publications/MobiSys-2012-Borchert.pdf}
}
@inproceedings{borchert:12:sobres,
author = {Christoph Borchert and Horst Schirmeier and Olaf Spinczyk},
title = {Protecting the Dynamic Dispatch in {C++} by Dependability Aspects},
booktitle = {Proceedings of the 1st GI Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '12)},
venue = {Braunschweig, Germany},
month = sep,
year = 2012,
pages = {521--535},
category = {ESS, DanceOS},
publisher = {German Society of Informatics},
series = {Lecture Notes in Informatics},
address = {Bonn, Germany},
url = {http://subs.emis.de/LNI/Proceedings/Proceedings208/521.pdf},
download-url = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/SOBRES-2012-Borchert.pdf}
}
@inproceedings{borchert:13:dsn,
author = {Christoph Borchert and Horst Schirmeier and Olaf Spinczyk},
title = {Generative Software-based Memory Error Detection and Correction for Operating System Data Structures},
booktitle = {Proceedings of the 43rd IEEE/IFIP International Conference on Dependable Systems and Networks (DSN '13)},
venue = {Budapest, Hungary},
month = jun,
year = 2013,
category = {ESS, DanceOS},
publisher = {IEEE Press},
address = {Piscataway, NJ, USA},
numpages = {12},
download-url = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/DSN-2013-Borchert.pdf},
doi = {10.1109/DSN.2013.6575308},
isbn = {978-1-4673-6471-3}
}
@inproceedings{borchert:13:sobres,
author = {Christoph Borchert and Horst Schirmeier and Olaf Spinczyk},
title = {Return-Address Protection in {C/C++} Code by Dependability Aspects},
booktitle = {Proceedings of the 2nd GI Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '13)},
venue = {Koblenz, Germany},
month = sep,
year = 2013,
category = {ESS, DanceOS},
publisher = {German Society of Informatics},
series = {Lecture Notes in Informatics},
address = {Bonn, Germany},
pages = {2519--2533},
numpages = {15},
url = {http://subs.emis.de/LNI/Proceedings/Proceedings220/2519.pdf},
download-url = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/SOBRES-2013-Borchert.pdf}
}
@inproceedings{martens:14:dcdv,
author = {Arthur Martens and Christoph Borchert and Tobias Oliver Gei{\ss}ler and Daniel Lohmann and Olaf Spinczyk and R{\"u}diger Kapitza},
booktitle = {Proceedings of the 4th International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology ({DCDV} '14)},
title = {Crosscheck: Hardening replicated multithreaded services},
year = 2014,
month = jun,
publisher = {IEEE Press},
address = {Piscataway, NJ, USA},
doi = {10.1109/DSN.2014.98},
pages = {648--653},
category = {ESS, DanceOS}
}
@inproceedings{martens:16:edcc,
author = {Arthur Martens and Christoph Borchert and Manuel Nieke and Olaf Spinczyk and R{\"u}diger Kapitza},
title = {{CrossCheck}: A Holistic Approach for Tolerating Crash-Faults and Arbitrary Failures},
booktitle = {Proceedings of the 12th European Dependable Computing Conference (EDCC '16)},
venue = {Gothenburg, Sweden},
month = sep,
year = 2016,
publisher = {IEEE Press},
address = {Piscataway, NJ, USA},
numpages = 12,
category = {ESS, DanceOS},
pages = {65--76},
doi = {10.1109/EDCC.2016.29},
download-url = {https://www.ibr.cs.tu-bs.de/users/martens/papers/martens-16-edcc.pdf}
}
@inproceedings{hoffmann:14:isorc,
author = {Martin Hoffmann and Christoph Borchert and Christian Dietrich and Horst Schirmeier and R{\"u}diger Kapitza and Olaf Spinczyk and Daniel Lohmann},
publisher = {IEEE Press},
address = {Piscataway, NJ, USA},
location = {Reno, Nevada, USA},
booktitle = {Proceedings of the 17th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '14)},
title = {Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs},
month = jun,
pages = {230--237},
year = 2014,
category = {L4, ESS, DanceOS},
download-url = {http://www4.cs.fau.de/Publications/2014/hoffmann_14_isorc.pdf},
doi = {10.1109/ISORC.2014.26}
}
@inproceedings{schirmeier:14:safecomp,
author = {Horst Schirmeier and Christoph Borchert and Olaf Spinczyk},
title = {Rapid Fault-Space Exploration by Evolutionary Pruning},
publisher = {Springer},
address = {Cham, Switzerland},
location = {Florence, Italy},
booktitle = {Proceedings of the 33rd International Conference on Computer Safety, Reliability and Security (SAFECOMP '14)},
month = sep,
year = 2014,
category = {ESS, DanceOS},
pages = {17--32},
isbn = {978-3-319-10505-5},
download-url = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/SAFECOMP-2014-Schirmeier.pdf},
doi = {10.1007/978-3-319-10506-2_2}
}
@inproceedings{schirmeier:15:dsn,
author = {Horst Schirmeier and Christoph Borchert and Olaf Spinczyk},
title = {Avoiding Pitfalls in Fault-Injection Based Comparison of Program Susceptibility to Soft Errors},
booktitle = {Proceedings of the 45th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN '15)},
venue = {Rio de Janeiro, Brazil},
month = jun,
year = 2015,
category = {ESS, DanceOS},
publisher = {IEEE Press},
address = {Piscataway, NJ, USA},
numpages = 12,
download-url = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/DSN-2015-Schirmeier.pdf},
pages = {319--330},
doi = {10.1109/DSN.2015.44}
}
@incollection{schirmeier:20:spp1500-danceos,
author = {Horst Schirmeier and Christoph Borchert and Martin Hoffmann and Christian Dietrich and
Arthur Martens and R{\"u}diger Kapitza and Daniel Lohmann and Olaf Spinczyk},
title = {Dependability Aspects in Configurable Embedded Operating Systems},
editor = {Nikil Dutt and J{\"o}rg Henkel},
booktitle = {Dependable Embedded Systems},
publisher = {Springer},
address = {Heidelberg, BW, Germany},
year = 2020,
chapter = 4,
pages = {85--116},
isbn = {978-3-030-52017-5},
doi = {10.1007/978-3-030-52017-5_4},
category = {ESS, DanceOS}
}
@phdthesis{borchert:2017:phdthesis,
author = {Christoph Borchert},
title = {Aspect-Oriented Technology for Dependable Operating Systems},
month = may,
year = 2017,
school = {Technische Universit{\"a}t Dortmund},
type = {Dissertation},
doi = {10.17877/DE290R-17995},
download-url = {https://eldorado.tu-dortmund.de/bitstream/2003/35975/1/Dissertation_Borchert.pdf},
category = {ESS, DanceOS}
}
@article{borchert:15:tdsc,
author = {Christoph Borchert and Horst Schirmeier and Olaf Spinczyk},
journal = {IEEE Transactions on Dependable and Secure Computing},
title = {Generic Soft-Error Detection and Correction for Concurrent Data Structures},
publisher = {IEEE Press},
address = {Piscataway, NJ, USA},
volume = 14,
number = 1,
year = 2017,
month = jan,
pages = {22--36},
doi = {10.1109/TDSC.2015.2427832},
issn = {1545-5971},
keywords = {Benchmark testing;Data structures;Instruction sets;Kernel;Programming;Redundancy;Runtime;Concurrency;Fault tolerance;Object-Oriented Programming;Operating Systems},
category = {ESS, DanceOS, JOURNAL},
download-url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7097670&isnumber=4358699}
}
@inproceedings{borchert:15:plos,
author = {Christoph Borchert and Olaf Spinczyk},
title = {Hardening an {L4} Microkernel Against Soft Errors by Aspect-Oriented Programming and Whole-Program Analysis},
booktitle = {Proceedings of the 8th Workshop on Programming Languages and Operating Systems (PLOS '15)},
publisher = {ACM Press},
address = {New York, NY, USA},
month = oct,
year = 2015,
isbn = {978-1-4503-3942-1},
pages = {1--7},
numpages = 7,
doi = {10.1145/2818302.2818304},
category = {ESS, DanceOS},
download-url = {http://web.archive.org/web/20210122215142/http://www.danceos.org/publications/PLOS-15-Borchert.pdf}
}
@article{borchert:2016:osr,
author = {Christoph Borchert and Olaf Spinczyk},
title = {Hardening an {L4} Microkernel Against Soft Errors by Aspect-Oriented Programming and Whole-Program Analysis},
journal = {ACM Operating Systems Review},
issue_date = {December 2015},
volume = {49},
number = {2},
month = jan,
year = 2016,
issn = {0163-5980},
pages = {37--43},
numpages = 7,
doi = {10.1145/2883591.2883600},
publisher = {ACM Press},
address = {New York, NY, USA},
category = {ESS, DanceOS, JOURNAL}
}
@inproceedings{santini:2016:selse-radiation,
author = {Thiago Santini and Christoph Borchert and Christian Dietrich and Horst Schirmeier and Martin Hoffmann and Olaf Spinczyk and Daniel Lohmann and Wagner, Fl{\'a}vio Rech and Paolo Rech},
title = {Evaluating the Radiation Reliability of Dependability-Oriented Real-Time Operating Systems},
booktitle = {Proceedings of the 12th Workshop on Silicon Errors in Logic -- System Effects (SELSE '16)},
year = 2016,
month = mar,
address = {Austin, TX, USA},
numpages = 6,
category = {ESS, L4, DanceOS},
download-url = {ftp://ftp.inf.ufrgs.br/pub/simoo/papers/selse16.pdf}
}
@inproceedings{santini:17:arcs-radiation,
author = {Thiago Santini and Christoph Borchert and Christian Dietrich and Horst Schirmeier and Martin Hoffmann and Olaf Spinczyk and Daniel Lohmann and Fl{\'a}vio Rech Wagner and Paolo Rech},
title = {Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems},
booktitle = {Proceedings of the 30th International Conference on Architecture of Computing Systems (ARCS '17)},
pages = {3--15},
publisher = {Springer},
address = {Cham, Switzerland},
venue = {Vienna, Austria},
year = 2017,
month = apr,
doi = {10.1007/978-3-319-54999-6_1},
category = {ESS, L4, DanceOS}
}
@article{Shafique:15:IT,
author = {Muhammad Shafique and
Philip Axer and
Christoph Borchert and
Jian{-}Jia Chen and
Kuan{-}Hsun Chen and
Bj{\"{o}}rn D{\"{o}}bel and
Rolf Ernst and
Hermann H{\"{a}}rtig and
Andreas Heinig and
R{\"{u}}diger Kapitza and
Florian Kriebel and
Daniel Lohmann and
Peter Marwedel and
Semeen Rehman and
Florian Schmoll and
Olaf Spinczyk},
title = {Multi-layer software reliability for unreliable hardware},
journal = {it - Information Technology},
volume = {57},
number = {3},
pages = {170--180},
year = 2015,
month = jun,
publisher = {De Gruyter},
doi = {10.1515/itit-2014-1081},
category = {ESS, DanceOS}
}
