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

Evaluation of Drivers Interaction with Assistant Systems using Criticality Driven Guided Simulation

Booktitle

HCI International 2013 Conference Proceedings

Title of Conference

HCI International 2013

All authors

Puch, Stefan; Wortelen, Bertram; Fränzle, Martin; Peikenkamp, Thomas

Year

2013

Title

A Contract-Based Installation Methodology for Safety-Related Automotive Systems

Title of Conference

SAE 2013 World Congress & Exhibition, April 2013, Detroit, MI, USA

Year

2013

Title

Combining Decomposition and Reduction for the State Space Analysis of Self-Stabilizing Systems

All authors

Müllner, Nils; Theel, Oliver; Fränzle, Martin

Year

2013

Title

Ein effizienter Ansatz zur Übersendung zwischen Service-Protokollen durch die Modellierung von Verhaltensunterschieden

Booktitle

Ein effizienter Ansatz zur Übersendung zwischen Service-Protokollen durch die Modellierung von Verhaltensunterschieden

All authors

Busemann, Claas

Year

2012

Title

A Column Generation Approach to Scheduling of Real-Time Networks

Title of Conference

World Congress on Engineering and Computer Science (WCECS)

All authors

Althaus, Ernst; Hoffmann, Sebastian; Kupilas, Joschka; Thaden, Eike

Year

2012

Title

Abstraction Techniques for Compositional State-based Scheduling Analysis

Title of Conference

Brazilian Symposium on Computing System Engineering

All authors

Gezgin, T. and Henkler, S. and Rettberg, A. and Stierand, I.

Year

2012

Title

Modeling TCL via DTMC

Title of Conference

Joint Workshop on Compositional Modelling and Analysis of Quantitative Systems

All authors

Ellen, Christian; Fränzle, Martin; Gerwinn, Sebastian; Müllner, Nils

Year

2012

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

Rapid Virtual-Human-in-the-Loop Simulation with the High Level Architecture

Booktitle

Proceedings of Summer Computer Simulation Conference 2012 (SCSC 2012)

Title of Conference

Summer Computer Simulation Conference 2012 (SCSC 2012)

All authors

Puch, Stefan; Fränzle, Martin; Osterloh, Jan-Patrick; Läsche, Christoph

Year

2012

Title

Der SPES 2020-Architektur-Modellierungsansatz

Title of Conference

Architekturen 2012

All authors

Henkler, Stefan

Year

2012

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

Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System

Title of Conference

2012 IEEE 26th International Conference on Advanced Information Networking and Applications (AINA'2012)

All authors

Nils Müllner, Oliver Theel, Martin Fränzle

Year

2012

Title

Automatic Transition Between Structural System Views in a Safety Relevant Embedded Systems Development Process

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

Ellen, Christian; Etzien Christoph; Oertel, Markus

Year

2012

Title

A Reference Technology Platform with Common Interfaces for Distributed Heterogeneous Data

Booktitle

Proceedings of the of the Embedded World 2012 Exhibition and Conference

Title of Conference

Embedded World 2012 Exhibition and Conference

All authors

Andreas Baumgart, Christian Ellen, Markus Oertel, Philip Rehkop, Stefan Farfeleder, Stefan Schulz

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

Integrated tool-chain for improving traceability during the development of automotive systems

Booktitle

Proceedings of the 2012 Embedded Real Time Software and Systems Conference

All authors

E. Armengaud and M. Biehl and Q. Bourrouilh and M. Breunig and S. Farfeleder and C. Hein and M. Oertel and A. Wallner and M. Zoier

Year

2012

Title

A multi-domain platform of safety process methods and tools for critical embedded systems

Booktitle

Proceedings of the 2012 Embedded Real Time Software and Systems Conference

All authors

Jean paul Blanquart and Eric Armengaud and Quentin Bourrouilh and Joseph Machrouh and Andreas Mitschke and Markus Oertel and Thomas Peikenkamp and Tormod Wien

Year

2012

Title

Interoperable Requirements Engineering: Tool Independent Specification, Validation and Impact Analysis

Booktitle

Proceedings of the of the Embedded World 2012 Exhibition and Conference

All authors

Markus Oertel and Bernhard Josko

Year

2012

Title

Compositionality with Strong Assumptions

Title of Conference

Nordic Workshop on Programming Theory

All authors

Hungar, Hardi

Year

2011

Title

Cost-Minimal Pre-Allocation of Software Tasks Under Real-Time Constraints

Booktitle

Proceedings of the 2011 Research in Applied Computation Symposium (RACS 2011)

Title of Conference

2011 Research in Applied Computation Symposium

All authors

Clark, Brian; Stierand, Ingo; Thaden, Eike

Year

2011

Title

Model-Based Safety Assessment for the Three Stages of Refinement of the System Development Process in ARP4754A

Title of Conference

AeroTech Congress & Exhibition

All authors

Seguin, Christel; Bieber, Pierre; Böde, Eckard; Bozzano, Marco; Bretschneider, Matthias; Cavallo, Antonella; Deneux, Johann; Heckmann, Jean-Pierre; Lisagor, Oleg; Morel, Marion; Papadopoulos, Chris; Sagaspe, Laurent; Sartor, Valerie; Delmas, Rémi

Year

2011

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

Projekt SaLsA: Automatisierte Fahrzeuge im Außenbereich

Booktitle

Hebezeuge Fördermittel

All authors

Rührup, Stefan; Neugebauer, Thomas

Year

2011

Title

Ad-hoc, Mobile, and Wireless Networks

Title of Conference

Ad-hoc, Mobile, and Wireless Networks

Year

2011

>> 1 2 3