Daniela Schilling

发表

Symbolic invariant verification for systems with dynamic structural adaptation

Holger Giese, Dirk Beyer, Basil Becker, 2006, ICSE.

The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems

Holger Giese, Matthias Tichy, Martin Hirsch, 2005, ICSE.

Detection of code clones in software generators

Max Lillack, Daniela Schilling, Christian Bucholdt, 2014, FOSD '14.

Incremental Design and Formal Verification with UML/RT in the FUJABA Real-Time Tool Suite

Holger Giese, Martin Hirsch, Sven Burmester, 2004 .

Compositional Hazard Analysis of UML Component and Deployment Models

Holger Giese, Matthias Tichy, Daniela Schilling, 2004, SAFECOMP.

Kompositionale Softwareverifikation mechatronischer Systeme

Daniela Schilling, 2006 .

Towards self-adaptive service-oriented architectures

Giovanni Denaro, Mauro Pezzè, Davide Tosi, 2006, TAV-WEB '06.

Computing optimal self-repair actions: damage minimization versus repair time

Holger Giese, Matthias Tichy, Daniela Schilling, 2005, ACM SIGSOFT Softw. Eng. Notes.

Design of self-managing dependable systems with UML and fault tolerance patterns

Holger Giese, Matthias Tichy, Daniela Schilling, 2004, WOSS '04.

Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML

Holger Giese, Matthias Tichy, Sven Burmester, 2003 .

COBOL- und PL/I-Anwendungen automatisch wieder verstehen

Daniela Schilling, 2017, Softwaretechnik-Trends.