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

OSSS+R: Modelling and Simulating Self-Reconfigurable Systems

Booktitle

Proceedings - 2006 International Conference on Field Programmable Logic and Applications

Title of Conference

16th International Conference on Field Programmable Logic and Applications

All authors

Schallenberg, Andreas and Oppenheimer, Frank and Nebel, Wolfgang

Year

2006

Type of Publication

inproceedings

Title

OSSS-Channels: Modelling and Synthesis of Communication With SystemC

Booktitle

Tagungsband: Forum on Specification & Design Languages

Title of Conference

FDL 2006

All authors

Grüttner, Kim and Brunzema, Claus and Grabbe, Cornelia and Schubert, Thorsten and Oppenheimer, Frank

Year

2006

Type of Publication

inproceedings

Title

Overview of the ICODES Project

Booktitle

proceedings: Forum on Specification & Design Languages

Title of Conference

FDL

All authors

Grabbe, Cornelia and Brunzema, Claus and Grüttner, Kim and Schubert, Thorsten and Oppenheimer, Frank

Year

2006

Type of Publication

inproceedings

Title

Power Optimised Digital Filterbank as Part of a Psychoacoustic Human Hearing Model

Title of Conference

Snug Europe - Synopsys User Group Europe

All authors

Poppen, Frank and Schulte, Milan and Nebel, Wolfgang

Year

2006

Type of Publication

inproceedings

Title

Prognose potentieller Bedienungsfehler beim Entwurf Sicherheitskritischer Systeme

All authors

Lüdtke, A.

Year

2006

Type of Publication

article

Title

RTSAT - An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures

Booktitle

Proceedings of the IEEE Real-Time Systems Symposium

All authors

Metzner, Alexander and Herde, Christian

Year

2006

Type of Publication

inproceedings

Title

SFB 627: Umgebungsmodelle für mobile kontextbezogene Systeme.

All authors

Kurt Rothermel and Thomas Ertl and Dieter Fritsch and Paul J. Kühn and Bernhard Mitschang and Engelbert Westkämper and Christian Becker and Dominique Dudkowski and Andreas Gutscher and Christian Hauser and Lamine Jendoubi and Daniela Nicklas and S

Year

2006

Type of Publication

article

Title

Software Engineering Networking Experience

Title of Conference

1st International Workshop, WS-SENE 2006 Joensuu, Finland

All authors

Editors: A. Jedlitschka, H. Eekhoff, R. Kalmar

Year

2006

Type of Publication

inproceedings

Title

Specification and Verification of Dynamic Communication Systems

Title of Conference

6th International Conference on Application of Concurrency to System Design (ACSD 2006)

All authors

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

Year

2006

Type of Publication

inproceedings

Title

Stereoscopic Depth-Detection for Handling and Manipulation Tasks in a Scanning Electron Microscope

Booktitle

IEEE Int. Conf. on Robotics & Automation (ICRA)

All authors

Jähnisch, M. and Schiffner, M.

Year

2006

Type of Publication

inproceedings

Title

SUCCESS Erfolgs- und Misserfolgsfaktoren bei der Durchführung von Hard- und Software-Entwicklungsprojekten in Deutschland

All authors

Buschermöhle, Ralf and Eekhoff, Heike and Josko, Bernhard

Year

2006

Type of Publication

book

Title

Task-orientierte Anwendungen in einer Smart Factory

Booktitle

Mobile Informationssysteme - Potentiale, Hindernisse, Einsatz. Proc. {MMS'06}

All authors

Wieland, Matthias and Jendoubi, Lamine and Nicklas, Daniela and Leymann, Frank and Dürr Frank

Year

2006

Type of Publication

inproceedings

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

Projects - fast access