Björn Döbel

According to our database, Björn Döbel authored at least 16 papers between 2010 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

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

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2015

Multi-layer software reliability for unreliable hardware.

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

it Inf. Technol., 2015

2014

Operating System Support for Redundant Multithreading.

Björn Döbel

PhD thesis, 2014

Resource-Aware Replication on Heterogeneous Multicores: Challenges and Opportunities.

Björn Döbel, Robert Muschner, Hermann Härtig

CoRR, 2014

Can we put concurrency back into redundant multithreading?

Björn Döbel, Hermann Härtig

Proceedings of the 2014 International Conference on Embedded Software, 2014

2013

Where Have all the Cycles Gone? - Investigating Runtime Overheads of OSAssisted Replication.

Björn Döbel, Hermann Härtig

Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013

eBond: energy saving in heterogeneous R.A.I.N.

Marcus Hähnel, Björn Döbel, Marcus Völp, Hermann Härtig

Proceedings of the Fourth International Conference on Future Energy Systems, 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

Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013

The Potential of Energy/Utility-Accrual Scheduling.

Marcus Hähnel, Marcus Völp, Björn Döbel, Hermann Härtig

Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013

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

Who Watches the Watchmen? Protecting Operating System Reliability Mechanisms.

Björn Döbel, Hermann Härtig

Proceedings of the Eighth Workshop on Hot Topics in System Dependability, HotDep 2012, 2012

The Reliable Computing Base - A Paradigm for Software-based Reliability.

Michael Engel, Björn Döbel

Proceedings of the 57. Jahrestagung der Deutschen Gesellschaft für Medizinische Informatik, Biometrie und Epidemiologie, 42. Jahrestagung der Gesellschaft für Informatik, Was bewegt uns in der/die Zukunft?, 2012

Operating system support for redundant multithreading.

Björn Döbel, Hermann Härtig, Michael Engel

Proceedings of the 12th International Conference on Embedded Software, 2012

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

Capability wrangling made easy: debugging on a microkernel with valgrind.

Aaron Pohle, Björn Döbel, Michael Roitzsch, Hermann Härtig

Proceedings of the 6th International Conference on Virtual Execution Environments, 2010

Practical performance models for complex, popular applications.

Eno Thereska, Björn Döbel, Alice X. Zheng, Peter Nobel

Proceedings of the SIGMETRICS 2010, 2010