E. M. Hahn
发表
H. C. Faulkner,
R. H. Farmen,
R. S. Myer,
1991
.
Lijun Zhang,
Peter Buchholz,
Holger Hermanns,
2011,
CAV.
Lijun Zhang,
Holger Hermanns,
Ernst Moritz Hahn,
2010,
CAV.
E. M. Hahn,
Rüdiger Ehlers,
B. Westphal,
2011
.
Khaled M. Elbassioni,
E. M. Hahn,
H. Hermanns,
2018
.
E. M. Hahn,
N. Zhan,
Lijun Zhang,
2013
.
Yi Li,
Sven Schewe,
Ernst Moritz Hahn,
2014
.
Lijun Zhang,
Holger Hermanns,
Ernst Moritz Hahn,
2009,
CAV.
E. M. Hahn,
Ivan S. Zapreev,
J. Katoen,
2019
.
Sven Schewe,
Ashutosh Trivedi,
Fabio Somenzi,
2020,
ArXiv.
E. M. Hahn,
F. Somenzi,
S. Schewe,
2022,
ArXiv.
E. M. Hahn,
F. Somenzi,
S. Schewe,
2022,
ArXiv.
Sofie Haesaert,
Martin Fränzle,
Henk A. P. Blom,
2019,
ARCH@CPSIoTWeek.
E. M. Hahn,
Stefano M. Nicoletti,
M. Stoelinga,
2022,
2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
E. M. Hahn,
F. Somenzi,
S. Schewe,
2022,
NeurIPS.
E. M. Hahn,
S. Schewe,
Guangyuan Li,
2013,
ArXiv.
E. M. Hahn,
J. Katoen,
H. Hermanns,
2012,
Formal Methods in System Design.
Sven Schewe,
Fabio Somenzi,
Dominik Wojtczak,
2020,
CONCUR.
Morteza Lahijanian,
Holger Hermanns,
Ernst Moritz Hahn,
2019,
ACM Trans. Model. Comput. Simul..
Interval Markov Decision Processes with Multiple Objectives: from Robust Strategies to Pareto Curves
E. M. Hahn,
2019
.
Khaled M. Elbassioni,
Holger Hermanns,
Ernst Moritz Hahn,
2017,
SETTA.
Holger Hermanns,
Morteza Lahijanian,
Ernst Moritz Hahn,
2017,
QEST.
Lijun Zhang,
Tingting Han,
Ernst Moritz Hahn,
2011,
NASA Formal Methods.
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2013,
Mathematical Structures in Computer Science.
Oliver E. Theel,
E. M. Hahn,
B. Becker,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Joost-Pieter Katoen,
Holger Hermanns,
Arnd Hartmanns,
2012,
Formal Methods in System Design.
Zhikun She,
Lijun Zhang,
Ernst Moritz Hahn,
2020,
IEEE Transactions on Software Engineering.
Sven Schewe,
Ashutosh Trivedi,
Fabio Somenzi,
2018,
TACAS.
Lijun Zhang,
Yong Li,
Mariëlle Stoelinga,
2015,
SETTA.
Lijun Zhang,
Sven Schewe,
Guangyuan Li,
2013,
CONCUR.
Lijun Zhang,
Sven Schewe,
Ernst Moritz Hahn,
2016,
VMCAI.
Lijun Zhang,
Martin Fränzle,
Holger Hermanns,
2011,
HSCC '11.
Yuan Feng,
Ernst Moritz Hahn,
Andrea Turrini,
2017,
CONCUR.
Lijun Zhang,
Yuan Feng,
Ernst Moritz Hahn,
2015,
FM.
E. M. Hahn,
Stefano M. Nicoletti,
M. Stoelinga,
2023,
FM.
Mariëlle Stoelinga,
Ernst Moritz Hahn,
E. M. Hahn,
2021,
SPIN.
Joost-Pieter Katoen,
Holger Hermanns,
David N. Jansen,
2009,
2009 Sixth International Conference on the Quantitative Evaluation of Systems.
Sven Schewe,
Ashutosh Trivedi,
Fabio Somenzi,
2021,
FM.
Lijun Zhang,
Yang Liu,
Akin Günay,
2016,
ECAI.
E. M. Hahn,
Yuan Feng,
Andrea Turrini,
2017
.
Sebastian Junges,
Carlos E. Budde,
Arnd Hartmanns,
2017,
TACAS.
E. M. Hahn,
V. Hashemi,
Akshay Dhonthi,
2022,
FM.
E. M. Hahn,
F. Somenzi,
S. Schewe,
2019,
TACAS.
Lijun Zhang,
Holger Hermanns,
Stefan Ratschan,
2010,
Eur. J. Control.
Pedro R. D'Argenio,
Lijun Zhang,
Ernst Moritz Hahn,
2010,
SPIN.
E. M. Hahn,
P. D’Argenio,
Lijun Zhang,
2010
.
Sven Schewe,
Fabio Somenzi,
Dominik Wojtczak,
2020,
ATVA.
E. M. Hahn,
F. Somenzi,
S. Schewe,
2023,
Formal Aspects Comput..
Lijun Zhang,
Hongyang Qu,
Taolue Chen,
2013,
2013 International Symposium on Theoretical Aspects of Software Engineering.
Marta Z. Kwiatkowska,
Ernst Moritz Hahn,
Frits Dannenberg,
2013,
Computational Methods in Systems Biology.
Marta Z. Kwiatkowska,
Ernst Moritz Hahn,
Frits Dannenberg,
2015,
ACM Trans. Model. Comput. Simul..
Sven Schewe,
Ashutosh Trivedi,
Fabio Somenzi,
2021,
ArXiv.
Ernst Moritz Hahn,
E. M. Hahn,
2012
.
Ernst Moritz Hahn,
Thomas Peikenkamp,
Eckard Böde,
2006,
SAFECOMP.
Lijun Zhang,
Gethin Norman,
David Parker,
2011,
2011 Eighth International Conference on Quantitative Evaluation of SysTems.
Jan Kretínský,
Joachim Klein,
Arnd Hartmanns,
2019,
TACAS.