Björn Döbel

16 papers A* 1B 3Misc 2Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2020 B conf
Using model checking tools to triage the severity of security bugs in the Xen hypervisor.
FMCAD
Byron Cook, Björn Döbel, Daniel Kroening, Norbert Manthey, Martin Pohlack, Elizabeth Polgreen, Michael Tautschnig, Pawel Wieczorkiewicz
2015 J jnl
Multi-layer software reliability for unreliable hardware.
it Inf. Technol.
Muhammad Shafique, 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, Peter Marwedel, Semeen Rehman, Florian Schmoll, Olaf Spinczyk
2014 Misc conf
Can we put concurrency back into redundant multithreading?
EMSOFT
Björn Döbel, Hermann Härtig
2014 — —
Operating System Support for Redundant Multithreading.
Björn Döbel
2014 J jnl
Resource-Aware Replication on Heterogeneous Multicores: Challenges and Opportunities.
CoRR
Björn Döbel, Robert Muschner, Hermann Härtig
2013 B conf
Response-Time Analysis of Parallel Fork-Join Workloads with Real-Time Constraints.
ECRTS
Philip Axer, Sophie Quinton, Moritz Neukirchner, Rolf Ernst, Björn Döbel, Hermann Härtig
2013 — conf
The Potential of Energy/Utility-Accrual Scheduling.
AINA Workshops
Marcus Hähnel, Marcus Völp, Björn Döbel, Hermann Härtig
2013 — conf
Where Have all the Cycles Gone? - Investigating Runtime Overheads of OSAssisted Replication.
GI-Jahrestagung
Björn Döbel, Hermann Härtig
2013 — conf
eBond: energy saving in heterogeneous R.A.I.N.
e-Energy
Marcus Hähnel, Björn Döbel, Marcus Völp, Hermann Härtig
2012 J jnl
Measuring energy consumption for short code paths using RAPL.
SIGMETRICS Perform. Evaluation Rev.
Marcus Hähnel, Björn Döbel, Marcus Völp, Hermann Härtig
2012 Misc conf
Operating system support for redundant multithreading.
EMSOFT
Björn Döbel, Hermann Härtig, Michael Engel
2012 — conf
The Reliable Computing Base - A Paradigm for Software-based Reliability.
GI-Jahrestagung
Michael Engel, Björn Döbel
2012 — conf
Who Watches the Watchmen? Protecting Operating System Reliability Mechanisms.
HotDep
Björn Döbel, Hermann Härtig
2010 B conf
Capability wrangling made easy: debugging on a microkernel with valgrind.
VEE
Aaron Pohle, Björn Döbel, Michael Roitzsch, Hermann Härtig
2010 A* conf
Practical performance models for complex, popular applications.
SIGMETRICS
Eno Thereska, Björn Döbel, Alice X. Zheng, Peter Nobel
2010 J jnl
Towards versatile performance models for complex, popular applications.
SIGMETRICS Perform. Evaluation Rev.
Björn Döbel, Peter Nobel, Eno Thereska, Alice X. Zheng