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

Title

Verifying Properties of an Electro-Mechanical Braking System

Booktitle

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

All authors

Thomas Strathmann and Jens Oehlerking

Year

2015

Type of Publication

inproceedings

Title

Virtual Testbed for maritime safety assessment

Booktitle

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

All authors

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

Year

2015

Type of Publication

inproceedings

Title

9 Million Bicycles? Extending Induction Loops with Bluetooth Sensing

Booktitle

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

All authors

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

Year

2014

Type of Publication

inproceedings

Title

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

Booktitle

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

All authors

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

Year

2014

Type of Publication

conference

Title

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

Booktitle

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

All authors

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

Year

2014

Type of Publication

inproceedings

Title

A Methodology for Scaling Power Dissipation Values Between Different FPGAs

Booktitle

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

All authors

Reimer, Axel and Nebel Wolfgang

Year

2014

Type of Publication

inproceedings

Title

A Program State Machine Based Virtual Processing Model in SystemC

Booktitle

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

All authors

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

Year

2014

Type of Publication

inproceedings

Title

A Recipe for Tool Interoperability

Booktitle

Proceedings of MODELSWARD 2014

All authors

Baumgart, Andreas and Ellen, Christian

Year

2014

Type of Publication

inproceedings

Title

A User-Supported Approach to Determine the Importance of Optimization Criteria for Design Space Exploration

Booktitle

Proceedings of IDEAL'14 Workshop

All authors

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

Year

2014

Type of Publication

inproceedings

Title

Adaptive Flight Simulation Programs - Three Years of Research and How the Results Fuel a New Generation of Training Design

Booktitle

Proceedings of the 31st European Association for Aviation Psychology Conference (EAAP)

All authors

Rister, Frank and Osterloh, Jan-Patrick and Lüdtke, Andreas

Year

2014

Type of Publication

inproceedings

Title

An ESL Timing & Power Estimation and Simulation Framework for Heterogeneous SoCs

Booktitle

Proceedings of International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), Samos, Greece, July 14-17, 2014

All authors

Kim Grüttner and Philipp A. Hartmann and Tiemo Fandrey and Kai Hylla and Daniel Lorenz and Stefan Stattelmann and Björn Sander and Oliver Bringmann and Wolfgang Nebel and Wolfgang Rosenstiel

Year

2014

Type of Publication

inproceedings

Title

Applying the MIDAS SA-Model to Score Human Operator Situation Awareness

Booktitle

Proc. of AHFE'14

All authors

Fortmann, Florian

Year

2014

Type of Publication

inproceedings

Title

Assessing the Fitness of Information Supply and Demand during User Interface Design

Booktitle

Proc.of AHFE'14

All authors

Denker, Christian and Fortmann, Florian and Ostendorp, Marie and Hahn, Axel

Year

2014

Type of Publication

inproceedings

Title

Automated UI evaluation based on a cognitive architecture and UsiXML

All authors

González-Calleros, Juan Manuel and Osterloh, Jan Patrick and Feil, Rene and Lüdtke, Andreas

Year

2014

Type of Publication

article

Title

Autonomous flight control meets custom payload processing: A mixed-critical avionics architecture approach for civilian UAVs

Booktitle

Proceedings of the 5th IEEE Workshop on Self-Organizing Real-Time Systems

All authors

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

Year

2014

Type of Publication

inproceedings

Title

Classifying driver's uncertainty for developing trustworthy assistance systems

Booktitle

Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational

All authors

Yan, Fei and Weber, Lars and Luedtke, Andreas

Year

2014

Type of Publication

inproceedings

Title

Connecting a Company’s Verification Methodology to Standard Concepts of UVM

Booktitle

Proceedings of DVCon Europe 2014

Title of Conference

DVCon Europe 2014

All authors

Frank Poppen, Marco Trunzer, Jan-Hendrik Oetjens

Year

2014

Type of Publication

inproceedings

no news in this list.

Projects - fast access