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

Controlling speculative design processes using rich component models

Booktitle

5th International Conference on Application of Concurrency to System Design (ACSD 2005)

All authors

Damm, Werner

Year

2005

Type of Publication

inproceedings

Title

DCbot: Exploring the Web as Value-Added Service for Location-Based Applications.

Title of Conference

Proceedings of the 21st International Conference on Data Engineering (Demonstrations)

All authors

Jakob Mihály and Großmann, Matthias and Hönle, Nicola and Nicklas, Daniela

Year

2005

Type of Publication

inproceedings

Title

DCbot: Finding Spatial Information on the Web

Booktitle

Database Systems for Advanced Applications, 10th International Conference, {DASFAA} 2005, Beijing, China

All authors

Jakob Mihály and Großmann, Matthias and Nicklas, Daniela and Mitschang, Bernhard

Year

2005

Type of Publication

inproceedings

Title

Designing for dynamic partially reconfigurable FPGAs with SystemC and OSSS

Booktitle

Advances in Design and Specification Languages for SoCs

All authors

Schallenberg, Andreas and Oppenheimer , Frank and Nebel, Wolfgang

Year

2005

Type of Publication

inbook

Title

Durchgängiges Kommunikationsdesign für den strukturalen, objektorientierten Hardware-Entwurf

All authors

Putzke-Röming, Wolfram

Year

2005

Type of Publication

phdthesis

Title

Efficient Feasibility Analysis for Real-time systems with EDF-Scheduling

Booktitle

IEEE Proceeding of the Conference Design, Automation and Test in Europe (DATE) 2005

All authors

Albers, Karsten and Slomka, Frank

Year

2005

Type of Publication

inproceedings

Title

Efficiently Managing Context Information for Large-Scale Scenarios.

Booktitle

3rd IEEE International Conference on Pervasive Computing and Communications PerCom 2005, 8-12 March 2005, Kauai Island, HI, USA

All authors

Grossmann, Matthias and Bauer, Martin and Hönle, Nicola and Käppeler Uwe-Philipp and Nicklas, Daniela and Schwarz, Thomas

Year

2005

Type of Publication

inproceedings

Title

Embedded Java Prozessor für Echtzeitsysteme

All authors

Wessels, Hauke

Year

2005

Type of Publication

mastersthesis

Title

Entwurf und Implementierung einer HW/SW-Umgebung zur Anbindung einer Emulationsplattform an einen HW-Simulator

All authors

Jaeger, Andreas

Year

2005

Type of Publication

mastersthesis

Title

Evaluierung einer TDMA Timeslot und Tum Optimierung

All authors

Rosenow, Sven

Year

2005

Type of Publication

misc

Title

Experimentelle Evaluierung der Laufzeiteigenschaften von neuen Verfahren zur Echtzeitanalyse

All authors

Nyhof, Michael

Year

2005

Type of Publication

misc

Title

Federating Location-Based Data Services

All authors

Mitschang, Bernhard and Nicklas, Daniela and Großmann, Matthias and Schwarz, Thomas and Hönle, Nicola

Year

2005

Type of Publication

incollection

Title

Finding Optimal Plans for Domains with Continuous Effects with UPPAAL CORA

Booktitle

Proceedings of the ICAPS'05 Workshop on Verification and alidation of Model-Based Planning and Scheduling Systems

All authors

Dierks, Henning

Year

2005

Type of Publication

inproceedings

Title

Formal Verification of a Sensor Voting and Monitoring UML Model

Title of Conference

4th International Workshop on Critical Systems Development Using Modeling Languages (CSDUML 2005)

All authors

Mrugalla, Christian and Robbe, Oliver and Schinz, Ingo and Toben, Tobe and Westphal, Bernd

Year

2005

Type of Publication

inproceedings

Title

Guaranteed termination in the verification of LTL properties of non-linear robust hybrid systems.

Booktitle

Automated Technology for Verification and Analysis (ATA)

All authors

Damm, W. and Pinto, G. and Ratschan, S.

Year

2005

Type of Publication

inproceedings

Title

Hardware/Software Co-Synthesis of Real-Time Systems with Approximated Analysis Algorithms

Booktitle

Tagungsband: Model-based development of embedded systems

All authors

Slomka, Frank and Albers, Karsten

Year

2005

Type of Publication

inproceedings

Title

Herausforderungen und Ansätze für Kontextmodelle

Title of Conference

Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Bonn

All authors

Mitschang, Bernhard and Nicklas, Daniela

Year

2005

Type of Publication

inproceedings

Title

High-Level Power Estimation and Analysis

Booktitle

Low-Power Electronics Design

All authors

Nebel, Wolfgang and Helms, Domenik

Year

2005

Type of Publication

incollection

Title

Kommunikationsgetriebene Hardware/Software-Partitionierung eines Netzwerkprotokollstacks auf einer SoC-Plattform

Booktitle

INFORMATIK 2005 - Informatik LIVE!, Band 1

All authors

Grüttner, Kim and Beth, Carsten and Nebel, Wolfgang

Year

2005

Type of Publication

inproceedings

Title

Konzeption und Implementierung einer Evaluationsumgebung für energiebewusstes Task-Schedulding

All authors

Kraef, Heike

Year

2005

Type of Publication

mastersthesis

Title

Leakage Power Modeling, Estimation and Optimization

Booktitle

Tagungsband für die Workshopteilnehmer

All authors

Helms, Domenik

Year

2005

Type of Publication

misc

Title

Live and let die: LSC-based verification of UML models.

All authors

Damm, Werner and Westphal, Bernd

Year

2005

Type of Publication

article

Title

OOCOSIM - An Object-Oriented Co-design Method for Embedded HW / SW Systems

All authors

Oppenheimer, Frank

Year

2005

Type of Publication

phdthesis

Title

OOCOSIM - Eine objekt-orientierte Co-Designmethode für eingebettete Hardware/ Softwaresysteme

Booktitle

Tagungsband: INFORMATIK 2005, Informatik LIVE!, Band 2

All authors

Oppenheimer, Frank and Kersten, Michael and Nebel, Wolfgang

Year

2005

Type of Publication

inproceedings

Projects - fast access