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

Analysis of Dynamic Evolution Systems by Spotlight Abstraction Refinement

Alle Autoren

Toben, Tobe

Jahr

2009

Publikationstyp

phdthesis

Titel

Analysis, Architectures and Modelling of Embedded Systems

Alle Autoren

Rettberg, Achim and Zanella, Mauro C. and Keckeisen, Michael and Ammann, Michael and Rammig, Franz Josef (Editoren)

Jahr

2009

Publikationstyp

book

Titel

Automatic Transformation of RTL Models from VHDL to SystemC

Titel der Konferenz

FDL 09 - Forum on Specification & Design Languages

Alle Autoren

Görgen, Ralph and Hartmann, Philipp A. and Oppenheimer, Frank and Oetjens, Jan-Hendrik and Gerlach, Joachim

Jahr

2009

Publikationstyp

conference

Titel

Automatic Transformation of System Models in Automotive Electronics

Buchtitel

Analysis, Architectures and Modelling of Embedded Systems

Titel der Konferenz

International Embedded Systems Symposium 2009

Alle Autoren

Görgen, Ralph and Oetjens, Jan-Hendrik and Freuer, Jan and Nebel, Wolfgang

Jahr

2009

Publikationstyp

inproceedings

Titel

Autonomic Middleware for Automotive Embedded Systems

Buchtitel

Autonomic Communication

Alle Autoren

Anthony, Richard and Chen, DeJiu and Törngren, Martin and Scholle, Detlef and Sanfridson, Martin and Rettberg, Achim and Naseer, Tahir and Persson, Magnus and Feng, Lei

Jahr

2009

Publikationstyp

inbook

Titel

Bayesian Identification of Problem-Solving Strategies for Checking the ACT-R/Brain-Mapping Hypothesis

Buchtitel

Bamberger Beiträge zur Wirtschaftsinformatik und Angewandten Informatik

Titel der Konferenz

KI 2009 Workshop Complex Cognition

Alle Autoren

Möbus, C., Lenk, J.

Jahr

2009

Publikationstyp

inproceedings

Titel

Beyond Position - Spatial Context for Mobile Information Systems

Buchtitel

Proceedings of Workshop on Positioning, Navigation and Communication

Titel der Konferenz

Workshop on Positioning, Navigation and Communication

Alle Autoren

Ahlers, Dirk and Boll, Susanne

Jahr

2009

Publikationstyp

inproceedings

Titel

Cognitive Modelling of Pilot Errors and Error Recovery in Flight Management Tasks

Buchtitel

Proceedings of the 7th Working Conference on Human Error, Safety and Systems Development Systems Development (HESSD)

Titel der Konferenz

HESSD 2009

Alle Autoren

Lüdtke, Andreas and Osterloh, Jan-Patrick and Mioch, Tina and Rister, Frank and Looije, Rosemarijn

Jahr

2009

Publikationstyp

inproceedings

Titel

Compositional Dependability Evaluation for STATEMATE

Buchtitel

Software Engineering, IEEE Transactions on

Alle Autoren

Bode, E. and Herbstritt, M. and Hermanns, H. and Johr, S. and Peikenkamp, T. and Pulungan, R. and Rakow, J. and Wimmer, R. and Becker, B.

Jahr

2009

Publikationstyp

article

Titel

Contract Based ISO CD 26262 Safety Analysis

Titel der Konferenz

SAE World Congress 2009

Alle Autoren

Damm, Werner and Josko, Bernhard and Peikenkamp, Thomas

Jahr

2009

Publikationstyp

inproceedings

Titel

Deriving a Good Trade-off Between System Availability and Time Redundancy

Titel der Konferenz

International Symposium on UbiCom Frontiers - Innovative Research, Systems and Technologies

Alle Autoren

Müllner, Nils and Dhama, Abhishek and Theel, Oliver

Jahr

2009

Publikationstyp

inproceedings

Titel

Design and implementation of a domain-aware data model for pervasive context information

Buchtitel

Computer Science - Research and Development

Alle Autoren

Hönle, Nicola and Grossmann, Matthias and Nicklas, Daniela and Mitschang, Bernhard

Jahr

2009

Publikationstyp

article

Titel

Design Aspects of Cognitive Logistic Systems.

Titel der Konferenz

Int. Conf. on Dynamics and Logistics (LDIC)

Alle Autoren

Beth, C. and Kamenik, J. and Ommen, D. and Hahn, A.

Jahr

2009

Publikationstyp

inproceedings

Titel

Detection of Pilot Errors in Data by combining Task Modeling and Model Checking

Titel der Konferenz

Interact 2009

Alle Autoren

Frische, Florian and Mistrzyk, Tomasz and Lüdtke, Andreas

Jahr

2009

Publikationstyp

inproceedings

Titel

Durchführung von Kompositionellen Sicherheitsnachweisen für UML Modelle

Alle Autoren

Gebhardt, Sebastian

Jahr

2009

Publikationstyp

mastersthesis

Titel

Efficient Model-Checking for Real-Time Task Networks

Titel der Konferenz

6th International Conference on Embedded Software and Systems (ICESS'09)

Alle Autoren

Dierks, H., Metzner, A., Stierand, I.

Jahr

2009

Publikationstyp

inproceedings

Titel

Energy Optimized Fault Tolerance for Pervasive Communication Spaces

Buchtitel

Sixth Annual IEEE International Conference on Pervasive Computing and Communications, 2009. PerCom 2009

Alle Autoren

Kamenik, Jens

Jahr

2009

Publikationstyp

inproceedings

Titel

Entwicklung von non-auditiven Cockpitverfahren anhand simulationsfähiger Aufgabenmodelle

Buchtitel

Kooperative Arbeitsprozesse

Titel der Konferenz

51. Fachauschusssitzung Anthropotechnik

Alle Autoren

Mistrzyk T., Rister F.

Jahr

2009

Publikationstyp

inproceedings

Titel

Entwurf, Analyse und Einsatz verteilter Energiesteuersysteme

Buchtitel

Tagungsband zum 3. Symposium des FEN

Titel der Konferenz

Symposium des FEN

Alle Autoren

Korte, Mario and Nebel, Wolfgang

Jahr

2009

Titel

European Design Automation Roadmap 6th Edition

Buchtitel

European Design Automation Roadmap

Titel der Konferenz

MEDEA+/CATRENE Office

Jahr

2009

Publikationstyp

techreport

Titel

Forschungsprojekt CogniLog: Natur als Vorbild - Kognitive Logistikmodule steuern Umschlagsysteme.

Alle Autoren

Heiserich, G. and Kamenik, J. and Wellmann, T.

Jahr

2009

Publikationstyp

article

Titel

Further Steps Towards Driver Modeling according to the Bayesian Programming Approach

Buchtitel

Digital Human Modeling

Titel der Konferenz

HCI 2009

Alle Autoren

Möbus, C., Eilers, M.

Jahr

2009

Publikationstyp

inproceedings

Titel

Further Steps towards Driver Modelling according to the Bayesian Programming Approach

Buchtitel

Digital Human Modelling, Conference Proceedings

Titel der Konferenz

HCI 2009

Alle Autoren

Möbus, Claus and Eilers, Mark

Jahr

2009

Publikationstyp

inproceedings

Titel

GPS-based Position Control and Waypoint Navigation System for Quadrocopters

Titel der Konferenz

IROS09: International Conference on Intelligent RObots and Systems

Alle Autoren

Puls, Tim and Kemper, Markus and Küke, Reimund and Hein, Andreas

Jahr

2009

Publikationstyp

inproceedings

Titel

High-Level Estimation and Trade-Off Analysis for Adaptive Real-Time Systems

Buchtitel

Proceedings of the 2009 IEEE Symposium on Parallel & Distributed Processing

Titel der Konferenz

Reconfigurable Architectures Workshop 2009

Alle Autoren

Sander, Ingo and Herrholz, Andreas and Zhu, Jun and Hartmann, Andreas Philipp and Jantsch, Axel and Nebel, Wolfgang

Jahr

2009

Publikationstyp

inproceedings

Projekte-Schnellzugang