Felix Klaedtke
发表
D. Basin,
H. Mantel,
S. Ereth,
2016,
Formal Methods in System Design.
Felix Klaedtke,
David A. Basin,
Eugen Zalinescu,
2015,
J. ACM.
Christian Dax,
Felix Klaedtke,
Martin Lange,
2009,
ICALP.
Felix Klaedtke,
Harald Ruess,
H. Ruess,
2003,
ICALP.
Ghassan O. Karame,
Felix Klaedtke,
Roberto Bifulco,
2016,
IEEE Transactions on Information Forensics and Security.
Christian Dax,
Felix Klaedtke,
Christian Dax,
2008,
LPAR.
Felix Klaedtke,
Mats Näslund,
Jani Suomalainen,
2018,
IEEE Access.
Felix Klaedtke,
Mats Näslund,
Jani Suomalainen,
2018
.
Jochen Eisinger,
Felix Klaedtke,
J. Eisinger,
2006,
Formal Methods Syst. Des..
J. Eisinger,
F. Klaedtke,
Felix Klaedtke,
2006
.
Christian Dax,
Felix Klaedtke,
Christian Dax,
2011,
FoSSaCS.
Christian Dax,
Felix Klaedtke,
Martin Lange,
2010,
Acta Informatica.
Felix Klaedtke,
Oliver Friedmann,
Martin Lange,
2015,
ACM Trans. Comput. Log..
Felix Klaedtke,
Oliver Friedmann,
Martin Lange,
2013,
ICALP.
Christian Dax,
Jochen Eisinger,
Felix Klaedtke,
2007,
ATVA.
J. Eisinger,
Christian Dax,
Felix Klaedtke,
2007
.
Bernd Becker,
Christian Dax,
Jochen Eisinger,
2007,
CAV.
K. Havelund,
Yogi Joshi,
Borzoo Bonakdarpour,
2019,
International Journal on Software Tools for Technology Transfer.
Christian Dax,
Felix Klaedtke,
Stefan Leue,
2009,
ATVA.
Felix Klaedtke,
Eugen Zalinescu,
Tom Hvitved,
2012,
J. Log. Algebraic Methods Program..
Felix Klaedtke,
David A. Basin,
Matús Harvan,
2011,
2011 Eighteenth International Symposium on Temporal Representation and Reasoning.
Felix Klaedtke,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Ghassan O. Karame,
Felix Klaedtke,
Roberto Bifulco,
2015,
Proceedings of the 2015 1st IEEE Conference on Network Softwarization (NetSoft).
Ghassan O. Karame,
Felix Klaedtke,
Roberto Bifulco,
2016,
SIGCOMM.
Felix Klaedtke,
David A. Basin,
Vincent Jugé,
2012,
TSEC.
Felix Klaedtke,
David A. Basin,
Eugen Zalinescu,
2017,
CAV.
Ghassan O. Karame,
Felix Klaedtke,
Roberto Bifulco,
2014,
HotSDN.
Raul Muñoz,
Ricard Vilalta,
Ramon Casellas,
2021,
2021 Joint European Conference on Networks and Communications & 6G Summit (EuCNC/6G Summit).
Felix Klaedtke,
David Basin,
Eugen Zalinescu,
2019,
ACM Trans. Comput. Log..
Felix Klaedtke,
David A. Basin,
Eugen Zalinescu,
2015,
FSTTCS.
Felix Klaedtke,
David A. Basin,
Eugen Zalinescu,
2011,
Acta Informatica.
Felix Klaedtke,
Birgit Pfitzmann,
David A. Basin,
2008,
FSTTCS.
Felix Klaedtke,
David A. Basin,
Eugen Zalinescu,
2017,
RV-CuBES.
Felix Klaedtke,
David A. Basin,
Germano Caronni,
2016,
Formal Methods in System Design.
Srdjan Marinovic,
Felix Klaedtke,
David A. Basin,
2014,
RV.
Felix Klaedtke,
David A. Basin,
Matús Harvan,
2013,
IEEE Transactions on Software Engineering.
Felix Klaedtke,
David A. Basin,
Samuel Müller,
2010,
CAV.
Felix Klaedtke,
David A. Basin,
Samuel Müller,
2010,
SACMAT '10.
Srdjan Marinovic,
Felix Klaedtke,
David A. Basin,
2013,
Formal Methods Syst. Des..
D. Basin,
Samuel Müller,
E. Zalinescu,
2015,
J. ACM.
D. Basin,
Matús Harvan,
Felix Klaedtke,
2022
.
D. Basin,
Felix Klaedtke,
Abdelwaheb Ayari,
2000,
Theor. Comput. Sci..
Decision procedures for inductive Boolean functions based on alternating automata Abdelwaheb Ayari ,
Felix Klaedtke,
David Basin,
2003
.
Felix Klaedtke,
2000
.
Felix Klaedtke,
Eljas Soisalon-Soininen,
Peter Widmayer,
2004
.