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

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

Buchtitel

International Journal of Foundations of Computer Science

Alle Autoren

Werner Damm and Guilherme Pinto and Stefan Ratschan

Jahr

2007

Publikationstyp

article

Titel

Human Error Analysis Based on a Semantically Defined Cognitive Pilot Model

Buchtitel

26th International Conference on Computer Safety, Reliability and SecurityComputer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007

Alle Autoren

Lüdtke, Andreas and Pfeiffer, Lothar

Jahr

2007

Publikationstyp

inproceedings

Titel

Interoperable Human Performance Modelling of Distributed Cognitive Agents

Buchtitel

10th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (IFAC-HMS 2007)

Alle Autoren

Lüdtke, Andreas and Leuchter, Sandro and Urbas, Leon

Jahr

2007

Publikationstyp

inproceedings

Titel

Koordination dezentraler Kraft-Wärme-Kopplungsanlagen für die Verwendung einer netzorientierten Betriebsweise im Verbund

Buchtitel

Tagungsband zum ETG-Kongress 2007

Alle Autoren

Korte, Mario and Tröschel, Martin and Schulz, Christian and Pielke, Magnus and Kurrat, Micheal and Slomka, Frank

Jahr

2007

Publikationstyp

inproceedings

Titel

Latency Optimization for a Reconfigurable, Self-Timed and Bit-Serial Architecture

Buchtitel

Proceedings of the 2007 International Conference on Engineering of Reconfigurable Systems & Algorithms

Titel der Konferenz

ERSA 2007

Alle Autoren

Dittmann, Florian and Rettberg, Achim and Weber, Raphael

Jahr

2007

Publikationstyp

inproceedings

Titel

Logic design techniques for 65 to 45nm and below for reducing total energy and solving technology variations problems

Buchtitel

Proceedings on the 14th IEEE Internactional Conference on Electronics, Circuits, and Systems

Titel der Konferenz

14th IEEE Internactional Conference on Electronics, Circuits, and Systems

Alle Autoren

Helms, Domenik and Nebel, Wolfgang

Jahr

2007

Publikationstyp

inproceedings

Titel

Mind the Shapes: Abstraction Refinement via Topology Invariants

Titel der Konferenz

5th International Symposium on Automated Technology for Verification and Analysis (ATVA 2007)

Alle Autoren

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

Jahr

2007

Publikationstyp

inproceedings

Titel

Modellierung von Komplexität und Qualität als Faktoren von Produktivität in Design-Flows für integrierte Schaltungen

Buchtitel

edaWorkshop 07

Alle Autoren

Häusler, Stefan and Poppen, Frank and Hausmann, Kevin and Preis, Sonja and Hahn, Axel and Nebel, Wolfgang and Leppelt, Peter and Hassine, Amir and Barke, Erich

Jahr

2007

Publikationstyp

inproceedings

Titel

Modelling and Synthesis of Adaptive SoC

Titel der Konferenz

Workshop on Reconfigurable Systems-on-Chip

Alle Autoren

Oppenheimer, Frank

Jahr

2007

Publikationstyp

misc

Titel

Modelling the impact of high level leakage optimization techniques on the delay of RT-components

Buchtitel

Proceedings of the PATMOS 2007

Alle Autoren

Hoyer, M. and Helms, D. and Nebel, W.

Jahr

2007

Publikationstyp

inproceedings

Titel

Nexus-A Global, Active, and 3D Augmented Reality Model

Buchtitel

Photogrammetic Week '07

Alle Autoren

Daniela Nicklas

Jahr

2007

Publikationstyp

inproceedings

Titel

Non-Interference Properties for Data-Type Reduction of Communicating Systems

Titel der Konferenz

6th International Conference on Integrated Formal Methods (IFM 2007)

Alle Autoren

Toben, Tobe

Jahr

2007

Publikationstyp

inproceedings

Titel

Object Oriented Design and Synthesis of Communication in Hardware-/Software Systems with OSSS

Buchtitel

proceeding in SASIMI 2007, Hokkaido, Japan

Titel der Konferenz

SASIMI 07

Alle Autoren

Grüttner, Kim and Grabbe, Cornelia and Oppenheimer, Frank and Nebel, Wolfgang

Jahr

2007

Publikationstyp

inproceedings

Titel

Objektorientierter Entwurf und Synthese von Hardware-/Softwaresystemen

Alle Autoren

Oppenheimer, Frank and Grüttner, Kim

Jahr

2007

Publikationstyp

misc

Titel

On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing

Buchtitel

Task Models and Diagrams for User Interface Design

Titel der Konferenz

International workshop on TAsk MOdels and DIAgrams

Alle Autoren

Nabarra D., Palanque P., Barboni E., Mistrzyk T.

Jahr

2007

Publikationstyp

inproceedings

Titel

On the Expressive Power of Live Sequence Charts

Buchtitel

Program Analysis and Compilation, Theory and Practise: Essays Dedicated to Reinhard Wilhelm

Alle Autoren

Damm, Werner and Toben, Tobe and Westphal, Bernd

Jahr

2007

Publikationstyp

inproceedings

Titel

OPRAIL - Normenkonforme Entwicklung sicherheitsrelevanter Software unter Einsatz der UML

Buchtitel

SIGNAL + DRAHT 09/2007

Alle Autoren

Hungar, Hardi and Bruhns, Gerhard and Plan, Oliver and Lemke, Oliver

Jahr

2007

Publikationstyp

article

Titel

Optimization techniques for a reconfigurable, self-timed, and bit-serial architecture

Buchtitel

Proceedings of the 20th annual conference on Integrated circuits and systems design

Titel der Konferenz

SBCCI 2007

Alle Autoren

Dittmann, Florian and Rettberg, Achim and Weber, Raphael

Jahr

2007

Publikationstyp

inproceedings

Titel

OSSS - A Library for Synthesisable System Level Models in SystemC(TM) - A tutorial for OSSS 2.0

Alle Autoren

Brunzema, Claus and Grabbe, Cornelia and Grüttner, Kim and Hartmann, Philipp Andreas and Herrholz, Andreas and Kleen, Henning and Oppenheimer, Frank and Schallenberg, Andreas and Stehno, Christian and Schubert, Thorsten

Jahr

2007

Publikationstyp

manual

Titel

OSSS+R: Simulation and Synthesis of Self-Adaptive Systems

Titel der Konferenz

Design, Automation and Test in Europe 2007

Alle Autoren

Hartmann, Philipp Andreas and Schallenberg, Andreas and Oppenheimer, Frank and Nebel, Wolfgang

Jahr

2007

Publikationstyp

misc

Titel

OSSS: An Approach for Modelling, seamless Refinement, and Synthesis of HW/SW SoC

Titel der Konferenz

16. European User Group Meeting

Alle Autoren

Oppenheimer, Frank and Grüttner, Kim

Jahr

2007

Publikationstyp

misc

Titel

Periodic Activity Report ANDRES - Publishable Executive Summary

Alle Autoren

Oppenheimer, Frank

Jahr

2007

Publikationstyp

misc

Titel

Proceedings of the 8th International Conference on Mobile Data Management (MDM'07) : Mannheim, Germany

Alle Autoren

Becker Christian and Jensen, Christian S. and Nicklas, Daniela and Su Jianwen

Jahr

2007

Publikationstyp

proceedings

Titel

Rich Meta Object Facility

Buchtitel

International Conference on Modeling, Simulation and Visualization Methods

Titel der Konferenz

International Conference on Modeling, Simulation and Visualization Methods

Alle Autoren

Buschermöhle, Ralf and Reemts Robbe, Oliver

Jahr

2007

Publikationstyp

inproceedings

Projekte-Schnellzugang