Florian Kammüller
发表
Florian Kammüller,
Henry Sudhof,
F. Kammüller,
2008,
SC@ETAPS.
Florian Kammüller,
Yoney Kirsal Ever,
Xiaochun Cheng,
2013,
2013 IEEE International Conference on Systems, Man, and Cybernetics.
Ludovic Henrio,
Florian Kammüller,
L. Henrio,
2009
.
Florian Kammüller,
Taolue Chen,
Tingting Han,
2016,
2016 International Conference On Cyber Security And Protection Of Digital Services (Cyber Security).
Florian Kammüller,
Jeff W. Sanders,
J. Sanders,
2004,
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Florian Kammüller,
F. Kammüller,
2019,
Comput. Secur..
Florian Kammüller,
F. Kammüller,
2018,
2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC).
Florian Kammüller,
Christian W. Probst,
Franco Raimondi,
2014
.
Ludovic Henrio,
Florian Kammüller,
L. Henrio,
2009,
FOCLASA.
Florian Kammüller,
Steffen Helke,
F. Kammüller,
2005,
FORTE.
Florian Kammüller,
Christian W. Probst,
René Rydhof Hansen,
2013,
J. Internet Serv. Inf. Secur..
Florian Kammüller,
Christian W. Probst,
René Rydhof Hansen,
2015,
GraMSec@CSF.
Florian Kammüller,
Henry Sudhof,
F. Kammüller,
2008,
SJTU-TUB Joint Workshop.
Florian Kammüller,
F. Kammüller,
2018,
ICICS.
Florian Kammüller,
Taolue Chen,
Christian W. Probst,
2015,
HCI.
Florian Kammüller,
F. Kammüller,
2016,
DPM/QASA@ESORICS.
Francisco V. Cipolla-Ficarra,
Domen Verber,
Florian Kammüller,
2011
.
Giuseppe Primiero,
Florian Kammüller,
Jaap Boender,
2014,
2014 Workshop on Socio-Technical Aspects in Security and Trust.
Florian Kammüller,
2011,
CCGIDIS.
Florian Kammüller,
Reiner Kammüller,
R. Kammüller,
2009,
2009 Fourth International Conference on Internet Monitoring and Protection.
Florian Kammüller,
1998,
TYPES.
Mahdi Aiash,
Florian Kammüller,
Glenford Mapp,
2018,
2018 IEEE/ACM International Conference on Utility and Cloud Computing Companion (UCC Companion).
Ludovic Henrio,
Florian Kammüller,
Muhammad Uzair Khan,
2009,
FMCO.
Florian Kammüller,
Steffen Helke,
F. Kammüller,
2001,
TPHOLs.
David Windridge,
Florian Kammüller,
David Windridge,
2019,
Lecture Notes in Networks and Systems.
Ludovic Henrio,
Florian Kammüller,
Marcela Rivera,
2009,
FMCO.
Florian Kammüller,
F. Kammüller,
2018,
ArXiv.
Florian Kammüller,
Lawrence C. Paulson,
Lawrence Charles Paulson,
1999,
Journal of Automated Reasoning.
Florian Kammüller,
Christian W. Probst,
René Rydhof Hansen,
2016,
Semantics, Logics, and Calculi.
Florian Kammüller,
2012,
DPM/SETOP.
Ludovic Henrio,
Florian Kammüller,
Henry Sudhof,
2010,
Arch. Formal Proofs.
Florian Kammüller,
Manfred Kerber,
Christian W. Probst,
2016,
MIST@CCS.
Florian Kammüller,
F. Kammüller,
2019,
2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops).
Rajagopal Nagarajan,
Florian Kammüller,
Jaap Boender,
2015,
QPL.
Florian Kammüller,
F. Kammüller,
2017,
AHFE.
Florian Kammüller,
Mark-Oliver Reiser,
Alexander Rein,
2010,
PLEASE '10.
Florian Kammüller,
Steffen Helke,
2010,
Arch. Formal Proofs.
Florian Kammüller,
Steffen Helke,
F. Kammüller,
2016
.
Florian Kammüller,
2011,
Fundam. Informaticae.
Florian Kammüller,
F. Kammüller,
2017,
HCI.
Florian Kammüller,
2020,
ArXiv.
Florian Kammüller,
2002,
Softw. Test. Verification Reliab..
Florian Kammüller,
Henry Sudhof,
2007
.
Florian Kammüller,
Andreas Fleck,
2010,
2010 Fifth International Conference on Internet Monitoring and Protection.
Florian Kammüller,
Christian W. Probst,
F. Kammüller,
2014,
2014 IEEE Security and Privacy Workshops.
Florian Kammüller,
Jason R. C. Nurse,
Christian W. Probst,
2016,
HCI.
Florian Kammüller,
Margot Bittner,
Margot Bittner,
2003,
First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings..
Florian Kammüller,
2016,
DPM/QASA@ESORICS.
Florian Kammüller,
Christian W. Probst,
F. Kammüller,
2013,
2013 IEEE Security and Privacy Workshops.
Florian Kammüller,
Christian W. Probst,
Steffen Helke,
2015,
DPM/QASA@ESORICS.
Florian Kammüller,
Christian W. Probst,
René Rydhof Hansen,
2015,
WISTP.
Florian Kammüller,
Alwaleed Alghothami,
F. Kammüller,
2013,
2013 IEEE International Conference on Systems, Man, and Cybernetics.
Florian Kammüller,
F. Kammüller,
2014,
2014 21st International Conference on Telecommunications (ICT).
Florian Kammüller,
Manfred Kerber,
Manfred Kerber,
2020,
Sci. Comput. Program..
Florian Kammüller,
F. Kammüller,
2014,
ArXiv.
Florian Kammüller,
Graeme Smith,
Thomas Santen,
2002,
ZB.
Florian Kammüller,
Manfred Kerber,
Christian W. Probst,
2017,
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl..
Florian Kammüller,
Lawrence C. Paulson,
2013
.
Ludovic Henrio,
Florian Kammüller,
Bianca Lutz,
2012,
Sci. Comput. Program..
Florian Kammüller,
Sören Preibusch,
Sören Preibusch,
2013,
DPM/SETOP.
Florian Kammüller,
Stefan Jähnichen,
Thomas Santen,
1995,
KORSO Book.
Florian Kammüller,
Bianca Lutz,
F. Kammüller,
2020,
DPM/CBT@ESORICS.
Ludovic Henrio,
Florian Kammüller,
L. Henrio,
2007,
FMOODS.
Florian Kammüller,
F. Kammüller,
2008,
Formal Aspects of Computing.
Florian Kammüller,
Manfred Kerber,
Manfred Kerber,
2016,
2016 IEEE Security and Privacy Workshops (SPW).
Florian Kammüller,
Christian W. Probst,
Oladapo O. Ogunyanwo,
2019,
ArXiv.
Florian Kammüller,
Jeff W. Sanders,
Jochen Burghardt,
2001,
Inf. Process. Lett..
Florian Kammüller,
2010,
DPM/SETOP.
Florian Kammüller,
2020,
Arch. Formal Proofs.
Florian Kammüller,
F. Kammüller,
2000,
CADE.
Florian Kammüller,
Sören Preibusch,
Sören Preibusch,
2007,
FMICS.
Florian Kammüller,
F. Kammüller,
2017,
DPM/CBT@ESORICS.
Florian Kammüller,
Christian W. Probst,
F. Kammüller,
2017,
IEEE Systems Journal.
Juan Carlos Augusto,
Florian Kammüller,
Simon Jones,
2017,
2017 IEEE 15th International Conference on Software Engineering Research, Management and Applications (SERA).
Florian Kammüller,
2019,
ArXiv.
Florian Kammüller,
Sören Preibusch,
Sören Preibusch,
2008,
Informatik - Forschung und Entwicklung.
Florian Kammüller,
Lawrence C. Paulson,
Markus Wenzel,
1999,
TPHOLs.
Florian Kammüller,
Uwe Nestmann,
U. Nestmann,
2020,
FMBC@CAV.
Florian Kammüller,
Jeff W. Sanders,
2004,
ICTAC.
Florian Kammüller,
F. Kammüller,
2021,
arXiv.org.
Exploring rationality of self awareness in social networking for logical modeling of unintentional insiders
pdf
Florian Kammüller,
Chelsea Mira Alvarado,
F. Kammüller,
2021,
Interacción.
Florian Kammüller,
Florian Kammüller,
2021,
Interacción.
Florian Kammüller,
Lawrence C. Paulson,
1998
.
Florian Kammüller,
Stephanie Weirich,
Matthias Vösgen,
2006
.