Publications of the R&D-Division Transportation

Below you will find all publication - published in the R+D Division Transportation.

Using the search box, you can narrow the issue further, for example, you can search by author, title, text content, or booktitle.

Publikationsliste

  Search  AND OR Extended search
close
All 1162 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

Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2014

All authors

Oezlem Karaca, Alper Sen, Liana Musat, Binghao Bao, Oliver Keszocze, Gabriel Hjort Blindell, Christian Sauer, Gregor Nitsche, Leandro Gil, et al.

Year

2016

Type of Publication

book

Title

MTCAS - An Assistance System for Maritime Collision Avoidance

Booktitle

12th International Symposium on Integrated Ship’s Information Systems & Marine Traffic Engineering Conference

All authors

Christian Denker, Axel Hahn

Year

2016

Type of Publication

inproceedings

Title

Predicting Performance and Energy Efficiency for Large-Scale Parallel Applications on Highly Heterogeneous Platforms

Booktitle

19th {GI/ITG/GMM} Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, {MBMV} 2016, Freiburg im Breisgau, Germany, March 1-2, 2016.

All authors

Jörg Walter and Ralph Görgen and Wolfgang Nebel

Year

2016

Type of Publication

inproceedings

Title

RT Level Timing Model for Aging Prediction

Booktitle

DATE

All authors

Nils Koppaetzky, Malte Metzdorf, Reef Eilers, Domenik Helms, Wolfgang Nebel

Year

2016

Type of Publication

inproceedings

Title

SAFEPOWER project: Architecture for Safe and Power-Efficient Mixed-Criticality Systems

Booktitle

Euromicro Conference on Digital System Design (DSD)

All authors

Alina Lenz and Mikel Azkarate-Askasua Blázquez and Javier Coronel and Alfons Crespo and Simon Davidmann and Juan Carlos Diaz Garcia and Nera González Romero and Kim Grüttner and Roman Obermaisser and Johnny Öberg and Jon Perez and Ingo Sander and Ingemar Söderquist

Year

2016

Type of Publication

inproceedings

Title

Simulink-Modell-ܜbersetzung in synchrone Datenflussgraphen

Booktitle

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'2016)

All authors

Sebastian Warsitz and Maher Fakih

Year

2016

Type of Publication

inproceedings

Title

Supporting Supervisory Control of Safety-Critical Systems with Psychologically Well-founded Information Visualizations

Booktitle

Proceedings of the ACM SIGCHI 9th Nordic Conference on Human-Computer Interaction (NordiCHI'16)

All authors

Marie-Christin Ostendorp and Thomas Friedrichs and Andreas Lüdtke

Year

2016

Type of Publication

inproceedings

Title

Testbeds for Verification and Validation of Maritime Safety

Booktitle

Proceedings of the 12th Marine Traffic Engineering Conference and International Symposium Information on Ships MTE-ISIS 2016

All authors

Marius Brinkmann, Arne Stasch, Axel Hahn

Year

2016

Type of Publication

inproceedings

Title

Theater-system Technique and Model-based Attention Prediction for the Early Automotive HMI Design Evaluation (in press)

Booktitle

Proceedings of the 8th International Conference on Automotive User Interfaces and Interactive Vehicular Applications

All authors

Sebastian Feuerstack and Bertram Wortelen and Carmen Kettwich and Anna Schieben

Year

2016

Type of Publication

inproceedings

Title

Tool-supported Comparative Visualizations to Reveal the Difference between ‘What has been Designed’ and ‘How it is Perceived’ for Monitoring Interface Design

Booktitle

IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA)

All authors

Bertram Wortelen and Sebastian Feuerstack

Year

2016

Type of Publication

inproceedings

Title

Towards State-Based RT Analysis of FSM-SADFGs on MPSoCs with Shared Memory Communication

Booktitle

Integrating Dataflow, Embedded computing and Architecture (IDEA'2016)

All authors

Ralf Stemmer and Maher Fakih and Kim Grüttner and Wolfgang Nebel

Year

2016

Type of Publication

inproceedings

Title

Towards the Integration and Evaluation of Online Workload Measures in a Cognitive Architecture

Booktitle

Proceedings of 7th IEEE Conference on Cognitive Infocommunications

All authors

Bertram Wortelen Anirudh Unni Jochem W. Rieger Andreas Lüdtke

Year

2016

Type of Publication

inproceedings

Title

A Compositional Safety Specification Using a Contract-Based Design Methodology

Booktitle

International Conference on Performance, Safety and Robustness in Complex Systems and Applications

All authors

Oertel, Markus and Battram, Peter and Kacimi, Omar and Gerwinn, Sebastian and Rettberg, Achim

Year

2015

Type of Publication

inproceedings

Title

A Modular Safety Assurance Method considering Multi-Aspect Contracts during Cyber Physical System Design

Booktitle

1st International Workshop on Requirements Engineering for Self-Adaptive and Cyber-Physical Systems (RESACS)

All authors

Peter Battram and Bernhard Kaiser and Raphael Weber

Year

2015

Type of Publication

inproceedings

Title

A Tool for Easing the Cognitive Analysis of Design Prototypes of Aircraft Cockpit Instruments

Booktitle

Proceedings 33rd annual conference of the European Association of Cognitive Ergonomics

All authors

Sebastian Feuerstack, Andreas Lüdtke, Jan-Patrick Osterloh

Year

2015

Type of Publication

inproceedings

Title

A Workload Extraction Framework for Software Performance Model Generation

Booktitle

7th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO)

All authors

Philipp Ittershagen and Philipp A. Hartmann and Kim Grüttner and Wolfgang Nebel

Year

2015

Type of Publication

inproceedings

Title

Abstracting TCAD aging models above the circuit level

Booktitle

DATE - Design, Automation, and Test in Europe

All authors

Malte Metzdorf, Domenik Helms, Reef Eilers, Wolfgang Nebel

Year

2015

Type of Publication

inproceedings

Title

Adaptive Human-Automation Cooperation: A General Architecture for the Cockpit and its Application in the A-PiMod Project

Booktitle

Proc. of COGNITIVE'15

All authors

Javaux, Denis and Fortmann, Florian and Möhlenbrink, Christoph

Year

2015

Type of Publication

inproceedings

Title

Advanced SystemC Tracing and Analysis Framework for Extra-Functional Properties

Booktitle

The 11th International Symposium on Applied Reconfigurable Computing (ARC'15)

All authors

Philipp A. Hartmann and Kim Grüttner and Wolfgang Nebel

Year

2015

Type of Publication

inproceedings

Title

AMS-/EF-Contracts - A Proposal of Contracts for AMS-Verification and AMS-Coverage-Analysis

Booktitle

Proceedings of the 2015 Forum on Specification and Design Languages, FDL 2015, Barcelona, Spain, September 14-16, 2015

All authors

Gregor Nitsche and Kim Grüttner

Year

2015

Type of Publication

inproceedings

Title

An Approach to Guide the System Engineer during the Design Space Exploration Process

Booktitle

Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015.

All authors

Rosinger, Maike and Büker, Matthias and Weber, Raphael

Year

2015

Type of Publication

inproceedings

Title

Analysis of the HIS Security Module

Booktitle

Analysis of Security APIs (ASA'15)

All authors

Fröschle, Sibylle and Gewald, Peter

Year

2015

Type of Publication

inproceedings

Title

Application Mapping and Communication Synthesis for Object-Oriented Platform-Based Design

All authors

Kim Grüttner

Year

2015

Type of Publication

phdthesis

Title

Assessing the Spatio-Temporal Fitness of Information Supply and Demand on an Adaptive Ship Bridge

Booktitle

Knowledge Engineering and Knowledge Management

All authors

Christian Denker

Year

2015

Type of Publication

incollection

no news in this list.

Projects - fast access