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

Compositional Performability Evaluation for STATEMATE

Booktitle

QEST '06: Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems

All authors

Böde, Eckard and Herbstritt, Marc and Hermanns, Holger and Johr, Sven and Peikenkamp, Thomas and Pulungan, Reza and Wimmer, Ralf and Becker, Bernd

Year

2006

Type of Publication

inproceedings

Title

Concurrent LSC Verification

Title of Conference

5th International Workshop on Automated Verification of Critical Systems (AVoCS 2005)

All authors

Toben, Tobe and Westphal, Bernd

Year

2006

Type of Publication

inproceedings

Title

Datenabhängige RT-Ebenen Modellierung von Leckströmen in Tiefen Sub-Mikrometer CMOS Technologien

All authors

Ehmen, Günter

Year

2006

Type of Publication

mastersthesis

Title

Design and implementation of a Maple-package for the predictability of real-time systems

Booktitle

Proceedings of the Maple Conference 2006

Title of Conference

Maple Conference 2006

All authors

Korte, Mario and Albers, Karsten and Slomka, Frank

Year

2006

Type of Publication

inproceedings

Title

Design and Implementation of a Maple-Package for the Predictability of Real-Time Systems

Booktitle

Proceedings of the Maple Conference 2006

Title of Conference

Maple Conference

All authors

Korte, Mario and Albers, Karsten and Slomka, Frank

Year

2006

Type of Publication

inproceedings

Title

Die Nutzung von teildefekten FPGAs unter Berücksichtigung des Entwurfsablaufes und der Performance

Booktitle

Tagungsband: Dresdner Arbeitstagung Schaltungs- und Systementwurf

All authors

Frimont, Sven and Nebel, Wolfgang

Year

2006

Type of Publication

inproceedings

Title

Effizienter Entwurf verteilter eingebetteter Echtzeit-Systeme

All authors

Metzner, Alexander

Year

2006

Type of Publication

phdthesis

Title

Ein EDF Scheduler für das eingebettete Betriebssystem µC/OS-II

All authors

Ohler, Christian

Year

2006

Type of Publication

misc

Title

Ein umfassendes Umgebungsmodell als Integrationsstrategie für ortsbezogene Daten und Dienste

All authors

Daniela Nicklas

Year

2006

Type of Publication

phdthesis

Title

Ein Verfahren zur Verifikation hochkomplexer Randbedingungen beim IC-Entwurf

Booktitle

Tagungsband der ANALOG 2006

All authors

Freuer, Jan and Jerke, G. and Schäfer, A. and Hahn, K. and Brück, R. and Nassaj, A. and Nebel, W.

Year

2006

Type of Publication

inproceedings

Title

Eingebettete Systeme für die Sicherheit von Logistikeinheiten

Title of Conference

Mikrosysteme für die maritime Sicherheit im Rahmen des Forum Küste und Meer

All authors

Nebel, Wolfgang

Year

2006

Type of Publication

misc

Title

Entwicklung ortsbezogener Anwendungen

Booktitle

PIK - Praxis der Informationsverarbeitung und Kommunikation

All authors

Becker Christian and Dürr Frank and Knoll, Mirko and Nicklas, Daniela and Weis, Torben

Year

2006

Type of Publication

article

Title

Ereignisabhängigkeitsgraphen für die Echtzeitanalyse eingebetteter Systeme

All authors

Bodmann, Frank

Year

2006

Type of Publication

mastersthesis

Title

Event-based Synchronization of Model-Based Multimodal User Interfaces

Booktitle

MDDAUI '06 - Model Driven Development of Advanced User Interfaces 2006

All authors

Marco Blumendorf and Sebastian Feuerstack and Sahin Albayrak

Year

2006

Type of Publication

inproceedings

Title

Exploiting Type and Space in a Main Memory Query Engine

Booktitle

Proceedings of the VIII Brazilian Symposium on GeoInformatics : GeoInfo2006 ; Campos do Jordao, Brazil

All authors

Grossmann, Matthias and Schwarz, Thomas and Nicklas, Daniela and Mitschang, Bernhard

Year

2006

Type of Publication

inproceedings

Title

Formal Verification of LSC's in the Development Process

Booktitle

Integration of Software Specification Techniques for Applications in Engineering

All authors

Brill, Matthias and Buschermöhle, Ralf and Damm, Werner and Klose, Jochen and Westphal, Bernd and Wittke, Hartmut

Year

2006

Type of Publication

incollection

Title

Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung

All authors

Damm, W. and Schulte, C. and Segelken, M. and Wittke, H. and Higgen, U. and Eckrich, M.

Year

2006

Type of Publication

article

Title

Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems.

All authors

Damm, W. and Pinto, G. and Ratschan, S.

Year

2006

Type of Publication

article

Title

Hierarchical Event Streams and Event Dependency Graphs: A New Computational Model for Embedded Real-Time Systems

Booktitle

IEEE Proceedings of the 18th Euromicro Conference on Real-Time Systems

Title of Conference

18th Euromicro Conference on Real-Time Systems

All authors

Albers, Karsten and Bodmann, Frank and Slomka, Frank

Year

2006

Type of Publication

inproceedings

Title

Human Error Analysis based on Cognitive Architecture

Booktitle

Proceedings of the International Conference on Human -Computer Interaction in Aeronautics (HCI-Aero 06)

All authors

Lüdtke, A. and Cavallo, A. and Christophe, L. and Cifaldi, M. and Fabbri, M. and Javaux, D.

Year

2006

Type of Publication

inproceedings

Title

Human Error Analysis Tool

Booktitle

Proceedings of the International Conference on Human Computer Interaction in Aeronautics (HCI-Aero 06)

All authors

Lüdtke, A. and Weber, L.

Year

2006

Type of Publication

inproceedings

Title

Human Modeling and Complexity

Booktitle

Proceedings of the International Conference on Human-Computer Interaction in Aeronautics (HCI-Aero 06)

All authors

Javaux, D. and Lüdtke, A. and Polson, P. and Reuzeau, F. and Sarter, N.

Year

2006

Type of Publication

inproceedings

Title

Human Performance Modellierung mit interoperablen kognitiven Agenten

Booktitle

48. Fachausschusssitzung Anthropotechnik der Deutschen Gesellschaft für Luft- und Raumfahrt e.V., Cognitive Systems Engineering in der Fahrzeug- und Prozessführung, , 24.-25. Oktober 2006, Fraunhofer-IITB, Karlsruhe

All authors

Leuchter, S. and Lüdtke, A. and Urbas, L.

Year

2006

Type of Publication

inproceedings

Title

Impact of Array Data Flow Analysis on the Design of Energy-Efficient Circuits

Booktitle

Proceedings PATMOS 2006

Title of Conference

PATMOS 2006

All authors

Hillers, Mark

Year

2006

Type of Publication

inproceedings

Projects - fast access