Holger Hermanns
发表
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2002,
Proceedings International Conference on Dependable Systems and Networks.
Reza Pulungan,
Holger Hermanns,
2009,
2009 Sixth International Conference on the Quantitative Evaluation of Systems.
Joost-Pieter Katoen,
Mario Bravetti,
Holger Hermanns,
2006,
Electron. Notes Theor. Comput. Sci..
Holger Hermanns,
Jonathan Bogdoll,
Luis María Ferrer Fioriti,
2011,
FMOODS/FORTE.
Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns,
2003,
CONCUR.
Joost-Pieter Katoen,
Holger Hermanns,
David N. Jansen,
2003,
UML.
Joost-Pieter Katoen,
Holger Hermanns,
David N. Jansen,
2002
.
Reza Pulungan,
Holger Hermanns,
H. Hermanns,
2008,
ASMTA.
Holger Hermanns,
Markus Siegle,
Vassilis Mertsiotakis,
1999,
CAV.
Holger Hermanns,
Ehsan Khamespanah,
Marjan Sirjani,
2016,
Sci. Comput. Program..
Rupak Majumdar,
Holger Hermanns,
Luis María Ferrer Fioriti,
2016,
TACAS.
Morten Bisgaard,
Holger Hermanns,
Juan A. Fraire,
2018,
2018 IEEE Global Communications Conference (GLOBECOM).
Holger Hermanns,
Joost P. Katoen,
J. Katoen,
2001
.
Holger Hermanns,
David N. Jansen,
2004
.
Flemming Nielson,
Pieter J. Mosterman,
Holger Hermanns,
2006,
Simulation and Verification of Dynamic Systems.
Holger Hermanns,
Ulrich Herzog,
Michael Rettelbach,
1997,
Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.
Holger Hermanns,
Husain Aljazzar,
Stefan Leue,
2005,
FORMATS.
Flemming Nielson,
Lijun Zhang,
Holger Hermanns,
2011,
1104.4983.
Holger Hermanns,
David N. Jansen,
2004,
First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..
Holger Hermanns,
Marina Ribaudo,
H. Hermanns,
1998
.
Christel Baier,
Holger Hermanns,
C. Baier,
1997,
FBT.
Holger Hermanns,
Kevin Baum,
Timo Speith,
2018,
International Symposium on Artificial Intelligence and Mathematics.
Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns,
1999,
CONCUR.
Lijun Zhang,
Holger Hermanns,
Ernst Moritz Hahn,
2010,
International Journal on Software Tools for Technology Transfer.
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2005,
TACAS.
Joost-Pieter Katoen,
Holger Hermanns,
Arnd Hartmanns,
2012,
Formal Methods in System Design.
Holger Hermanns,
Maximilian A. Köhl,
Sebastian Biewer,
2018,
RV.
Holger Hermanns,
Sven Johr,
H. Hermanns,
2007,
37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).
Joost-Pieter Katoen,
Holger Hermanns,
David N. Jansen,
2004,
ISoLA.
Holger Hermanns,
Markus Siegle,
M. Siegle,
1999,
ARTS.
Reza Pulungan,
Holger Hermanns,
Mariëlle Stoelinga,
2014,
POST.
Joost-Pieter Katoen,
Holger Hermanns,
Suzana Andova,
2003,
FORMATS.
Holger Hermanns,
Pedro R. D'Argenio,
Carlos E. Budde,
2015,
EPEW.
Christel Baier,
Holger Hermanns,
Pedro R. D’Argenio,
2020,
Acta Informatica.
Holger Hermanns,
Ralf Wimmer,
Salem Derisavi,
2008,
2008 Fifth International Conference on Quantitative Evaluation of Systems.
Holger Hermanns,
Luis María Ferrer Fioriti,
Ernst Moritz Hahn,
2012,
ATVA.
Holger Hermanns,
Jan Kretínský,
Tomás Brázdil,
2012,
FSTTCS.
Bernd Becker,
Holger Hermanns,
Ralf Wimmer,
2012,
ArXiv.
Holger Hermanns,
Ralf Wimmer,
Salem Derisavi,
2010,
Perform. Evaluation.
Holger Hermanns,
Lei Song,
Vahid Hashemi,
2016,
VMCAI.
Holger Hermanns,
Wendelin Serwe,
Nicolas Coste,
2009,
CAV.
Lijun Zhang,
Holger Hermanns,
Andrea Turrini,
2013,
QEST.
William H. Sanders,
Holger Hermanns,
Salem Derisavi,
2003,
Inf. Process. Lett..
Lijun Zhang,
Holger Hermanns,
Ernst Moritz Hahn,
2009,
SPIN.
Holger Hermanns,
Roberto Segala,
R. Segala,
2002
.
Christoph Weidenbach,
Holger Hermanns,
Arnaud Fietzke,
2010,
Logic Programming and Automated Reasoning.
Reza Pulungan,
Holger Hermanns,
Christian Groß,
2007,
OPODIS.
Holger Hermanns,
Michael Rettelbach,
Vassilis Mertsiotakis,
1994
.
Holger Hermanns,
Jan Krcál,
Hassan Hatefi,
2015,
ATVA.
Kim G. Larsen,
Axel Legay,
Holger Hermanns,
2012,
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Holger Hermanns,
Gilles Nies,
Jan Krcál,
2017,
Leibniz Trans. Embed. Syst..
Morten Bisgaard,
Holger Hermanns,
Gilles Nies,
2016,
FM.
Lijun Zhang,
Holger Hermanns,
David N. Jansen,
2018,
Acta Informatica.
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
Holger Hermanns,
2000,
Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000.
Christel Baier,
Holger Hermanns,
C. Baier,
2006
.
Joost-Pieter Katoen,
Holger Hermanns,
Mark Timmer,
2013,
ArXiv.
Morten Bisgaard,
Boudewijn R. Haverkort,
Kim Guldstrand Larsen,
2018,
Acta Astronautica.
Holger Hermanns,
Ola Bäckström,
Pavel Krcál,
2016,
SAFECOMP.
Holger Hermanns,
Mariëlle Stoelinga,
Jan Krcál,
2016,
POST.
Wan Fokkink,
Holger Hermanns,
Henk Eertink,
2003
.
Holger Hermanns,
Daniel Stan,
Gereon Fox,
2019,
VMCAI.
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2002,
Performance.
Reza Pulungan,
Holger Hermanns,
Michael Bungert,
2015,
QEST.
Kim G. Larsen,
Holger Hermanns,
Jean-François Raskin,
2010,
EMSOFT '10.
Bernd Becker,
Reza Pulungan,
Holger Hermanns,
2006,
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
Holger Hermanns,
Werner Damm,
2007,
CAV.
Joost-Pieter Katoen,
Holger Hermanns,
Ulrich Herzog,
2002,
Theor. Comput. Sci..
Lijun Zhang,
Holger Hermanns,
Andrea Turrini,
2013,
TACAS.
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2005,
PERV.
Holger Hermanns,
Daulet Turetayev,
2003
.
Holger Hermanns,
Peter Höfner,
H. Hermanns,
2017,
1703.05812.
Holger Hermanns,
Alexandre David,
Jonathan Bogdoll,
2012,
SPIN.
Holger Hermanns,
Hubert Garavel,
H. Hermanns,
2002,
FME.
Lijun Zhang,
Holger Hermanns,
H. Hermanns,
2007,
ATVA.
Holger Hermanns,
Aravind Vasudevan,
Jens Peter,
2011,
2011 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks.
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2005,
Theor. Comput. Sci..
Holger Hermanns,
Marina Ribaudo,
1998,
ESM.
Holger Hermanns,
2000
.
K. Subramani,
Holger Hermanns,
Lei Song,
2016,
LATA.
Holger Hermanns,
Kangli He,
Yixiang Chen,
2019,
Frontiers of Computer Science.
Holger Hermanns,
Luis María Ferrer Fioriti,
H. Hermanns,
2015,
POPL.
Lijun Zhang,
Peter Buchholz,
Holger Hermanns,
2011,
CAV.
Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns,
2004,
Inf. Process. Lett..
Jens Palsberg,
Holger Hermanns,
2006,
TACAS.
Christel Baier,
Holger Hermanns,
Joost P. Katoen,
1999
.
Lijun Zhang,
Holger Hermanns,
Lei Song,
2013,
ACSD.
Holger Hermanns,
Werner Damm,
W. Damm,
2007
.
Holger Hermanns,
Hassan Hatefi,
2013,
FSEN.
Lijun Zhang,
Holger Hermanns,
David N. Jansen,
2005,
FORTE.
Holger Hermanns,
Andrea Turrini,
2012,
FSTTCS.
Holger Hermanns,
H. Hermanns,
2001,
Bull. EATCS.
Holger Hermanns,
Jan Kretínský,
Jan Krcál,
2014,
CONCUR.
Frits W. Vaandrager,
Holger Hermanns,
Henrik C. Bohnenkamp,
2003,
2003 International Conference on Dependable Systems and Networks, 2003. Proceedings..
Holger Hermanns,
Hassan Hatefi,
2015,
Sci. Comput. Program..
Joost-Pieter Katoen,
Holger Hermanns,
J. Katoen,
2001,
CONCUR.
Holger Hermanns,
Ernst Moritz Hahn,
Andrea Turrini,
2016,
QEST.
Birgit Vogel-Heuser,
Holger Hermanns,
Liu Liu,
2013
.
Holger Hermanns,
Immd Vii,
1996
.
Holger Hermanns,
Ernst Moritz Hahn,
Khaled Elbassioni,
2017,
Lecture Notes in Computer Science.
Morteza Lahijanian,
Holger Hermanns,
Ernst Moritz Hahn,
2019,
ACM Trans. Model. Comput. Simul..
Holger Hermanns,
Arnd Hartmanns,
Jan Krcál,
2015,
Semantics, Logics, and Calculi.
Holger Hermanns,
Tugrul Dayar,
Verena Wolf,
2010,
Numer. Linear Algebra Appl..
Joost-Pieter Katoen,
Holger Hermanns,
David N. Jansen,
2002,
FTRTFT.
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2010,
Formal Methods Syst. Des..
Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns,
2005,
Inf. Comput..
Holger Hermanns,
Sven Johr,
H. Hermanns,
2011,
Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen.
Bernd Becker,
Holger Hermanns,
Luis María Ferrer Fioriti,
2014,
QAPL.
Christel Baier,
Holger Hermanns,
C. Baier,
2006,
CONCUR.
Sofiène Tahar,
Luca Cardelli,
Bernd Becker,
2010,
Verification over discrete-continuous boundaries.
Holger Hermanns,
Markus Siegle,
Marta Z. Kwiatkowska,
2003,
J. Log. Algebraic Methods Program..
Morten Bisgaard,
Holger Hermanns,
Gilles Nies,
2018,
Formal Aspects of Computing.
Holger Hermanns,
Stefan Funke,
Levan Machablishvili,
2007
.
Lijun Zhang,
Friedrich Eisenbrand,
Holger Hermanns,
2007,
TACAS.
Lijun Zhang,
Holger Hermanns,
Stefan Ratschan,
2012,
Eur. J. Control.
Holger Hermanns,
Verena Wolf,
Aleksandr Andreychenko,
2010
.
Holger Hermanns,
Steen Vester,
Jan Krcál,
2016,
FoSSaCS.
Holger Hermanns,
Jan Kretínský,
Jan Krcál,
2013,
CONCUR.
Joost-Pieter Katoen,
Holger Hermanns,
Ed Brinksma,
2001,
Euro Summer School on Trends in Computer Science.
Joost-Pieter Katoen,
Holger Hermanns,
Joachim Meyer-Kayser,
2000,
IFM.
Holger Hermanns,
Arnd Hartmanns,
H. Hermanns,
2015,
Sci. Comput. Program..
Holger Hermanns,
Andrea Turrini,
Vahid Hashemi,
2013,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Joost-Pieter Katoen,
Holger Hermanns,
J. Katoen,
2002,
J. Log. Algebraic Methods Program..
Lijun Zhang,
Bai Xue,
Holger Hermanns,
2020,
ESEC/SIGSOFT FSE.
Holger Hermanns,
Arnd Hartmanns,
H. Hermanns,
2012,
ISoLA.
Holger Hermanns,
Arnd Hartmanns,
H. Hermanns,
2009,
2009 Sixth International Conference on the Quantitative Evaluation of Systems.
Holger Hermanns,
Pedro R. D'Argenio,
Sebastian Biewer,
2018,
2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS).
Christel Baier,
Boudewijn R. Haverkort,
Holger Hermanns,
2003
.
Holger Hermanns,
Ulrich Herzog,
Vassilis Mertsiotakis,
1998,
Comput. Networks.
Joost-Pieter Katoen,
Holger Hermanns,
J. Katoen,
2009,
FMCO.
Holger Hermanns,
Andrea Turrini,
Vahid Hashemi,
2016,
ArXiv.
Flemming Nielson,
Lijun Zhang,
Holger Hermanns,
2011,
ICALP.
Joost-Pieter Katoen,
Holger Hermanns,
Gabriel G. Infante López,
2001,
PAPM-PROBMIV.
Holger Hermanns,
Ralf Wimmer,
Yuliya Butkova,
2018,
MMB.
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2010,
Commun. ACM.
Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns,
2019,
Computing and Software Science.
Holger Hermanns,
H. Hermanns,
1999
.
Joost-Pieter Katoen,
Holger Hermanns,
J. Katoen,
2000,
Sci. Comput. Program..
Holger Hermanns,
Holger Hermanns,
2015,
GI-Jahrestagung.
Lijun Zhang,
Holger Hermanns,
Björn Wachter,
2008,
CAV.
Holger Hermanns,
Peter Hofner,
2017,
MARS@ETAPS.
Bernd Becker,
Oliver E. Theel,
Holger Hermanns,
2009,
SSS.
Holger Hermanns,
Markus Lohrey,
Markus Lohrey,
1998,
CONCUR.
Holger Hermanns,
Felix Freiberger,
H. Hermanns,
2015,
MARS.
Holger Hermanns,
Arnd Hartmanns,
H. Hermanns,
2013,
it Inf. Technol..
Holger Hermanns,
Arnd Hartmanns,
H. Hermanns,
2014,
TACAS.
Holger Hermanns,
Andrea Turrini,
2014,
Log. Methods Comput. Sci..
Holger Hermanns,
Hassan Hatefi,
H. Hermanns,
2012,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Jörg Hoffmann,
Holger Hermanns,
Marcel Steinmetz,
2018,
ICAPS.
Lijun Zhang,
Friedrich Eisenbrand,
Holger Hermanns,
2007,
Log. Methods Comput. Sci..
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2003
.
Lijun Zhang,
Holger Hermanns,
Pepijn Crouzen,
2008,
CONCUR.
Holger Hermanns,
Ed Brinksma,
E. Brinksma,
2002,
European Educational Forum: School on Formal Methods and Performance Analysis.
Lijun Zhang,
Holger Hermanns,
Jonathan Bogdoll,
2008,
FORTE.
Jens Palsberg,
Holger Hermanns,
J. Palsberg,
2019,
Lecture Notes in Computer Science.
Holger Hermanns,
Markus Siegle,
Ulrich Herzog,
2000,
Perform. Evaluation.
Holger Hermanns,
Henrik C. Bohnenkamp,
Joost P. Katoen,
2007
.
Kim G. Larsen,
Brian Nielsen,
Holger Hermanns,
2017,
ICFEM.
Holger Hermanns,
Juan A. Fraire,
Gregory Stock,
2020,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Lijun Zhang,
Holger Hermanns,
Lei Song,
2013,
2013 13th International Conference on Application of Concurrency to System Design.
William H. Sanders,
Joost-Pieter Katoen,
Tod Courtney,
2003,
2003 International Conference on Dependable Systems and Networks, 2003. Proceedings..
Yixiang Chen,
Holger Hermanns,
Kangli He,
2017,
2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC).
Holger Hermanns,
Yvain Thonnart,
Hubert Garavel,
2008,
2008 Design, Automation and Test in Europe.
Joost-Pieter Katoen,
Holger Hermanns,
David N. Jansen,
2009,
2009 Sixth International Conference on the Quantitative Evaluation of Systems.
Lijun Zhang,
Holger Hermanns,
Jonathan Bogdoll,
2009,
2009 Sixth International Conference on the Quantitative Evaluation of Systems.
Lijun Zhang,
Holger Hermanns,
H. Hermanns,
2011,
Software and Systems Safety - Specification and Verification.
Holger Hermanns,
David N. Jansen,
Yaroslav S. Usenko,
2005
.
Holger Hermanns,
2002
.
Holger Hermanns,
Markus Siegle,
V. Mertsiotakis,
1999
.
Holger Hermanns,
H. Hermanns,
2002,
Lecture Notes in Computer Science.
Holger Hermanns,
Morteza Lahijanian,
Ernst Moritz Hahn,
2017,
QEST.
Holger Hermanns,
Kevin Baum,
Timo Speith,
2019,
CREST@ETAPS.
Khaled M. Elbassioni,
Holger Hermanns,
Ernst Moritz Hahn,
2017,
SETTA.
Lijun Zhang,
Holger Hermanns,
Andrea Turrini,
2018,
Inf. Comput..
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2002,
CONCUR.
Joost-Pieter Katoen,
Holger Hermanns,
Henrik C. Bohnenkamp,
2007
.
Holger Hermanns,
Michael Rettelbach,
Thorsten Weiss,
1995,
Comput. J..
Bernd Becker,
Reza Pulungan,
Holger Hermanns,
2009,
IEEE Transactions on Software Engineering.
Jens Palsberg,
Holger Hermanns,
2007,
International Journal on Software Tools for Technology Transfer.
Holger Hermanns,
Arnd Hartmanns,
Ernst Moritz Hahn,
2014
.
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2008,
Logic and Automata.
Lijun Zhang,
Holger Hermanns,
Björn Wachter,
2007,
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).
Holger Hermanns,
Arnaud Fietzke,
Christoph Weidenbach,
2010,
Lecture Notes in Computer Science.
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2000,
ICALP.
Lijun Zhang,
Holger Hermanns,
Ernst Moritz Hahn,
2009,
Fundam. Informaticae.
Holger Hermanns,
Arnd Hartmanns,
Pascal Berrang,
2012,
Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC).
Holger Hermanns,
2011,
SEFM.
Bernd Becker,
Oliver E. Theel,
Holger Hermanns,
2011,
2011 Eleventh International Conference on Application of Concurrency to System Design.
Lijun Zhang,
Holger Hermanns,
Stefan Ratschan,
2010,
Eur. J. Control.
Holger Hermanns,
David N. Jansen,
Angelika Mader,
2006,
International Journal on Software Tools for Technology Transfer.
Holger Hermanns,
Michael Rettelbach,
Vassilis Mertsiotakis,
1996,
TACAS.
Holger Hermanns,
Ulrich Herzog,
Michael Rettelbach,
1995
.
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2002,
IEEE Trans. Software Eng..
Joost-Pieter Katoen,
Holger Hermanns,
Ed Brinksma,
2001,
Lecture Notes in Computer Science.
Lijun Zhang,
Holger Hermanns,
Ernst Moritz Hahn,
2010,
CAV.
Lijun Zhang,
Martin Fränzle,
Holger Hermanns,
2011,
HSCC '11.
Christel Baier,
Lucia Cloth,
Holger Hermanns,
2003
.
Holger Hermanns,
Ulrich Herzog,
Michael Rettelbach,
1994,
FORTE.
Holger Hermanns,
Angelika Mader,
Henrik Bohnenkamp,
2004
.
Holger Hermanns,
Sebastian Biewer,
Felix Freiberger,
2017,
Models, Algorithms, Logics and Tools.
Lijun Zhang,
Holger Hermanns,
Ernst Moritz Hahn,
2008,
2008 8th International Conference on Application of Concurrency to System Design.
Peter Buchholz,
Holger Hermanns,
Dimitri Scheftelowitsch,
2017,
VALUETOOLS.
Holger Hermanns,
Markus Lohrey,
1998
.
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2013,
Mathematical Structures in Computer Science.
Holger Hermanns,
Christophe Joubert,
H. Hermanns,
2003,
TACAS.
Holger Hermanns,
Andrea Turrini,
2013,
CONCUR.
Holger Hermanns,
Felix Freiberger,
2019,
Petri Nets.
Joost-Pieter Katoen,
Holger Hermanns,
Henrik C. Bohnenkamp,
2007,
TACAS.
Joost-Pieter Katoen,
Holger Hermanns,
Mark Timmer,
2014,
Log. Methods Comput. Sci..
Holger Hermanns,
2012,
TACAS.
Bernd Becker,
Holger Hermanns,
Ralf Wimmer,
2011,
Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011).
Joost-Pieter Katoen,
Holger Hermanns,
Henrik C. Bohnenkamp,
2004,
SFM.
Christel Baier,
Holger Hermanns,
C. Baier,
2006
.
Holger Hermanns,
Jonathan Bogdoll,
Arnd Hartmanns,
2012,
MMB/DFT.
Holger Hermanns,
Arnd Hartmanns,
Alexander Graf-Brill,
2017,
2017 IEEE 15th International Conference on Industrial Informatics (INDIN).
Holger Hermanns,
Ehsan Khamespanah,
Marjan Sirjani,
2014
.
Lijun Zhang,
Holger Hermanns,
Ernst Moritz Hahn,
2009,
CAV.
Holger Hermanns,
Angelika Mader,
Yaroslav S. Usenko,
2004,
First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..
Holger Hermanns,
2016,
FSTTCS.
Bernd Finkbeiner,
Gilles Barthe,
Holger Hermanns,
2016,
ISoLA.
Hans-Juergen Boehm,
Holger Hermanns,
Ursula Goltz,
2011,
Dagstuhl Reports.
Bernd Becker,
Holger Hermanns,
Abhishek Dhama,
2010,
IEEE Photonics Technology Letters.
Bernd Becker,
Holger Hermanns,
Ralf Wimmer,
2015,
IEEE Transactions on Reliability.
Holger Hermanns,
David N. Jansen,
2005,
PERV.
Holger Hermanns,
Markus Siegle,
Ulrich Herzog,
1998,
Computer Performance Evaluation.
Holger Hermanns,
Roberto Segala,
R. Segala,
2002,
Lecture Notes in Computer Science.
Reza Pulungan,
Holger Hermanns,
H. Hermanns,
2011,
Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen.
Bernd Becker,
Holger Hermanns,
Ralf Wimmer,
2006,
ATVA.
Holger Hermanns,
Arnd Hartmanns,
Michael Bungert,
2016,
2016 International Conference on Embedded Software (EMSOFT).
Lijun Zhang,
Holger Hermanns,
Ernst Moritz Hahn,
2010,
TACAS.
Holger Hermanns,
Luis María Ferrer Fioriti,
Andrea Turrini,
2016,
Formal Aspects of Computing.
Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns,
2006,
APC 25.
Holger Hermanns,
H. Hermanns,
2017,
ModelEd, TestEd, TrustEd.
Holger Hermanns,
Arnd Hartmanns,
H. Hermanns,
2015,
ATVA.
Lijun Zhang,
Joost-Pieter Katoen,
Holger Hermanns,
2013,
Petri Nets.
Holger Hermanns,
Markus Siegle,
1999,
FBT.
Holger Hermanns,
Henk A. P. Blom,
Manuela L. Bujorianu,
2006
.
Lijun Zhang,
Holger Hermanns,
Christian Eisentraut,
2010,
CONCUR.
Lijun Zhang,
Holger Hermanns,
Christian Eisentraut,
2010,
2010 25th Annual IEEE Symposium on Logic in Computer Science.
Lijun Zhang,
Holger Hermanns,
Roberto Segala,
2011,
Inf. Comput..
Holger Hermanns,
Ralf Wimmer,
Yuliya Butkova,
2017,
TACAS.
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2000,
CAV.
Holger Hermanns,
Luis María Ferrer Fioriti,
2012,
MMB/DFT.
Bernd Becker,
Holger Hermanns,
Luis María Ferrer Fioriti,
2015,
VMCAI.
Holger Hermanns,
Gilles Nies,
Jan Krcál,
2015,
CyPhy.
Holger Hermanns,
Ernst Moritz Hahn,
2013,
HSCC '13.
Bernd Becker,
Holger Hermanns,
Luis María Ferrer Fioriti,
2015,
Formal Aspects of Computing.
Holger Hermanns,
Pepijn Crouzen,
H. Hermanns,
2010,
2010 10th International Conference on Application of Concurrency to System Design.
Lijun Zhang,
Holger Hermanns,
Lei Song,
2015,
FM.
Holger Hermanns,
Susanna Donatelli,
Jane Hillston,
1995
.
Holger Hermanns,
Jan Kretínský,
Pranav Ashok,
2018,
ATVA.
Holger Hermanns,
David N. Jansen,
Yaroslav S. Usenko,
2005,
WOSP '05.
Holger Hermanns,
Christian Eisentraut,
H. Hermanns,
2008,
Trans. Petri Nets Other Model. Concurr..
Joost-Pieter Katoen,
Holger Hermanns,
Henrik C. Bohnenkamp,
2003,
Computer Performance Evaluation / TOOLS.
Holger Hermanns,
Holger Wiechmann,
H. Hermanns,
2009,
2009 IEEE Conference on Emerging Technologies & Factory Automation.
Joost-Pieter Katoen,
Holger Hermanns,
Mark Timmer,
2013,
QEST.
Bernd Becker,
Holger Hermanns,
Luis María Ferrer Fioriti,
2015,
SETTA.
Holger Hermanns,
Arnd Hartmanns,
H. Hermanns,
2019,
RW.
Martin Fränzle,
Holger Hermanns,
Tino Teige,
2008,
HSCC.
Holger Hermanns,
Henk A. P. Blom,
Manuela L. Bujorianu,
2006,
ADHS.
Joost-Pieter Katoen,
Holger Hermanns,
David N. Jansen,
2009,
2009 Sixth International Conference on the Quantitative Evaluation of Systems.
Reza Pulungan,
Holger Hermanns,
H. Hermanns,
2013,
International Journal on Software Tools for Technology Transfer.
Bernd Finkbeiner,
Holger Hermanns,
Maximilian A. Köhl,
2021,
International Conference on Tools and Algorithms for Construction and Analysis of Systems.
Christel Baier,
Martin Diller,
Holger Hermanns,
2021,
KR.
Holger Hermanns,
Erika Ábrahám,
Stefan Schupp,
2021,
MEMOCODE.
Holger Hermanns,
Kevin Baum,
Sarah Sterz,
2021,
2021 IEEE 29th International Requirements Engineering Conference Workshops (REW).
Holger Hermanns,
Markus Langer,
Lena Kästner,
2021,
Artif. Intell..
Holger Hermanns,
Michaela Klauck,
H. Hermanns,
2021,
International Conference on Quantitative Evaluation of Systems.
Holger Hermanns,
Arnd Hartmanns,
Yuliya Butkova,
2021,
ACM Trans. Model. Comput. Simul..
Jorge A. Navas,
Jörg Hoffmann,
Holger Hermanns,
2021,
CAV.
Holger Hermanns,
Sebastian Biewer,
Pedro R. D’argenio,
2021,
ACM Trans. Model. Comput. Simul..
Joost-Pieter Katoen,
Holger Hermanns,
Pedro R. D'Argenio,
1999
.
Holger Hermanns,
Markus Lohrey,
Markus Lohrey,
1997
.
Holger Hermanns,
Jane Hillston,
Marina Ribaudo,
1995
.
Holger Hermanns,
H. Hermanns,
Holger Wiechmann,
2013
.
Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns,
2022
.
Holger Hermanns,
H. Hermanns,
Reza Pulungan,
2018
.
Holger Hermanns,
Michael Rettelbach,
H. Hermanns,
1994
.
Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns,
2003
.
Holger Hermanns,
Markus Siegle,
M. Siegle,
1998
.
Holger Hermanns,
Holger Hermanns,
Joost P. Katoen,
2003
.
Holger Hermanns,
2002
.
Holger Hermanns,
V. Mertsiotakis,
1996
.
Holger Hermanns,
H. Hermanns,
1997
.