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

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

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

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 Euromicro PDP 2014

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

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

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

Multicore Performance analysis of a Multi-phase Electrical Motor Controller

Booktitle

Proceedings of the Embedded Real Time Software and Systems Congress (ERTS²) 2014

All authors

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

Year

2014

Type of Publication

inproceedings

Title

Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges

Booktitle

Proceedings of the 51th Design Automation Conference (DAC) 2014, San Francisco, CA, USA

All authors

J.-H. Oetjens, N. Bannow, M. Becker, O. Bringmann, A. Burger, M. Chaari, S. Chakraborty, R. Drechsler, W. Ecker, K. Grüttner, Th. Kruse, C. Kuznik, H. M. Le, A. Mauderer, W. Müller, D. Müller-Gritschneder, F. Poppen, H. Post, S. Reiter, W. Rosenstiel, S. Roth, U. Schlichtmann, A. von Schwerin, B.-A. Tabacaru, A. Viehl

Year

2014

Type of Publication

inproceedings

Title

Scheduling of Real-Time Networks with a Column Generation Approach

Booktitle

IAENG Transactions on Engineering Technologies - Special Issue of the World Congress on Engineering and Computer Science (WCECS) 2012

All authors

Althaus, Ernst and Hoffmann, Sebastian and Kupilas, Joschka and Thaden, Eike

Year

2014

Type of Publication

incollection

Title

Simulation of Socio-Technical Systems for Human-Centred Ship Bridge Design

Booktitle

Proceedings: International Conference on Human Factors in Ship Design & Operation 2014

All authors

C Sobiech, M Eilers, C Denker, A Lüdtke, P Allen, G Randall, D Javaux

Year

2014

Type of Publication

inproceedings

Title

Simulative Evaluation of Contract-based Change Management

Booktitle

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

All authors

Markus Oertel Sebastian Gerwinn Achim Rettberg

Year

2014

Type of Publication

inproceedings

Title

Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains

All authors

Ellen, Christian and Gerwinn, Sebastian and Fränzle, Martin

Year

2014

Type of Publication

article

Title

Towards Satisfaction Checking of Power Contracts in Uppaal

Booktitle

Forum on specification & Design Languages (FDL 2014)

All authors

Gregor Nitsche and Kim Grüttner and Wolfgang Nebel

Year

2014

Type of Publication

inproceedings

Title

Trace-Based Power State Machine Modelling

Booktitle

Forum on specification & Design Languages (FDL) 2014

All authors

Daniel Lorenz and Vincent Ortland and Kim Grüttner

Year

2014

Type of Publication

inproceedings

Title

Using early power and timing estimations of massively heterogeneous computation platforms to create optimized HPC applications

Booktitle

Proceedings of 2014 International Conference on Embedded and Ubiquitous Computing - EUC 2014

All authors

Patrick Knocke and Ralph Görgen and Jörg Walter and Domenik Helms and Wolfgang Nebel

Year

2014

Type of Publication

inproceedings

Title

3. Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISON2020)

Booktitle

Software Engineering

All authors

Bender, Ottmar and Böhm, Wolfgang and Henkler, Stefan and Sander, Dietmar and Vogelsang, Andreas and Weyer, Thorsten

Year

2013

Type of Publication

inproceedings

Title

A Contract-Based Installation Methodology for Safety-Related Automotive Systems

Booktitle

Technical Papers presented at SAE 2013 World Congress & Exhibition

Title of Conference

SAE 2013 World Congress & Exhibition

All authors

Baumgart, Andreas

Year

2013

Type of Publication

inproceedings

Title

A Database for the Integration of Power Data on System Level

Title of Conference

EUROCON 2013, International Conference on Computer as a Tool

All authors

Sauppe, Matthias and Horn, Thomas and Markert, Erik and Heinkel, Ulrich and Lorenz, Daniel and Grüttner, Kim and Sahm, Hans-Werner and Otto, Klaus-Holger

Year

2013

Type of Publication

inproceedings

Title

A Design Space Exploration Framework for Model-Based Software-intensive Embedded System Development

Booktitle

Software Engineering 2013 - Workshopband

Title of Conference

Multikonferenz Software Engineering 2013

All authors

Büker, Matthias and Henkler, Stefan and Schlegel, Stefanie and Thaden, Eike

Year

2013

Type of Publication

inproceedings

Title

A Design Space Exploration Tool Demonstration for Automotive Systems

Title of Conference

DAC 2013

All authors

Büker, Matthias and Damm, Werner and Ehmen, Günter and Henkler, Stefan and Rettberg, Achim and Stierand, Ingo and Thaden, Eike

Year

2013

Type of Publication

misc

Projects - fast access