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

SPIRIT IP-XACT controlled design flow applied on a high level communication synthesis

All authors

Vaumorin, Emanuel and Grabbe, Cornelia and Oppenheimer, Frank and Thibaut, Vincent

Year

2007

Type of Publication

manual

Title

SUCCESS rate and factors of IT-Projects 2006 in Germany

Booktitle

International Conference on Software Engineering Research and Practice

All authors

Buschermöhle, Ralf and Eekhoff, Heike and Josko, Bernhard

Year

2007

Type of Publication

inproceedings

Title

SUCCESS: Erfolgsfaktoren aktueller IT-Projekte in Deutschland

Booktitle

OBJEKTspektrum

All authors

Buschermöhle, Ralf and Eekhoff, Heike and Josko, Bernhard

Year

2007

Type of Publication

article

Title

System Level Optimization of Static Power Consumption in Nano-CMOS Circuits

Booktitle

Proceedings of the 14th International Conference MIXDES 2007

All authors

Helms, Domenik

Year

2007

Type of Publication

inproceedings

Title

System Level Optimization of Static Power Consumption in Nano-COMS Circuits

Title of Conference

MIXDES

All authors

Helms, Domenik

Year

2007

Type of Publication

proceedings

Title

The Adaptive Fridge - Comparing different control schemes for enhancing load shifting of electricity demand

All authors

Stadler, Michael and Krause, Wolfram and Sonnenschein, Michael and Vogel, Ute

Year

2007

Type of Publication

unpublished

Title

The ANDRES Project : Analysis and Design of run-time reconfigurable, heterogeneous Systems

Booktitle

Proceedings of 2007 International Conference on Field Programmable Logic and Applications

Title of Conference

FPL 2007 Amsterdam

All authors

Herrholz, Andreas and Oppenheimer, Frank and Hartmann, Philipp A. and Schallenberg, Andreas and Nebel, Wolfgang and Damm, M. and Herrera, F. and Villar, E. and Sander, I. and Jantsch, A. and Fouilliart, A.-M. and Martinez, Marcos

Year

2007

Type of Publication

inproceedings

Title

The Temporal Logic of Appearance and Disappearance

Booktitle

Reports of SFB/TR 14 AVACS

All authors

Bauer, Jörg and Toben, Tobe and Westphal, Bernd

Year

2007

Type of Publication

techreport

Title

Towards Context-Aware Workflows

Booktitle

Proceedings of Workshop on Ubiquitous Mobile Information and Collaboration Systems (Caise'07) Workshop

All authors

Wieland, Matthias and Kopp, Oliver and Nicklas, Daniela and Leymann, Frank

Year

2007

Type of Publication

inproceedings

Title

Translation Correctness for First-Order Object-Oriented Pattern Matching

Booktitle

The Fifth ASIAN Symposium on Programming Languages and Systems (APLAS 2007)

All authors

Emir, Burak and Ma, Qin and Odersky, Martin

Year

2007

Type of Publication

inproceedings

Title

Unterstützung der Systemgestaltung durch die Simulation des Kommunikationsflusses in erweiterten Aufgabenmodellen

Booktitle

Simulationsgestützte Systemgestaltung

Title of Conference

49. Fachauschusssitzung Anthropotechnik

All authors

Mistrzyk t., Szwillus G.

Year

2007

Type of Publication

inproceedings

Title

Uppaal/DMC - Abstraction-based Heuristics for Directed Model Checking

Booktitle

Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

All authors

Kupferschmid, Sebastian and Dräger, Klaus and Hoffmann, Jörg and Finkbeiner, Bernd and Henning Dierks and Aandreas Podelski and Gerd Behrmann

Year

2007

Type of Publication

inproceedings

Title

Using Ontologies to Model and Understand Product Development

All authors

Hahn, Axel and Hausmann, Kevin and Häusler, Stefan and Strickmann, Jan

Year

2007

Type of Publication

article

Title

Verification and Synthesis of OCL Constraints via Topology Analysis

Title of Conference

3rd International Workshop on Applications of Graph Transformation with Industrial releVancE (AGTIVE 2007)

All authors

Bauer, Jörg and Damm, Werner and Toben, Tobe and Westphal, Bernd

Year

2007

Type of Publication

inproceedings

Title

VisPara - VISsualization of Paralogs

Title of Conference

5th Annual Cytoscape Public Symposium and Developers Retreat

All authors

Schwarz, Christoph and Siemer, Christian

Year

2007

Type of Publication

inproceedings

Title

Voltage- and ABB_Island Optimization in High Level Synthesis

Booktitle

Intl. Symposium on Low Power Electronic Design

Title of Conference

ISLPED

All authors

Helms, Domenik and Meyer, Olaf and Hoyer, Marco and Nebel, Wolfgang

Year

2007

Type of Publication

inproceedings

Title

A macro-based approach to use partially defective FPGAs

Booktitle

VLSI-SoC 2006 -- PhD Forum Digest of Papers

All authors

Frimont, Sven

Year

2006

Type of Publication

inproceedings

Title

A Multi-Phase Deadlock Detection Method for Reactive Systems Based on UML Models

All authors

Kersten, Michael

Year

2006

Type of Publication

phdthesis

Title

Accurate PTV, State, and ABB Aware RTL Blackbox Modeling of Subthreshold, Gate, and PN-Junction Leakage

Booktitle

Tagungsband

Title of Conference

PATMOS 2006

Year

2006

Type of Publication

inproceedings

Title

Adapting an AI Planning Heuristic for Directed Model Checking

Booktitle

13th International SPIN Workshop on Model Checking of Software

All authors

Kupferschmid, S. and Hoffmann, J. and Dierks, H. and Behrmann, G.

Year

2006

Type of Publication

inproceedings

Title

Adding Value to Automotive Models

Booktitle

Automotive Software - Connected Services in Mobile Networks. First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004,

All authors

Böde, Eckard and Damm, Werner and Hoyem, Jarl and Josko, Bernhard and Niehaus, Jürgen and Segelken, Marc

Year

2006

Type of Publication

inproceedings

Title

Adding Value to automotive models

Booktitle

Automotive Software - Connected Services in Mobile Networks

Title of Conference

ARTIST and NSF Workshop on Automotive Software Development

All authors

Eckard Böde and Werner Damm and Jarl Hoyem and Bernhard Josko and Jürgen Niehaus and Marc Segelken

Year

2006

Type of Publication

article

Title

An Optimal Approach to the Task Allocation Problem on Hierarchical Architectures.

Booktitle

Proceedings of the 20th IEEE International Parallel and Distributed Processing Symposium

All authors

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

Year

2006

Type of Publication

inproceedings

Title

Analysis and Modeling of Subthreshold Leakage of RT-Components under PTV and State Variation

Booktitle

Tagungsband

Title of Conference

Intl. Symposium on Low Power Electronic Design

All authors

Helms, Domenik and Ehmen, Günter and Nebel, Wolfgang

Year

2006

Type of Publication

inproceedings

Title

Analysis of Large Safety-Critical Systems: A quantitative Approach

Booktitle

AVACS Technical Report

All authors

Herbstritt, Marc and Wimmer, Ralf and Peikenkamp, Thomas and Böde, Eckard and Adelaide, Michael and Johr, Sven and Hermanns, Holger and Becker, Bernd

Year

2006

Type of Publication

techreport

Projects - fast access