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

A discrete-time UML semantics for concurrency and communication in safety-critical applications

All authors

Damm, Werner and Josko, Bernhard and Pnueli, Amir and Votintseva, Angelika

Year

2005

Type of Publication

article

Title

A High Level Constant Coefficient Multiplier Power Model for Power Estimation on High Levels of Abstraction

Booktitle

Tagungsband: Integrated Circuit and System Design

All authors

Schulz, Arne and Schallenberg, Andreas and Helms, Domenik and Schulte, Milan and Reimer, Axel and Nebel, Wolfgang

Year

2005

Type of Publication

inproceedings

Title

Accuracy of leakage models: Voltage and temperature de-rating

All authors

Helms, Domenik

Year

2005

Type of Publication

techreport

Title

An Environment for Compositional Specification and Verification of Complex Embedded Systems

All authors

Wittke, Hartmut

Year

2005

Type of Publication

phdthesis

Title

Analyse von PDM-Daten zum Entwicklungscontrolling

Booktitle

Informations- und Wissensdrehscheibe Produktmanagement

All authors

Strickmann, Jens and Abels, Sven and Hahn, Axel

Year

2005

Type of Publication

inproceedings

Title

Benefits of Integrating Meta Data into a Context Model

Booktitle

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

All authors

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

Year

2005

Type of Publication

inproceedings

Title

Boosting Re-use of Embedded Automotive Applications Through Rich Components

Booktitle

Proceedings, FIT 2005 - Foundations of Interface Technologies

All authors

Damm, Werner and Votintseva, Angelika and Metzner, Alexander and Josko, Bernhard and Peikenkamp, Thomas and Böde, Eckard

Year

2005

Type of Publication

inproceedings

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

Projects - fast access