BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Schilling:Daniela

Contributed to:

ICSE 20062006
ICSE 20052005

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.