Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Florian Kammüller

A Framework for Reasoning on Component Composition

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Attack Trees in Isabelle

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Formal Modeling and Analysis With Humans in Infrastructures for IoT Health Care Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Transforming Graphical System Models to Graphical Attack Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Formal Modelling and Analysis of Socio-Technical Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Feature Link Propagation Across Variability Representations With Isabelle/Hol

2010English

Structure Preserving Data Abstractions for Statecharts

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy