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