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

SPIRIT IP-XACT controlled design flow applied on a high level communication synthesis

Alle Autoren

Vaumorin, Emanuel and Grabbe, Cornelia and Oppenheimer, Frank and Thibaut, Vincent

Jahr

2007

Publikationstyp

manual

Titel

SUCCESS rate and factors of IT-Projects 2006 in Germany

Buchtitel

International Conference on Software Engineering Research and Practice

Alle Autoren

Buschermöhle, Ralf and Eekhoff, Heike and Josko, Bernhard

Jahr

2007

Publikationstyp

inproceedings

Titel

SUCCESS: Erfolgsfaktoren aktueller IT-Projekte in Deutschland

Buchtitel

OBJEKTspektrum

Alle Autoren

Buschermöhle, Ralf and Eekhoff, Heike and Josko, Bernhard

Jahr

2007

Publikationstyp

article

Titel

System Level Optimization of Static Power Consumption in Nano-CMOS Circuits

Buchtitel

Proceedings of the 14th International Conference MIXDES 2007

Alle Autoren

Helms, Domenik

Jahr

2007

Publikationstyp

inproceedings

Titel

System Level Optimization of Static Power Consumption in Nano-COMS Circuits

Titel der Konferenz

MIXDES

Alle Autoren

Helms, Domenik

Jahr

2007

Publikationstyp

proceedings

Titel

The Adaptive Fridge - Comparing different control schemes for enhancing load shifting of electricity demand

Alle Autoren

Stadler, Michael and Krause, Wolfram and Sonnenschein, Michael and Vogel, Ute

Jahr

2007

Publikationstyp

unpublished

Titel

The ANDRES Project : Analysis and Design of run-time reconfigurable, heterogeneous Systems

Buchtitel

Proceedings of 2007 International Conference on Field Programmable Logic and Applications

Titel der Konferenz

FPL 2007 Amsterdam

Alle Autoren

Herrholz, Andreas and Oppenheimer, Frank and Hartmann, Philipp A. and Schallenberg, Andreas and Nebel, Wolfgang and Damm, M. and Herrera, F. and Villar, E. and Sander, I. and Jantsch, A. and Fouilliart, A.-M. and Martinez, Marcos

Jahr

2007

Publikationstyp

inproceedings

Titel

The Temporal Logic of Appearance and Disappearance

Buchtitel

Reports of SFB/TR 14 AVACS

Alle Autoren

Bauer, Jörg and Toben, Tobe and Westphal, Bernd

Jahr

2007

Publikationstyp

techreport

Titel

Towards Context-Aware Workflows

Buchtitel

Proceedings of Workshop on Ubiquitous Mobile Information and Collaboration Systems (Caise'07) Workshop

Alle Autoren

Wieland, Matthias and Kopp, Oliver and Nicklas, Daniela and Leymann, Frank

Jahr

2007

Publikationstyp

inproceedings

Titel

Translation Correctness for First-Order Object-Oriented Pattern Matching

Buchtitel

The Fifth ASIAN Symposium on Programming Languages and Systems (APLAS 2007)

Alle Autoren

Emir, Burak and Ma, Qin and Odersky, Martin

Jahr

2007

Publikationstyp

inproceedings

Titel

Unterstützung der Systemgestaltung durch die Simulation des Kommunikationsflusses in erweiterten Aufgabenmodellen

Buchtitel

Simulationsgestützte Systemgestaltung

Titel der Konferenz

49. Fachauschusssitzung Anthropotechnik

Alle Autoren

Mistrzyk t., Szwillus G.

Jahr

2007

Publikationstyp

inproceedings

Titel

Uppaal/DMC - Abstraction-based Heuristics for Directed Model Checking

Buchtitel

Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

Alle Autoren

Kupferschmid, Sebastian and Dräger, Klaus and Hoffmann, Jörg and Finkbeiner, Bernd and Henning Dierks and Aandreas Podelski and Gerd Behrmann

Jahr

2007

Publikationstyp

inproceedings

Titel

Using Ontologies to Model and Understand Product Development

Alle Autoren

Hahn, Axel and Hausmann, Kevin and Häusler, Stefan and Strickmann, Jan

Jahr

2007

Publikationstyp

article

Titel

Verification and Synthesis of OCL Constraints via Topology Analysis

Titel der Konferenz

3rd International Workshop on Applications of Graph Transformation with Industrial releVancE (AGTIVE 2007)

Alle Autoren

Bauer, Jörg and Damm, Werner and Toben, Tobe and Westphal, Bernd

Jahr

2007

Publikationstyp

inproceedings

Titel

VisPara - VISsualization of Paralogs

Titel der Konferenz

5th Annual Cytoscape Public Symposium and Developers Retreat

Alle Autoren

Schwarz, Christoph and Siemer, Christian

Jahr

2007

Publikationstyp

inproceedings

Titel

Voltage- and ABB_Island Optimization in High Level Synthesis

Buchtitel

Intl. Symposium on Low Power Electronic Design

Titel der Konferenz

ISLPED

Alle Autoren

Helms, Domenik and Meyer, Olaf and Hoyer, Marco and Nebel, Wolfgang

Jahr

2007

Publikationstyp

inproceedings

Titel

A macro-based approach to use partially defective FPGAs

Buchtitel

VLSI-SoC 2006 -- PhD Forum Digest of Papers

Alle Autoren

Frimont, Sven

Jahr

2006

Publikationstyp

inproceedings

Titel

A Multi-Phase Deadlock Detection Method for Reactive Systems Based on UML Models

Alle Autoren

Kersten, Michael

Jahr

2006

Publikationstyp

phdthesis

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

Projekte-Schnellzugang