| LockDoc: Trace-based analysis of locking in the Linux kernel A Lochmann, H Schirmeier, H Borghorst, O Spinczyk Proceedings of the Fourteenth EuroSys Conference 2019, 1-15, 2019 | 20 | 2019 |
| Reproducible load tests for android systems with trace-based benchmarks A Lochmann, F Bruckner, O Spinczyk Proceedings of the 8th ACM/SPEC on International Conference on Performance …, 2017 | 6 | 2017 |
| Aufzeichnungsbasierte Analyse von Sperren in Betriebssystemen A Lochmann | | 2021 |
| Beastie In For Checkup: Analyzing FreeBSD with LockDoc A Lochmann, H Schirmeier Gesellschaft für Informatik eV, 2021 | | 2021 |
| Improving Linux-Kernel Tests for LockDoc with Feedback-driven Fuzzing A Lochmann, R Thunig, H Schirmeier arXiv preprint arXiv:2009.08768, 2020 | | 2020 |
| Optimized Bug Reports for easy Detection of Locking Bugs using LockDoc A Lochmann, AE Systemsoftware Technical report for Collaborative Research Center SFB 876 Providing …, 2018 | | 2018 |
| Kanal: Ein deklarativer und ereignisgetriebener Ansatz zur ebenenübergreifenden Erhebung und Verarbeitung von Betriebssystemdaten A Lochmann | | 2015 |
| Simulationsbasierte Bewertung von maschinellen Lernverfahren für Vorablade-Strategien in Linux A Lochmann | | 2011 |
| Software ubiquitärer Systeme (SuS) A Lochmann, O Spinczyk | | |
| Ebenenübergreifende Bereitstellung von Daten und Lernergebnissen aus der Systemsoftware A zur Masterarbeit, A Lochmann | | |
