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

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

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

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 NBTI Effects on High Frequency Digital Circuits

Buchtitel

DATE

Alle Autoren

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

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

Titel

Automated SystemC Model Instantiation with modern C++ Features and sc_vector

Buchtitel

Proceedings of DVCon Europe 2015

Alle Autoren

Ralph Görgen and Philipp A. Hartmann and Wolfgang Nebel

Jahr

2015

Publikationstyp

inproceedings

Titel

Automatic Creation of a HLA Simulation Infrastructure for Simulation-Based UI Evaluation in Rapid UI Prototyping Processes

Buchtitel

Proceedings of the Eighth International Conference on Advances in Computer-Human Interactions (ACHI)

Alle Autoren

Bertram Wortelen Christian van Göns

Jahr

2015

Publikationstyp

inproceedings

Titel

Brain Activity Measured with fNIRS for the Prediction of Cognitive Workload

Buchtitel

Proceedings of the 6th IEEE Conference on Cognitive Infocommunications (CogInfoComm 2015)

Alle Autoren

Unni, A., Ihme, K., Weber, L., Surm, H., Lüdtke, A., Jipp, M., Rieger, J.

Jahr

2015

Publikationstyp

conference

Titel

Classifying driver's uncertainty about the distance gap at lane changing for developing trustworthy assistance systems

Buchtitel

Intelligent Vehicles Symposium (IV)

Alle Autoren

Yan, Fei and Weber, Lars and Luedtke, Andreas

Jahr

2015

Publikationstyp

inproceedings

Titel

COMPANION - Towards Co-Operative Platoon Management of Heavy-Duty Vehicles

Buchtitel

Proceedings of the 18th International Conference on Intelligent Transportation Systems

Alle Autoren

Soenke Eilers, Jonas Mårtensson, Henrik Pettersson, Marcos Pillado, David Gallegos, Marta Tobar, Karl Henrik Johansson, Xiaoliang Ma, Thomas Friedrichs, Shadan Sadeghian Borojeni, Magnus Adolfson

Jahr

2015

Publikationstyp

inproceedings

Titel

Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety

Alle Autoren

Kaiser, Bernhard and Weber, Raphael and Oertel, Markus and Böde, Eckard and Nejad, Behrang Monajemi and Zander, Justyna

Jahr

2015

Publikationstyp

article

Titel

Contracts for Schedulability Analysis

Buchtitel

Formal Modeling and Analysis of Timed Systems

Alle Autoren

Reinkemeier, Philipp and Benveniste, Albert and Damm, Werner and Stierand, Ingo

Jahr

2015

Publikationstyp

incollection

Projekte-Schnellzugang