Ralf Wimmer
发表
U. Topcu,
Jie Fu,
N. Jansen,
2018
.
B. Becker,
J. Katoen,
Sebastian Junges,
2018,
UAI.
B. Becker,
H. Hermanns,
T. Peikenkamp,
2006
.
J. Katoen,
N. Jansen,
Ralf Wimmer,
2015
.
Nils Jansen,
Joost-Pieter Katoen,
Erika Ábrahám,
2014,
ATVA.
R. Drechsler,
Ralf Wimmer,
Pascal Pieper,
2021,
ACM Great Lakes Symposium on VLSI.
B. Becker,
C. Scholl,
Ralf Wimmer,
2015
.
B. Becker,
U. Topcu,
J. Katoen,
2017
.
E. Ábrahám,
B. Becker,
J. Katoen,
2013,
QEST.
H. Hermanns,
Ralf Wimmer,
Y. Butkova,
2018
.
Bernd Becker,
Erika Ábrahám,
Tobias Schubert,
2009,
PDPTA.
Bernd Becker,
Holger Hermanns,
Luis María Ferrer Fioriti,
2015,
Formal Aspects of Computing.
Holger Hermanns,
Ralf Wimmer,
Yuliya Butkova,
2017,
TACAS.
Oliver E. Theel,
E. M. Hahn,
B. Becker,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Holger Hermanns,
Ralf Wimmer,
Salem Derisavi,
2010,
Perform. Evaluation.
Holger Hermanns,
Ralf Wimmer,
Salem Derisavi,
2008,
2008 Fifth International Conference on Quantitative Evaluation of Systems.
Bernd Becker,
Ralf Wimmer,
B. Becker,
2010,
MMB/DFT.
Bernd Becker,
Holger Hermanns,
Ralf Wimmer,
2006,
ATVA.
Sebastian Junges,
Ufuk Topcu,
Joost-Pieter Katoen,
2020,
IEEE Transactions on Automatic Control.
Nils Jansen,
Bernd Becker,
Leonore Winterer,
2020,
NFM.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2019,
SNR.
Nils Jansen,
Ufuk Topcu,
Bernd Becker,
2019,
IJCAI.
Nils Jansen,
Ufuk Topcu,
Jie Fu,
2018,
2018 Annual American Control Conference (ACC).
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2017,
ArXiv.
Sebastian Junges,
Ufuk Topcu,
Bernd Becker,
2017,
1708.04236.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2017,
2017 IEEE 56th Annual Conference on Decision and Control (CDC).
Bernd Becker,
Christoph Scholl,
Ralf Wimmer,
2018
.
Bernd Becker,
Ralf Wimmer,
Karsten Scheibler,
2015,
MBMV.
Bernd Becker,
Reza Pulungan,
Holger Hermanns,
2009,
IEEE Transactions on Software Engineering.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2012,
ATVA.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2014,
SFM.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2012,
TACAS.
Bernd Becker,
Ralf Wimmer,
Marc Herbstritt,
2008,
2008 11th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems.
Bernd Becker,
Friedrich Eisenbrand,
Ralf Wimmer,
2005,
WEA.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2013
.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2012,
MBMV.
B. Becker,
F. Eisenbrand,
Ralf Wimmer,
2005
.
Bernd Becker,
Reza Pulungan,
Holger Hermanns,
2006,
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
Bernd Becker,
Matthias Sauer,
Christoph Scholl,
2013,
MBMV.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2015,
FM.
Bernd Becker,
Matthew D. T. Lewis,
Ralf Wimmer,
2008,
2008 IEEE International Conference on Computer Design.
U. Topcu,
J. Katoen,
Ralf Wimmer,
2017,
1708.04236.
Bernd Becker,
Erika Ábrahám,
Tobias Schubert,
2010,
MBMV.