Holger Hermanns
发表
Holger Hermanns,
Joost-Pieter Katoen,
Joachim Meyer-Kayser,
2003,
2003 International Conference on Dependable Systems and Networks, 2003. Proceedings..
Holger Hermanns,
H. Hermanns,
2020,
MMB.
Christel Baier,
Sascha Klüppelholz,
Holger Hermanns,
2020,
ISoLA.
Holger Hermanns,
Arnd Hartmanns,
Ernst Moritz Hahn,
2014
.
Christel Baier,
Holger Hermanns,
Joost-Pieter Katoen,
2001
.
Joost-Pieter Katoen,
Holger Hermanns,
Markus Siegle,
2001
.
Holger Hermanns,
Andrea Turrini,
2015,
Inf. Comput..
Holger Hermanns,
Ludmila Cherkasova,
Giuliano Casale,
2014,
Perform. Evaluation.
Holger Hermanns,
Joost-Pieter Katoen,
Joachim Meyer-Kayser,
2000,
TACAS.
Holger Hermanns,
Alexander Graf-Brill,
H. Hermanns,
2019,
FORTE.
Holger Hermanns,
Pedro R. D'Argenio,
Sebastian Biewer,
2019,
QEST.
Holger Hermanns,
Juan A. Fraire,
Andrea Bianco,
2019,
2019 IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT).
Erez Karpas,
Daniele Magazzeni,
Holger Hermanns,
2020,
AAAI.
Holger Hermanns,
Marcel Steinmetz,
Michaela Klauck,
2020,
FORTE.
Holger Hermanns,
Alexander Graf-Brill,
H. Hermanns,
2017,
FMICS-AVoCS.
Holger Hermanns,
Joost-Pieter Katoen,
Joachim Meyer-Kayser,
2003,
International Journal on Software Tools for Technology Transfer.
Joost-Pieter Katoen,
Holger Hermanns,
Pedro R. D'Argenio,
2001,
PAPM-PROBMIV.
Holger Hermanns,
Radu Mateescu,
Hubert Garavel,
2010,
ISoLA.
Joost-Pieter Katoen,
Holger Hermanns,
J. Meyer-Kayser,
2001
.
Bernd Finkbeiner,
Holger Hermanns,
Pedro R. D'Argenio,
2017,
ESOP.
Jens Palsberg,
Holger Hermanns,
2006
.
Mohammad Reza Mousavi,
Holger Hermanns,
Rayna Dimitrova,
2020,
FORTE.
Morten Bisgaard,
Holger Hermanns,
Juan A. Fraire,
2020,
Int. J. Satell. Commun. Netw..
Mohammad Reza Mousavi,
Holger Hermanns,
Rayna Dimitrova,
2020,
ArXiv.
Joost-Pieter Katoen,
Holger Hermanns,
Pedro R. D'Argenio,
2001
.
Christel Baier,
Holger Hermanns,
Joost-Pieter Katoen,
2004
.
Morten Bisgaard,
Holger Hermanns,
Juan A. Fraire,
2020,
IEEE Transactions on Green Communications and Networking.
Holger Hermanns,
Arnd Hartmanns,
Yuliya Butkova,
2019,
QEST.
Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns,
2004,
Lecture Notes in Computer Science.
Holger Hermanns,
P. R. d' Argenio,
Henrik Bohnenkamp,
2004
.
Christoph Weidenbach,
Christof Fetzer,
Holger Hermanns,
2020,
ISoLA.
Holger Hermanns,
Joost-Pieter Katoen,
Pedro R. D'Argenio,
2006,
IEEE Transactions on Software Engineering.
Christel Baier,
Holger Hermanns,
C. Baier,
2008,
Inf. Comput..
Christoph Weidenbach,
Holger Hermanns,
Arnaud Fietzke,
2010,
Lecture Notes in Computer Science.
Holger Hermanns,
Holger Hermanns,
Joost P. Katoen,
2003
.
Joost-Pieter Katoen,
Holger Hermanns,
Pedro R. D'Argenio,
1998,
PROBMIV.
Holger Hermanns,
Marcel Steinmetz,
Michaela Klauck,
2020,
J. Artif. Intell. Res..
Jos C. M. Baeten,
Alexandra Silva,
Luca Aceto,
2020,
CONCUR.
Holger Hermanns,
Hubert Garavel,
Alexander Graf-Brill,
2014,
FORTE.
Jens Palsberg,
Holger Hermanns,
2006
.
Holger Hermanns,
Markus Lohrey,
Pedro R. D'Argenio,
2002,
ICALP.
Holger Hermanns,
Pedro R. D'Argenio,
Maximilian A. Köhl,
2018,
LPAR.