Practical performance models for complex, popular applications. - Eno Thereska; Björn Döbel; Alice X. Zheng; Peter Nobel (SIGMETRICS, 2010)

Capability wrangling made easy: debugging on a microkernel with valgrind. - Aaron Pohle; Björn Döbel; Michael Roitzsch; Hermann Härtig (VEE, 2010)

Towards versatile performance models for complex, popular applications. - Björn Döbel; Peter Nobel; Eno Thereska; Alice X. Zheng (SIGMETRICS Perform. Evaluation Rev., 2010)

Operating system support for redundant multithreading. - Björn Döbel; Hermann Härtig; Michael Engel (EMSOFT, 2012)

The Reliable Computing Base - A Paradigm for Software-based Reliability. - Michael Engel; Björn Döbel (GI-Jahrestagung, 2012)

Who Watches the Watchmen? Protecting Operating System Reliability Mechanisms. - Björn Döbel; Hermann Härtig (HotDep, 2012)

Measuring energy consumption for short code paths using RAPL. - Marcus Hähnel; Björn Döbel; Marcus Völp; Hermann Härtig (SIGMETRICS Perform. Evaluation Rev., 2012)

The Potential of Energy/Utility-Accrual Scheduling. - Marcus Hähnel; Marcus Völp; Björn Döbel; Hermann Härtig (AINA Workshops, 2013)

Response-Time Analysis of Parallel Fork-Join Workloads with Real-Time Constraints. - Philip Axer; Sophie Quinton; Moritz Neukirchner; Rolf Ernst; Björn Döbel; Hermann Härtig (ECRTS, 2013)

eBond: energy saving in heterogeneous R.A.I.N. - Marcus Hähnel; Björn Döbel; Marcus Völp; Hermann Härtig (e-Energy, 2013)

Where Have all the Cycles Gone? - Investigating Runtime Overheads of OSAssisted Replication. - Björn Döbel; Hermann Härtig (GI-Jahrestagung, 2013)

Can we put concurrency back into redundant multithreading? - Björn Döbel; Hermann Härtig (EMSOFT, 2014)

Resource-Aware Replication on Heterogeneous Multicores: Challenges and Opportunities. - Björn Döbel; Robert Muschner; Hermann Härtig (CoRR, 2014)

Operating System Support for Redundant Multithreading. - Björn Döbel (2014)

Multi-layer software reliability for unreliable hardware. - Muhammad Shafique 001; Philip Axer; Christoph Borchert; Jian-Jia Chen; Kuan-Hsun Chen; Björn Döbel; Rolf Ernst; Hermann Härtig; Andreas Heinig; Rüdiger Kapitza; Florian Kriebel; Daniel Lohmann; et al. (it Inf. Technol., 2015)

Using model checking tools to triage the severity of security bugs in the Xen hypervisor. - Byron Cook; Björn Döbel; Daniel Kroening; Norbert Manthey; Martin Pohlack; Elizabeth Polgreen; Michael Tautschnig; Pawel Wieczorkiewicz (FMCAD, 2020)