Travelled to:1 × China
1 × USA
Collaborated with:H.Giese B.Becker D.Beyer F.Klein S.Burmester M.Hirsch M.Tichy
Talks about:system (2) time (2) real (2) structur (1) develop (1) symbol (1) safeti (1) invari (1) fujaba (1) driven (1)
Person: Daniela Schilling
DBLP: Schilling:Daniela
Contributed to:
20062005Wrote 2 papers:
- ICSE-2006-BeckerBGKS #adaptation #invariant #verification
- Symbolic invariant verification for systems with dynamic structural adaptation (BB, DB, HG, FK, DS), pp. 72–81.
- ICSE-2005-BurmesterGHST #development #modelling #realtime #safety
- The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems (SB, HG, MH, DS, MT), pp. 670–671.