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