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

Der SPES 2020-Architektur-Modellierungsansatz

Title of Conference

Architekturen 2012

All authors

Henkler, Stefan

Year

2012

Title

Dynamic Communicating Probabilistic Timed Automata Playing Games

Booktitle

Reports of SFB/TR 14 AVACS

All authors

Ehlers, Rüdiger; Hahn, E. Moritz; Mehlmann, Martin; Peter, Hans-Jörg; Rakow, Jan; Toben, Tobe; Westphal, Bernd

Year

2011

Title

Design of a real-time optimized emulation method

Booktitle

Proceedings of the Conference on Design, Automation and Test in Europe

Title of Conference

Proceedings of the Conference on Design, Automation and Test in Europe

All authors

Kerstan, Timo; Oertel, Markus

Year

2010

Title

Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation

Title of Conference

41st Annual Simulation Symposium (anss-41 2008)

All authors

Nils Müllner, Abhishek Dhama, Oliver Theel

Year

2008