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 1136 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 State-Based RT Analysis of FSM-SADFGs on MPSoCs with Shared Memory Communication

Booktitle

Integrating Dataflow, Embedded computing and Architecture (IDEA'2016)

All authors

Ralf Stemmer and Maher Fakih and Kim Grüttner and Wolfgang Nebel

Year

2016

Type of Publication

inproceedings

Title

Teaching Mixed-Criticality: Multi-Rotor Flight Control and Payload Processing on a Single Chip

Booktitle

Proceedings of the 2015 Workshop on Embedded and Cyber-Physical Systems Education (WESE)

All authors

Henning Schlender and Sören Schreiner and Malte Metzdorf and Kim Grüttner and Wolfgang Nebel

Year

2015

Type of Publication

inproceedings

Title

Temporal Decoupling with Error-Bounded Predictive Quantum Control

Booktitle

Forum on Specification and Design Languages (FDL), 2015

All authors

Gläser, G. and Nitsche, G. and Hennig, E.

Year

2015

Type of Publication

inproceedings

Title

Tool-based Task Modelling of Medical Human Machine Interfaces in press

Booktitle

Tagungsband 11. Berliner Werkstatt Mensch-Maschine-Systeme

All authors

Sebastian Feuerstack

Year

2015

Type of Publication

inproceedings

Title

Towards Satisfaction Checking of Power Contracts in Uppaal

All authors

Gregor Nitsche and Kim Grüttner and Wolfgang Nebel

Year

2015

Type of Publication

inbook

Title

Tracing of Informal and Formal Requirements through Model Variables - SKY 2015 Challenge

Booktitle

Proceedings of SKY 2015 - 6th International Workshop on Software Knowledge

All authors

Martin Böschen and Christian Rudat

Year

2015

Type of Publication

inproceedings

Title

Towards Creating Flexible Tool Chains for the Design and Analysis of Multi-Core Systems

Booktitle

Software Engineering (Workshops)

All authors

Reinkemeier, Philipp and Hille, Heinz and Henkler, Stefan

Year

2014

Type of Publication

inproceedings

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

Type of Publication

inproceedings

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

>> 1 2 3

no news in this list.

Projects - fast access