Travelled to:1 × China
1 × Italy
1 × Switzerland
Collaborated with:H.Giese L.Lambers J.Dyck S.Birth D.Beyer F.Klein D.Schilling S.Hildebrandt S.Neumann T.Vogel S.Wätzoldt
Talks about:adapt (2) transform (1) structur (1) refactor (1) preserv (1) develop (1) consist (1) system (1) symbol (1) runtim (1)
Person: Basil Becker
DBLP: Becker:Basil
Contributed to:
2012
2011
2006Wrote 3 papers:
- SFM-2012-GieseLBHNVW #adaptation #graph transformation #modelling #runtime
- Graph Transformations for MDE, Adaptation, and Models at Runtime (HG, LL, BB, SH, SN, TV, SW), pp. 137–191.
- ICMT-2011-BeckerLDBG #development #refactoring #rule-based
- Iterative Development of Consistency-Preserving Rule-Based Refactorings (BB, LL, JD, SB, HG), pp. 123–137.
- ICSE-2006-BeckerBGKS #adaptation #invariant #verification
- Symbolic invariant verification for systems with dynamic structural adaptation (BB, DB, HG, FK, DS), pp. 72–81.