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

Exploiting Functional Models to Assess the Security Aspect in Embedded System Design

Booktitle

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

All authors

Stierand, Ingo and Malipatlolla, Sunil

Year

2013

Type of Publication

inproceedings

Title

Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs

Booktitle

Embedded Systems: Design, Analysis and Verification

Title of Conference

4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013

All authors

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

Year

2013

Type of Publication

inproceedings

Title

Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs

Booktitle

International Embedded Systems Symposium (IESS)

All authors

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

Year

2013

Type of Publication

inproceedings

Title

FROM MATLAB-SIMULINK TO DISTRIBUTED EMBEDDED APPLICATIONS: AN AUTOMOTIVE TOOL DEMONSTRATION

Booktitle

Proceedings of DATE 2013 Conference - University Booth

All authors

Ehmen, Günter and Rettberg, Achim and Büker, Matthias and Henkler, Stefan and Thaden, Eike

Year

2013

Type of Publication

inproceedings

Title

From Specification Models to Distributed Embedded Applications: A Holistic User-Guided Approach

All authors

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

Year

2013

Type of Publication

article

Title

Funktional-thermische Simulation von 3D-Systemen

Booktitle

Zuverlässigkeit und Entwurf (ZuE)

All authors

Metzdorf, Malte and Nebel, Wolfgang

Year

2013

Type of Publication

inproceedings

Title

Hierarchical Real-Time Scheduling in the Multi-Core Era - An Overview

Title of Conference

SORT 2013 - The Fourth IEEE Workshop on Self-Organizing Real-Time Systems

All authors

Ittershagen, Philipp and Hartmann, Philipp A. and Grüttner, Kim and Rettberg, Achim

Year

2013

Type of Publication

inproceedings

Title

HMI Requirements for Cooperative Advanced Driver Assistance Systems.

Booktitle

Berliner Fachtagung für Fahrermodellierung

All authors

Lüdtke, Andreas

Year

2013

Type of Publication

inproceedings

Title

Inferring decoding strategies from choice probabilities in the presence of correlated variability

All authors

Haefner, Ralf M. and Gerwinn, Sebastian and Macke, Jakob H. and Bethge, Matthias

Year

2013

Type of Publication

article

Title

Integrated Modeling for Safe Transportation (IMoST 2) - Driver Modeling & Simulation

Booktitle

Fortschritt-Berichte VDI

All authors

Weber, Lars and Steenken, R. and Lüdtke, Andreas

Year

2013

Type of Publication

conference

Title

Integrated Simulation of Attention Distribution and Driving Behavior

Booktitle

Proceedings of the 22nd Annual Conference on Behavior Representation in Modeling and Simulation

Title of Conference

22nd Annual Conference on Behavior Representation in Modeling and Simulation (BRIMS)

All authors

Wortelen, Bertram and Lüdtke, Andreas and Baumann, Martin

Year

2013

Type of Publication

inproceedings

Title

Leveraging Non-Intrusive TLM-2.0 Transaction Introspection for Power-Aware Virtual Prototyping

Booktitle

Indian SystemC User's Group Conference

All authors

Hartmann, Philipp A.

Year

2013

Type of Publication

inproceedings

Title

LNG für die niedersächsischen Häfen - Potentiale und Strategie

All authors

Denker, Christian and Hahn, Axel and Jensen, Uwe and Willnow, Antje

Year

2013

Type of Publication

techreport

Title

Modeling and verifying dynamic communication structures based on graph transformations

Booktitle

Computer Science - Research and Development

All authors

Eckardt, Tobias and Heinzemann, Christian and Henkler, Stefan and Hirsch, Martin and Priesterjahn, Claudia and Schäfer, Wilhelm

Year

2013

Type of Publication

article

Title

Modeling approach to multi-agent systems of human and machine agents: Application in design of early experiments for novel aeronautics systems

Booktitle

Proceedings of the 2013 11th IEEE International Conference on Industrial Informatics (INDIN)

Title of Conference

11th IEEE International Conference on Industrial Informatics (INDIN)

All authors

Lacko, Ivan and Moravek, Zdenek and Osterloh, Jan Patrick and Rister, Frank and Dehais, Frédéric and Scanella, Sebastien

Year

2013

Type of Publication

inproceedings

Title

Modeling Options for Demand Side Participation of Thermostatically Controlled Loads

Booktitle

Bulk Power System Dynamics and Control - IX Optimization, Security and Control of the Emerging Power Grid (IREP), 2013 IREP Symposium

All authors

Kamgarpour, Maryam and Ellen, Christian and Esmaeil Zadeh Soudjani, Sadegh and Gerwinn, Sebastian and Mathieu, Johanna L. and Müllner, Nils and Abate, Alessandro and Callaway, Duncan S. and Fränzle, Martin and Lygeros, John

Year

2013

Type of Publication

inproceedings

Title

Modelling, simulation and advanced tracing for extra-functional properties in SystemC

Booktitle

European SystemC Users' Group Meeting

All authors

Hartmann, Philipp A.

Year

2013

Type of Publication

inproceedings

Title

Performance and Energy Modeling and Analysis in COMPLEX Virtual Platform

Title of Conference

embedded world Conference 2013

All authors

Grüttner, Kim and Hartmann, Philipp A. and Oppenheimer, Frank

Year

2013

Type of Publication

misc

Title

Power Contracts: A Formal Way Towards Power-Closure?!

Title of Conference

23th International Workshoip on Power and Timng Modeling, Optimization and Simulation (PATMOS'13)

All authors

Nitsche, Gregor and Grüttner, Kim and Nebel, Wolfgang

Year

2013

Type of Publication

inproceedings

Title

Preliminary Studies in Situation Awareness & Adaptive Bridge Design

Booktitle

Proceedings: FAROS Workshop 2013

All authors

Randall, Gary and Allen, Paul and Sobiech, Cilli

Year

2013

Type of Publication

inproceedings

Title

Profilbasierte Energieabschätzung integrierter Schaltungen auf algorithmischer Ebene

Booktitle

MBMV

All authors

Kosmann, Lars and Reimer, Axel and Helms, Domenik and Nebel, Wolfgang

Year

2013

Type of Publication

inproceedings

Title

Real-Time Scheduling Interfaces and Contracts for the Design of Distributed Embedded Systems

Title of Conference

IEEE International Symposium on Industrial Embedded Systems (SIES) 2013

All authors

Stierand, Ingo and Reinkemeier, Philipp and Gezgin, Tayfun and Bhaduri, Purandar

Year

2013

Type of Publication

inproceedings

Title

Reducing Re-verification Effort by Requirement-Based Change Management

Booktitle

Embedded Systems: Design, Analysis and Verification

All authors

Oertel, Markus and Rettberg, Achim

Year

2013

Type of Publication

inproceedings

Title

RELY - Design for Reliability of SoCs

Booktitle

Proceedings of the 2013 IEEE European Test Symposium

All authors

Helms, Domenik and Eilers, Reef and Oppenheimer, Frank and Nebel, Wolfgang

Year

2013

Type of Publication

inproceedings

Title

Requirements Engineering

Booktitle

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

All authors

Oertel, Markus and Malot, Marc and Baumgart, Andreas and Becker, Jan Steffen and Bogusch, Ralf and Farfeleder, Stefan and Gerber, Nora and Haugen, Oystein and Häusler, Stefan and Josko, Bernhard and others

Year

2013

Type of Publication

incollection

Projects - fast access