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

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

The COMPLEX reference framework for HW/SW Co-Design and Power Management Supporting Platform-Based Design-Space Exploration

All authors

Gruettner, Kim and Hartmann, Philip A. and Hylla, Kai and Rosinger, Sven and Nebel, Wolfgang and Herrera, F. and Villar, E. and Brandolese, C. and Formaciari, W. and Palermo, G. and Ykman-Couvreur, C. and Quagila, D. and Ferrero, F. and Valencia, R.

Year

2013

Type of Publication

article

Title

The learning of longitudinal human driving behavior and driver assistance strategies

All authors

Eilers, Mark and Möbus, Claus and Tango, Fabio and Pietquin, Olivier

Year

2013

Type of Publication

article

Title

Tool based Assessment of Electromobility in Urban Logistics

Booktitle

Soft Computing for Business Intelligence

All authors

Hoerstebrock, Tim and Hahn, Axel and Sauer, Jürgen

Year

2013

Type of Publication

inbook

Title

Towards a Multi-agent Platform for Cyber-Physical Systems Based on Low-Power Microcontroller for Automated Intralogistics

Booktitle

Proceedings of the 10th International Conference on Informatics in Control, Automation and Robotics

Title of Conference

ICINCO 2013 - 10th International Conference on Informatics in Control, Automation and Robotics

All authors

Stasch, Arne and Hahn, Axel

Year

2013

Type of Publication

inproceedings

Title

Towards Performance Analysis of SDFGs Mapped to Shared-Bus Architectures Using Model-Checking

Booktitle

Proceedings of the Conference on Design, Automation and Test in Europe (DATE) 2013

All authors

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

Year

2013

Type of Publication

inproceedings

Title

Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems

All authors

Sangiovanni-Vincentelli, Alberto and Damm, Werner and Passerone, Roberto

Year

2012

Type of Publication

article

Title

Technical Viewpoint

Booktitle

Model-Based Engineering of Embedded Systems

All authors

Weber, Raphael and Reinkemeier, Philipp and Henkler, Stefan and Stierand, Ingo

Year

2012

Type of Publication

incollection

Title

Technical Viewpoint

Booktitle

Model-Based Engineering of Embedded Systems

All authors

Weber, Raphael and Reinkemeier, Philipp and Henkler, Stefan and Stierand, Ingo

Year

2012

Type of Publication

incollection

Title

The Columbus module as a Technology Demonstrator for Innovative Failure Management

Booktitle

Proceedings of the Deutscher Luft- und Raumfahrtkongress des DGLR

Title of Conference

Deutscher Luft- und Raumfahrtkongress des DGLR

All authors

Noack, E. and Luedtke, A. and Schmitt, I. and Noack, T. and Schaumlöffel, E. and Hauke, E. and Stamminger, J. and Frisk, E.

Year

2012

Type of Publication

inproceedings

Title

The COMPLEX Virtual Platform Design Approach for Performance and Energy Efficient Embedded Systems: A European Research Perspective

Title of Conference

Embedded SW Development on Virtual Platforms Workshop - Ready for Prime Time?

All authors

Grüttner, Kim and Oppenheimer, Frank

Year

2012

Type of Publication

misc

Title

Towards a new Methodology for Designing Dynamic Distributed Cooperative Human-Machine Systems

Booktitle

Advances in Human Aspects of Aviation

Title of Conference

4th International Conference on Applied Human Factors and Ergonomics (AHFE) 2012

All authors

Tango, Fabio and Heers, Rainer and Baumann, Martin and Ronflé-Nadaud, Catherine and Osterloh, Jan-Patrick and Lüdtke, Andreas

Year

2012

Type of Publication

inproceedings

Title

Towards a Rigorous Modeling Formalism for Systems of Systems

Title of Conference

Third IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2012

All authors

Gezgin, Tayfun and Etzien Christoph and Henkler, Stefan, Rettberg, Achim

Year

2012

Title

Towards Cooperative Cognitive Models in Multi-Agent Systems

Booktitle

COGNITIVE 2012, The Fourth International Conference on Advanced Cognitive Technologies and Applications

Title of Conference

COGNITIVE 2012, The Fourth International Conference on Advanced Cognitive Technologies and Applications

All authors

Lenk, Jan Charles and Droste, Rainer and Sobiech, Cilli and Lüdtke, Andreas and Hahn, Axel

Year

2012

Type of Publication

inproceedings

Title

Towards Decentralised AGV Control With Negotiations

Booktitle

Proceedings of the Sixth Starting AI Researchers' Symposium

Title of Conference

STAIRS 2012

All authors

Schwarz, Christoph and Sauer, Jürgen

Year

2012

Type of Publication

inproceedings

Title

Towards Performance and Energy Efficient Embedded System Design using Virtual Platforms

Title of Conference

The 2012 Electronic System Level Synthesis Conference (ESLsyn)

All authors

Grüttner, Kim and Hartmann, Philipp A. and Fandrey, Tiemo and Hylla, Kai and Helms, Domenik and Oppenheimer, Frank and Nebel, Wolfgang and Rettberg, Achim

Year

2012

Type of Publication

misc

Title

Transformation of Event-Driven HDL Blocks for Native Integration into Time-Driven System Models

Booktitle

Proceedings of FDL 2012

Title of Conference

Forum on Specification and Design Languages

All authors

Görgen, Ralph and Oetjens, Jan-Hendrik and Nebel, Wolfgang

Year

2012

Type of Publication

inproceedings

Title

Taming Dr. Frankenstein: Contract-Based Design for Cyber-physical Systems

Title of Conference

50th IEEE Conference on Decision and Control and European Control Conference

All authors

Sangiovanni-Vincentelli, Alberto and Damm, Werner and Passerone, Roberto

Year

2011

Type of Publication

inproceedings

Title

Techniques and Tools for Model-based Analysis of Pilot-Cockpit Interaction

Title of Conference

6th European Aeronautics Days (Aerodays)

All authors

Lüdtke, A., Javaux, D.

Year

2011

Type of Publication

inproceedings

Title

Technology Transfer from Research to Application and vice versa

Title of Conference

NGI-Kongress

All authors

Nebel, Wolfgang

Year

2011

Type of Publication

misc

Title

The COMPLEX ESL Framework for Timing and Power Aware Rapid Prototyping of HW/SW Systems

Title of Conference

Design, Automation & Test in Europe (DATE) 2011

All authors

Grüttner, Kim

Year

2011

Type of Publication

misc

Title

The Degree of Masking Fault Tolerance vs. Temporal Redundancy

Title of Conference

International Conference on Advanced Information Networking and Applications

All authors

Müllner, Nils and Theel, Oliver

Year

2011

Type of Publication

inproceedings

Title

The Difference Matters: Benchmarking Visual Performance of a Cognitive Pilot Model

Title of Conference

Interact 2011

All authors

Frische, Florian and Lüdtke, Andreas

Year

2011

Type of Publication

inproceedings

Title

The influence of predictability and frequency of events on the gaze behaviour while driving

Booktitle

Human Modelling in Assisted Transportation

Title of Conference

Human Modelling in Assisted Transportation

All authors

Kaul, Robert and Baumann, Martin and Wortelen, Bertram

Year

2011

Type of Publication

inproceedings

>> 1 2 3

Projects - fast access