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

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

Title

Contracts for Evolving Systems

Title of Conference

Self-Organizing Real-Time Systems 2013

All authors

Etzien, Christoph and Gezgin, Tayfun and Fröschle, Sibylle and Henkler, Stefan and Rettberg, Achim

Year

2013

Type of Publication

inproceedings

Title

CONTREX - Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties

Title of Conference

Cyber-Physical Systems: Uplifting Europe's innovation capacity

All authors

Grüttner, Kim

Year

2013

Type of Publication

misc

Title

Coupling of a descrete event multi agent simulation with real time mulit agent simulation

Booktitle

Proceedings of the 11th International Industrial Simulation Conference

All authors

Schwarz, Christoph and Schachmanow, Jurij and Sauer, Jürgen and Overmeyer, Ludger and Ullmann, Georg

Year

2013

Type of Publication

inproceedings

Title

DCoS-XML: A Modelling Language for Dynamic Distributed Cooperative Systems

Booktitle

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

All authors

Osterloh, Jan-Patrick and Bracker, Holger and Müller, Heiko and Kelsch, Johann and Schneider, Berhnard and Lüdtke, Andreas

Year

2013

Type of Publication

inproceedings

Title

Decentralized cooperative agv control - first results

Booktitle

Proceedings of the 27th Puk Workshop

Title of Conference

27th Puk Workshop

All authors

Schwarz, Christoph

Year

2013

Type of Publication

inproceedings

Title

Die „schlaue Stadt“ - Erzeugung virtueller Sensordaten für Smart City Anwendungen

Booktitle

BTW 2013 Proceedings

Title of Conference

15. GI-Fachtagung Datenbanksysteme für Business, Technologie und Web

All authors

Behrendt, Marcus and Böhm, Mischa and Borchers, Marina and Caylak, Mustafa and Eylert, Lena and Friedrichs, Robert and Höting, Dennes and Knefel, Kamil and Lottmann, Timo and Rehfeldt, Andreas and Runge, Jens and Schnabel, Sabrina-Cynthia and Janssen, Stephan and Nicklas, Daniela and Wurst, Michael

Year

2013

Type of Publication

inproceedings

Title

Discriminative Learning of a Probabilistic Driver Model Representing the Human Driving Behavior on Virtual Highways

Booktitle

Fahrermodellierung in Wissenschaft und Wirtschaft

All authors

Eilers, Mark and Möbus, Claus

Year

2013

Type of Publication

inproceedings

Title

Dynamic simulation and prediction of drivers' attention distribution

All authors

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

Year

2013

Type of Publication

article

Title

Early Power & Timing Estimation of Custom Hardware Blocks based on Automatically Generated Combinatorial Macros

Title of Conference

16. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV'2013)

All authors

Hylla, Kai and Hartmann, Philipp A. and Helms, Domenik and Nebel, Wolfgang

Year

2013

Type of Publication

inproceedings

Title

Embedded Systems: Design, Analysis and Verification

Booktitle

4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings

Title of Conference

4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013

All authors

Schirner, Gunar and Götz, Marcelo and Rettberg, Achim and Zanella, Mauro Cesar and Rammig, Franz J. (Hrsg.)

Year

2013

Type of Publication

proceedings

Title

Enabling Energy-Aware Design Decisions for Behavioural Descriptions Containing Black-Box IP-Components

Title of Conference

23th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS'13)

All authors

Kosmann, Lars and Lorenz, Daniel and Reimer, Axel and Nebel, Wolfgang

Year

2013

Type of Publication

inproceedings

Title

Energieeffiziente Software

Title of Conference

Wissenschaftsforum GreenIT 2013

All authors

Nebel, Wolfgang and Schomaker, Gunnar and Helms, Domenik

Year

2013

Type of Publication

misc

Projects - fast access