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

Proceedings of the 3rd ACM Workshop on Human-Centered Computing, HCC 2008, Vancouver, British Columbia, Canada

All authors

Jaimes, Alejandro and Nicklas, Daniela and Sebe, Nicu

Year

2008

Type of Publication

proceedings

Title

Qualitative and Quantitative Analysis of IC Designs

Booktitle

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

All authors

Häusler, Stefan and Poppen, Frank and Hausmann, Kevin and Nebel, Wolfgang and Hahn, Axel

Year

2008

Type of Publication

inproceedings

Title

Real-Time Quality Estimation to Enable Process Evaluation in Integrated Circuit Development

Booktitle

Proceedings of the IEEE International Conference on Engineering Management in Europe

All authors

Häusler, Stefan and Poppen, Frank and Hahn, Axel

Year

2008

Type of Publication

inproceedings

Title

Realtime Calculus mit hierarchischen Ereignisströmen

All authors

Wortelen, Bertram

Year

2008

Type of Publication

mastersthesis

Title

ReChannel: Describing and Simulating Reconfigurable Hardware in SystemC

All authors

Raabe, Andreas and Hartmann, Philipp A. and Anlauf, Joachim K.

Year

2008

Type of Publication

article

Title

Reference Management in a Loosely Coupled, Distributed Information System

Title of Conference

12th {East-European} Conference on Advances in Databases and Information Systems

All authors

Grossmann, Matthias and Hönle, Nicola and Nicklas, Daniela and Mitschang, Bernhard

Year

2008

Type of Publication

inproceedings

Title

Requirements for Ontology Based Design Project Assessment

Title of Conference

Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA

All authors

Hahn, Axel and Häusler, Stefan, große Austing, Stephan, Reinelt, Matthias

Year

2008

Type of Publication

book

Title

Retrieving Address-based Locations from the Web

Booktitle

GIR08: 5th ACM Workshop on Geographic Information Retrieval

Title of Conference

GIR08 Workshop at CIKM2008

All authors

Ahlers, Dirk and Boll, Susanne

Year

2008

Type of Publication

inproceedings

Title

Rich Meta Object Facility as formal integration platform: Syntax, Semantics, and Implementation

Booktitle

Innovations in Systems and Software Engineering

Title of Conference

International Conference on Formal Engineering Methods

All authors

Buschermöhle, Ralf and Oelerink, Jörg

Year

2008

Type of Publication

article

Title

RT Level Makro Modelling of Leakage and Delay under Realistic PTV Variation

Booktitle

Proceedings of LPonTR

Title of Conference

First International Workshop on the Impact of Low-Power Design on Test and Reliability

All authors

Helms, Domenik and Hoyer, Marko and Rosinger, Sven and Nebel, Wolfgang

Year

2008

Type of Publication

proceedings

Title

Scheduling Analysis of Distributed Real-Time Systems Under Functional Constraints

Booktitle

Proceedings of the 13th IEEE International Conference on Emerging Technologies and Factory Automation

All authors

Metzner, Alexander

Year

2008

Type of Publication

inproceedings

Title

Scheduling Analysis of Distributed Real-Time Systems Under Functional Constraints

Booktitle

Proceedings of the 13th IEEE International Conference on Emerging Technologies and Factory Automation

Title of Conference

ETFA 08

All authors

Metzner, Alexander

Year

2008

Type of Publication

inproceedings

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

Projects - fast access