| 2008 |
|---|
| 18 | EE | Florian Kammüller,
Henry Sudhof:
Composing Safely - A Type System for Aspects.
Software Composition 2008: 231-247 |
| 17 | EE | Florian Kammüller,
Sören Preibusch:
An industrial application of symbolic model checking.
Computer Science - Research and Development 22(2): 95-108 (2008) |
| 16 | EE | Florian Kammüller:
Formalizing non-interference for a simple bytecode language in Coq.
Formal Asp. Comput. 20(3): 259-275 (2008) |
| 2007 |
|---|
| 15 | EE | Sören Preibusch,
Florian Kammüller:
Checking the TWIN Elevator System by Translating Object-Z to SMV.
FMICS 2007: 38-55 |
| 14 | EE | Ludovic Henrio,
Florian Kammüller:
A Mechanized Model of the Theory of Objects.
FMOODS 2007: 190-205 |
| 2005 |
|---|
| 13 | EE | Steffen Helke,
Florian Kammüller:
Structure Preserving Data Abstractions for Statecharts.
FORTE 2005: 305-319 |
| 2004 |
|---|
| 12 | EE | Florian Kammüller,
Jeff W. Sanders:
Idempotent Relations in Isabelle/HOL.
ICTAC 2004: 310-324 |
| 11 | EE | Florian Kammüller,
Jeff W. Sanders:
Heuristics for Refinement Relations.
SEFM 2004: 292-299 |
| 2003 |
|---|
| 10 | EE | Margot Bittner,
Florian Kammüller:
Translating Fusion/UML to Object-Z.
MEMOCODE 2003: 49-50 |
| 2002 |
|---|
| 9 | EE | Graeme Smith,
Florian Kammüller,
Thomas Santen:
Encoding Object-Z in Isabelle/HOL.
ZB 2002: 82-99 |
| 8 | | Florian Kammüller:
Book Reviews.
Softw. Test., Verif. Reliab. 12(3): 188-189 (2002) |
| 2001 |
|---|
| 7 | EE | Steffen Helke,
Florian Kammüller:
Representing Hierarchical Automata in Interactive Theorem Provers.
TPHOLs 2001: 233-248 |
| 6 | EE | Jochen Burghardt,
Florian Kammüller,
Jeff W. Sanders:
On the antisymmetry of Galois embeddings.
Inf. Process. Lett. 79(2): 57-63 (2001) |
| 2000 |
|---|
| 5 | | Florian Kammüller:
Modular Reasoning in Isabelle.
CADE 2000: 99-114 |
| 1999 |
|---|
| 4 | EE | Florian Kammüller,
Markus Wenzel,
Lawrence C. Paulson:
Locales - A Sectioning Concept for Isabelle.
TPHOLs 1999: 149-166 |
| 3 | | Florian Kammüller,
Lawrence C. Paulson:
A Formal Proof of Sylow's Theorem.
J. Autom. Reasoning 23(3-4): 235-264 (1999) |
| 1998 |
|---|
| 2 | EE | Florian Kammüller:
Modular Structures as Dependent Types in Isabelle.
TYPES 1998: 121-132 |
| 1995 |
|---|
| 1 | | Thomas Santen,
Florian Kammüller,
Stefan Jähnichen,
Martin Beyer:
Formalization of Algebraic Specification in the Development Language DEVA.
KORSO Book 1995: 223-238 |
