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

Model-based Design of Multimodal Interaction for Augmented Reality Web Applications

Booktitle

Proceedings of the 20th International Conference on 3D Web Technology

All authors

Feuerstack, Sebastian and de Oliveira, \'{A}llan C. M. and dos Santos Anjo, Mauro and Araujo, Regina B. and Pizzolato, Ednaldo B.

Year

2015

Type of Publication

inproceedings

Title

Model-Based Pilot Training

Booktitle

Proceedings of HFES 2015

All authors

Frank Rister, Jan-Patrick Osterloh, Andreas Lüdtke, Paul Specht

Year

2015

Type of Publication

inproceedings

Title

Modeling Situation Awareness: The Impact of Ecological Interface Design on Driver’s Response Times

Booktitle

COGNITIVE 2015 : The Seventh International Conference on Advanced Cognitive Technologies and Applications

All authors

Friedrichs, Thomas and Lüdtke, Andreas

Year

2015

Type of Publication

inproceedings

Title

Multi-dimensional Pilot Crew State Inference for Improved Pilot Crew-Automation Partnership

Booktitle

Proc. of COGNITIVE'15

All authors

Suck, Stefan and Fortmann, Florian

Year

2015

Type of Publication

inproceedings

Title

Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems

Booktitle

Formal Modeling and Analysis of Timed Systems

All authors

Fränzle, Martin and Gerwinn, Sebastian and Kröger, Paul and Abate, Alessandro and Katoen, Joost-Pieter

Year

2015

Type of Publication

incollection

Title

Nutzung der virtuellen Realität zur Erhebung von nautischen Prozessen

Booktitle

Proc. of Go3D 2015

All authors

Christian Denker, Sören Schweigert, Volker Gollücke, Axel Hahn

Year

2015

Type of Publication

inproceedings

Title

Reducing Re-Validation Efforts for Real-time Systems

Booktitle

Model-Based Development of Embedded Systems (MBEES)

All authors

Tayfun Gezgin Stefan Henkler Achim Rettberg

Year

2015

Type of Publication

inproceedings

Title

Requirements for e-Navigation Achitectures

Booktitle

Proceedings of International Conference on Advanced Intelligent Maritime Safety and Technology

All authors

Axel Hahn and Andre Bolles and Martin Fränzle and Sibylle Fröschle and Jin Park

Year

2015

Type of Publication

inproceedings

Title

Revealing Differences in Designers’ and Users’ Perspectives: A Tool-supported Process for Visual Attention Prediction for Designing HMIs for Maritime Monitoring Tasks

Booktitle

Proceedings of INTERACT 2015

All authors

Sebastian Feuerstack and Bertram Wortelen

Year

2015

Type of Publication

inproceedings

Title

Revealing Monitoring Behavior for HMI Designs is Easy with the Right Tool in press

Booktitle

IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development

All authors

Bertram Wortelen and Sebastian Feuerstack and Marcus Behrendt

Year

2015

Type of Publication

inproceedings

Title

Save Maritime Systems Testbed

All authors

Axel Hahn and André Bolles

Year

2015

Type of Publication

article

Title

Semantic Data Exchange in e-Navigation

Booktitle

Datenbanksysteme für Business, Technologie und Web (BTW)

All authors

Mazen Salous, André Bolles, Daniela Nicklas, Henning Mextorf

Year

2015

Type of Publication

inproceedings

Title

Simple Games – Complex Emotions: Automated Affect Detection using Physiological Signals

Booktitle

Entertainment Computing - ICEC 2015

All authors

Thomas Friedrichs, Carolin Zschippig, Marc Herrlich, Benjamin Walther-Franks, Rainer Malaka and Kerstin Schill

Year

2015

Type of Publication

incollection

Title

Smart Glasses to support Maritime Pilots in Harbor Maneuvers

Booktitle

Proceedings of AHFE 2015

All authors

Ostendorp, M.-C. and Lüdtke, A. and Lenk, J. C.

Year

2015

Type of Publication

inproceedings

Title

SPEM 2.0 as Process Baseline Meta-Model for the Development and Optimization of Complex Embedded Systems

Booktitle

Inproceedings of the 2015 IEEE International Symposium on Systems Engineering (ISSE)

All authors

Baumgarten, Guilherme and Rosinger, Maike and Todino, Anna and Marín, Rubén de Juan

Year

2015

Type of Publication

inproceedings

Title

State-Based Real-Time Analysis for Function Networks and Marte

Booktitle

18th IEEE Symposium on Real-Time Computing

All authors

Tayfun Gezgin Raphael Weber Matthias Büker

Year

2015

Type of Publication

inproceedings

Title

State-Based Real-Time Analysis of SDF Applications on MPSoCs with Shared Communication Resources

All authors

Maher Fakih and Kim Grüttner and Martin Fränzle and Achim Rettberg

Year

2015

Type of Publication

article

Title

State-Based Real-Time Analysis of SDF Applications on Multi-Cores

Booktitle

1st International Workshop on Investigating Dataflow in Embedded computing Architecture (IDEA)

All authors

Maher Fakih and Kim Grüttner and Martin Fränzle and Achim Rettberg

Year

2015

Type of Publication

inproceedings

Title

Structural Contracts - Motivating Contracts to Ensure Extra-Functional Semantics

Booktitle

In Proceedings of the fifth IFIP International Embedded Systems Symposium (IESS 2015)

All authors

Gregor Nitsche and Ralph Görgen and Kim Grüttner and Wolfgang Nebel

Year

2015

Type of Publication

inproceedings

Title

Teaching Mixed-Criticality: Multi-Rotor Flight Control and Payload Processing on a Single Chip

Booktitle

Proceedings of the 2015 Workshop on Embedded and Cyber-Physical Systems Education (WESE)

All authors

Henning Schlender and Sören Schreiner and Malte Metzdorf and Kim Grüttner and Wolfgang Nebel

Year

2015

Type of Publication

inproceedings

Title

Temporal Decoupling with Error-Bounded Predictive Quantum Control

Booktitle

Forum on Specification and Design Languages (FDL), 2015

All authors

Gläser, G. and Nitsche, G. and Hennig, E.

Year

2015

Type of Publication

inproceedings

Title

Tool-based Task Modelling of Medical Human Machine Interfaces in press

Booktitle

Tagungsband 11. Berliner Werkstatt Mensch-Maschine-Systeme

All authors

Sebastian Feuerstack

Year

2015

Type of Publication

inproceedings

Title

Towards Satisfaction Checking of Power Contracts in Uppaal

All authors

Gregor Nitsche and Kim Grüttner and Wolfgang Nebel

Year

2015

Type of Publication

inbook

Title

Tracing of Informal and Formal Requirements through Model Variables - SKY 2015 Challenge

Booktitle

Proceedings of SKY 2015 - 6th International Workshop on Software Knowledge

All authors

Martin Böschen and Christian Rudat

Year

2015

Type of Publication

inproceedings

Title

Using Synopsys VCS to connect a Company’s SystemC Verification Methodology to Standard Concepts of UVM

Booktitle

Proceedings of SNUG Germany 2015

Title of Conference

SNUG Germany 2015

All authors

Frank Poppen Marco Trunzer Jan-Hendrik Oetjens

Year

2015

Type of Publication

inproceedings

no news in this list.

Projects - fast access