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

Solving geometric constraints to verify independence properties for safety-relevant systems

Title of Conference

SWIM 2012: Small Workshop on Interval Methods

All authors

Andreas Baumgart

Year

2012

Title

Specification of an Architecture Meta-Model

Title of Conference

OFFIS Technical Report

All authors

Raphael Weber, Eike Thaden, Philipp Reinkemeier, Andreas Baumgart

Year

2012

Title

Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments

Title of Conference

ISoLA Workshop on Software Aspects of Robotic Systems

All authors

Eilers, Sönke; Kuka, Christian; Rührup, Stefan; Schweigert, Sören; Toben, Tobe; Winkelmann, Hannes

Year

2011

Title

Safety and Precision of Spatial Context Models for Autonomous Systems

Booktitle

1st ETAPS Workshop on"Hybrid Autonomous Systems" (HAS 2011)

All authors

Toben, Tobe; Rakow, Jan-Hendrik

Year

2011

Title

Semantic Independence

Booktitle

Encyclopedia of Parallel Computing

All authors

Fränzle, Martin; Lengauer, Christian

Year

2011

Title

Spotlight Abstraction of Agents and Areas

Title of Conference

Quantitative and Qualitative Analysis of Network Protocols

All authors

Toben, Tobe; Westphal, Bernd; Rakow, Jan-Hendrik

Year

2010

Title

Specification and Verification of Dynamic Communication Systems

Title of Conference

6th International Conference on Application of Concurrency to System Design (ACSD 2006)

All authors

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

Year

2006