## Homepages 🌐

- http://www.cs.mdx.ac.uk/people/florian-kammueller/

## E-Mails 📧

- ed.nilreb-ut.sc @makolf

## Entries

### 2020

##### Attack Trees in Isabelle for GDPR compliance of IoT healthcare systems

by Florian Kammüller 🌐
Apr 27

### 2010

##### Formalizing Statecharts using Hierarchical Automata

by Steffen Helke 📧 and Florian Kammüller 📧
Aug 08

##### Locally Nameless Sigma Calculus

by Ludovic Henrio 📧, Florian Kammüller 📧, Bianca Lutz 📧 and Henry Sudhof 📧
Apr 30