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

A Task-Level Monitoring Framework for Multi-Processor Platforms

Buchtitel

Workshop on Software and Compilers for Embedded Systems (SCOPES'16)

Alle Autoren

Philipp Ittershagen and Kim Grüttner and Wolfgang Nebel

Jahr

2016

Publikationstyp

inproceedings

Titel

Analysis of NBTI Effects on High Frequency Digital Circuits

Buchtitel

DATE

Alle Autoren

Ahmet Unutulmaz, Domenik Helms, Reef Eilers, Malte Metzdorf, Ben Kaczer, Wolfgang Nebel

Jahr

2016

Publikationstyp

inproceedings

Titel

Analyzing the Impact of Injected Sensor Data on an Advanced Driver Assistance System using the OP2TiMuS Prototyping Platform

Buchtitel

Proceedings of the Conference on Design, Automation and Test in Europe (DATE) 2016

Alle Autoren

Stühring, Alexander and Ehmen, Günter and Fröschle, Sibylle

Jahr

2016

Publikationstyp

inproceedings

Titel

Augmenting Monitoring Performance during Multi-UAV Supervisory Control with Adaptive Displays

Alle Autoren

Fortmann, Florian

Jahr

2016

Publikationstyp

phdthesis

Titel

Bridging the Gap between Natural Language Requirements and Formal Specifications

Buchtitel

Joint Proceedings of REFSQ-2016 Workshops, Doctoral Symposium, Research Method Track, and Poster Track (REFSQ-JP 2016)

Alle Autoren

Böschen, Martin and Bogusch, Ralf and Fraga, Anabel and Rudat, Christian

Jahr

2016

Publikationstyp

inproceedings

Titel

Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems

Buchtitel

Festschrift Symposium in Honour of Ernst-Rüdiger Olderog

Alle Autoren

Sibylle Fröschle

Jahr

2016

Publikationstyp

inproceedings

Titel

Design of a Human-Machine Interface for Truck Platooning

Buchtitel

CHI 2016: Proceedings of the 34th Annual ACM Conference on Human Factors in Computing Systems

Alle Autoren

Shadan Sadeghian Borojeni, Thomas Friedrichs, Wilko Heuten, Andreas Lüdtke, Susanne Boll-Westermann

Jahr

2016

Publikationstyp

inproceedings

Titel

Developing a Feedback System to Augment Monitoring Performance of Aircraft Pilots

Buchtitel

Proc. of CogSIMA'16

Alle Autoren

Fortmann, Florian and Suck, Stefan and Cahill, Joan and Callari, Tiziana and Javaux, Denis and Hasselberg, Andreas

Jahr

2016

Publikationstyp

inproceedings

Titel

Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2014

Alle Autoren

Oezlem Karaca, Alper Sen, Liana Musat, Binghao Bao, Oliver Keszocze, Gabriel Hjort Blindell, Christian Sauer, Gregor Nitsche, Leandro Gil, et al.

Jahr

2016

Publikationstyp

book

Titel

RT Level Timing Model for Aging Prediction

Buchtitel

DATE

Alle Autoren

Nils Koppaetzky, Malte Metzdorf, Reef Eilers, Domenik Helms, Wolfgang Nebel

Jahr

2016

Publikationstyp

inproceedings

Titel

Simulink-Modell-ܜbersetzung in synchrone Datenflussgraphen

Buchtitel

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'2016)

Alle Autoren

Sebastian Warsitz and Maher Fakih

Jahr

2016

Publikationstyp

inproceedings

Titel

Towards State-Based RT Analysis of FSM-SADFGs on MPSoCs with Shared Memory Communication

Buchtitel

Integrating Dataflow, Embedded computing and Architecture (IDEA'2016)

Alle Autoren

Ralf Stemmer and Maher Fakih and Kim Grüttner and Wolfgang Nebel

Jahr

2016

Publikationstyp

inproceedings

Titel

A Compositional Safety Specification Using a Contract-Based Design Methodology

Buchtitel

International Conference on Performance, Safety and Robustness in Complex Systems and Applications

Alle Autoren

Oertel, Markus and Battram, Peter and Kacimi, Omar and Gerwinn, Sebastian and Rettberg, Achim

Jahr

2015

Publikationstyp

inproceedings

Titel

A Modular Safety Assurance Method considering Multi-Aspect Contracts during Cyber Physical System Design

Buchtitel

1st International Workshop on Requirements Engineering for Self-Adaptive and Cyber-Physical Systems (RESACS)

Alle Autoren

Peter Battram and Bernhard Kaiser and Raphael Weber

Jahr

2015

Publikationstyp

inproceedings

Titel

A Tool for Easing the Cognitive Analysis of Design Prototypes of Aircraft Cockpit Instruments

Buchtitel

Proceedings 33rd annual conference of the European Association of Cognitive Ergonomics

Alle Autoren

Sebastian Feuerstack, Andreas Lüdtke, Jan-Patrick Osterloh

Jahr

2015

Publikationstyp

inproceedings

Titel

A Workload Extraction Framework for Software Performance Model Generation

Buchtitel

7th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO)

Alle Autoren

Philipp Ittershagen and Philipp A. Hartmann and Kim Grüttner and Wolfgang Nebel

Jahr

2015

Publikationstyp

inproceedings

Titel

Abstracting TCAD aging models above the circuit level

Buchtitel

DATE - Design, Automation, and Test in Europe

Alle Autoren

Malte Metzdorf, Domenik Helms, Reef Eilers, Wolfgang Nebel

Jahr

2015

Publikationstyp

inproceedings

Titel

Adaptive Human-Automation Cooperation: A General Architecture for the Cockpit and its Application in the A-PiMod Project

Buchtitel

Proc. of COGNITIVE'15

Alle Autoren

Javaux, Denis and Fortmann, Florian and Möhlenbrink, Christoph

Jahr

2015

Publikationstyp

inproceedings

Titel

Advanced SystemC Tracing and Analysis Framework for Extra-Functional Properties

Buchtitel

The 11th International Symposium on Applied Reconfigurable Computing (ARC'15)

Alle Autoren

Philipp A. Hartmann and Kim Grüttner and Wolfgang Nebel

Jahr

2015

Publikationstyp

inproceedings

Titel

AMS-/EF-Contracts - A Proposal of Contracts for AMS-Verification and AMS-Coverage-Analysis

Buchtitel

Proceedings of the 2015 Forum on Specification and Design Languages, FDL 2015, Barcelona, Spain, September 14-16, 2015

Alle Autoren

Gregor Nitsche and Kim Grüttner

Jahr

2015

Publikationstyp

inproceedings

Titel

An Approach to Guide the System Engineer during the Design Space Exploration Process

Buchtitel

Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015.

Alle Autoren

Rosinger, Maike and Büker, Matthias and Weber, Raphael

Jahr

2015

Publikationstyp

inproceedings

Titel

Analysis of the HIS Security Module

Buchtitel

Analysis of Security APIs (ASA'15)

Alle Autoren

Fröschle, Sibylle and Gewald, Peter

Jahr

2015

Publikationstyp

inproceedings

Titel

Application Mapping and Communication Synthesis for Object-Oriented Platform-Based Design

Alle Autoren

Kim Grüttner

Jahr

2015

Publikationstyp

phdthesis

Titel

Assessing the Spatio-Temporal Fitness of Information Supply and Demand on an Adaptive Ship Bridge

Buchtitel

Knowledge Engineering and Knowledge Management

Alle Autoren

Denker, Christian

Jahr

2015

Publikationstyp

incollection

Titel

Assisting Mouse Pointer Recovery in Multi-Display Environments

Buchtitel

Mensch und Computer 2015 – Proceedings

Alle Autoren

Fortmann, Florian and Nowak, Dennis and Bruns, Kristian and Milster, Mark and Boll, Susanne

Jahr

2015

Publikationstyp

inproceedings

Projekte-Schnellzugang