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

Performance Optimising Hardware Synthesis of Shared Objects

All authors

Grimpe, Eike

Year

2005

Type of Publication

phdthesis

Title

Power Estimation at all Levels of Abstraction

All authors

Nebel, Wolfgang and Papaefthymio, Marios

Year

2005

Type of Publication

article

Title

Predictable and Efficient Architectures for Real-Time System Synthesis

Booktitle

Proceedings of the Workshop on Embedded Real-Time Systems Implementation

All authors

Metzner, Alexander

Year

2005

Type of Publication

inproceedings

Title

Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications

Booktitle

FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-20, 2005, Proceedings

All authors

Eissler, Stefan and Scheidler, Christian and Josko, Bernhard and Sandmann, Guido and Stroop, Joachim

Year

2005

Type of Publication

inproceedings

Title

Requirements on Hardware/Software Communication Design based on Abstract Communication Models

All authors

Grabbe, Cornelia and Oppenheimer, Frank and Schubert, Thorsten

Year

2005

Type of Publication

techreport

Title

RTSAT - Scheduling Tasks in Distributed Real-Time Systems by Satisfiability Checking

Booktitle

Proceedings of the IEEE Real-Time Systems Symposium

All authors

Metzner, Alexander and Herde, Christian

Year

2005

Type of Publication

inproceedings

Title

Scheduling Distributed Real-Time Systems by Satisfiability Checking

Booktitle

Proceedings of the IEEE Conference on Embedded and Real-Time Computing Systems and Applications.

All authors

Metzner, A. and Fränzle, M. and Herde, C. and Stierand, I.

Year

2005

Type of Publication

inproceedings

Title

Shared Dynamic Context Models: Benefits for Advanced Sensor Data Fusion for Autonomous Robots

Booktitle

Proc. of Artificial Intelligence and Applications 2005

All authors

Käppeler Uwe-Philipp and Kindermann, Georg and Nicklas, Daniela and Hönle, Nicola and Dudkowski, Dominique

Year

2005

Type of Publication

inproceedings

Title

Smart Systems: Explorierende Roboter in der Lehre

Booktitle

Tagungsband: INFORMATIK 2005, Informatik LIVE!, Band1

All authors

Albers, Karsten and Beth, Carsten and Frimont, Sven and Kaczoreck, Nicole and Nebel, Wolfgang and Schallenberg, Andreas and Slomka, Frank

Year

2005

Type of Publication

inproceedings

Title

SMIs: Small and Medium Size Research Institutes

Booktitle

Programm BIS 2005

All authors

Nebel, Wolfgang

Year

2005

Type of Publication

misc

Title

Specification of Hardware/Software Communication Design Methodology based on Abstract Communication Models

All authors

Grabbe, Cornelia and Grüttner, Kim and Schubert, Thorsten and Oppenheimer, Frank

Year

2005

Type of Publication

techreport

Title

System-Level Design for Low-Power

Booktitle

Tagungsband für die Workshopteilnehmer

All authors

Nebel, Wolfgang

Year

2005

Type of Publication

inproceedings

Title

Verfahren zur Bestimmung von Verklemmungen in nebenläufigen Prozessen

All authors

Kersten, Michael

Year

2005

Type of Publication

misc

Title

Verfahren zur Herstellung von computergestützten Echtzeitsystemen

All authors

Münzenberger, Ralf and Slomka, Frank and Dörfel, Matthias and Bringmann, Oliver

Year

2005

Type of Publication

misc

Title

Verlustleistungsabschätzung und -optimierung auf hohen Abstraktionsebenen: Modellierung von Funktionskomponenten und Leistungslängenabschätzung

Booktitle

In INFORMATIK 2005 - Informatik LIVE!, Band 1

All authors

Schulz, Arne and Nebel, Wolfgang

Year

2005

Type of Publication

inproceedings

Title

Web-Kommunikation mit OpenSource

All authors

Möbus, C.

Year

2005

Type of Publication

book

Title

Zuverlässige Software durch den Einsatz von UML, MDA und der Programmiersprache Ada

Booktitle

Tagungsband

All authors

Matthes, Jörg and Keller, Hubert B. and Heker, Wolf-Dieter and Kersten, Michael and Fouda, Christian

Year

2005

Type of Publication

inproceedings

Title

A Library for Managing Spatial Context Using Arbitrary Coordinate Systems

Booktitle

2nd {IEEE Conference on Pervasive Computing and Communications Workshops {(PerCom} 2004 Workshops), 14-17 March 2004, Orlando, FL, USA

All authors

Schwarz, Thomas and Hönle, Nicola and Grossmann, Matthias and Nicklas, Daniela

Year

2004

Type of Publication

inproceedings

Title

A Multiobjective Tabu Search Algorithm for the Design Space Exploration of embedded Systems

Booktitle

Tagungsband: Dipes

All authors

Slomka, Frank and Albers, Karsten and Hofmann, Richard

Year

2004

Type of Publication

inproceedings

Title

A Navigation System Concept for an Indoor Micro Air Vehicle

Booktitle

First European Micro Air Vehicle Conference and Flight Competition

All authors

Eich, M. and Kemper, M., Fatikow, S.

Year

2004

Type of Publication

inproceedings

Title

AccesSights - A Multimodal Location-Aware Mobile Tourist Information System

Booktitle

Proceedings of the 9th International Conference on Computers Helping People with Special Needs (ICCHP '04)

All authors

Klante, Palle and Krösche, Jens and Boll, Susanne

Year

2004

Type of Publication

inproceedings

Title

An Event Stream Driven Approximation for the Analysis of Real-Time Systems

Booktitle

IEEE Proceedings of the 16th Euromicro Conference on Real-Time Systems

All authors

Albers, Karsten and Slomka, Frank

Year

2004

Type of Publication

inproceedings

Title

Design and Implementation Issues for Explorative Location-based Applications: the NexusRallye

Booktitle

Proceedings for the VI Brazilian Symposium on GeoInformatics

All authors

Nicklas, Daniela and Hönle, Nicola and Moltenbrey, Michael and Mitschang, Bernhard

Year

2004

Type of Publication

inproceedings

Title

Designing for dynamic partially reconfigurable FPGAs with SystemC and OSSS.

Booktitle

Procedings of: Forum on Specification and Design Languages 2004

All authors

Schallenberg, Andreas and Oppenheimer , Frank and Nebel, Wolfgang

Year

2004

Type of Publication

inproceedings

Projects - fast access