Travelled to:
1 × South Africa
Collaborated with:
F.Kammüller M.Reiser U.Prange L.Lambers K.Hoffmann J.Padberg
Talks about:
reconfigur (1) represent (1) variabl (1) transit (1) isabell (1) system (1) propag (1) featur (1) condit (1) applic (1)
Person: Alexander Rein
DBLP: Rein:Alexander
Contributed to:
Wrote 2 papers:
- PLEASE-2010-KammullerRR #higher-order #variability
- Feature link propagation across variability representations with Isabelle/HOL (FK, AR, MOR), pp. 48–53.
- GT-VMT-2008-ReinPLHP #configuration management
- Negative Application Conditions for Reconfigurable Place/Transition Systems (AR, UP, LL, KH, JP).