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

ANDRES - ANalysis and Design of run-time REconfigurable, heterogeneous Systems

Booktitle

Proceedings of Design, Automation and Test in Europe 2007, Nice, France

Title of Conference

Design, Automation and Test in Europe 2007 (Workshop on FPGAs and Reconfigurable Systems)

All authors

Herrholz, Andreas and Oppenheimer, Frank and Schallenberg, Andreas and Nebel, Wolfgang and Grimm, Christoph and Damm, Markus and Herrera, Fernando and Villar, Eugenio and Sander, Ingo and Jantsch, Axel and Fouilliart, Anne-Marie and Martinez, Marcos

Year

2007

Type of Publication

inproceedings

Title

Automatic Abstraction Refinement for Timed Automata

Booktitle

Formal Modeling and Analysis of Timed Systems. 5th International Conference, FORMATS 2007

All authors

Dierks, Henning and Kupferschmid, Sebastian and Larsen, Kim G.

Year

2007

Type of Publication

inproceedings

Title

Automating verification of cooperation, control, and design in traffic applications

Booktitle

Formal Methods and Hybrid Real-Time Systems, Essays Dedicated to Dines Bjoerner and Zhou Chaochen on the Occasion of Their 70th Birthdays

All authors

Damm, Werner and Mikschl, Alfred and Oehlerking, Jens and Olderog, Ernst-Rüdiger and Pang, Jun and Platzer, André and Segelken, Marc and Wirtz, Bernd

Year

2007

Type of Publication

inproceedings

Title

C-based System Development of Asynchronous Distributed Systems

Booktitle

Proceedings of the Forum on Design Languages 2007

Title of Conference

Forum on specification and Design Languages (FDL) 2007

All authors

Korte, Mario and Slomka, Frank

Year

2007

Type of Publication

inproceedings

Title

C-based System Development of Asynchronous Distributed Systems

Booktitle

Proceedings of the Forum on Design Languages

Title of Conference

Forum on Design Languages FDL

All authors

Korte, Mario and Slomka, Frank

Year

2007

Type of Publication

inproceedings

Title

Combining Timed Automata based Formal Specifications and Real-Time Scheduling Analysis

All authors

Dierks, Henning and Metzner, Alexander and Stierand, Ingo

Year

2007

Type of Publication

inproceedings

Title

Communication is the key for embedded systems

All authors

Frank Oppenheimer and William Davis (eds.)

Year

2007

Type of Publication

article

Title

Comparing Executable Specifications regarding Power at Algorithmic Level (ANSI-C/SystemC)

Title of Conference

CDNlive 2007

All authors

Poppen, Frank and Jährling, Alexander and Nebel, Wolfgang

Year

2007

Type of Publication

conference

Title

Computer Aided Verification

Booktitle

Lecture Notes in Computer Science

All authors

Werner Damm and Holger Hermanns

Year

2007

Type of Publication

inproceedings

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

Projects - fast access