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

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

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

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

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

Title

Assisting Mouse Pointer Recovery in Multi-Display Environments

Booktitle

Mensch und Computer 2015 – Proceedings

All authors

Fortmann, Florian and Nowak, Dennis and Bruns, Kristian and Milster, Mark and Boll, Susanne

Year

2015

Type of Publication

inproceedings

Title

Automated SystemC Model Instantiation with modern C++ Features and sc_vector

Booktitle

Proceedings of DVCon Europe 2015

All authors

Ralph Görgen and Philipp A. Hartmann and Wolfgang Nebel

Year

2015

Type of Publication

inproceedings

Title

Automatic Creation of a HLA Simulation Infrastructure for Simulation-Based UI Evaluation in Rapid UI Prototyping Processes

Booktitle

Proceedings of the Eighth International Conference on Advances in Computer-Human Interactions (ACHI)

All authors

Bertram Wortelen Christian van Göns

Year

2015

Type of Publication

inproceedings

Title

Brain Activity Measured with fNIRS for the Prediction of Cognitive Workload

Booktitle

Proceedings of the 6th IEEE Conference on Cognitive Infocommunications (CogInfoComm 2015)

All authors

Unni, A., Ihme, K., Weber, L., Surm, H., Lüdtke, A., Jipp, M., Rieger, J.

Year

2015

Type of Publication

conference

Title

Classifying driver's uncertainty about the distance gap at lane changing for developing trustworthy assistance systems

Booktitle

Intelligent Vehicles Symposium (IV)

All authors

Yan, Fei and Weber, Lars and Luedtke, Andreas

Year

2015

Type of Publication

inproceedings

Title

COMPANION - Towards Co-Operative Platoon Management of Heavy-Duty Vehicles

Booktitle

Proceedings of the 18th International Conference on Intelligent Transportation Systems

All authors

Soenke Eilers, Jonas Mårtensson, Henrik Pettersson, Marcos Pillado, David Gallegos, Marta Tobar, Karl Henrik Johansson, Xiaoliang Ma, Thomas Friedrichs, Shadan Sadeghian Borojeni, Magnus Adolfson

Year

2015

Type of Publication

inproceedings

Title

Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety

All authors

Kaiser, Bernhard and Weber, Raphael and Oertel, Markus and Böde, Eckard and Nejad, Behrang Monajemi and Zander, Justyna

Year

2015

Type of Publication

article

Title

Contracts for Schedulability Analysis

Booktitle

Formal Modeling and Analysis of Timed Systems

All authors

Reinkemeier, Philipp and Benveniste, Albert and Damm, Werner and Stierand, Ingo

Year

2015

Type of Publication

incollection

Title

Das CASCADe Projekt: Modellierung und Simulation von kooperativen Prozessen auf Schiffsbrücken

Booktitle

Proceedings 11. Berliner Werkstatt Mensch-Maschine Systeme

All authors

Sobiech, C. and van Göns, C.

Year

2015

Type of Publication

inproceedings

Title

Ein Verfahren zur Bestimmung eines Powermodells von Xilinx MicroBlaze MPSoCs zur Verwendung in Virtuellen Plattformen

Booktitle

18. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2015)

All authors

Sören Schreiner and Kim Grüttner and Sven Rosinger and Wolfgang Nebel

Year

2015

Type of Publication

inproceedings

no news in this list.

Projects - fast access