1 × China
1 × Italy
1 × Switzerland
H.Giese L.Lambers J.Dyck S.Birth D.Beyer F.Klein D.Schilling S.Hildebrandt S.Neumann T.Vogel S.Wätzoldt
adapt (2) transform (1) structur (1) refactor (1) preserv (1) develop (1) consist (1) system (1) symbol (1) runtim (1)
Person: Basil Becker
Wrote 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.