Bernd Becker
发表
Bernd Becker,
2011
.
Nils Jansen,
Bernd Becker,
Leonore Winterer,
2020,
NFM.
Bernd Becker,
2011
.
Pascal Raiola,
Bernd Becker,
Tobias Paxian,
2021,
VMCAI.
Bernd Becker,
2011
.
Christoph Scholl,
Bernd Becker,
Ralf Wimmer,
2019,
J. Satisf. Boolean Model. Comput..
Frank Schmiedle,
Bernd Becker,
Rolf Drechsler,
2003,
IEEE Trans. Computers.
Bernd Becker,
Benjamin Völker,
Philipp M. Scholl,
2019,
SESC.
Rolf Drechsler,
Wolfgang Günther,
Thomas Eschbach,
2001,
Proceedings Euromicro Symposium on Digital Systems Design.
Philipp Scholl,
Tobias Schubert,
Bernd Becker,
2018,
e-Energy.
Ilia Polian,
Bernd Becker,
Maël Gay,
2019,
2019 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC).
Rolf Drechsler,
Nicole Drechsler,
Bernd Becker,
1999
.
Rolf Drechsler,
Bernd Becker,
Harry Hengster,
1996,
Proceedings of the Fifth Asian Test Symposium (ATS'96).
Christoph Scholl,
Bernd Becker,
Thomas M. Weis,
2002,
Formal Methods Syst. Des..
Bernd Becker,
Michael Theobald,
Rolf Drechsler,
1994,
EURO-DAC '94.
Philipp Scholl,
Kristof Van Laerhoven,
Bernd Becker,
2016,
UbiComp Adjunct.
Michel Renovell,
Ilia Polian,
P. Engelke,
2008
.
Bernd Becker,
Rolf Drechsler,
Johann Wolfgang Goethe-University,
1995
.
Bernd Becker,
2011
.
Bernd Becker,
Harry Hengster,
Rolf Drechsler,
1995,
J. Electron. Test..
Matthias Sauer,
Martha Johanna Sepúlveda,
Georg Sigl,
2018,
2018 IEEE 23rd European Test Symposium (ETS).
Michel Renovell,
Ilia Polian,
Yves Bertrand,
2012
.
Daniel Kroening,
James H. Davenport,
Alberto Griggio,
2016
.
Bernd Becker,
2011
.
Sebastian Junges,
Ufuk Topcu,
Joost-Pieter Katoen,
2020,
IEEE Transactions on Automatic Control.
Jörg Schäfer,
Michael Pauly,
Achim Luhn,
2013
.
Rolf Drechsler,
Bernd Becker,
Bernd Becker,
1998,
Leitfäden der Informatik.