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.
  Search  AND OR Extended search
close
All 806 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

Rekonfigurierbare Hardware in der Praxis

All authors

Schulz, Arne; Nebel, Wolfgang

Year

2000

Title

Modellierung und Simulation eines Portalkrans mit der OOCOSIM-Methode

All authors

Oppenheimer, Frank; Schumacher, Guido; Nebel, Wolfgang

Year

2000

Title

Synthesis oriented communication design for structural hardware objects

All authors

Putzke-Röming, Wolfram; Nebel, Wolfgang

Year

2000

Title

Object-oriented specification and design of embedded hard real-time systems

All authors

Nebel, Wolfgang; Radetzki, Martin; Oppenheimer, Frank; Schumacher, Guido; Kabous, Laila; Putzke-Röming, Wolfram

Year

2000

Title

System specification experiments on a common benchmark

All authors

Gorla, G.; Moser, E.; Nebel, W.; Villar, E.

Year

2000

Title

Die hybride Komponente von ISO/ESPC: Verknüpfung manueller Messungen, formaler Analyse und multimedialer Präsentation

Booktitle

3. Workshop Multimedia für Bildung und Wirtschaft

All authors

Möbus, C.; Thole, H.J.

Year

1999

Title

Eine intelligente Problemlöseumgebung auf Basis kooperativen Hypothesentestens im Patentwesen

Booktitle

9. Arbeitstreffen der GI-Fachgruppe 1.1.5/7.0.1 Intelligente Lehr-/Lernsysteme, LWA99 Sammelband

All authors

Willms, J.

Year

1999

Title

Design Process and Tools for the HW/SW-Codesign and Rapid-Prototyping of Parallel and Heterogenous Real-Time Communication Systems

Booktitle

Tagungsband

All authors

Slomka, Frank; Dörfel, Matthias; Spitz, S.; Hofmann, R.

Year

1999

Title

A Scalable Hardware Library for the Rapid Prototyping of SDL Specifications

Booktitle

Tagungsband

All authors

Dörfel, Matthias; Slomka, Frank; Hofmann, R.

Year

1999

Title

Mixed Abstraction Level Hardware Synthesis from SDL for Rapid Prototyping

Booktitle

Tagungsband

All authors

Bringmann, Oliver; Muth, A.; Slomka, Frank; Rosenstiel, Wolfgang; Färber, G.; Hofmann, R.

Year

1999

Title

Secure Decentralized Control of Railway Crossings

Booktitle

Fourth International ERCIM Workshop on Formal Methods in Industrial Critical Systems

All authors

Damm, W.; Döhmen, G.; Klose, J.

Year

1999

Title

Specification of Embedded Monitors for Property Checking

Booktitle

Proceedings, Forum on Design Languages, FDL'99

All authors

Allara, A.; Bombana, M.; Josko, S. Comai and B.; Schlör, R.; Sciuto, D.

Year

1999

Title

Model Checking and Higher-Order Recursion

Booktitle

Math. Found. of Comp. Sc.

All authors

Hungar, Hardi

Year

1999

Title

System Verification using User-Friendly Interfaces

Booktitle

Design, Automation and Test in Europe / User Forum

All authors

Schlör, R.; Allara, A.; Comai, S.

Year

1999

Title

Silicon cochlea : a digital VLSI implementation of a psychoacoustically and physiologically motivated speech preprocessor

All authors

Schwarz, A.; Mertsching, B.; Brucke, Matthias; Nebel, Wolfgang; Hansen, M.; Kollmeier, B.

Year

1999

Title

Synthesizing hardware from object-oriented descriptions

All authors

Radetzki, Martin; Nebel, Wolfgang

Year

1999

Title

Data type analysis for hardware synthesis from object-oriented models

All authors

Radetzki, Martin; Putzke-Röming, Wolfram; Stammermann, Ansgar; Nebel, Wolfgang

Year

1999

Title

Overview of Objective VHDL language features

All authors

Radetzki, Martin; Nebel, Wolfgang

Year

1999

Title

Synthesis of hardware structures from object-oriented models

All authors

Radetzki, Martin; Nebel, Wolfgang

Year

1999

Title

OOCOSIM - objektorientierte Spezifikation und Simulation eingebetteter Realzeitsysteme

All authors

Oppenheimer, Frank; Schumacher, Guido

Year

1999

Title

OOCOSIM - objektorientierte Spezifikation und Simulation eingebetteter Realzeitsysteme

All authors

Oppenheimer, Frank; Schumacher, Guido; Nebel, Wolfgang

Year

1999

 

Projects - fast access