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

Experiences from Using Formal Verification Techniques to Analyze Human-Machine Interaction: A Case Study

Booktitle

Proc. of ECCE´14

All authors

Bertram Wortelen Andreas Lüdtke Denis Javaux Sonja Sievi

Year

2014

Type of Publication

inproceedings

Title

Expressing Best Practices in (Risk) Analysis and Testing of Safety-Critical Systems Using Patterns

Booktitle

2nd International Workshop on Risk Assessment and Risk-driven Testing

All authors

Wolfgang Herzner and Sven Sieverding and Thomas Bauer and Brian Nielsen and Omar Kacimi and Eckard Böde

Year

2014

Type of Publication

inproceedings

Title

Field programmable Servers - Project presentation

All authors

Patrick Knocke

Year

2014

Type of Publication

misc

Title

First Results of Automatic Fault-Injection in an AUTOSAR Tool-chain

Booktitle

Proceedings of the 12th International Conference on Industrial Informatics (INDIN 2014)

All authors

Guilherme Baumgarten Markus Oertel Achim Rettberg Marcelo Götz

Year

2014

Type of Publication

inproceedings

Title

Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads

Booktitle

Quantitative Evaluation of Systems

All authors

Esmaeil Zadeh Soudjani, Sadegh and Gerwinn, Sebastian and Ellen, Christian and Fränzle, Martin and Abate, Alessandro

Year

2014

Type of Publication

incollection

Title

Glaubwürdigkeit in dynamischen Wirkleistungsverbünden

All authors

Christine Rosinger und Sebastian Beer

Year

2014

Type of Publication

article

Title

Gründe für die Virtualisierung eingebetteter Systeme

All authors

Frank Poppen

Year

2014

Type of Publication

article

Title

HAGGIS: A modelling and simulation platform for e-Maritime technology assessment

Booktitle

Proceedings of 2nd International Symposium of Naval Architecture and Maritime

All authors

Sören Schweigert, Volker Gollücke, Axel Hahn, André Bolles

Year

2014

Type of Publication

inproceedings

Title

Hardware-Based Real-Time Simulation on the Raspberry Pi

Title of Conference

2nd Workshop on High-performance and Real-time Embedded Systems (HiRES 2014)

All authors

Walter, Jörg and Fakih, Maher and Grüttner, Kim

Year

2014

Type of Publication

inproceedings

Title

Holodeck für die Entwicklung eingebetteter Systeme

Title of Conference

Embedded Software Engineering Kongress

Year

2014

Type of Publication

misc

Title

Idea: Security Engineering Principles for Day Two Car2X Applications

Booktitle

Engineering Secure Software and Systems

All authors

Fröschle, Sibylle and Stühring, Alexander

Year

2014

Type of Publication

incollection

Title

Impact Analysis for Timing Requirements on Real-Time Systems

Booktitle

The 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2014)

All authors

Gezgin, Tayfun and Henkler, Stefan and Stierand, Ingo and Rettberg, Achim

Year

2014

Type of Publication

inproceedings

Title

Impact of Data Sharing on Co-Running Programs in Multi-Core Systems

Booktitle

Proceedings of the Work in Progress Session 22nd Euromicro International Conference on Parallel, distributed and Network-based Processing (PDP 2014), February 12-14, 2014, Turin, Italy

All authors

Korotaeva, Anna and Nebel, Wolfgang and Balakrishnan, M.

Year

2014

Type of Publication

inproceedings

Title

Impact of Improved Ergonomics, Collaboration, and HCI in Ground Operations: The AERG Study at ESOC

Booktitle

SpaceOps 2014 Conference

All authors

Jan Charles Lenk, Andreas Lüdtke, Alexandr Puchkovskiy, Denis Javaux, Georges Vroonen, Giovanni Scotti, Sonja Sievi, Collin Haddow, Felix Flentge

Year

2014

Type of Publication

inproceedings

Title

Integrated Test Bed for Save and Efficient Maritime Systems

Booktitle

Proceedings of 15th Annual IAMU Annual General Assembly

All authors

Axel Hahn, André Bolles, Knud Benedict

Year

2014

Type of Publication

inproceedings

Title

Integrating the Security Aspect into Design Space Exploration of Embedded Systems

Booktitle

The 2nd IEEE International Workshop on Reliability and Security Data Analysis (RSDA 2014)

All authors

Stierand, Ingo and Malipatlolla, Sunil and Fröschle, Sibylle and Stühring, Alexander and Henkler, Stefan

Year

2014

Type of Publication

inproceedings

Title

Interoperability In Co-Simulatons Of Maritime Systems

Booktitle

ECMS

All authors

Christoph Dibbern Axel Hahn Sören Schweigert

Year

2014

Type of Publication

inproceedings

Title

LABSKAUS - A physical platform for e-Maritime technology assessment

Booktitle

Proceedings of 2nd International Symposium of Naval Architecture and Maritime

All authors

Arne Stasch, André Bolles, Axel Hahn

Year

2014

Type of Publication

inproceedings

Title

Model-Based Risk Assessment of Offshore Operations

Booktitle

Proceedings 33rd International Conference on Ocean, Offshore and Arctic Engineering

All authors

Läsche, Christoph and Droste, Rainer and Pinkowski, Jan and Gerwinn, Sebastian and Hahn, Axel

Year

2014

Type of Publication

inproceedings

Title

Modellbasierte Entwicklung und Verifikation von Sensor-SiPs

Booktitle

MATLAB EXPO 2014

All authors

Görgen, Ralph; Oetjens, Jan-Hendrik

Year

2014

Type of Publication

inproceedings

Title

Modelling human-machine cooperation for human-centred ship bridge design

Booktitle

Proceedings of the 5th Transport Research Arena Conference

All authors

Christian Denker, Cilli Sobiech, Henning Mextorf, Gary Randall, Paul Allen, Tommy Mikkelsen, Eugen Adami, Denis Javaux

Year

2014

Type of Publication

inproceedings

Title

Modelling, simulation and analysis of extra-functional properties of multi-core platforms in multi-application scenarios

Booktitle

RAPIDO'14: 6th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools

All authors

Hartmann, Philipp A.

Year

2014

Type of Publication

inproceedings

Title

MOTORBRAIN: MODEL-BASED DESIGN AND VIRTUAL INTEGRATION OF AN INTELLIGENT AND SAFE ELECTRICAL POWERTRAIN

All authors

Sven Rosinger, Maher Fakih and Jörg Walter

Year

2014

Type of Publication

misc

Title

MTBF Inconsistency Analysis on Inferred Product Breakdown Structures

Booktitle

Computer Safety, Reliability, and Security

All authors

Ellen, Christian and Böschen, Martin and Peikenkamp, Thomas

Year

2014

Type of Publication

incollection

Title

Multi-aspect Virtual Integration approach for Real-Time and Safety Properties

Booktitle

International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS14)

All authors

Gezgin, Tayfun and Oertel, Markus and Weber, Raphael

Year

2014

Type of Publication

inproceedings

Projects - fast access