Publications of the TC Dependable System Design

Below you will find all - only the technology cluster owned - publications.

Using the search box, you can narrow the issue further, for example, you can search by author, title, text content, or booktitle.

  Search  AND OR Extended search
close
All 75 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Title

Towards Cooperative Cognitive Models in Multi-Agent Systems

Booktitle

COGNITIVE 2012, The Fourth International Conference on Advanced Cognitive Technologies and Applications

Title of Conference

COGNITIVE 2012, The Fourth International Conference on Advanced Cognitive Technologies and Applications

All authors

Lenk, Jan Charles; Droste, Rainer; Sobiech, Cilli; Lüdtke, Andreas; Hahn, Axel

Year

2012

Title

The Temporal Logic of Appearance and Disappearance

Booktitle

Reports of SFB/TR 14 AVACS

All authors

Bauer, Jörg; Toben, Tobe; Westphal, Bernd

Year

2007

Title

The Good, the Bad and the Ugly: Well-formedness of Live Sequence Charts

Title of Conference

9th International Conference on Fundamental Approaches to Software Engineering (FASE 2006)

All authors

Westphal, Bernd; Toben, Tobe

Year

2006

Title

Towards a Unified Model-based Safety Assessment

Booktitle

SAFECOMP 2006. The 27th International Conference on Computer Safety, Security and Reliability

All authors

Peikenkamp, T.; Cavallo, A.; Valacca, L.; Böde, E.; Pretzer, M.; Hahn, E.M.

Year

2006

Title

The Rhapsody UML Verification Environment

Title of Conference

2nd International Conference on Software Engineering and Formal Methods (SEFM 2004)

All authors

Schinz, Ingo; Mrugalla, Christian; Toben, Tobe; Westphal, Bernd

Year

2004