danceos.bib

@inproceedings{lohmann:12:taosd,
  editor = {Gary T. Leavens and Shigeru Chiba and Michael Haupt and Klaus Ostermann and Eric Wohlstadter},
  author = {Daniel Lohmann and Olaf Spinczyk and Wanja Hofer and Wolfgang Schr{\"o}der{-}Preikschat},
  title = {The Aspect-Aware Design and Implementation of the {CiAO} Operating-System Family},
  booktitle = {Transactions on AOSD IX},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  number = 7271,
  year = 2012,
  pages = {168--215},
  category = {L4, ESS, DanceOS, JOURNAL}
}
@inproceedings{ulbrich:12:edcc,
  author = {Peter Ulbrich and Martin Hoffmann and R{\"u}diger Kapitza and Daniel Lohmann and Wolfgang Schr{\"o}der{-}Preikschat and Reiner Schmid},
  title = {Eliminating Single Points of Failure in Software-Based Redundancy},
  venue = {Sibiu, Romania},
  booktitle = {Proceedings of the 9th European Dependable Computing Conference (EDCC '12)},
  month = may,
  year = {2012},
  pages = {49--60},
  publisher = {IEEE Press},
  address = {Piscataway, NJ, USA},
  doi = {10.1109/EDCC.2012.21},
  userd = {EDCC '12},
  category = {L4, DanceOS}
}
@inproceedings{schirmeier:11:prdc,
  author = {Horst Schirmeier and Jens Neuhalfen and Ingo Korb and Olaf Spinczyk and Michael Engel},
  title = {{RAMpage}: Graceful Degradation Management for Memory Errors in Commodity {Linux} Servers},
  booktitle = {Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing  (PRDC '11)},
  publisher = {IEEE Press},
  address = {Pasadena, CA, USA},
  month = dec,
  year = 2011,
  pages = {89--98},
  doi = {10.1109/PRDC.2011.20},
  category = {ESS, DanceOS},
  download-url = {http://danceos.org/publications/PRDC-2011-Schirmeier.pdf}
}
@article{schirmeier:13:ijccbs,
  author = {Horst Schirmeier and Ingo Korb and Olaf Spinczyk and Michael Engel},
  title = {Efficient Online Memory Error Assessment and Circumvention for {L}inux with {RAMpage}},
  journal = {International Journal of Critical Computer-Based Systems},
  volume = 4,
  number = 3,
  year = {2013},
  pages = {227--247},
  note = {Special Issue on PRDC 2011 Dependable Architecture and Analysis},
  doi = {10.1504/IJCCBS.2013.058397},
  category = {ESS, DanceOS, JOURNAL},
  download-url = {http://danceos.org/publications/IJCCBS-2013-Schirmeier.pdf}
}
@inproceedings{schirmeier:11:prdc-fast,
  author = {Horst Schirmeier and Martin Hoffmann and R{\"u}diger Kapitza and Daniel Lohmann and Olaf Spinczyk},
  title = {Revisiting Fault-Injection Experiment-Platform Architectures},
  booktitle = {Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing  (PRDC '11)},
  publisher = {IEEE Press},
  address = {Pasadena, CA, USA},
  month = dec,
  pages = {284--285},
  year = 2011,
  doi = {10.1109/PRDC.2011.46},
  category = {ESS, DanceOS},
  note = {Fast abstract},
  download-url = {http://danceos.org/publications/PRDC-FAST-2011-Schirmeier.pdf}
}
@inproceedings{schirmeier:12:arcs-dft,
  author = {Horst Schirmeier and Martin Hoffmann and R{\"u}diger Kapitza and Daniel Lohmann and Olaf Spinczyk},
  title = {{FAIL*}: Towards a Versatile Fault-Injection Experiment Framework},
  booktitle = {25th International Conference on Architecture of Computing Systems (ARCS '12), Workshop Proceedings},
  location = {Munich, Germany},
  series = {Lecture Notes in Informatics},
  volume = 200,
  editor = {Gero M{\"u}hl and Jan Richling and Andreas Herkersdorf},
  isbn = {978-3-88579-294-9},
  month = mar,
  year = 2012,
  pages = {201--210},
  publisher = {German Society of Informatics},
  category = {ESS, DanceOS},
  download-url = {http://danceos.org/publications/VERFE-2012-Schirmeier.pdf}
}
@inproceedings{doebel:13:dfr,
  author = {Bj{\"o}rn D{\"o}bel and Horst Schirmeier and Michael Engel},
  title = {Investigating the Limitations of {PVF} for Realistic Program Vulnerability Assessment},
  booktitle = {Proceedings of the 5th HiPEAC Workshop on Design for Reliability (DFR '13)},
  address = {Berlin, Germany},
  month = jan,
  year = 2013,
  category = {ESS, DanceOS},
  download-url = {http://danceos.org/publications/HiPEAC-DFR-2013-Doebel.pdf}
}
@phdthesis{hoffmann:2016:phdthesis,
  author = {Martin Hoffmann},
  title = {{Konstruktive Zuverl{\"a}ssigkeit -- Eine Methodik f{\"u}r zuverl{\"a}ssige Systemsoftware auf unzuverl{\"a}ssiger Hardware}},
  month = apr,
  year = 2016,
  school = {Friedrich-Alexander-Universit{\"a}t Erlangen-N{\"u}rnberg},
  type = {Dissertation},
  download-url = {https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/7038},
  category = {L4, DanceOS}
}
@inproceedings{thomm:11:jtres,
  author = {Thomm, Isabella and Stilkerich, Michael and Kapitza, R{\"u}diger and Lohmann, Daniel and Schr{\"o}der{-}Preikschat, Wolfgang},
  title = {Automated application of fault tolerance mechanisms in a component-based system},
  booktitle = {JTRES '11: Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems },
  month = sep,
  year = {2011},
  isbn = {978-1-4503-0731-4},
  pages = {87--95},
  doi = {10.1145/2043910.2043925},
  location = {York, UK},
  publisher = {ACM Press},
  category = {L4,DanceOS}
}
@inproceedings{stilkerich:13:lctes,
  author = {Isabella Stilkerich and Michael Strotz and Christoph Erhardt and Martin Hoffmann and Daniel Lohmann and Fabian Scheler and Wolfgang Schr{\"o}der{-}Preikschat},
  title = {A {JVM} for Soft-Error-Prone Embedded Systems},
  isbn = {978-1-4503-2085-6},
  doi = {10.1145/2499369.2465571},
  location = {Seattle, Washington, USA},
  booktitle = {Proceedings of the 14th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '13)},
  pages = {21--32},
  month = jun,
  year = {2013},
  publisher = {ACM Press},
  address = {New York, NY, USA},
  category = {L4,DanceOS},
  download-url = {http://danceos.org/publications/LCTES-2013-Stilkerich.pdf}
}
@inproceedings{dietrich:15:lctes,
  author = {Christian Dietrich and Martin Hoffmann and Daniel Lohmann},
  title = {Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems},
  booktitle = {Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '15)},
  month = jun,
  year = 2015,
  venue = {Portland, Oregon, USA},
  publisher = {ACM Press},
  address = {New York, NY, USA},
  category = {L4, DanceOS},
  doi = {10.1145/2670529.2754963},
  keywords = {Static Analysis; Control-Flow Graph; Cross-Kernel Analysis; Real-Time Systems; Optimization; Compiler}
}
@inproceedings{dietrich:15:ospert,
  author = {Dietrich, Christian and Hoffmann, Martin and Lohmann, Daniel},
  title = {Back to the Roots: Implementing the {RTOS} as a Specialized State Machine},
  booktitle = {Proceedings of the 11th Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '15)},
  month = jul,
  year = 2015,
  pages = {7--12},
  download-url = {http://www.mpi-sws.org/~bbb/events/ospert15/pdf/ospert15-p7.pdf},
  venue = {Lund, Sweden},
  category = {L4, DanceOS}
}
@inproceedings{henkel:11:codesisss,
  title = {Design and Architectures for Dependable Embedded Systems},
  author = {Henkel, J{\"o}rg and Bauer, Lars and Becker, Joachim and Bringmann, Oliver and Brinkschulte, Uwe and Chakraborty, Samarjit and Engel, Michael and Ernst, Rolf and H{\"a}rtig, Hermann and Hedrich, Lars and Herkersdorf, Andreas and Kapitza, R{\"u}diger and Lohmann, Daniel and Marwedel, Peter and Platzner, Marco and Rosenstiel, Wolfgang and Schlichtmann, Ulf and Spinczyk, Olaf and Tahoori, Mehdi and Teich, J{\"u}rgen and Wehn, Norbert and Wunderlich, Hans-Joachim},
  doi = {10.1145/2039370.2039384},
  pages = {69--78},
  editor = {Robert P. Dick and Jan Madsen},
  isbn = {978-1-4503-0715-4},
  location = {Taipei, Taiwan},
  booktitle = {Proceedings of the 9th IEEE/ACM International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '11)},
  year = {2011},
  month = oct,
  publisher = {ACM Press},
  category = {ESS, DanceOS}
}
@inproceedings{lohmann:11:aosd,
  author = {Daniel Lohmann and Wanja Hofer and Wolfgang Schr{\"o}der{-}Preikschat and Olaf Spinczyk},
  title = {Aspect-Aware Operating System Development},
  booktitle = {Proceedings of the 10th International Conference on Aspect-Oriented Software Development (AOSD '11)},
  publisher = {ACM Press},
  address = {New York, NY, USA},
  month = mar,
  year = 2011,
  doi = {10.1145/1960275.1960285},
  pages = {69--80},
  isbn = {978-1-4503-0605-8},
  category = {ESS, DanceOS}
}
@inproceedings{schirmeier:11:dfr,
  author = {Horst Schirmeier and R{\"u}diger Kapitza and Daniel Lohmann and Olaf Spinczyk},
  title = {{DanceOS}: Towards Dependability Aspects in Configurable Embedded Operating Systems},
  keywords = {Dependability, AOP, Operating System, DanceOS},
  editor = {Alex Orailoglu},
  booktitle = {Proceedings of the 3rd HiPEAC Workshop on Design for Reliability (DFR '11)},
  address = {Heraklion, Greece},
  month = jan,
  year = 2011,
  pages = {21--26},
  category = {ESS, DanceOS},
  download-url = {http://danceos.org/publications/HiPEAC-DFR-2011-Schirmeier.pdf}
}
@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},
  download-url = {http://www.danceos.org/publications/MobiSys-2012-Borchert.pdf},
  doi = {10.1145/2307636.2307676},
  category = {ESS, DanceOS},
  publisher = {ACM Press},
  address = {New York, NY, USA}
}
@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 = {http://www.danceos.org/sobres/2012/papers/SOBRES-3-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 = {http://www.danceos.org/publications/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 = {http://www.danceos.org/publications/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 = {http://www.ibr.cs.tu-bs.de/users/martens/papers/martens-16-edcc.pdf}
}
@inproceedings{hoffmann:13:sobres,
  author = {Martin Hoffmann and Christian Dietrich and Daniel Lohmann},
  title = {Failure by Design: Influence of the {RTOS} Interface on Memory Fault Resilience},
  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 = {L4, DanceOS},
  publisher = {German Society of Informatics},
  series = {Lecture Notes in Informatics},
  download-url = {http://danceos.org/publications/SOBRES-2013-Hoffmann.pdf}
}
@inproceedings{hoffmann:13:prdc-fast,
  author = {Martin Hoffmann and Christian Dietrich and Daniel Lohmann},
  title = {{dOSEK}: A Dependable {RTOS} for Automotive Applications},
  booktitle = {Proceedings of the 19th IEEE Pacific Rim International Symposium on Dependable Computing  (PRDC '13)},
  publisher = {IEEE Press},
  address = {Vancouver, British Columbia, Canada},
  month = dec,
  year = 2013,
  category = {L4, DanceOS},
  note = {Fast abstract},
  pages = {120--121},
  doi = {10.1109/PRDC.2013.22},
  download-url = {http://danceos.org/publications/PRDC-FAST-2013-Hoffmann.pdf}
}
@inproceedings{hoffmann:14:hase,
  author = {Martin Hoffmann and Peter Ulbrich and Christian Dietrich and Horst Schirmeier and Daniel Lohmann and Wolfgang Schr{\"o}der{-}Preikschat},
  title = {A Practitioner's Guide to Software-based Soft-Error Mitigation Using {AN}-Codes},
  booktitle = {Proceedings of the 15th IEEE International Symposium on High Assurance Systems Engineering (HASE '14)},
  publisher = {IEEE Press},
  pages = {33--40},
  isbn = {978-1-4799-3465-2},
  address = {Miami, Florida, USA},
  month = jan,
  year = 2014,
  category = {L4, ESS, DanceOS},
  download-url = {http://www4.cs.fau.de/Publications/2014/hoffmann_14_hase.pdf},
  doi = {10.1109/HASE.2014.14}
}
@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}
}
@article{hoffmann:14:sqj,
  author = {Martin Hoffmann and Peter Ulbrich and Christian Dietrich and Horst Schirmeier and Daniel Lohmann and Wolfgang Schr{\"o}der{-}Preikschat},
  year = 2014,
  month = nov,
  journal = {Software Quality Journal},
  pages = {1--27},
  title = {Experiences with Software-based Soft-Error Mitigation using {AN} Codes},
  publisher = {Springer},
  address = {Heidelberg, BW, Germany},
  issn = {0963-9314},
  doi = {10.1007/s11219-014-9260-4},
  keywords = {Fault injection; Arithmetic code; Dependability},
  category = {L4, ESS, DanceOS}
}
@inproceedings{hoffmann:15:rtas-best,
  author = {Martin Hoffmann and Florian Lukas and Christian Dietrich and Daniel Lohmann},
  title = {{dOSEK}: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel},
  booktitle = {Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium  (RTAS '15)},
  doi = {10.1109/RTAS.2015.7108449},
  pages = {259--270},
  year = 2015,
  month = apr,
  publisher = {IEEE Press},
  address = {Piscataway, NJ, USA},
  category = {L4, DanceOS},
  download-url = {http://danceos.org/publications/RTAS-2015-Hoffmann.pdf},
  note = {Best Paper}
}
@inproceedings{schirmeier:14:ets,
  author = {Horst Schirmeier and Lars Rademacher and Olaf Spinczyk},
  title = {Smart-Hopping: Highly Efficient {ISA}-Level Fault Injection on Real Hardware},
  publisher = {IEEE Press},
  location = {Paderborn, Germany},
  booktitle = {Proceedings of the 19th IEEE European Test Symposium (ETS '14)},
  month = may,
  year = 2014,
  pages = {69--74},
  category = {ESS, DanceOS},
  download-url = {http://danceos.org/publications/ETS-2014-Schirmeier.pdf},
  doi = {10.1109/ETS.2014.6847803}
}
@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 = {http://danceos.org/publications/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 = {http://www.danceos.org/publications/DSN-2015-Schirmeier.pdf},
  pages = {319--330},
  doi = {10.1109/DSN.2015.44}
}
@inproceedings{schirmeier:15:edcc,
  author = {Horst Schirmeier and Martin Hoffmann and Christian Dietrich and Michael Lenz and Daniel Lohmann and Olaf Spinczyk},
  title = {{FAIL*}: An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Hardware Fault Tolerance},
  booktitle = {Proceedings of the 11th European Dependable Computing Conference (EDCC '15)},
  pages = {245--255},
  venue = {Paris, France},
  month = sep,
  year = 2015,
  category = {ESS, DanceOS},
  publisher = {IEEE Press},
  address = {Piscataway, NJ, USA},
  numpages = 11,
  download-url = {http://www.danceos.org/publications/EDCC-2015-Schirmeier.pdf},
  keywords = {Fault-Injection Tool, Hardware Fault Injection, Software-Implemented Hardware Fault Tolerance, Continuous Fault-Resilience Assessment, Fault-Resilience, Quantification, Post-Injection Analysis, Sensitive Spot Analysis, Error-Detection Measures},
  doi = {10.1109/EDCC.2015.28}
}
@phdthesis{schirmeier:2016:phdthesis,
  author = {Horst Schirmeier},
  title = {Efficient Fault-Injection-based Assessment of Software-Implemented Hardware Fault Tolerance},
  month = jul,
  year = 2016,
  school = {Technische Universit{\"a}t Dortmund},
  type = {Dissertation},
  doi = {10.17877/DE290R-17222},
  download-url = {https://eldorado.tu-dortmund.de/bitstream/2003/35175/1/Dissertation.pdf},
  category = {ESS, DanceOS}
}
@inproceedings{lenz:2016:edcc-fast,
  author = {Michael Lenz and Horst Schirmeier},
  title = {{DETOx}: Towards Optimal Software-based Soft-Error Detector Configurations},
  booktitle = {Proceedings of the 12th European Dependable Computing Conference (EDCC '16)},
  venue = {Gothenburg, Sweden},
  month = sep,
  year = 2016,
  category = {ESS, DanceOS},
  numpages = 2,
  download-url = {https://arxiv.org/abs/1608.06144},
  note = {Fast abstract}
}
@inproceedings{boenninghoff:2016:edcc-fast,
  author = {Bj{\"o}rn B{\"o}nninghoff and Horst Schirmeier},
  title = {Estimating Maximum Error Impact in Dynamic Data-driven Applications for Resource-aware Adaption of Software-based Fault-Tolerance},
  booktitle = {Proceedings of the 12th European Dependable Computing Conference (EDCC '16)},
  venue = {Gothenburg, Sweden},
  month = sep,
  year = 2016,
  category = {ESS, DanceOS},
  numpages = 2,
  download-url = {https://arxiv.org/abs/1608.06103},
  note = {Fast abstract}
}
@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://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 = {30th International Conference on Architecture of Computing Systems (ARCS '17)},
  pages = {3--15},
  publisher = {Springer},
  address = {Heidelberg, BW, Germany},
  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}
}

This file was generated by bibtex2html 1.98.