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

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

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

Titel

Entwicklung ortsbezogener Anwendungen

Buchtitel

PIK - Praxis der Informationsverarbeitung und Kommunikation

Alle Autoren

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

Jahr

2006

Publikationstyp

article

Titel

Ereignisabhängigkeitsgraphen für die Echtzeitanalyse eingebetteter Systeme

Alle Autoren

Bodmann, Frank

Jahr

2006

Publikationstyp

mastersthesis

Titel

Exploiting Type and Space in a Main Memory Query Engine

Buchtitel

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

Alle Autoren

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

Jahr

2006

Publikationstyp

inproceedings

Titel

Formal Verification of LSC's in the Development Process

Buchtitel

Integration of Software Specification Techniques for Applications in Engineering

Alle Autoren

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

Jahr

2006

Publikationstyp

incollection

Titel

Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung

Alle Autoren

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

Jahr

2006

Publikationstyp

article

Titel

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

Alle Autoren

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

Jahr

2006

Publikationstyp

article

Titel

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

Buchtitel

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

Titel der Konferenz

18th Euromicro Conference on Real-Time Systems

Alle Autoren

Albers, Karsten and Bodmann, Frank and Slomka, Frank

Jahr

2006

Publikationstyp

inproceedings

Projekte-Schnellzugang