Publikationen im FuE-Bereich Verkehr

Nachfolgend finden Sie alle - innerhalb des FuE-Bereichs Verkehr veröffentlichten - Publikationen.

Anhand des Suchfelds können Sie die Ausgabe weiter einschränken, z. B. können Sie nach Autor, Titel, Textinhalten oder Publikationsart suchen.

Publikationsliste

  Suche  UND ODER Erweiterte Suche
schließen
Alle 1091 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
Titel

Accurate PTV, State, and ABB Aware RTL Blackbox Modeling of Subthreshold, Gate, and PN-Junction Leakage

Buchtitel

Tagungsband

Titel der Konferenz

PATMOS 2006

Jahr

2006

Publikationstyp

inproceedings

Titel

Adapting an AI Planning Heuristic for Directed Model Checking

Buchtitel

13th International SPIN Workshop on Model Checking of Software

Alle Autoren

Kupferschmid, S. and Hoffmann, J. and Dierks, H. and Behrmann, G.

Jahr

2006

Publikationstyp

inproceedings

Titel

Adding Value to Automotive Models

Buchtitel

Automotive Software - Connected Services in Mobile Networks. First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004,

Alle Autoren

Böde, Eckard and Damm, Werner and Hoyem, Jarl and Josko, Bernhard and Niehaus, Jürgen and Segelken, Marc

Jahr

2006

Publikationstyp

inproceedings

Titel

Adding Value to automotive models

Buchtitel

Automotive Software - Connected Services in Mobile Networks

Titel der Konferenz

ARTIST and NSF Workshop on Automotive Software Development

Alle Autoren

Eckard Böde and Werner Damm and Jarl Hoyem and Bernhard Josko and Jürgen Niehaus and Marc Segelken

Jahr

2006

Publikationstyp

article

Titel

An Optimal Approach to the Task Allocation Problem on Hierarchical Architectures.

Buchtitel

Proceedings of the 20th IEEE International Parallel and Distributed Processing Symposium

Alle Autoren

Metzner, A. and Fränzle, M. and Herde, C. and Stierand, I.

Jahr

2006

Publikationstyp

inproceedings

Titel

Analysis and Modeling of Subthreshold Leakage of RT-Components under PTV and State Variation

Buchtitel

Tagungsband

Titel der Konferenz

Intl. Symposium on Low Power Electronic Design

Alle Autoren

Helms, Domenik and Ehmen, Günter and Nebel, Wolfgang

Jahr

2006

Publikationstyp

inproceedings

Titel

Analysis of Large Safety-Critical Systems: A quantitative Approach

Buchtitel

AVACS Technical Report

Alle Autoren

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

Jahr

2006

Publikationstyp

techreport

Titel

Analyzing the Timing Characteristics of Task Activations

Buchtitel

Proceedings of the first IEEE Symposium on Industrial Embedded Systems (IES)

Titel der Konferenz

First IEEE Symposium on Industrial Embedded Systems 2006

Alle Autoren

Bodmann, Frank and Albers, Karsten and Slomka, Frank

Jahr

2006

Publikationstyp

inproceedings

Titel

Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis

Buchtitel

Proceedings of the 2006 IEEE Design and Diagnostics of Electronic Circuits and systems

Titel der Konferenz

DDECS '06

Alle Autoren

Eisinger, Jochen and Polian, Ilja and Becker, Bernd and Thesing, Stephan and Wilhelm, Reinhard and Metzner, Alexander

Jahr

2006

Publikationstyp

inproceedings

Titel

Automatic verification of hybrid systems with large discrete state space

Buchtitel

Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06)

Alle Autoren

Damm, W. and Disch, S. and Hungar, H. and Pang, J. and Pigorsch, F. and Scholl, C. and Waldmann, U. and Wirtz, B.

Jahr

2006

Publikationstyp

article

Titel

Bridging the Gap between Model and Design of User Interfaces

Buchtitel

Informatik für Menschen

Alle Autoren

Sebastian Feuerstack and Marco Blumendorf and Sahin Albayrak

Jahr

2006

Publikationstyp

inproceedings

Titel

Check It Out: On the Efficient Formal Verification of Live Sequence Charts

Titel der Konferenz

18th International Conference on Computer Aided Verification (CAV 2006)

Alle Autoren

Klose, Jochen and Toben, Tobe and Westphal, Bernd and Wittke, Hartmut

Jahr

2006

Publikationstyp

inproceedings

Titel

Component based design of embedded automotive systems

Buchtitel

Proceedings, Automatisierungs-, Assistenzsysteme und eingebettete Systeme für Transportmittel (AAET 2006)

Alle Autoren

Damm, Werner

Jahr

2006

Publikationstyp

inproceedings

Titel

Component based design of embedded automotive systems

Titel der Konferenz

Automatisierungs-, Assistenzsysteme und eingebettete >> Systeme für Transportmittel

Alle Autoren

Werner Damm

Jahr

2006

Publikationstyp

inproceedings

Titel

Compositional Performability Evaluation for STATEMATE

Buchtitel

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

Alle Autoren

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

Jahr

2006

Publikationstyp

inproceedings

Titel

Concurrent LSC Verification

Titel der Konferenz

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

Alle Autoren

Toben, Tobe and Westphal, Bernd

Jahr

2006

Publikationstyp

inproceedings

Titel

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

Alle Autoren

Ehmen, Günter

Jahr

2006

Publikationstyp

mastersthesis

Titel

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

Buchtitel

Proceedings of the Maple Conference 2006

Titel der Konferenz

Maple Conference 2006

Alle Autoren

Korte, Mario and Albers, Karsten and Slomka, Frank

Jahr

2006

Publikationstyp

inproceedings

Titel

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

Buchtitel

Proceedings of the Maple Conference 2006

Titel der Konferenz

Maple Conference

Alle Autoren

Korte, Mario and Albers, Karsten and Slomka, Frank

Jahr

2006

Publikationstyp

inproceedings

Titel

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

Buchtitel

Tagungsband: Dresdner Arbeitstagung Schaltungs- und Systementwurf

Alle Autoren

Frimont, Sven and Nebel, Wolfgang

Jahr

2006

Publikationstyp

inproceedings

Titel

Effizienter Entwurf verteilter eingebetteter Echtzeit-Systeme

Alle Autoren

Metzner, Alexander

Jahr

2006

Publikationstyp

phdthesis

Titel

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

Alle Autoren

Ohler, Christian

Jahr

2006

Publikationstyp

misc

Titel

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

Alle Autoren

Daniela Nicklas

Jahr

2006

Publikationstyp

phdthesis

Titel

Ein Verfahren zur Verifikation hochkomplexer Randbedingungen beim IC-Entwurf

Buchtitel

Tagungsband der ANALOG 2006

Alle Autoren

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

Jahr

2006

Publikationstyp

inproceedings

Titel

Eingebettete Systeme für die Sicherheit von Logistikeinheiten

Titel der Konferenz

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

Alle Autoren

Nebel, Wolfgang

Jahr

2006

Publikationstyp

misc

Projekte-Schnellzugang