Formalization of Algebraic Specification in the Development Language DEVA. - Thomas Santen; Florian Kammüller; Stefan Jähnichen; Martin Beyer (KORSO Book, 1995)

Modular Structures as Dependent Types in Isabelle. - Florian Kammüller (TYPES, 1998)

Locales - A Sectioning Concept for Isabelle. - Florian Kammüller; Markus Wenzel 001; Lawrence C. Paulson (TPHOLs, 1999)

A Formal Proof of Sylow's Theorem. - Florian Kammüller; Lawrence C. Paulson (J. Autom. Reason., 1999)

Modular reasoning in Isabelle - Florian Kammüller (1999)

Modular Reasoning in Isabelle. - Florian Kammüller (CADE, 2000)

Representing Hierarchical Automata in Interactive Theorem Provers. - Steffen Helke; Florian Kammüller (TPHOLs, 2001)

On the antisymmetry of Galois embeddings. - Jochen Burghardt; Florian Kammüller; Jeff W. Sanders (Inf. Process. Lett., 2001)

Encoding Object-Z in Isabelle/HOL. - Graeme Smith 001; Florian Kammüller; Thomas Santen (ZB, 2002)

Book Reviews. - Florian Kammüller (Softw. Test. Verification Reliab., 2002)

Translating Fusion/UML to Object-Z. - Margot Bittner; Florian Kammüller (MEMOCODE, 2003)

Idempotent Relations in Isabelle/HOL. - Florian Kammüller; Jeff W. Sanders (ICTAC, 2004)

Heuristics for Refinement Relations. - Florian Kammüller; Jeff W. Sanders (SEFM, 2004)

Structure Preserving Data Abstractions for Statecharts. - Steffen Helke; Florian Kammüller (FORTE, 2005)

Checking the TWIN Elevator System by Translating Object-Z to SMV. - Sören Preibusch; Florian Kammüller (FMICS, 2007)

A Mechanized Model of the Theory of Objects. - Ludovic Henrio; Florian Kammüller (FMOODS, 2007)

An Asynchronous Distributed Component Model and Its Semantics. - Ludovic Henrio; Florian Kammüller; Marcela Rivera (FMCO, 2008)

Compositionality of Aspect Weaving. - Florian Kammüller; Henry Sudhof (SJTU-TUB Joint Workshop, 2008)

Composing Safely - A Type System for Aspects. - Florian Kammüller; Henry Sudhof (SC@ETAPS, 2008)

Formalizing non-interference for a simple bytecode language in Coq. - Florian Kammüller (Formal Aspects Comput., 2008)

An industrial application of symbolic model checking. - Florian Kammüller; Sören Preibusch (Inform. Forsch. Entwickl., 2008)

A Framework for Reasoning on Component Composition. - Ludovic Henrio; Florian Kammüller; Muhammad Uzair Khan (FMCO, 2009)

Functional Active Objects: Typing and Formalisation. - Ludovic Henrio; Florian Kammüller (FOCLASA, 2009)

Privacy Enforcement and Analysis for Functional Active Objects. - Florian Kammüller (DPM/SETOP, 2010)

Feature link propagation across variability representations with Isabelle/HOL. - Florian Kammüller; Alexander Rein; Mark-Oliver Reiser (PLEASE@ICSE, 2010)

Formalizing Statecharts using Hierarchical Automata. - Steffen Helke; Florian Kammüller (Arch. Formal Proofs, 2010)

Locally Nameless Sigma Calculus. - Ludovic Henrio; Florian Kammüller; Bianca Lutz; Henry Sudhof (Arch. Formal Proofs, 2010)

A Security Model for Functional Active Objects. - Florian Kammueller (CCGIDIS, 2011)

Mechanical Analysis of Finite Idempotent Relations. - Florian Kammüller (Fundam. Informaticae, 2011)

A Semi-lattice Model for Multi-lateral Security. - Florian Kammüller (DPM/SETOP, 2012)

ASPfun : A typed functional active object calculus. - Ludovic Henrio; Florian Kammüller; Bianca Lutz (Sci. Comput. Program., 2012)

Privacy Analysis of a Hidden Friendship Protocol. - Florian Kammüller; Sören Preibusch (DPM/SETOP, 2013)

Network Information Flow Control: Proof of Concept. - Alwaleed Alghothami; Florian Kammüller (SMC, 2013)

DNSsec in Isabelle - Replay Attack and Origin Authentication. - Florian Kammüller; Yoney Kirsal Ever; Xiaochun Cheng (SMC, 2013)

Externalizing Behaviour for Analysing System Models. - Marieta Georgieva Ivanova; Christian W. Probst; René Rydhof Hansen; Florian Kammüller (J. Internet Serv. Inf. Secur., 2013)

Verification of DNSsec Delegation Signatures. - Florian Kammüller (ICT, 2014)

Combining Generated Data Models with Formal Invalidation for Insider Threat Analysis. - Florian Kammüller; Christian W. Probst (IEEE Symposium on Security and Privacy Workshops, 2014)

Modeling Human Behaviour with Higher Order Logic: Insider Threats. - Jaap Boender; Marieta Georgieva Ivanova; Florian Kammüller; Giuseppe Primiero (STAST, 2014)

Confinement for Active Objects. - Florian Kammueller (CoRR, 2014)

Invalidating Policies using Structural Information. - Florian Kammüller; Christian W. Probst (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2014)

Transforming Graphical System Models to Graphical Attack Models. - Marieta Georgieva Ivanova; Christian W. Probst; René Rydhof Hansen; Florian Kammüller (GraMSec@CSF, 2015)

Secure Refactoring with Java Information Flow. - Steffen Helke; Florian Kammüller; Christian W. Probst (DPM/QASA@ESORICS, 2015)

A Probabilistic Analysis Framework for Malicious Insider Threats. - Taolue Chen 001; Florian Kammüller; Ibrahim Nemli; Christian W. Probst (HCI (22), 2015)

Attack Tree Generation by Policy Invalidation. - Marieta Georgieva Ivanova; Christian W. Probst; René Rydhof Hansen; Florian Kammüller (WISTP, 2015)

Formalization of Quantum Protocols using Coq. - Jaap Boender; Florian Kammüller; Rajagopal Nagarajan (QPL, 2015)

Formal Modelling and Analysis of Socio-Technical Systems. - Christian W. Probst; Florian Kammüller; René Rydhof Hansen (Semantics, Logics, and Calculi, 2016)

Towards Formal Analysis of Insider Threats for Auctions. - Florian Kammueller; Manfred Kerber; Christian W. Probst (MIST@CCS, 2016)

Model based analysis of insider threats. - Taolue Chen 001; Tingting Han 001; Florian Kammueller; Ibrahim Nemli; Christian W. Probst (Cyber Security And Protection Of Digital Services, 2016)

Isabelle Modelchecking for Insider Threats. - Florian Kammüller (DPM/QASA@ESORICS, 2016)

Refactoring Preserves Security. - Florian Kammüller (DPM/QASA@ESORICS, 2016)

Attack Tree Analysis for Insider Threats on the IoT Using Isabelle. - Florian Kammüller; Jason R. C. Nurse; Christian W. Probst (HCI (20), 2016)

Investigating Airplane Safety and Security Against Insider Threats Using Logical Modeling. - Florian Kammüller; Manfred Kerber (IEEE Symposium on Security and Privacy Workshops, 2016)

Human Centric Security and Privacy for the IoT Using Formal Techniques. - Florian Kammüller (AHFE (9), 2017)

A Proof Calculus for Attack Trees in Isabelle. - Florian Kammüller (DPM/CBT@ESORICS, 2017)

Formal Modeling and Analysis with Humans in Infrastructures for IoT Health Care Systems. - Florian Kammüller (HCI (22), 2017)

Security and privacy requirements engineering for human centric IoT systems using eFRIEND and Isabelle. - Florian Kammüller; Juan Carlos Augusto; Simon Jones (SERA, 2017)

Insider Threats and Auctions: Formalization, Mechanized Proof, and Code Generation. - Florian Kammüller; Manfred Kerber; Christian W. Probst (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2017)

Modeling and Verification of Insider Threats Using Logical Analysis. - Florian Kammüller; Christian W. Probst (IEEE Syst. J., 2017)

Attack Trees in Isabelle. - Florian Kammüller (ICICS, 2018)

Formal Modeling and Analysis of Data Protection for GDPR Compliance of IoT Healthcare Systems. - Florian Kammueller (SMC, 2018)

Formalization and Analysis of a Resource Allocation Security Protocol for Secure Service Migration. - Gayathri Karthick; Glenford Mapp; Florian Kammueller; Mahdi Aiash (UCC Companion, 2018)

Attack Trees in Isabelle - CTL semantics, correctness and completeness. - Florian Kammüller (CoRR, 2018)

Combining Secure System Design with Risk Assessment for IoT Healthcare Systems. - Florian Kammüller (PerCom Workshops, 2019)

Attack trees in Isabelle extended with probabilities for quantum cryptography. - Florian Kammüller (Comput. Secur., 2019)

Designing Data Protection for GDPR Compliance into IoT Healthcare Systems. - Florian Kammüller; Oladapo O. Ogunyanwo; Christian W. Probst (CoRR, 2019)

QKD in Isabelle - Bayesian Calculation. - Florian Kammüller (CoRR, 2019)

Inter-Blockchain Protocols with the Isabelle Infrastructure Framework. - Florian Kammüller; Uwe Nestmann (FMBC@CAV, 2020)

Modeling and Analyzing the Corona-Virus Warning App with the Isabelle Infrastructure Framework. - Florian Kammüller; Bianca Lutz (DPM/CBT@ESORICS, 2020)

Describing and Simulating Concurrent Quantum Systems. - Richard Bornat; Jaap Boender; Florian Kammueller; Guillaume Poly; Rajagopal Nagarajan (TACAS (2), 2020)

Attack Trees in Isabelle for GDPR compliance of IoT healthcare systems. - Florian Kammueller (Arch. Formal Proofs, 2020)

A Formal Development Cycle for Security Engineering in Isabelle. - Florian Kammüller (CoRR, 2020)

Dependability Engineering in Isabelle. - Florian Kammüller (CoRR, 2021)

Applying the Isabelle Insider framework to airplane security. - Florian Kammüller; Manfred Kerber (Sci. Comput. Program., 2021)

Masterminding change by combining secure system design with security risk assessment. - Florian Kammüller; Axel Legay; Stefano Schivo (Int. J. Softw. Tools Technol. Transf., 2021)

Explanation of Black Box AI for GDPR Related Privacy Using Isabelle. - Florian Kammüller (DPM/CBT@ESORICS, 2022)

Explanation by Automated Reasoning Using the Isabelle Infrastructure Framework. - Florian Kammüller (HCI (43), 2022)

Exploring Rationality of Self Awareness in Social Networking for Logical Modeling of Unintentional Insiders. - Florian Kammüller; Chelsea Mira Alvarado (HCI (32), 2022)

Modeling and verifying a resource allocation algorithm for secure service migration for commercial cloud systems. - Gayathri Karthick; Glenford Mapp; Florian Kammueller; Mahdi Aiash (Comput. Intell., 2022)

Introducing Distributed Ledger Security into System Specifications with the Isabelle RR-Cycle. - Florian Kammüller (ESORICS Workshops (2), 2023)

Higher Order Model Checking in Isabelle for Human Centric Infrastructure Security. - Florian Kammüller (CoRR, 2023)

Explanation of Student Attendance AI Prediction with the Isabelle Infrastructure Framework. - Florian Kammüller; Dimpy Satija (Inf., 2023)

Analyzing Air-traffic Security using GIS-"blur' with Information Flow Control in the IIIf. - Florian Kammueller (ARES, 2024)

Transparency vs Explanation of Machine Learning Algorithms: Perspectives from Recent Legal Proceedings. - Uchenna Nnawuchi; Carlisle George; Florian Kammueller (EPIA (1), 2024)

Formalizing Federated Learning and Differential Privacy for GIS Systems in IIIf. - Florian Kammüller; Luca Piras 003; Bob Fields; Rajagopal Nagarajan (ESORICS Workshops (2), 2024)

Security Engineering in IIIf, Part II - Refinement and Noninterference. - Florian Kammüller (CoRR, 2024)