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 1022 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 KNX devices from an interactive 3D environment

Booktitle

KNX Scientific Conference Contact and further information: Tagungsband KNX Scientific Conference 2007

All authors

Ommen, Dennis and Behrensen, Stefan and Busemann, Claas and Martens, Birger and Kamenik, Jens and Brucke, Matthias

Year

2007

Type of Publication

inproceedings

Title

CSP with Synthesisable SystemC and OSSS

Booktitle

Proceeding of the FDL 2007

Title of Conference

Specification & Design Languages

All authors

Brunzema, Claus and Nebel, Wolfgang

Year

2007

Type of Publication

inproceedings

Title

Die Testperson ist virtuell

Booktitle

DLR Nachrichten, November 2007

All authors

Lüdtke, Andreas

Year

2007

Type of Publication

techreport

Title

Die Testperson ist virtuell

All authors

Lüdtke, Andreas

Year

2007

Type of Publication

article

Title

Distributed Power Generation: Requirements and Recommendations for an ICT Architecture

Booktitle

Information Technologies in Environmental Engineering - ITEE 2007 - Third International ICSC Symposium

All authors

Winkels, Ludger and Osterloh, Jan-Patrick and Gruening, Fabian and Boers, Dave and Tröschel, Martin and Schmedes, Tanja and Uslar, Mathias

Year

2007

Type of Publication

inproceedings

Title

Driver Modelling: Two-Point- or Inverted Gaze-Beam-Steering

Booktitle

Prospektive Gestaltung von Mensch-Technik-Interaktion

Title of Conference

7. Berliner Werkstatt Mensch-Maschine-Systeme

All authors

Möbus, C. and Hübner, S. and Garbe, H.

Year

2007

Type of Publication

inproceedings

Title

Effizienzanalyse methodenbasierter Hardware/Software Kommunikation aus Synthesesicht

All authors

Kleen, Henning

Year

2007

Type of Publication

mastersthesis

Title

Ein makrobasierter Ansatz zur Verbesserung der Ausbeute in der Produktion von FPGAs

Booktitle

Zuverlässigkeit und Entwurf 2007

Title of Conference

GMM/GI/ITG- Fachtagung Zuverlässigkeit und Entwurf 2007

All authors

Frimont, Sven and Nebel, Wolfgang

Year

2007

Type of Publication

inproceedings

Title

Eine Fallstudie zur dynamischen Rekonfiguration von Hardware: "Pain or Gain?"

Booktitle

Tagungsband des 10. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"

Year

2007

Type of Publication

inproceedings

Title

Exact state set representations in the verification of linear hybrid systems with large discrete state-space

Booktitle

Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007

All authors

Damm, Werner and Disch, Stefan and Hungar, Hardi and Jacobs, Swen and Pang, Jun and Pigorsch, Florian and Scholl, Christoph and Waldmann, Uwe and Wirtz, Boris

Year

2007

Type of Publication

inproceedings

Title

Exploration, Partitioning and Simulation of Reconfigurable Systems

All authors

Dittmann, Florian and Rammig, Franz and Streubühr, Martin and Haubelt, Christian and Schallenberg, Andreas and Nebel, Wolfgang

Year

2007

Type of Publication

article

Title

Federated Spatial Cursors

Title of Conference

Proceedings of the VIII Brazilian Symposium on GeoInformatics : GeoInfo2006

All authors

Cipriani Nazario and Grossmann, Matthias and Nicklas, Daniela and Mitschang, Bernhard

Year

2007

Type of Publication

inproceedings

Title

From High-Level Verification to Real-Time Scheduling: A Property-Preserving Integration

All authors

Faber, Johannes and Stierand, Ingo

Year

2007

Type of Publication

techreport

Title

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

Booktitle

International Journal of Foundations of Computer Science

All authors

Werner Damm and Guilherme Pinto and Stefan Ratschan

Year

2007

Type of Publication

article

Title

Human Error Analysis Based on a Semantically Defined Cognitive Pilot Model

Booktitle

26th International Conference on Computer Safety, Reliability and SecurityComputer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007

All authors

Lüdtke, Andreas and Pfeiffer, Lothar

Year

2007

Type of Publication

inproceedings

Title

Interoperable Human Performance Modelling of Distributed Cognitive Agents

Booktitle

10th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (IFAC-HMS 2007)

All authors

Lüdtke, Andreas and Leuchter, Sandro and Urbas, Leon

Year

2007

Type of Publication

inproceedings

Title

Koordination dezentraler Kraft-Wärme-Kopplungsanlagen für die Verwendung einer netzorientierten Betriebsweise im Verbund

Booktitle

Tagungsband zum ETG-Kongress 2007

All authors

Korte, Mario and Tröschel, Martin and Schulz, Christian and Pielke, Magnus and Kurrat, Micheal and Slomka, Frank

Year

2007

Type of Publication

inproceedings

Title

Latency Optimization for a Reconfigurable, Self-Timed and Bit-Serial Architecture

Booktitle

Proceedings of the 2007 International Conference on Engineering of Reconfigurable Systems & Algorithms

Title of Conference

ERSA 2007

All authors

Dittmann, Florian and Rettberg, Achim and Weber, Raphael

Year

2007

Type of Publication

inproceedings

Title

Logic design techniques for 65 to 45nm and below for reducing total energy and solving technology variations problems

Booktitle

Proceedings on the 14th IEEE Internactional Conference on Electronics, Circuits, and Systems

Title of Conference

14th IEEE Internactional Conference on Electronics, Circuits, and Systems

All authors

Helms, Domenik and Nebel, Wolfgang

Year

2007

Type of Publication

inproceedings

Title

Mind the Shapes: Abstraction Refinement via Topology Invariants

Title of Conference

5th International Symposium on Automated Technology for Verification and Analysis (ATVA 2007)

All authors

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

Year

2007

Type of Publication

inproceedings

Title

Modellierung von Komplexität und Qualität als Faktoren von Produktivität in Design-Flows für integrierte Schaltungen

Booktitle

edaWorkshop 07

All authors

Häusler, Stefan and Poppen, Frank and Hausmann, Kevin and Preis, Sonja and Hahn, Axel and Nebel, Wolfgang and Leppelt, Peter and Hassine, Amir and Barke, Erich

Year

2007

Type of Publication

inproceedings

Title

Modelling and Synthesis of Adaptive SoC

Title of Conference

Workshop on Reconfigurable Systems-on-Chip

All authors

Oppenheimer, Frank

Year

2007

Type of Publication

misc

Title

Modelling the impact of high level leakage optimization techniques on the delay of RT-components

Booktitle

Proceedings of the PATMOS 2007

All authors

Hoyer, M. and Helms, D. and Nebel, W.

Year

2007

Type of Publication

inproceedings

Title

Nexus-A Global, Active, and 3D Augmented Reality Model

Booktitle

Photogrammetic Week '07

All authors

Daniela Nicklas

Year

2007

Type of Publication

inproceedings

Projects - fast access