Florian Kammüller
Florian Kammüller
Associate Professor, Middlesex University London and Privatdozent TU Berlin
Verified email at mdx.ac.uk - Homepage
Title
Cited by
Cited by
Year
Locales a sectioning concept for Isabelle
F Kammüller, M Wenzel, LC Paulson
International Conference on Theorem Proving in Higher Order Logics, 149-165, 1999
1231999
Invalidating policies using structural information
F Kammüller, CW Probst
2013 IEEE Security and Privacy Workshops, 76-81, 2013
402013
A formal proof of sylow's theorem
F Kammüller, LC Paulson
Journal of Automated Reasoning 23 (3), 235-264, 1999
401999
Encoding object-z in isabelle/hol
G Smith, F Kammüller, T Santen
International Conference of B and Z Users, 82-99, 2002
382002
Modular reasoning in Isabelle
F Kammüller
International Conference on Automated Deduction, 99-114, 2000
362000
Hand gesture recognition using leap motion controller for recognition of arabic sign language
B Khelil, H Amiri, T Chen, F Kammüller, I Nemli, CW Probst
3rd International conference ACECS 16, 2016, 2016
342016
Transforming graphical system models to graphical attack models
MG Ivanova, CW Probst, RR Hansen, F Kammüller
International Workshop on Graphical Models for Security, 82-96, 2015
342015
Attack tree analysis for insider threats on the IoT using Isabelle
F Kammüller, JRC Nurse, CW Probst
International Conference on Human Aspects of Information Security, Privacy …, 2016
282016
Modeling and verification of insider threats using logical analysis
F Kammüller, CW Probst
IEEE systems journal 11 (2), 534-545, 2015
282015
Combining generated data models with formal invalidation for insider threat analysis
F Kammüller, CW Probst
2014 IEEE Security and Privacy Workshops, 229-235, 2014
232014
Attack tree generation by policy invalidation
MG Ivanova, CW Probst, RR Hansen, F Kammüller
IFIP International Conference on Information Security Theory and Practice …, 2015
222015
Formalization of quantum protocols using Coq
J Boender, F Kammüller, R Nagarajan
arXiv preprint arXiv:1511.01568, 2015
182015
A framework for reasoning on component composition
L Henrio, F Kammüller, MU Khan
International Symposium on Formal Methods for Components and Objects, 1-20, 2009
172009
An asynchronous distributed component model and its semantics
L Henrio, F Kammüller, M Rivera
International Symposium on Formal Methods for Components and Objects, 159-179, 2008
172008
A mechanized model of the theory of objects
L Henrio, F Kammüller
International Conference on Formal Methods for Open Object-Based Distributed …, 2007
162007
Translating fusion/UML to object-Z
M Bittner, F Kammuller
First ACM and IEEE International Conference on Formal Methods and Models for …, 2003
162003
Representing hierarchical automata in interactive theorem provers
S Helke, F Kammüller
International Conference on Theorem Proving in Higher Order Logics, 233-248, 2001
162001
Functional active objects: Typing and formalisation
L Henrio, F Kammüller
Electronic Notes in Theoretical Computer Science 255, 83-101, 2009
142009
A probabilistic analysis framework for malicious insider threats
T Chen, F Kammüller, I Nemli, CW Probst
International Conference on Human Aspects of Information Security, Privacy …, 2015
122015
Formalizing non-interference for a simple bytecode language in Coq
F Kammüller
Formal Aspects of Computing 20 (3), 259-275, 2008
122008
The system can't perform the operation now. Try again later.
Articles 1–20