Travelled to:1 × China
1 × South Africa
1 × USA
Collaborated with:J.W.Sanders ∅ A.Rein M.Reiser
Talks about:isabell (2) represent (1) variabl (1) modular (1) heurist (1) reason (1) propag (1) featur (1) across (1) relat (1)
Person: Florian Kammüller
DBLP: Kamm=uuml=ller:Florian
Contributed to:
2010
2004
2000Wrote 3 papers:
- PLEASE-2010-KammullerRR #higher-order #variability
- Feature link propagation across variability representations with Isabelle/HOL (FK, AR, MOR), pp. 48–53.
- SEFM-2004-KammullerS #heuristic #refinement
- Heuristics for Refinement Relations (FK, JWS), pp. 292–299.
- CADE-2000-Kammuller #composition #reasoning
- Modular Reasoning in Isabelle (FK), pp. 99–114.