Björn Döbel
发表
Hermann Härtig,
Björn Döbel,
Hermann Härtig,
2014,
2014 International Conference on Embedded Software (EMSOFT).
Rolf Ernst,
Hermann Härtig,
Sophie Quinton,
2013,
2013 25th Euromicro Conference on Real-Time Systems.
Rüdiger Kapitza,
Muhammad Shafique,
Rolf Ernst,
2015,
it Inf. Technol..
Hermann Härtig,
Björn Döbel,
2013,
GI-Jahrestagung.
Hermann Härtig,
Marcus Völp,
Björn Döbel,
2012,
PERV.
Daniel Kroening,
Elizabeth Polgreen,
Byron Cook,
2020,
2020 Formal Methods in Computer Aided Design (FMCAD).
Hermann Härtig,
Björn Döbel,
Tobias Stumpf,
2014,
OSDI 2014.
Hermann Härtig,
Björn Döbel,
Robert Muschner,
2014,
ArXiv.
Hermann Härtig,
Björn Döbel,
2012,
HotDep.
Michael Engel,
Björn Döbel,
Björn Döbel,
2012,
GI-Jahrestagung.
Hermann Härtig,
Marcus Völp,
Björn Döbel,
2013,
2013 27th International Conference on Advanced Information Networking and Applications Workshops.
Hermann Härtig,
Marcus Völp,
Björn Döbel,
2013,
e-Energy '13.
Björn Döbel,
Björn Döbel,
2012,
EMSOFT '12.
Michael Roitzsch,
Hermann Härtig,
Björn Döbel,
2010,
VEE '10.
Peter Nobel,
Eno Thereska,
Björn Döbel,
2010,
SIGMETRICS '10.
Peter Nobel,
Eno Thereska,
Björn Döbel,
2010,
PERV.
Björn Döbel,
Julian Stecklina,
Markus Partheymüller,
2011
.
Michael Roitzsch,
Hermann Härtig,
Adam Lackorzynski,
2008
.
Björn Döbel,
Björn Döbel,
2013
.
Björn Döbel,
Martin Pohlack,
Adam Lackorzyński,
2006
.
Michael Engel,
Björn Döbel,
Horst Schirmeier,
2012
.