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

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

Titel

Virtual Testbed for maritime safety assessment

Buchtitel

The 16th Marine Traffic Engineering Conference and International Symposium Information on Ships MTE-ISIS 2015

Alle Autoren

Hahn, Axel and Schweigert, Sören and Gollücke, Volker and Buschmann, Carsten

Jahr

2015

Publikationstyp

inproceedings

Titel

9 Million Bicycles? Extending Induction Loops with Bluetooth Sensing

Buchtitel

Proceedings of the 2014 IEEE 15th International Conference on Mobile Data Management - Volume 01

Alle Autoren

Jansen, Stephan and Höting, Dennis and Runge, Jens and Brinkhoff, Thomas and Nicklas, Daniela and Sauer, Jürgen

Jahr

2014

Publikationstyp

inproceedings

Titel

A fully-automated manufacturing environment realized through a flexible in house logistic system with smart transportation infrastructure

Buchtitel

Proceedings of the 2014 ICAM International Conference on Advanced and Agile Manufacturing.

Alle Autoren

Jan-Hinrich Kämper, Arne Stasch and Axel Hahn

Jahr

2014

Publikationstyp

conference

Titel

A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques

Buchtitel

Formal Verification and Modeling in Human-Machine Systems - Papers from the AAAI Spring Symposium

Alle Autoren

Javaux, Denis and Wortelen, Bertram and Lüdtke, Andreas and Pecheur,Charles and Peldszus, Regina and Sievi, Sonja and Yushtein, Yuri

Jahr

2014

Publikationstyp

inproceedings

Titel

A Methodology for Scaling Power Dissipation Values Between Different FPGAs

Buchtitel

24th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS'14)

Alle Autoren

Reimer, Axel and Nebel Wolfgang

Jahr

2014

Publikationstyp

inproceedings

Titel

A Program State Machine Based Virtual Processing Model in SystemC

Buchtitel

The 4th Embedded Operating Systems Workshop (EWiLi'14)

Alle Autoren

Tim Schmidt and Kim Grüttner and Rainer Dömer and Achim Rettberg

Jahr

2014

Publikationstyp

inproceedings

Titel

A Recipe for Tool Interoperability

Buchtitel

Proceedings of MODELSWARD 2014

Alle Autoren

Baumgart, Andreas and Ellen, Christian

Jahr

2014

Publikationstyp

inproceedings

Projekte-Schnellzugang