Hauptinhalt
BibTeX Source
@inproceedings{scheler:07:wises,
author = {Fabian Scheler and Martin Mitzlaff and Wolfgang Schr{\"o}der{-}Preikschat and Horst Schirmeier},
title = {Towards a Real-Time Systems Compiler},
booktitle = {Proceedings of the 5th International Workshop on Intelligent Solutions in Embedded Systems (WISES '07)},
publisher = {IEEE Press},
address = {Leganes (Madrid), Spain},
month = jun,
year = 2007,
pages = {62--75},
isbn = {978-84-89315-47-1},
doi = {10.1109/WISES.2007.4408506},
category = {rts, L4, ESS}
}
@inproceedings{RKSS07,
author = {Marko Rosenm{\"u}ller and Martin Kuhlemann and Norbert Siegmund and Horst Schirmeier},
title = {Avoiding Variability of Method Signatures in Software Product Lines: A Case Study},
booktitle = {GPCE Workshop on Aspect-Oriented Product Line Engineering},
year = 2007,
month = oct,
category = {pl, FAME-DO, ESS},
download-url = {https://ess.cs.tu-dortmund.de/Research/Projects/FAME/publications/AOPLE2007-Rosenmueller.pdf}
}
@inproceedings{schroeder:06:hicss-aess,
author = {Wolfgang Schr{\"o}der{-}Preikschat and Daniel Lohmann and Wasif Gilani and Fabian Scheler and Olaf Spinczyk},
title = {Static and Dynamic Weaving in System Software with {AspectC++}},
booktitle = {Proceedings of the 39th Hawaii International Conference on System Sciences (HICSS '06) - Track 9},
editor = {Yvonne Coady and Jeff Gray and Raymond Klefstad},
publisher = {IEEE Press},
year = 2006,
nc = 90,
isbn = {0-7695-2507-5},
volume = 9,
category = {os-aop, aop, aop-dynamic, aop-ac++, L4, ESS, FAME-DO},
doi = {10.1109/HICSS.2006.437},
download-url = {https://ess.cs.tu-dortmund.de/Research/Projects/FAME/publications/HICSS2006-Schroeder-Preikschat.pdf}
}
@inproceedings{lochmann:19:lockdoc,
author = {Lochmann, Alexander and Schirmeier, Horst and Borghorst, Hendrik and Spinczyk, Olaf},
title = {{LockDoc}: Trace-Based Analysis of Locking in the {Linux} Kernel},
booktitle = {Proceedings of the 14th ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys '19)},
year = 2019,
month = mar,
location = {Dresden, Germany},
publisher = {ACM Press},
address = {New York, NY, USA},
category = {ESS, SFB-A1},
download-url = {https://ess.cs.tu-dortmund.de/~al/Publications/files/eurosys-2019-lockdoc-lochmann.pdf},
doi = {10.1145/3302424.3303948}
}
@inproceedings{lochmann:20:fgbs,
author = {Lochmann, Alexander and Thunig, Robin and Schirmeier, Horst},
title = {Improving {Linux}-Kernel Tests for {LockDoc} with Feedback-driven Fuzzing},
booktitle = {Tagungsband des FGBS-Herbsttreffens 2020},
year = 2020,
month = sep,
doi = {10.18420/fgbs2020h-01},
publisher = {Gesellschaft f{\"u}r Informatik e.V.},
address = {Bonn, Germany},
category = {ESS}
}
@inproceedings{lochmann:21:fgbs,
author = {Lochmann, Alexander and Schirmeier, Horst},
title = {Beastie In For Checkup: Analyzing {FreeBSD} with {LockDoc}},
booktitle = {Tagungsband des FGBS-Herbsttreffens 2021},
year = 2021,
month = sep,
doi = {10.18420/fgbs2021h-04},
publisher = {Gesellschaft f{\"u}r Informatik e.V.},
address = {Bonn, Germany},
category = {ESS}
}
@inproceedings{lohmann:06:taosd,
editor = {Awais Rashid and Mehmet Ak{\c s}it},
author = {Daniel Lohmann and Olaf Spinczyk and Wolfgang Schr{\"o}der{-}Preikschat},
title = {Lean and Efficient System Software Product Lines: Where Aspects Beat Objects},
booktitle = {Transactions on AOSD II},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
number = 4242,
pages = {227--255},
year = 2006,
nc = 100,
category = {aop-pl, aop-ac++, os-embedded, aop-embedded, L4, ESS, FAME-DO, JOURNAL},
doi = {10.1007/11922827_8},
download-url = {https://ess.cs.tu-dortmund.de/Research/Projects/FAME/publications/TAOSD2006-Lohmann.pdf}
}
@inproceedings{lohmann:07:aosd-acp4is,
author = {Daniel Lohmann and Jochen Streicher and Olaf Spinczyk and Wolfgang Schr{\"o}der{-}Preikschat},
title = {Interrupt synchronization in the {CiAO} operating system},
booktitle = {Proceedings of the 6th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (AOSD-ACP4IS '07)},
year = {2007},
isbn = {1-59593-657-8},
location = {Vancouver, British Columbia, Canada},
doi = {10.1145/1233901.1233907},
publisher = {ACM Press},
address = {New York, NY, USA},
nc = 104,
category = {aop-pl, aop-ac++, os-embedded, aop-embedded, L4, ESS}
}
@article{spinczyk:07:knosys,
author = {Olaf Spinczyk and Daniel Lohmann},
title = {The Design and Implementation of {AspectC++}},
journal = {Knowledge-Based Systems, Special Issue on Techniques to Produce Intelligent Secure Software},
volume = 20,
number = 7,
pages = {636--651},
publisher = {Elsevier North-Holland, Inc.},
year = 2007,
month = oct,
doi = {10.1016/j.knosys.2007.05.004},
nc = 110,
category = {aop-ac++, L4, ESS, FAME-DO, JOURNAL},
download-url = {https://ess.cs.tu-dortmund.de/Research/Projects/FAME/publications/KNOSYS2007-Spinczyk.pdf}
}
@inproceedings{lohmann:06:eurosys,
author = {Daniel Lohmann and Fabian Scheler and Reinhard Tartler and Olaf Spinczyk and Wolfgang Schr{\"o}der{-}Preikschat},
title = {A Quantitative Analysis of Aspects in the {eCos} Kernel},
booktitle = {Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys '06)},
month = apr,
year = 2006,
issn = {0163-5980},
pages = {191--204},
doi = {10.1145/1218063.1217954},
publisher = {ACM Press},
address = {New York, NY, USA},
category = {os-aop, aop, aop-dynamic, aop-ac++, L4, ESS, FAME-DO},
download-url = {https://ess.cs.tu-dortmund.de/Research/Projects/FAME/publications/EuroSys2006-Lohmann.pdf}
}
@inproceedings{spinczyk:06:aople,
author = {Olaf Spinczyk and Daniel Lohmann and Wolfgang Schr{\"o}der{-}Preikschat},
title = {Concern Hierarchies},
booktitle = {1st GPCE Workshop on Aspect-Oriented Product Line Engineering (GPCE-AOPLE '06)},
month = oct,
year = 2006,
category = {pl, L4, ESS, FAME-DO, UNPUBLISHED},
download-url = {https://ess.cs.tu-dortmund.de/Research/Projects/FAME/publications/AOPLE2006-Spinczyk.pdf}
}
@inproceedings{sincero:07:splc-osspl,
author = {Julio Sincero and Horst Schirmeier and Wolfgang Schr{\"o}der{-}Preikschat and Olaf Spinczyk},
title = {Is The {Linux} Kernel a Software Product Line?},
editor = {Frank van der Linden and Bj{\"o}rn Lundell},
booktitle = {Proceedings of the International Workshop on Open Source Software and Product Lines (SPLC-OSSPL 2007)},
year = 2007,
month = sep,
address = {Kyoto, Japan},
category = {pl, L4, FAME-DO, ESS, UNPUBLISHED},
download-url = {https://ess.cs.tu-dortmund.de/Research/Projects/FAME/publications/SPLC-OSSPL2007-Sincero.pdf}
}
@inproceedings{urban:11:taosd,
editor = {Christine Schwanninger and Wouter Joosen},
author = {Matthias Urban and Daniel Lohmann and Olaf Spinczyk},
title = {{PUMA}: An Aspect-Oriented Code Analysis and Manipulation Framework for {C} and {C++}},
booktitle = {Transactions on AOSD VIII},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
number = 6580,
year = 2011,
doi = {10.1007/978-3-642-22031-9_5},
pages = {141--162},
keywords = {AOSD, Industrial Applications, OOP, AspectC++, Puma, Parser Framework, Compiler Construction, CiAO},
category = {aop-pl, aop-ac++, L4, ESS, FAME-DO, JOURNAL}
}
@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{lohmann:06:oopsla-demo,
title = {Developing embedded software product lines with
{AspectC}++},
author = {Daniel Lohmann and Olaf Spinczyk},
booktitle = {Companion to the 21th Annual {ACM} {SIGPLAN}
Conference on Object-Oriented Programming, Systems,
Languages, and Applications (OOPSLA 2006)},
address = {Portland, Oregon, USA},
publisher = {ACM Press},
year = 2006,
editor = {Peri L. Tarr and William R. Cook},
isbn = {1-59593-491-X},
pages = {740--742},
doi = {10.1145/1176617.1176702},
category = {pl, L4, ESS, FAME-DO, DEMO},
download-url = {https://ess.cs.tu-dortmund.de/Research/Projects/FAME/publications/OOPSLA2006-Lohmann.pdf}
}
@inproceedings{spinczyk:06:splc-tut,
author = {Olaf Spinczyk and Holger Papajewski},
title = {Using Feature Models for Product Derivation},
booktitle = {Proceedings of the 10th Software Product Line Conference (SPLC '06)},
year = 2006,
month = aug,
address = {Baltimore, Maryland},
pages = {225},
note = {tutorial description},
category = {L4, ESS, FAME-DO, TUTORIAL},
download-url = {https://ess.cs.tu-dortmund.de/Research/Projects/FAME/publications/SPLC2006-Spinczyk.pdf}
}
@inproceedings{schirmeier:07:splc,
author = {Horst Schirmeier and Olaf Spinczyk},
title = {Tailoring Infrastructure Software Product Lines by Static Application Analysis},
booktitle = {Proceedings of the 11th Software Product Line Conference (SPLC '07)},
pages = {255--260},
year = 2007,
month = sep,
publisher = {IEEE Press},
isbn = {0-7695-2888-0},
doi = {10.1109/SPLINE.2007.33},
category = {pl, L4, FAME-DO, ESS},
download-url = {https://ess.cs.tu-dortmund.de/Research/Projects/FAME/publications/SPLC2007-Schirmeier.pdf}
}
@inproceedings{spinczyk:07:splc-tut,
author = {Olaf Spinczyk and Holger Papajewski},
title = {Using Feature Models for Product Derivation},
booktitle = {Proceedings of the 11th Software Product Line Conference (SPLC '07)},
year = 2007,
month = sep,
address = {Kyoto, Japan},
pages = {5--6},
note = {Tutorial Description},
category = {ESS, FAME-DO, TUTORIAL},
download-url = {https://ess.cs.tu-dortmund.de/Research/Projects/FAME/publications/SPLC2007-Spinczyk.pdf}
}
@inproceedings{gilani:07:iscc,
author = {Wasif Gilani and Julio Sincero and Olaf Spinczyk},
title = {Aspectizing a Web Server for Adaptation},
booktitle = {Proceedings of the Twelfth IEEE Symposium on Computers and Communications (ISCC'07)},
year = 2007,
address = {Aveiro, Portugal},
pages = {349--356},
publisher = {IEEE Press},
category = {ESS, FAME-DO},
download-url = {https://ess.cs.tu-dortmund.de/Research/Projects/FAME/publications/ISCC2007-Gilani.pdf}
}
@inproceedings{gilani:07:eurosys-mai,
author = {Wasif Gilani and Olaf Spinczyk and Wolfgang Schr{\"o}der{-}Preikschat},
title = {Dynamic Weaving for Runtime Adaptation in Middleware},
booktitle = {Proceedings of the First Workshop on Middleware-Application Interaction (MAI'2007)},
year = 2007,
pages = {15--20},
address = {Lisbon, Portugal},
publisher = {ACM Press},
category = {ESS, FAME-DO}
}
@inproceedings{gilani:07:etaps-sc,
author = {Wasif Gilani and Fabian Scheler and Daniel Lohmann and Olaf Spinczyk and Wolfgang Schr{\"o}der{-}Preikschat},
title = {Unification of Static and Dynamic AOP for Evolution in Embedded Software Systems},
booktitle = {Proceedings of the Sixth International Symposium on Software Composition},
year = 2007,
address = {Braga, Portugal},
volume = {4829},
editor = {Markus Lumpe and Wim Vanderperren},
isbn = {978-3-540-77350-4},
pages = {216--234},
publisher = {Lecture Notes in Computer Science},
category = {ESS, FAME-DO},
download-url = {https://ess.cs.tu-dortmund.de/Research/Projects/FAME/publications/ISSC2007-Gilani.pdf}
}
@inproceedings{schirmeier:07:btw-mdm,
author = {Horst Schirmeier and Olaf Spinczyk},
title = {{M}a\ss{}schneiderung von {I}nfrastrukturproduktlinien durch statische {A}nwendungsanalyse},
booktitle = {Proceedings of the BTW Workshop Ma\ss{}geschneidertes Datenmanagement},
year = 2007,
pages = {355--365},
address = {Bonn, Deutschland},
crossref = {spinczyk:07:btw-wsproc},
category = {pl, FAME-DO, ESS},
download-url = {https://ess.cs.tu-dortmund.de/Research/Projects/FAME/publications/BTW-MDM2007-Schirmeier.pdf}
}
@inproceedings{engel:08:aosd-acp4is,
title = {Aspects in Hardware -- What Do They Look Like?},
author = {Michael Engel and Olaf Spinczyk},
booktitle = {Proceedings of the 7th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (AOSD-ACP4IS '08)},
address = {Brussels, Belgium},
month = apr,
year = 2008,
publisher = {ACM Press},
category = {ESS, FAME-DO}
}
@inproceedings{engel:08:eurosys-iies,
title = {System-on-Chip Integration of Embedded Automotive Controllers},
author = {Michael Engel and Olaf Spinczyk},
booktitle = {Proceedings of the First Workshop on Isolation and Integration in Embedded Systems},
address = {Glasgow, UK},
month = apr,
year = 2008,
publisher = {ACM Press},
category = {ESS, FAME-DO}
}
@inproceedings{RSS+08,
author = {Marko Rosenm{\"u}ller and Norbert Siegmund and Horst Schirmeier and
Julio Sincero and Sven Apel and Thomas Leich and Olaf Spinczyk and Gunter Saake},
title = {{FAME-DBMS}: Tailor-made Data Management Solutions for Embedded Systems},
booktitle = {Workshop on Software Engineering for Tailor-made Data Management},
month = mar,
year = 2008,
pages = {1--6},
publisher = {School of Computer Science, University of Magdeburg},
category = {pl, ESS, FAME-DO},
download-url = {https://ess.cs.tu-dortmund.de/Research/Projects/FAME/publications/SETMDM2008-Rosenmueller.pdf}
}
@book{ARSS+08,
editor = {Sven Apel and Marko Rosenm{\"u}ller and Gunter Saake and Olaf Spinczyk},
title = {{EDBT'08 }Workshop on Software Engineering for Tailor-made Data Management (SETMDM)},
year = {2008},
address = {Nantes, France},
month = mar,
publisher = {University of Magdeburg},
category = {pl, ESS, FAME-DO, WS-PROC}
}
@inproceedings{schirmeier:09:hicss,
author = {Horst Schirmeier and Olaf Spinczyk},
title = {Challenges in Software Product Line Composition},
booktitle = {Proceedings of the 42nd Hawai'i International Conference on System Sciences (HICSS '09)},
publisher = {IEEE Press},
address = {Waikoloa, Big Island, Hawaii},
year = 2009,
month = jan,
pages = {1--7},
doi = {10.1109/HICSS.2009.106},
category = {FAME-DO, ESS}
}
@inproceedings{lohmann:09:usenix,
author = {Daniel Lohmann and Wanja Hofer and Wolfgang Schr{\"o}der{-}Preikschat and Jochen Streicher and Olaf Spinczyk},
title = {{CiAO}: An Aspect-Oriented Operating-System Family for Resource-Constrained Embedded Systems},
booktitle = {Proceedings of the 2009 USENIX Annual Technical Conference (ATC '09)},
month = jun,
year = 2009,
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
pages = {215--228},
category = {ciao, os-aop, aop, aop-ac++, L4, ESS}
}
@inproceedings{tartler:09:somet,
author = {Reinhard Tartler and Daniel Lohmann and Wolfgang Schr{\"o}der{-}Preikschat and Olaf Spinczyk},
title = {Dynamic {AspectC++}: Generic Advice at Any Time},
booktitle = {Proceedings of the 2009 Conference on New Trends in Software Methodologies, Tools and Techniques (SoMeT '09)},
editor = {Hamido Fujita and Vladim{\'i}r Mar{\'i}k},
series = {Frontiers in Artificial Intelligence and Applications},
number = 199,
year = 2009,
month = sep,
publisher = {IOS Press},
isbn = {978-1-60750-049-0},
doi = {10.3233/978-1-60750-049-0-165},
pages = {165--186},
address = {Amsterdam, The Netherlands},
category = {FAME-DO, ESS, aop-ac++}
}
@article{spinczyk:09:osr,
author = {Eide, Eric and Muller, Gilles and Spinczyk, Olaf},
title = {{PLOS} 2009: Fifth Workshop on Programming Languages and Operating Systems},
journal = {ACM SIGOPS Operating Systems Review},
volume = {43},
number = {4},
year = {2009},
issn = {0163-5980},
pages = {31--34},
doi = {10.1145/1713254.1713262},
publisher = {ACM},
address = {New York, NY, USA},
category = {ESS, WS-SUMMARY}
}
@inproceedings{meier:10:fpl,
author = {Matthias Meier and Michael Engel and Matthias Steinkamp and Olaf Spinczyk},
title = {{LavA}: An Open Platform for Rapid Prototyping of {MPSoCs}},
booktitle = {Proceedings of the 20th International Conference on Field Programmable Logic and Applications (FPL '10)},
publisher = {IEEE Press},
address = {Milano, Italy},
year = 2010,
pages = {452--457},
doi = {10.1109/FPL.2010.92},
category = {ESS, LavA}
}
@inproceedings{meier:11:mpsoc,
author = {Matthias Meier and David Austin and Horst Schirmeier and Olaf Spinczyk},
title = {{TMPL}: A Hardware Transactional Memory Product Line},
booktitle = {Proceedings of the Workshop on Multiprocessor Systems on (Programmable) Chips (MPSoC 2011)},
publisher = {IEEE Press},
address = {Istanbul, Turkey},
month = jul,
year = 2011,
pages = {539--546},
doi = {10.1109/HPCSim.2011.5999872},
category = {ESS, LavA}
}
@inproceedings{meier:11:ws4c,
author = {Matthias Meier and Olaf Spinczyk},
title = {{LavA}: Model-Driven Development of Configurable {MPSoC} Hardware Structures for Robots},
booktitle = {Proceedings of the Workshop on Software Language Engineering for Cyber-physical Systems (WS4C 2011)},
publisher = {German Society of Informatics},
series = {Lecture Notes in Informatics},
address = {Berlin, Germany},
month = oct,
year = 2011,
category = {ESS, LavA, SFB876}
}
@phdthesis{meier:2017:phdthesis,
author = {Matthias Meier},
title = {{Co-Konfiguration} von {Hardware-} und {Systemsoftware-Produktlinien}},
month = mar,
year = 2017,
school = {Technische Universit{\"a}t Dortmund},
type = {Dissertation},
doi = {10.17877/DE290R-18024},
download-url = {https://eldorado.tu-dortmund.de/bitstream/2003/36006/1/Dissertation_Matthias_Meier.pdf},
category = {ESS, LavA}
}
@inproceedings{schirmeier:10:acota,
author = {Horst Schirmeier and Matthias Bahne and Jochen Streicher and Olaf Spinczyk},
title = {Towards {eCos} Autoconfiguration by Static Application Analysis},
booktitle = {Proceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications (ACoTA '10)},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
address = {Antwerp, Belgium},
month = sep,
year = 2010,
pages = {35--44},
issn = {1613-0073},
category = {ESS}
}
@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 = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/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 {Linux} 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 = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/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 = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/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 = {Proceedings of the 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 = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/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 = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/HiPEAC-DFR-2013-Doebel.pdf}
}
@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{fricke:2010:muse,
author = { Peter Fricke and Felix Jungermann and Katharina Morik and Nico Piatkowski and Olaf Spinczyk and Marco Stolpe},
title = {Towards Adjusting Mobile Devices to User's Behaviour},
editors = {Martin Atzmueller and Andreas Hotho},
booktitle = {Proceedings of the International Workshop on Mining Ubiquitous and Social Environments (MUSE 2010)},
pages = {7--22},
mon = sep,
year = 2010,
address = {Barcelona, Spain},
category = {ESS}
}
@inproceedings{fricke:2010:lwa,
author = {Peter Fricke and Felix Jungermann and Katharina Morik and Nico Piatkowski and Olaf Spinczyk and Marco Stolpe},
title = {Towards Adjusting Mobile Devices to User's Behaviour},
editors = {Martin Atzmueller and Dominik Benz and Andreas Hotho and Gerd Stumme},
booktitle = {Lernen, Wissen \& Adaptivit\"at (LWA 2010) -- Workshop Proceedings},
pages = {51--58},
addressn = {Kassel, Germany},
mon = oct,
year = 2010,
category = {ESS}
}
@inbook{fricke:11:museme,
author = {Fricke, Peter and Jungermann, Felix and Morik, Katharina and Piatkowski, Nico and Spinczyk, Olaf and Stolpe, Marco and Streicher, Jochen},
title = {Towards Adjusting Mobile Devices To User's Behaviour},
address = {Berlin, Heidelberg},
booktitle = {Analysis of Social Media and Ubiquitous Data},
editor = {Atzmueller, Martin and Hotho, Andreas and Strohmaier, Markus and Chin, Alvin},
year = {2011},
pages = {99--118},
volume = {6904},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
doi = {10.1007/978-3-642-23599-3_6},
category = {ESS, SFB876-A1}
}
@inproceedings{sincero:10:apsec,
author = {Julio Sincero and Wolfgang Schr{\"o}der{-}Preikschat and Olaf Spinczyk},
title = {Approaching Non-Functional Properties of Software Product Lines: Learning from Products},
booktitle = {Proceedings of the 17th Asia-Pacific Software Engineering Conference (APSEC '10)},
address = {Sydney, Australia},
mon = nov,
year = 2010,
pages = {147--155},
category = {ESS}
}
@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 = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/HiPEAC-DFR-2011-Schirmeier.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: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 = 2016,
month = mar,
journal = {Software Quality Journal},
volume = 24,
number = 1,
pages = {87--113},
title = {Experiences with Software-based Soft-Error Mitigation using {AN} Codes},
publisher = {Springer},
address = {Heidelberg, BW, Germany},
issn = {1573-1367},
doi = {10.1007/s11219-014-9260-4},
keywords = {Fault injection; Arithmetic code; Dependability},
category = {L4, ESS, DanceOS}
}
@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 = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/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 = {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}
}
@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 = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/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{schirmeier:19:edcc,
author = {Horst Schirmeier and Mark Breddemann},
title = {Quantitative Cross-Layer Evaluation of Transient-Fault Injection Techniques for Algorithm Comparison},
booktitle = {Proceedings of the 15th European Dependable Computing Conference (EDCC '19)},
pages = {15--22},
venue = {Naples, Italy},
month = sep,
year = 2019,
doi = {10.1109/EDCC.2019.00016},
issn = {2641-810X},
category = {ESS, DanceOS},
publisher = {IEEE Press},
address = {Piscataway, NJ, USA},
numpages = 8,
download-url = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/EDCC-2019-Crosslayer-Schirmeier.pdf},
keywords = {failure analysis;fault diagnosis;flip-flops;integrated circuit reliability;microcontrollers;transient analysis;quantitative cross-layer evaluation;transient-fault injection techniques;soft-error problem;standard methodology;gate-level machine models;fast simulators;abstracted system models;ISA-level register injection;ISA-level FI techniques;specific sorting algorithm;relative inter-benchmark measurements;cross-layer alignment;algorithm-resilience rankings;fault resilience;flip-flop;ARM Cortex-M0 processor;gate-level baseline-injection techniques;machine-model levels;extrapolated absolute failure-count metric;ISA-level injection techniques;Logic gates;Benchmark testing;Registers;Sorting;Measurement;Runtime;Field programmable gate arrays;fault injection;algorithm comparison;soft errors;silent data corruption;extrapolated absolute failure count metric;EAFC}
}
@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}
}
@incollection{schirmeier:20:spp1500-editorialA,
author = {Horst Schirmeier},
title = {{Part I}: Cross-Layer from Operating System to Application},
editor = {Nikil Dutt and J{\"o}rg Henkel},
booktitle = {Dependable Embedded Systems},
publisher = {Springer},
address = {Heidelberg, BW, Germany},
year = 2020,
pages = {29--31},
isbn = {978-3-030-52017-5},
category = {ESS, DanceOS}
}
@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}
}
@inproceedings{schoenberger:19:can-filtering,
author = {Lea Sch{\"o}nberger and Georg von der Br{\"u}ggen and Horst Schirmeier and Jian-Jia Chen},
title = {Design Optimization for Hardware-Based Message Filters in Broadcast Buses},
booktitle = {Proceedings of the 2019 Conference on Design, Automation {\&} Test in Europe (DATE '19)},
venue = {Florence, Italy},
month = mar,
year = 2019,
publisher = {IEEE Press},
address = {Piscataway, NJ, USA},
doi = {10.23919/DATE.2019.8714793},
numpages = 4,
category = {ESS}
}
@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}
}
@inproceedings{buschhoff:12:iwcmc,
author = {Buschhoff, Markus and G{\"u}nter, Christian and Spinczyk, Olaf},
title = {A unified approach for online and offline estimation of sensor platform energy consumption},
booktitle = {Proceedings of the 8th International Wireless Communications and Mobile Computing Conference (IWCMC '12)},
pages = {1154--1158},
year = 2012,
month = aug,
location = {Limassol, Cyprus},
doi = {10.1109/IWCMC.2012.6314369},
category = {ESS, SFB876-A4}
}
@phdthesis{jablkowski:2019:phdthesis,
author = {Boguslaw Jablkowski},
title = {Design of Fault-Tolerant Virtual Execution Environments for Cyber-Physical Systems},
month = aug,
year = 2019,
school = {Technische Universit{\"a}t Dortmund},
type = {Dissertation},
doi = {10.17877/DE290R-20133},
download-url = {https://eldorado.tu-dortmund.de/bitstream/2003/38154/1/DissJablkowski.pdf},
category = {ESS}
}
@article{jablkowski:17:csrd,
title = {{vGridLab}: A Testbed for Virtualized Smart Grids},
author = {Jablkowski, Boguslaw and Kuech, Markus and Dorsch, Nils and Kubis, Andreas and Spinczyk, Olaf and Wietfeld, Christian and Rehtanz, Christian},
journal = {Journal of Computer Science-Research and Development},
volume = {},
number = {},
pages = {},
year = {2017},
month = {Aug},
publisher = {Springer},
note = {Extended abstract},
category = {ESS, JOURNAL}
}
@article{jablkowski:17:jsa,
author = {Boguslaw Jablkowski and Ulrich Thomas Gabor and Olaf Spinczyk},
title = {Evolutionary Planning of Virtualized Cyber-Physical Compute and Control Clusters},
journal = {Journal of Systems Architecture},
publisher = {Elsevier},
volume = 73,
pages = {17--27},
year = 2017,
month = feb,
doi = {10.1016/j.sysarc.2016.11.001},
issn = {1383-7621},
category = {ESS, JOURNAL}
}
@inproceedings{jablkowski:15:echtzeit,
author = {Boguslaw Jablkowski and Olaf Spinczyk},
title = {{CPS-Remus}: Eine {H}ochverf{\"u}gbarkeitsl{\"o}sung f{\"u}r virtualisierte cyber-physische {A}nwendungen},
booktitle = {Tagungsband zum Thema Betriebssysteme und Echtzeit (Echtzeit 2015)},
editor = {Wolfgang A. Halang and Olaf Spinczyk},
publisher = {Springer},
year = 2015,
month = nov,
category = {ESS}
}
@inproceedings{jablkowski:15:arcs,
author = {Boguslaw Jablkowski and Olaf Spinczyk},
title = {{CPS-Xen}: A Virtual Execution Environment for Cyber-Physical Applications},
booktitle = {Proceedings of the 28th International Conference on Architecture of Computing Systems (ARCS '15)},
publisher = {Springer},
address = {Porto, Portugal},
year = 2015,
month = mar,
pages = {108--119},
category = {ESS}
}
@inproceedings{jablkowski:12:sobres,
author = {Boguslaw Jablkowski and Olaf Spinczyk},
title = {Continuous Performance Analysis of Fault-Tolerant Virtual Machines},
booktitle = {Proceedings of the 1st GI Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '12)},
venue = {Braunschweig, Germany},
month = sep,
year = 2012,
category = {ESS},
publisher = {German Society of Informatics},
series = {Lecture Notes in Informatics},
pages = {494--505}
}
@inproceedings{kubis:15:powertech,
author = {Andreas Kubis and Lena Robitzky and Markus K{\"u}ch and Sven-Christian M{\"u}ller and Boguslaw Jablkowski and Hanno Georg and Nils Dorsch and Sebastian Krey and Christian Langesberg and Dirk Surmann and Daniel Mayorga and Christian Rehtanz and Ulf H{\"a}ger and Olaf Spinczyk and Christian Wietfeld and Claus Weihs and Uwe Ligges and Johanna Myrzik and J{\"u}rgen G{\"o}tze},
title = {Validation of {ICT}-Based Protection and Control Applications in Electric Power Systems},
booktitle = {PowerTech Conference (POWERTECH)},
address = {Eindhoven, Netherlands},
year = 2015,
month = jun,
publisher = {IEEE Press},
category = {ESS}
}
@inproceedings{dorsch:14:icc,
author = {Nils Dorsch and Boguslaw Jablkowski and Hanno Georg and Olaf Spinczyk and Christian Wietfeld},
title = {Analysis of Communication Networks for Smart Substations Using a Virtualized Execution Platform},
booktitle = {Proceedings of the International Conference on Communications (ICC '14)},
publisher = {IEEE Press},
year = 2014,
category = {ESS}
}
@inproceedings{jablkowski:14:mscpes,
author = {Boguslaw Jablkowski and Markus K{\"u}ch and Olaf Spinczyk and Christian Rehtanz},
title = {A Hardware-in-the-Loop Co-Simulation Architecture for Power System Applications in Virtual Execution Environments},
booktitle = {Proceedings of the Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES 2014)},
publisher = {IEEE Press},
pages = {1--6},
doi = {10.1109/MSCPES.2014.6842403},
year = 2014,
category = {ESS}
}
@inproceedings{meier:12:miss,
author = {Matthias Meier and Stefan Hanenberg and Olaf Spinczyk},
title = {{AspectVHDL} {Stage} 1: The Prototype of an Aspect-Oriented Hardware Description Language},
booktitle = {Proceedings of the 2nd AOSD Workshop on Modularity in Systems Software (AOSD-MISS '12)},
isbn = {978-1-4503-1217-2},
address = {Potsdam, Germany},
month = mar,
year = 2012,
category = {ESS, aop, aop-vhdl, lava},
publisher = {ACM Press},
pages = {3--8},
numpages = {6},
doi = {10.1145/2162024.2162028}
}
@inproceedings{lochmann:2017:ltb,
author = {Lochmann, Alexander and Bruckner, Fabian and Spinczyk, Olaf},
title = {Reproducible Load Tests for {Android} Systems with Trace-based Benchmarks},
booktitle = {Proceedings of the 8th ACM/SPEC International Conference on Performance Engineering Companion},
series = {ICPE '17 Companion},
year = {2017},
isbn = {978-1-4503-4899-7},
location = {L'Aquila, Italy},
pages = {73--76},
numpages = {4},
doi = {10.1145/3053600.3053615},
acmid = {3053615},
publisher = {ACM Press},
address = {New York, NY, USA},
category = {ESS},
keywords = {Android, application tracing, benchmark, benchmark generator, load testing}
}
@article{eide:12:plos-summary,
author = {Eide, Eric and Muller, Gilles and Schr{\"o}der{-}Preikschat, Wolfgang and Spinczyk, Olaf},
title = {Summary of {PLOS} 2011: the sixth workshop on programming languages and operating systems},
journal = {ACM SIGOPS Operating Systems Review},
issue_date = {December 2011},
volume = {5},
issue = {3},
month = jan,
year = {2012},
issn = {0163-5980},
pages = {1--4},
numpages = {4},
doi = {10.1145/2094091.2094093},
acmid = {2094093},
publisher = {ACM},
address = {New York, NY, USA},
category = {ESS, WS-SUMMARY}
}
@inproceedings{meier:14:arcs,
author = {Matthias Meier and Mark Breddemann and Olaf Spinczyk},
title = {Hardware {APIs}: A Software-Centric Approach for Automated Derivation of {MPSoC} Hardware Structures Based on Static Code Analysis},
booktitle = {Proceedings of the 27th International Conference on Architecture of Computing Systems (ARCS '14)},
publisher = {Springer},
address = {Luebeck, Germany},
doi = {10.1007/978-3-319-04891-8_10},
year = 2014,
month = feb,
pages = {111--122},
category = {ESS, LavA}
}
@inproceedings{kohne:13:gi,
author = {Andreas Kohne},
title = {{Modell f{\"u}r ein SLA-basiertes VM-Scheduling in f{\"o}derierten Cloud-Umgebungen}},
booktitle = {Informatik 2013, 43. Jahrestagung der Gesellschaft f{\"{u}}r
Informatik e.V. (GI), Informatik angepasst an Mensch, Organisation
und Umwelt, 16.-20. September 2013, Koblenz},
pages = {3047--3061},
year = {2013},
category = {cloud, ESS}
}
@inproceedings{kohne:14:mw-ccb,
author = {Andreas Kohne and Marc Spohr and Lars Nagel and Olaf Spinczyk},
title = {{FederatedCloudSim}: a {SLA}-aware federated cloud simulation framework},
booktitle = {Proceedings of the 2nd International Workshop on CrossCloud Systems, CCB@Middleware 2014, Bordeaux, France, December 8, 2014},
pages = {3:1--3:5},
year = {2014},
doi = {10.1145/2676662.2676674},
category = {cloud, ESS}
}
@article{kohne:14:jidps,
author = {Andreas Kohne and Olaf Spinczyk},
title = {Model for {SLA}-Based {VM} Scheduling in Federated Cloud Environments},
journal = {Journal of Integrated Design and Process Science},
volume = {18},
number = {1},
year = {2014},
pages = {39--52},
publisher = {IOS Press},
doi = {10.3233/jid-2014-0002},
category = {cloud, ESS, JOURNAL}
}
@inproceedings{kohne:16:eurosys-cc,
author = {Kohne, Andreas and Pasternak, Damian and Nagel, Lars and Spinczyk, Olaf},
title = {Evaluation of SLA-based Decision Strategies for VM Scheduling in Cloud Data Centers},
booktitle = {Proceedings of the 3rd Workshop on CrossCloud Infrastructures \& Platforms},
series = {CrossCloud '16},
year = {2016},
isbn = {978-1-4503-4294-0},
location = {London, United Kingdom},
pages = {6:1--6:5},
articleno = {6},
numpages = {5},
url = {http://doi.acm.org/10.1145/2904111.2904113},
doi = {10.1145/2904111.2904113},
acmid = {2904113},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {cloud computing, scheduling, service level agreement, simulation},
category = {cloud, ESS}
}
@inproceedings{kohne:17:eurosys-cc,
author = {Kohne, Andreas and Kr{\"u}ger, Marcel and Pfahlberg, Marco and Nagel, Lars and Spinczyk, Olaf},
title = {Financial Evaluation of {SLA}-based {VM} Scheduling Strategies for Cloud Federations},
booktitle = {Proceedings of the 4th Workshop on CrossCloud Infrastructures \& Platforms},
series = {CrossCloud '17},
isbn = {978-1-4503-4934-5},
year = {2017},
location = {Belgrade, Serbia},
pages = {1:1--1:7},
articleno = {1},
numpages = {7},
url = {http://doi.acm.org/10.1145/3069383.3069384},
doi = {10.1145/3069383.3069384},
acmid = {3069384},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {FederatedCloudSim, SLA, auction, cloud accounting, cloud federation, scheduling, simulation, virtual machine trading},
category = {cloud, ESS}
}
@phdthesis{kohne:2017:phdthesis,
author = {Andreas Kohne},
title = {{SLA-basierte VM-Scheduling-Verfahren f\"ur Cloud-F\"oderationen}},
month = oct,
year = 2017,
school = {Technische Universit{\"a}t Dortmund},
type = {Dissertation},
category = {ESS},
doi = {10.1007/978-3-658-20973-5},
isbn = {978-3-658-20972-8}
}
@article{meier:15:jsa,
author = {Matthias Meier and Mark Breddemann and Olaf Spinczyk},
title = {Interfacing the Hardware {API} with a Feature-Based Operating System Family},
journal = {Journal of Systems Architecture},
publisher = {Elsevier},
volume = {61},
number = {10},
pages = {531--538},
year = {2015},
doi = {10.1016/j.sysarc.2015.07.010},
category = {ESS, LavA, JOURNAL}
}
@inproceedings{borghorst:15:ospert,
author = {Borghorst, Hendrik and Spinczyk, Olaf},
title = {Increasing the Predictability of Modern {COTS} Hardware through Cache-Aware {OS}-Design},
booktitle = {Proceedings of the 11th Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '15)},
month = jul,
year = 2015,
download-url = {http://www.mpi-sws.org/~bbb/events/ospert15/pdf/ospert15-p41.pdf},
venue = {Lund, Sweden},
category = {ESS}
}
@inproceedings{borghorst:16:ospert,
author = {Borghorst, Hendrik and Bieling, Karen and Spinczyk, Olaf},
title = {Towards versatile Models for Contemporary Hardware Platforms},
booktitle = {Proceedings of the 12th Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '16)},
month = jul,
year = 2016,
venue = {Toulouse, France},
category = {ESS},
pages = {7--9},
download-url = {https://www.cs.hs-rm.de/~kaiser/events/ospert16/pdf/ospert16-p7.pdf},
publisher = {RheinMain University of Applied Sciences}
}
@proceedings{spinczyk:07:btw-wsproc,
title = {Datenbanksysteme in Business, Technologie und Web ({BTW} 2007), Workshop Proceedings},
publisher = {Verlagshaus Mainz, Aachen},
year = 2007,
month = mar,
venue = {Aachen, Germany},
booktitle = {BTW Workshops},
editor = {Matthias Jarke and Thomas Seidl and Christoph Quix and
David Kensche and Stefan Conrad and Erhard Rahm and
Ralf Klamma and Harald Kosch and Michael Granitzer and
Sven Apel and Marko Rosenm{\"u}ller and Gunter Saake
and Olaf Spinczyk},
isbn = {3-86130-929-7},
category = {ESS, FAME-DO, WS-PROC}
}
@proceedings{spinczyk:07:aosd-acp4is-proc,
title = {Proceedings of the 6th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (AOSD-ACP4IS '07)},
editor = {Celina Gibbs and Mario S{\"u}dholt and Olaf Spinczyk},
publisher = {ACM Press},
month = mar,
year = 2007,
address = {Vancouver, Canada},
category = {aop, os, ESS, FAME-DO, WS-PROC}
}
@proceedings{engel:09:eurosys-iies-proc,
title = {Proceedings of the 2nd Workshop on Isolation and Integration in Embedded Systems ({IIES} 2009)},
editor = {Michael Engel and J{\"o}rg Nolte},
publisher = {ACM Press},
month = apr,
year = 2009,
address = {Nuremberg, Germany},
category = {es, ESS}
}
@inproceedings{engel:10:eurosys-iids-proc,
title = {Proceedings of the Workshop on Isolation and Integration for Dependable Systems ({IIDS} 2010)},
author = {Michael Engel and Hans P. Reiser and Olaf Spinczyk and R{\"u}diger Kapitza and J{\"o}rg Nolte},
publisher = {ACM Press},
month = apr,
year = 2010,
address = {Paris, France},
category = {es, ESS, WS-PROC}
}
@inproceedings{engel:10:hotdep,
title = {Using Application Knowledge to Improve Embedded Systems Dependability},
booktitle = {Proceedings of the Workshop on Hot Topics in System Dependability (HotDep 2010)},
author = {Andreas Heinig and Michael Engel and Florian Schmoll and Peter Marwedel},
publisher = {USENIX Association},
month = oct,
year = 2010,
address = {Vancouver, Canada},
category = {es, ESS, FEHLER},
download-url = {http://ls12-www.cs.tu-dortmund.de/publications/papers/2010-heinig-hotdep.pdf}
}
@inproceedings{engel:10:estimedia,
title = {Improving Transient Memory Fault Resilience of an {H.264} Decoder},
booktitle = {Proceedings of the Workshop on Embedded Systems for Real-time Multimedia (ESTIMedia 2010)},
author = {Andreas Heinig and Michael Engel and Florian Schmoll and Peter Marwedel},
publisher = {IEEE Press},
month = oct,
year = 2010,
address = {Scottsdale, AZ, USA},
category = {es, ESS, FEHLER},
download-url = {http://ls12-www.cs.tu-dortmund.de/publications/papers/2010-heinig-estimedia.pdf}
}
@inproceedings{morik:10:icdm10,
title = {Enhancing Ubiquitous Systems Through System Call Mining},
booktitle = {Proceedings of the ICDM Workshop on Large-scale Analytics for Complex Instrumented Systems (LACIS 2010)},
author = {Katharina Morik and Felix Jungermann and Nico Piatkowski and Michael Engel},
publisher = {IEEE Press},
month = dec,
year = 2010,
address = {Sydney, Australia},
doi = {10.1109/ICDMW.2010.133},
pages = {1338--1345},
category = {es, ESS, FEHLER}
}
@proceedings{spinczyk:08:eurosys-iies-proc,
title = {Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems ({IIES} 2008)},
editor = {Michael Engel and Olaf Spinczyk},
publisher = {ACM Press},
month = apr,
year = 2008,
address = {Glasgow, UK},
category = {es, os, ESS, FAME-DO, WS-PROC}
}
@proceedings{spinczyk:08:dagstuhl-setmdm-proc,
title = {{Software Engineering for Tailor-made Data Management}},
editor = {Sven Apel and Don Batory and Goetz Graefe and Gunter Saake and Olaf Spinczyk},
year = 2008,
number = {08281},
series = {Dagstuhl Seminar Proceedings},
issn = {1862-4405},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik, Germany},
address = {Dagstuhl, Germany},
download-url = {http://drops.dagstuhl.de/opus/volltexte/2008/1579},
annote = {Keywords: Software Engineering, Data Management, Software Product Lines, Embedded Systems},
category = {ESS, FAME-DO, WS-PROC}
}
@inproceedings{engel:09:hicss,
author = {Michael Engel and Olaf Spinczyk},
title = {{A Radical Approach to Network-on-Chip Operating Systems}},
booktitle = {Proceedings of the 42nd Hawai'i International Conference on System Sciences (HICSS '09)},
publisher = {IEEE Press},
address = {Waikoloa, Big Island, Hawaii},
year = 2009,
month = jan,
category = {ESS}
}
@article{tartler:10:knosys,
title = {{AspectC++}: An Integrated Approach for Static and Dynamic Adaptation of System Software},
journal = {Knowledge-Based Systems},
volume = {23},
number = {7},
pages = {704--720},
year = {2010},
month = oct,
note = {Special issue on Intelligent Formal Techniques for Software Design: IFTSD},
issn = {0950-7051},
doi = {10.1016/j.knosys.2010.03.002},
author = {Reinhard Tartler and Daniel Lohmann and Fabian Scheler and Olaf Spinczyk},
category = {aop-ac++, ESS, JOURNAL}
}
@inproceedings{streicher:13:peccs,
author = {Streicher, Jochen and Nassour, Orwa and Spinczyk, Olaf},
title = {System Support for Privacy-preserving and Energy-efficient Data Gathering in the Global Smartphone Network -- Opportunities and Challenges},
booktitle = {Proceedings of the 3rd International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS '13)},
year = {2013},
month = feb,
location = {Barcelona, Spain},
publisher = {SciTePress},
pages = {80--85},
doi = {10.5220/0004339200800085},
category = {ESS, SFB876-A1}
}
@inproceedings{buschhoff:13:anss,
author = {Buschhoff, Markus and Streicher, Jochen and Dusza, Bj{\"o}rn and Wietfeld, Christian and Spinczyk, Olaf},
title = {{MobiSIM}: A Simulation Library for Resource Prediction of Smartphones and Wireless Sensor Networks},
address = {Society for Computer Simulation International},
booktitle = {Proceedings of the 46th Annual Simulation Symposium},
year = {2013},
location = {San Diego, California},
publisher = {Society for Computer Simulation International},
series = {ANSS '13},
category = {ESS, SFB876-A4, SFB876-A1}
}
@incollection{Buschhoff:13:realwsn,
author = {Buschhoff, Markus and G{\"u}nter, Christian and Spinczyk, Olaf},
title = {{MIMOSA}, a Highly Sensitive and Accurate Power Measurement Technique for Low-Power Systems},
booktitle = {Real-World Wireless Sensor Networks},
year = {2013},
publisher = {Springer Berlin Heidelberg},
series = {Lecture Notes in Computer Science},
category = {ESS, SFB876-A4}
}
@inproceedings{streicher:13:muse,
author = {Streicher, Jochen and Piatkowski, Nico and Morik, Katharina and Spinczyk, Olaf},
title = {Open Smartphone Data for Mobility and Utilization Analysis in Ubiquitous Environments},
booktitle = {Proceedings of the 4th International Workshop on Mining Ubiquitous and Social Environments (MUSE)},
editor = {Atzm{\"u}ller, Martin and Scholz, Christoph},
year = {2013},
category = {ESS, SFB876-A1}
}
@incollection{piatkowski:15:mmrtsm,
year = {2015},
isbn = {978-3-319-14722-2},
booktitle = {Mining, Modeling, and Recommending `Things' in Social Media},
volume = {8940},
series = {Lecture Notes in Computer Science},
editor = {Atzmueller, Martin and Chin, Alvin and Scholz, Christoph and Trattner, Christoph},
doi = {10.1007/978-3-319-14723-9_7},
title = {Open Smartphone Data for Structured Mobility and Utilization Analysis in Ubiquitous Systems},
publisher = {Springer International Publishing},
author = {Piatkowski, Nico and Streicher, Jochen and Spinczyk, Olaf and Morik, Katharina},
pages = {116--130},
language = {english},
category = {ESS, SFB876-A1}
}
@inproceedings{streicher:15:trios,
year = {2015},
isbn = {978-1-4503-3941-4/15/10},
booktitle = {Proceedings of the Conference on Timely Results in Operating Systems ({TRIOS})},
author = {Streicher, Jochen and Lochmann, Alexander and Spinczyk, Olaf},
title = {{kCQL}: Declarative Stream-based Acquisition and Processing of Diagnostic {OS} Data},
publisher = {ACM},
language = {english},
category = {ESS, SFB876-A1, kcql}
}
@inproceedings{hoettger:2017:date,
author = {Robert H{\"o}ttger and Burkhard Igel and Olaf Spinczyk},
title = {On Reducing Busy Waiting in {AUTOSAR} via Task-Release-Delta-based Runnable Reordering},
booktitle = {Proceedings of the 2017 Conference on Design, Automation {\&} Test in Europe (DATE '17)},
year = 2017,
month = mar,
numpages = 6,
publisher = {IEEE Press},
address = {Piscataway, NJ, USA},
category = {ESS}
}
@incollection{buschhoff:2017:intech,
author = {Kerrison, Steve and Buschhoff, Markus and Nunez-Yanez, Jose and Eder, Kerstin},
title = {Measuring Energy},
booktitle = {ICT - Energy Concepts for Energy Efficiency and Sustainability},
publisher = {InTech},
address = {Rijeka},
year = 2017,
editor = {Fagas, Giorgos and Gammaitoni, Luca and Gallagher, John P. and Paul, Douglas J.},
chapter = 03,
doi = {10.5772/65989},
url = {http://dx.doi.org/10.5772/65989},
category = {ESS, SFB876-A4}
}
@inproceedings{falkenberg:2017:fedcsis,
author = {Falkenberg, Robert and Masoudinejad, Mojtaba and Buschhoff, Markus and Ramachandran Venkatapathy, Aswin Karthik and Friesel, Daniel and Michael ten Hompel and Spinczyk, Olaf and Wietfeld, Christian},
title = {{PhyNetLab}: An {IoT}-Based Warehouse Testbed},
booktitle = {2017 Federated Conference on Computer Science and Information Systems (FedCSIS)},
month = sep,
year = {2017},
category = {ESS, SFB876-A4}
}
@article{buschhoff:2018:sigbed,
author = {Buschhoff, Markus and Falkenberg, Robert and Spinczyk, Olaf},
title = {Energy-Aware Device Drivers for Embedded Operating Systems},
journal = {SIGBED Rev.},
year = 2018,
publisher = {ACM},
address = {New York, NY, USA},
category = {ESS, SFB876-A4}
}
@inproceedings{friesel:2017:plos,
author = {Friesel, Daniel and Buschhoff, Markus and Spinczyk, Olaf},
title = {Annotations in Operating Systems with Custom {AspectC++} Attributes},
booktitle = {Proceedings of the 9th Workshop on Programming Languages and Operating Systems (PLOS '17)},
series = {PLOS'17},
year = {2017},
isbn = {978-1-4503-5153-9},
location = {Shanghai, China},
pages = {36--42},
numpages = {7},
doi = {10.1145/3144555.3144561},
acmid = {3144561},
publisher = {ACM},
address = {New York, NY, USA},
category = {ESS, SFB876-A4},
download-url = {https://ess.cs.uos.de/static/papers/Friesel_2017_plos.pdf}
}
@inproceedings{grosche:2018:modellierung,
author = {Grosche, Andreas AND Igel, Burkhard AND Spinczyk, Olaf},
title = {Exploiting Modular Language Extensions in Legacy {C} Code: An Automotive Case Study},
booktitle = {Modellierung 2018},
year = {2018},
isbn = {978-3-88579-674-9},
editor = {Schaefer, Ina AND Karagiannis, Dimitris AND Vogelsang, Andreas AND M{\'e}ndez, Daniel AND Seidl, Christoph},
pages = { 103-118 },
url = {https://dl.gi.de/handle/20.500.12116/14961},
publisher = {Gesellschaft f{\"u}r Informatik e.V.},
address = {Bonn},
category = {ESS, BHTC}
}
@inproceedings{gabor:2019:hase,
author = {Gabor, Ulrich Thomas and von Egidy, Christoph-Cordt and Spinczyk, Olaf},
title = {Interface Injection with {AspectC++} in Embedded Systems},
booktitle = {Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering (HASE '19)},
publisher = {IEEE Press},
year = 2019,
month = jan,
pages = {131--138},
doi = {10.1109/HASE.2019.00028},
issn = {2640-7507},
keywords = {Embedded systems;C++ languages;Libraries;Testing;Standards;Java;Reliability;fault tolerance;software reliability;embedded software;software testing},
category = {ESS}
}
@inproceedings{friesel:2018:sies,
author = {Friesel, Daniel and Buschhoff, Markus and Spinczyk, Olaf},
booktitle = {2018 IEEE 13th International Symposium on Industrial Embedded Systems (SIES)},
title = {Parameter-Aware Energy Models for Embedded-System Peripherals},
year = {2018},
volume = {},
number = {},
pages = {1-4},
keywords = {Hardware;Bit rate;Payloads;Adaptation models;Automata;Data models;Predictive models},
doi = {10.1109/SIES.2018.8442096},
issn = {2150-3117},
month = {June},
category = {ESS},
url = {https://ieeexplore.ieee.org/document/8442096},
download-url = {https://ess.cs.uos.de/static/papers/Friesel_2018_sies.pdf}
}
@article{buschhoff:2018:antiupt,
title = {Energy Models in the Loop},
journal = {Procedia Computer Science},
volume = {130},
pages = {1063 - 1068},
year = {2018},
note = {The 9th International Conference on Ambient Systems, Networks and Technologies (ANT 2018) / The 8th International Conference on Sustainable Energy Information Technology (SEIT-2018) / Affiliated Workshops},
issn = {1877-0509},
doi = {10.1016/j.procs.2018.04.154},
url = {http://www.sciencedirect.com/science/article/pii/S1877050918305167},
author = {Markus Buschhoff and Daniel Friesel and Olaf Spinczyk},
category = {ESS, SFB876-A4}
}
@phdthesis{buschhoff:2019:phdthesis,
author = {Markus Buschhoff},
title = {Energy-aware design of hardware and software for ultra-low-power systems},
month = sep,
year = 2019,
school = {Technische Universit{\"a}t Dortmund},
type = {Dissertation},
doi = {10.17877/DE290R-20241},
download-url = {https://eldorado.tu-dortmund.de/bitstream/2003/38271/1/thesis%20-%20plain.pdf},
category = {ESS}
}
@inproceedings{gabor:2019:verfe,
author = {Gabor, Ulrich Thomas and Siegert, Daniel and Spinczyk, Olaf},
title = {Software-Fault Injection in Source Code with {Clang}},
booktitle = {Proceedings of the 32th International Conference on Architecture of Computing Systems (ARCS '19), Workshop Proceedings},
year = 2019,
pages = {1--6},
abstract = {Injection of software faults into source code is one promising approach to improve software fault tolerance and assess the dependability of software systems. While multiple approaches have been presented in the past, there is still room for improvement regarding the accuracy of the injections in comparison to the fault model. We propose an approach specifically for C++ based on the Clang ASTMatchFinder functionality, which is currently in development, but already leads to promising results regarding the accuracy of generated injections.},
isbn = {978-3-8007-4957-7},
category = {ESS}
}
@inproceedings{borghorst:2019:arcs,
author = {Borghorst, Hendrik and Spinczyk, Olaf},
title = {{CyPhOS} -- {A} Component-based Cache-Aware Multi-Core Operating System},
booktitle = {Proceedings of the 32th International Conference on Architecture of Computing Systems (ARCS '19)},
year = 2019,
doi = {10.1007/978-3-030-18656-2_13},
category = {ESS}
}
@inproceedings{borghorst:2019:ngoscps,
author = {Borghorst, Hendrik and M\"uller, Michael and Spinczyk, Olaf},
title = {More or Less? A Discussion About the Abstraction Level of Future Operating Systems},
booktitle = {Proceedings of the 1st International Workshop on Next-Generation Operating Systems for Cyber-Physical Systems (NGOSCPS 2019)},
year = 2019,
category = {ESS},
download-url = {https://www.cse.wustl.edu/~cdgill/ngoscps2019/papers/NGOSCPS2019_Borghorst_etal.pdf}
}
@inproceedings{gabor:2019:safecomp,
author = {Gabor, Ulrich Thomas and Dierl, Simon and Spinczyk, Olaf},
title = {Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models},
location = {Turku, Finland},
booktitle = {Proceedings of the 38rd International Conference on Computer Safety, Reliability and Security (SAFECOMP '19)},
year = 2019,
editor = {Romanovsky, Alexander and Troubitsyna, Elena and Bitsch, Friedemann},
publisher = {Springer International Publishing},
address = {Cham},
pages = {97--112},
abstract = {Software faults are still a problem especially in deployed systems. We propose a new approach to monitor a deployed embedded system with another embedded system, which acts autonomously and isolated. The monitoring system generates reports containing probable fault locations, which can later be obtained without requiring expensive debugging hardware or continuous access to the monitored embedded system. For this, we assessed failure-detection oracles, transaction detectors and suspiciousness metrics and evaluated them in a practical combustion engine scenario. Especially, we propose a driver interaction model to capture correct interaction with periphery and use it as oracle. Our results show that for the repetitive behavior of an engine control unit, simple approaches perform best.},
isbn = {978-3-030-26601-1},
category = {ESS},
doi = {10.1007/978-3-030-26601-1_7}
}
@inproceedings{gabor:2019:prdc,
author = {Gabor, Ulrich Thomas and Siegert, Daniel and Spinczyk, Olaf},
title = {High-Accuracy Software Fault Injection in Source Code with {Clang}},
booktitle = {Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '19)},
publisher = {IEEE Press},
address = {Pasadena, CA, USA},
month = dec,
year = 2019,
category = {ESS},
pages = {75--84},
doi = {10.1109/PRDC47002.2019.00029},
issn = {1555-094X}
}
@phdthesis{lochmann:21:diss,
author = {Alexander Lochmann},
title = {{Aufzeichnungsbasierte Analyse von Sperren in Betriebssystemen}},
school = {Technische Universit{\"a}t Dortmund},
type = {Dissertation},
doi = {10.17877/DE290R-22500 },
download-url = {https://eldorado.tu-dortmund.de/bitstream/2003/40642/1/dissertation.pdf},
category = {ESS},
month = dec,
year = 2021
}
