Hauptinhalt

BibTeX Source

@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}
}

@mastersthesis{gabor:11:bachelor:informatik,
  author = {Ulrich Gabor},
  title = {{Implementierung eines Algorithmus zum Test auf Fortschritt in Interaktionssystemen}},
  school = {Technische Universit{\"a}t Dortmund, Fakult{\"a}t Informatik},
  month = mar,
  year = 2011,
  type = {Bachelorarbeit}
}

@mastersthesis{gabor:13:bachelor:wiwi,
  author = {Ulrich Gabor},
  title = {{Eine empirische Untersuchung der Mithandlungstr{\"a}gerschaft von Bots bei Verlinkung unterschiedlicher Wikipedia-Sprachversionen im Zuge der Wikidata-Einf{\"u}hrung}},
  school = {Technische Universit{\"a}t Dortmund, Fakult{\"a}t Wirtschafts- und Sozialwissenschaften},
  month = sep,
  year = 2013,
  type = {Bachelorarbeit}
}

@mastersthesis{gabor:15:master,
  author = {Ulrich Gabor},
  title = {{Platzierung von echtzeitf{\"a}higen virtuellen Maschinen als praktisches Optimierungsproblem}},
  school = {Technische Universit{\"a}t Dortmund, Fakult{\"a}t Informatik},
  month = aug,
  year = 2015,
  type = {Masterarbeit},
  category = {ESS},
  download-url = {http://ess.cs.uni-dortmund.de/Teaching/Theses/2015/BA_Gabor_2015.pdf}
}

@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{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{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}
}