| 2020 | FMCAD | Using model checking tools to triage the severity of security bugs in the Xen hypervisor. | Byron Cook, Bjrn Dbel, Daniel Kroening, Norbert Manthey, Martin Pohlack, Elizabeth Polgreen, Michael Tautschnig, Pawel Wieczorkiewicz |
| 2014 | EMSOFT | Can we put concurrency back into redundant multithreading? | Bjrn Dbel, Hermann Hrtig |
| 2013 | AINA | The Potential of Energy/Utility-Accrual Scheduling. | Marcus Hhnel, Marcus Vlp, Bjrn Dbel, Hermann Hrtig |
| 2013 | ECRTS | Response-Time Analysis of Parallel Fork-Join Workloads with Real-Time Constraints. | Philip Axer, Sophie Quinton, Moritz Neukirchner, Rolf Ernst, Bjrn Dbel, Hermann Hrtig |
| 2013 | GI | Where Have all the Cycles Gone? - Investigating Runtime Overheads of OSAssisted Replication. | Bjrn Dbel, Hermann Hrtig |
| 2012 | EMSOFT | Operating system support for redundant multithreading. | Bjrn Dbel, Hermann Hrtig, Michael Engel |
| 2012 | GI | The Reliable Computing Base - A Paradigm for Software-based Reliability. | Michael Engel, Bjrn Dbel |
| 2010 | SIGMETRICS | Practical performance models for complex, popular applications. | Eno Thereska, Bjrn Dbel, Alice X. Zheng, Peter Nobel |
| 2010 | VEE | Capability wrangling made easy: debugging on a microkernel with valgrind. | Aaron Pohle, Bjrn Dbel, Michael Roitzsch, Hermann Hrtig |