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

The Good, the Bad and the Ugly: Well-formedness of Live Sequence Charts

Title of Conference

9th International Conference on Fundamental Approaches to Software Engineering (FASE 2006)

All authors

Westphal, Bernd and Toben, Tobe

Year

2006

Type of Publication

inproceedings

Title

The Quiny SystemC Front End: Self-Synthesising Designs

Booktitle

Forum on Specification & Design Languages

Title of Conference

Forum on Specification & Design Languages (FDL´06)

All authors

Schubert, Thorsten and Nebel, Wolfgang

Year

2006

Type of Publication

inproceedings

Title

Towards a Unified Model-based Safety Assessment

Booktitle

SAFECOMP 2006. The 27th International Conference on Computer Safety, Security and Reliability

All authors

Peikenkamp, T. and Cavallo, A. and Valacca, L. and Böde, E. and Pretzer, M. and Hahn, E.M.

Year

2006

Type of Publication

inproceedings

Title

Towards Safety Analysis of Highly Integrated Technologically Heterogeneous Systems - A Domain-Based Approach for Modelling System Failure Logic

Booktitle

Proceedings of the 24th International System Safety Conference (ISSC)

All authors

Lisagor, O. and Pretzer, M. and Seguin,O. and Pumfrey, D. J. and Iwu, F. and Peikenkamp, T.

Year

2006

Type of Publication

inproceedings

Title

Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems

Booktitle

FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings

All authors

Lettrari, M.

Year

2006

Type of Publication

inproceedings

Title

Verification of cooperating traffic agents

All authors

Damm, W. and Hungar, H., Olderog, E.-R.

Year

2006

Type of Publication

article

Title

A discrete-time UML semantics for concurrency and communication in safety-critical applications

All authors

Damm, Werner and Josko, Bernhard and Pnueli, Amir and Votintseva, Angelika

Year

2005

Type of Publication

article

Title

A High Level Constant Coefficient Multiplier Power Model for Power Estimation on High Levels of Abstraction

Booktitle

Tagungsband: Integrated Circuit and System Design

All authors

Schulz, Arne and Schallenberg, Andreas and Helms, Domenik and Schulte, Milan and Reimer, Axel and Nebel, Wolfgang

Year

2005

Type of Publication

inproceedings

Title

Accuracy of leakage models: Voltage and temperature de-rating

All authors

Helms, Domenik

Year

2005

Type of Publication

techreport

Title

An Environment for Compositional Specification and Verification of Complex Embedded Systems

All authors

Wittke, Hartmut

Year

2005

Type of Publication

phdthesis

Title

Analyse von PDM-Daten zum Entwicklungscontrolling

Booktitle

Informations- und Wissensdrehscheibe Produktmanagement

All authors

Strickmann, Jens and Abels, Sven and Hahn, Axel

Year

2005

Type of Publication

inproceedings

Title

Benefits of Integrating Meta Data into a Context Model

Booktitle

3rd IEEE International Conference on Pervasive Computing and Communications PerCom 2005, 8-12 March 2005, Kauai Island, HI, USA

All authors

Hönle, Nicola and Uwe-Philipp Käppeler and Nicklas, Daniela and Schwarz, Thomas and Grossmann, Matthias and

Year

2005

Type of Publication

inproceedings

Title

Boosting Re-use of Embedded Automotive Applications Through Rich Components

Booktitle

Proceedings, FIT 2005 - Foundations of Interface Technologies

All authors

Damm, Werner and Votintseva, Angelika and Metzner, Alexander and Josko, Bernhard and Peikenkamp, Thomas and Böde, Eckard

Year

2005

Type of Publication

inproceedings

Title

Controlling speculative design processes using rich component models

Booktitle

5th International Conference on Application of Concurrency to System Design (ACSD 2005)

All authors

Damm, Werner

Year

2005

Type of Publication

inproceedings

Title

DCbot: Exploring the Web as Value-Added Service for Location-Based Applications.

Title of Conference

Proceedings of the 21st International Conference on Data Engineering (Demonstrations)

All authors

Jakob Mihály and Großmann, Matthias and Hönle, Nicola and Nicklas, Daniela

Year

2005

Type of Publication

inproceedings

Title

DCbot: Finding Spatial Information on the Web

Booktitle

Database Systems for Advanced Applications, 10th International Conference, {DASFAA} 2005, Beijing, China

All authors

Jakob Mihály and Großmann, Matthias and Nicklas, Daniela and Mitschang, Bernhard

Year

2005

Type of Publication

inproceedings

Title

Designing for dynamic partially reconfigurable FPGAs with SystemC and OSSS

Booktitle

Advances in Design and Specification Languages for SoCs

All authors

Schallenberg, Andreas and Oppenheimer , Frank and Nebel, Wolfgang

Year

2005

Type of Publication

inbook

Title

Durchgängiges Kommunikationsdesign für den strukturalen, objektorientierten Hardware-Entwurf

All authors

Putzke-Röming, Wolfram

Year

2005

Type of Publication

phdthesis

Title

Efficient Feasibility Analysis for Real-time systems with EDF-Scheduling

Booktitle

IEEE Proceeding of the Conference Design, Automation and Test in Europe (DATE) 2005

All authors

Albers, Karsten and Slomka, Frank

Year

2005

Type of Publication

inproceedings

Title

Efficiently Managing Context Information for Large-Scale Scenarios.

Booktitle

3rd IEEE International Conference on Pervasive Computing and Communications PerCom 2005, 8-12 March 2005, Kauai Island, HI, USA

All authors

Grossmann, Matthias and Bauer, Martin and Hönle, Nicola and Käppeler Uwe-Philipp and Nicklas, Daniela and Schwarz, Thomas

Year

2005

Type of Publication

inproceedings

Title

Embedded Java Prozessor für Echtzeitsysteme

All authors

Wessels, Hauke

Year

2005

Type of Publication

mastersthesis

Title

Entwurf und Implementierung einer HW/SW-Umgebung zur Anbindung einer Emulationsplattform an einen HW-Simulator

All authors

Jaeger, Andreas

Year

2005

Type of Publication

mastersthesis

Title

Evaluierung einer TDMA Timeslot und Tum Optimierung

All authors

Rosenow, Sven

Year

2005

Type of Publication

misc

Title

Experimentelle Evaluierung der Laufzeiteigenschaften von neuen Verfahren zur Echtzeitanalyse

All authors

Nyhof, Michael

Year

2005

Type of Publication

misc

Projects - fast access