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

Software Components for Reliable Automotive Systems

Booktitle

Proceedings Design, Automation and Test in Europe, 2008. DATE08

Title of Conference

Date

All authors

Damm, W, and Josko, B. and Metzner, A. and Di Natale, M., Heinecke, H. and Kopetz, H. and Sangiovanni-Vincentelli, A.

Year

2008

Type of Publication

inproceedings

Title

Specification of adaptive HW/SW systems in SystemC

Title of Conference

Forum on Specification, Verification and Design Languages, 2008. FDL 2008.

All authors

Herrera, Fernando and Villar, Eugenio and Hartmann, Philipp A.

Year

2008

Type of Publication

inproceedings

Title

SystemC-based Modelling, Seamless Refinement, and Synthesis of a JPEG 2000 Decoder

Booktitle

Proceedings of the Design, Automation, and Test in Europe Conference

All authors

Grüttner, Kim and Oppenheimer, Frank and Nebel, Wolfgang and Colas-Bigey, Fabien and Fouilliart, Anne-Marie

Year

2008

Type of Publication

inproceedings

Title

The TELAR Mobile Mashup Platform for Nokia Internet Tablets

Booktitle

Advances in Database Technology - EDBT 2008, 11th International Conference on Extending Database Technology (Demonstrations), Nantes, France

All authors

Brodt, Andreas and Nicklas, Daniela

Year

2008

Type of Publication

inproceedings

Title

The TELAR Mobile Mashup Platform for Nokia Internet Tablets

Title of Conference

Advances in Database Technology - EDBT 2008, 11th International Conference on Extending Database Technology {(Demonstrations)

All authors

Brodt, Andreas and Nicklas, Daniela

Year

2008

Type of Publication

inproceedings

Title

Towards a Middleware Approach for a Self-Configurable Automotive Embedded System

Booktitle

6th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2008)

All authors

Jahnich, Isabell and Podolski, Ina and Rettberg, Achim

Year

2008

Type of Publication

inproceedings

Title

Towards Autonomous Sensor Networks by a Self-Configurable Middleware

Booktitle

Workshop on Sensor Networks and Applications (WSeNA 2008)

All authors

Podolski, Ina and Rettberg, Achim and Jahnich, Isabell

Year

2008

Type of Publication

inproceedings

Title

Using SystemC for an extended MATLAB/simulink verification flow

Booktitle

Specification, Verification and Design Languages, 2008. FDL 2008. Forum on

Title of Conference

Forum on Specification, Verification and Design Languages, 2008

All authors

Hylla, Kai and Oetjens, Jan-Hendrik and Nebel, Wolfgang

Year

2008

Type of Publication

inproceedings

Title

Wireless sensor network architecture for security applications

Title of Conference

Safety & Security Systems in Europe

All authors

Kamenik, J. and Brucke, M.

Year

2008

Type of Publication

misc

Title

A Design Methodology for Distributed Real-Time Automotive Applications

Booktitle

Proceedings of the GM R&D Workshop, Bangalore, India

Title of Conference

GM R&D Workshop

All authors

Damm, Werner and Metzner, Alexander

Year

2007

Type of Publication

inproceedings

Title

Abstraction and Counterexample-guided Construction of Omega-Automata for Model Checking of Step-dicrete linear Hybrid Models

Booktitle

Computer Aided Verification

Title of Conference

19th International Conference on Computer Aided Verification 2007

All authors

Segelken, Marc

Year

2007

Type of Publication

article

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

Projects - fast access