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