Publikationen im FuE-Bereich Verkehr

Nachfolgend finden Sie alle - innerhalb des FuE-Bereichs Verkehr veröffentlichten - Publikationen.

Anhand des Suchfelds können Sie die Ausgabe weiter einschränken, z. B. können Sie nach Autor, Titel, Textinhalten oder Publikationsart suchen.

Publikationsliste

  Suche  UND ODER Erweiterte Suche
schließen
Alle 1145 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
Titel

Model-Based Pilot Training

Buchtitel

Proceedings of HFES 2015

Alle Autoren

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

Jahr

2015

Publikationstyp

inproceedings

Titel

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

Buchtitel

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

Alle Autoren

Friedrichs, Thomas and Lüdtke, Andreas

Jahr

2015

Publikationstyp

inproceedings

Titel

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

Buchtitel

Proc. of COGNITIVE'15

Alle Autoren

Suck, Stefan and Fortmann, Florian

Jahr

2015

Publikationstyp

inproceedings

Titel

Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems

Buchtitel

Formal Modeling and Analysis of Timed Systems

Alle Autoren

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

Jahr

2015

Publikationstyp

incollection

Titel

Nutzung der virtuellen Realität zur Erhebung von nautischen Prozessen

Buchtitel

Proc. of Go3D 2015

Alle Autoren

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

Jahr

2015

Publikationstyp

inproceedings

Titel

Reducing Re-Validation Efforts for Real-time Systems

Buchtitel

Model-Based Development of Embedded Systems (MBEES)

Alle Autoren

Tayfun Gezgin Stefan Henkler Achim Rettberg

Jahr

2015

Publikationstyp

inproceedings

Titel

Requirements for e-Navigation Achitectures

Buchtitel

Proceedings of International Conference on Advanced Intelligent Maritime Safety and Technology

Alle Autoren

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

Jahr

2015

Publikationstyp

inproceedings

Titel

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

Buchtitel

Proceedings of INTERACT 2015

Alle Autoren

Sebastian Feuerstack and Bertram Wortelen

Jahr

2015

Publikationstyp

inproceedings

Titel

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

Buchtitel

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

Alle Autoren

Bertram Wortelen and Sebastian Feuerstack and Marcus Behrendt

Jahr

2015

Publikationstyp

inproceedings

Titel

Save Maritime Systems Testbed

Alle Autoren

Axel Hahn and André Bolles

Jahr

2015

Publikationstyp

article

Titel

Semantic Data Exchange in e-Navigation

Buchtitel

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

Alle Autoren

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

Jahr

2015

Publikationstyp

inproceedings

Titel

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

Buchtitel

Entertainment Computing - ICEC 2015

Alle Autoren

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

Jahr

2015

Publikationstyp

incollection

Titel

Smart Glasses to support Maritime Pilots in Harbor Maneuvers

Buchtitel

Proceedings of AHFE 2015

Alle Autoren

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

Jahr

2015

Publikationstyp

inproceedings

Titel

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

Buchtitel

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

Alle Autoren

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

Jahr

2015

Publikationstyp

inproceedings

Titel

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

Buchtitel

18th IEEE Symposium on Real-Time Computing

Alle Autoren

Tayfun Gezgin Raphael Weber Matthias Büker

Jahr

2015

Publikationstyp

inproceedings

Titel

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

Alle Autoren

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

Jahr

2015

Publikationstyp

article

Titel

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

Buchtitel

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

Alle Autoren

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

Jahr

2015

Publikationstyp

inproceedings

Titel

Structural Contracts - Motivating Contracts to Ensure Extra-Functional Semantics

Buchtitel

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

Alle Autoren

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

Jahr

2015

Publikationstyp

inproceedings

Titel

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

Buchtitel

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

Alle Autoren

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

Jahr

2015

Publikationstyp

inproceedings

Titel

Temporal Decoupling with Error-Bounded Predictive Quantum Control

Buchtitel

Forum on Specification and Design Languages (FDL), 2015

Alle Autoren

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

Jahr

2015

Publikationstyp

inproceedings

Titel

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

Buchtitel

Tagungsband 11. Berliner Werkstatt Mensch-Maschine-Systeme

Alle Autoren

Sebastian Feuerstack

Jahr

2015

Publikationstyp

inproceedings

Titel

Towards Satisfaction Checking of Power Contracts in Uppaal

Alle Autoren

Gregor Nitsche and Kim Grüttner and Wolfgang Nebel

Jahr

2015

Publikationstyp

inbook

Titel

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

Buchtitel

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

Alle Autoren

Martin Böschen and Christian Rudat

Jahr

2015

Publikationstyp

inproceedings

Titel

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

Buchtitel

Proceedings of SNUG Germany 2015

Titel der Konferenz

SNUG Germany 2015

Alle Autoren

Frank Poppen Marco Trunzer Jan-Hendrik Oetjens

Jahr

2015

Publikationstyp

inproceedings

Titel

Verifying Properties of an Electro-Mechanical Braking System

Buchtitel

2nd Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 2015)

Alle Autoren

Thomas Strathmann and Jens Oehlerking

Jahr

2015

Publikationstyp

inproceedings

Projekte-Schnellzugang