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.
Title
SUCCESS Erfolgs- und Misserfolgsfaktoren bei der Durchführung von Hard- und Software-Entwicklungsprojekten in Deutschland
All authors
Buschermöhle, Ralf; Eekhoff, Heike; Josko, Bernhard
Year
2006
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
Title
Message from the Chairs
Title of Conference
ISLPED 2006
All authors
Nebel, Wolfgang; Stan, Mircea
Year
2006
Title
A macro-based approach to use partially defective FPGAs
Booktitle
VLSI-SoC 2006 -- PhD Forum Digest of Papers
All authors
Frimont, Sven
Year
2006
Title
Analyzing the Timing Characteristics of Task Activations
Booktitle
Proceedings of the first IEEE Symposium on Industrial Embedded Systems (IES)
Title of Conference
First IEEE Symposium on Industrial Embedded Systems 2006
All authors
Bodmann, Frank; Albers, Karsten; Slomka, Frank
Year
2006
Title
Analysis and Modeling of Subthreshold Leakage of RT-Components under PTV and State Variation
Booktitle
Tagungsband
Title of Conference
Intl. Symposium on Low Power Electronic Design
All authors
Helms, Domenik; Ehmen, Günter ; Nebel, Wolfgang
Year
2006
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; Brunzema, Claus; Grabbe, Cornelia; Schubert, Thorsten; Oppenheimer, Frank
Year
2006
Title
Overview of the ICODES Project
Booktitle
proceedings: Forum on Specification & Design Languages
Title of Conference
FDL
All authors
Grabbe, Cornelia; Brunzema, Claus; Grüttner, Kim; Schubert, Thorsten; Oppenheimer, Frank
Year
2006
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.; Weber, L.
Year
2006
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; Nebel, Wolfgang
Year
2006
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; Herbstritt, Marc; Hermanns, Holger; Johr, Sven; Peikenkamp, Thomas; Pulungan, Reza; Wimmer, Ralf; Becker, Bernd
Year
2006
Title
Prognose potentieller Bedienungsfehler beim Entwurf Sicherheitskritischer Systeme
All authors
Lüdtke, A.
Year
2006
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; Oppenheimer, Frank; Nebel, Wolfgang
Year
2006
Title
Evaluierung busbasierter Kommunikationsprotokolle im SoC-Design und Entwurf eines abstrakten Interfaces
All authors
Hylla, Kai
Year
2006
Title
Check It Out: On the Efficient Formal Verification of Live Sequence Charts
Title of Conference
18th International Conference on Computer Aided Verification (CAV 2006)
All authors
Klose, Jochen; Toben, Tobe; Westphal, Bernd; Wittke, Hartmut
Year
2006
Title
Ereignisabhängigkeitsgraphen für die Echtzeitanalyse eingebetteter Systeme
All authors
Bodmann, Frank
Year
2006
Title
Datenabhängige RT-Ebenen Modellierung von Leckströmen in Tiefen Sub-Mikrometer CMOS Technologien
All authors
Ehmen, Günter
Year
2006
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; Albers, Karsten; Slomka, Frank
Year
2006
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; Bodmann, Frank; Slomka, Frank
Year
2006
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; Nebel, Wolfgang
Year
2006
Title
Model-based Safety Analysis of a Flap Control System
Booktitle
Proceedings of the INCOSE 2004 - 14th Annual International Symposium
All authors
Peikenkamp, T.; Böde, E.; Brückner, I.; Spenke, H.; Bretschneider, M.; Holberg, H.-J.
Year
2006
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.; Pretzer, M.; Seguin,O.; Pumfrey, D. J.; Iwu, F.; Peikenkamp, T.
Year
2006
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
Title
Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung
All authors
Damm, W.; Schulte, C.; Segelken, M.; Wittke, H.; Higgen, U.; Eckrich, M.
Year
2006