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

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

Title

A model-based Design of Dynamic Approach Stabilization Advisory System

Booktitle

Proceedings of International Scientific Conference on Modern Safety Technologies in Transportation (MOSATT) 2013

All authors

Lacko, Ivan and Rister, Frank and Osterloh, Jan Patrick and Dehais, Frédéric and Lüdtke, Andreas

Year

2013

Type of Publication

inproceedings

Title

A Novel Approach for a Hardware-based Secure Process Isolation in an Embedded System

Booktitle

International Symposium on Security in Computing and Communications (SSCC 2013)

All authors

Malipatlolla, Sunil

Year

2013

Type of Publication

inproceedings

Title

A Path Planning Framework for Autonomous Vehicles

Booktitle

9th International Workshop on Robot Motion and Control

Title of Conference

9th Workshop on Robot Motion and Control (RoMoCo), 2013

All authors

Eilers, Sönke and Boger, Jürgen and Fränzle, Martin

Year

2013

Type of Publication

inproceedings

Title

A Visual Logic for the Description of Highway Traffic Scenarios

Booktitle

Proceeding of the Fourth International Conference on Complex Systems Design & Management CDS&M 2013

All authors

Kemper, Stephanie and Etzien, Christoph

Year

2013

Type of Publication

inproceedings

Title

Abstraktion des Switching-Trap-Modells für eine leistungsorientierte NBTI-Simulation

Booktitle

Proceedings of edaWorkshop 2013

All authors

Eilers, Reef and Bergemann, Carl and Helms, Domenik and Nebel, Wolfgang

Year

2013

Type of Publication

inproceedings

Title

Adaptive Simulation of Monitoring Behavior

Title of Conference

The Sixth International Conference on Advances in Computer-Human Interactions

All authors

Wortelen,Bertram and Lüdtke, Andreas

Year

2013

Type of Publication

inproceedings

Title

An Automated Semantic-Based Approach for Creating Task Structures

All authors

Matthias Büker

Year

2013

Type of Publication

phdthesis

Title

An evaluation of real-time requirements for automatic sign language recognition using ANNs and HMMs - The LIBRAS use case

All authors

Dos Santos Anjo, Mauro and Pizzolato, Ednaldo and Feuerstack, Sebastian

Year

2013

Type of Publication

article

Title

An Intelligent SA-Adaptive Interface to Aid Supervisory Control of a UAV Swarm

Booktitle

Proc. of IEEE Conference on Industrial Informatics (INDIN)

All authors

Fortmann, Florian and Lüdtke, Andreas

Year

2013

Type of Publication

inproceedings

Title

Ansatz zur Bewertung der HW/SW-Kommunikation in asymmetrischen Multi-Prozessor-Systemen

Booktitle

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'2013)

All authors

Ittershagen, Philipp and Hartmann, Philipp A. and Grüttner, Kim and Nebel, Wolfgang

Year

2013

Type of Publication

inproceedings

Title

Automata-Based Refinement Checking for Real-Time Systems

Booktitle

Proceedings of Software Engineering 2013 (SE 2013)

Title of Conference

Software Engineering 2013

All authors

Brenner, Christian and Heinzemann, Christian and Schäfer, Wilhelm and Henkler, Stefan

Year

2013

Type of Publication

inproceedings

Title

Beyond algorithms and performance: Modelling extra-functional properties in SystemC

Booktitle

Indian SystemC User's Group Conference

All authors

Hartmann, Philipp A.

Year

2013

Type of Publication

inproceedings

Title

CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems

All authors

Oertel, Markus and Josko, Bernhard and CESAR Consortium

Year

2013

Type of Publication

book

Title

Closing the gap between technology and application needs

Title of Conference

edaWorkshop13

All authors

Nebel, Wolfgang and Helms, Domenik and Grüttner, Kim and Oppenheimer, Frank

Year

2013

Type of Publication

misc

Title

Combining Decomposition and Reduction for the State Space Analysis of Self-Stabilizing Systems

All authors

Müllner, Nils and Theel, Oliver and Fränzle, Martin

Year

2013

Type of Publication

article

Title

Comparing the Multimodal Interaction Technique Design of MINT with NiMMiT

Booktitle

Proceedings of the 19th Brazilian Symposium on Multimedia and the Web

All authors

Feuerstack, Sebastian and Pizzolato, Ednaldo Brigante

Year

2013

Type of Publication

inproceedings

Title

Compositional Timing Analysis of Real-Time Systems based on Resource Segregation Abstraction

Booktitle

Embedded Systems: Design, Analysis and Verification

Title of Conference

International Embedded Systems Symposium

All authors

Reinkemeier, Philipp and Stierand, Ingo

Year

2013

Type of Publication

inproceedings

Title

Contract-Based Compositional Scheduling Analysis for Evolving Systems

Booktitle

Embedded Systems: Design, Analysis and Verification

Title of Conference

International Embedded Systems Symposium 2013

All authors

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

Year

2013

Type of Publication

inproceedings

News


 

Projects - fast access