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 1012 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 Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques

Buchtitel

Formal Verification and Modeling in Human-Machine Systems - Papers from the AAAI Spring Symposium

Alle Autoren

Javaux, Denis and Wortelen, Bertram and Lüdtke, Andreas and Pecheur,Charles and Peldszus, Regina and Sievi, Sonja and Yushtein, Yuri

Jahr

2014

Publikationstyp

inproceedings

Titel

A Methodology for Scaling Power Dissipation Values Between Different FPGAs

Buchtitel

24th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS'14)

Alle Autoren

Reimer, Axel and Nebel Wolfgang

Jahr

2014

Publikationstyp

inproceedings

Titel

A Program State Machine Based Virtual Processing Model in SystemC

Buchtitel

The 4th Embedded Operating Systems Workshop (EWiLi'14)

Alle Autoren

Tim Schmidt and Kim Grüttner and Rainer Dömer and Achim Rettberg

Jahr

2014

Publikationstyp

inproceedings

Titel

A Recipe for Tool Interoperability

Buchtitel

Proceedings of MODELSWARD 2014

Alle Autoren

Baumgart, Andreas and Ellen, Christian

Jahr

2014

Publikationstyp

inproceedings

Titel

A User-Supported Approach to Determine the Importance of Optimization Criteria for Design Space Exploration

Buchtitel

Proceedings of IDEAL'14 Workshop

Alle Autoren

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

Jahr

2014

Publikationstyp

inproceedings

Titel

An ESL Timing & Power Estimation and Simulation Framework for Heterogeneous SoCs

Buchtitel

Proceedings of International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), Samos, Greece, July 14-17, 2014

Alle Autoren

Kim Grüttner and Philipp A. Hartmann and Tiemo Fandrey and Kai Hylla and Daniel Lorenz and Stefan Stattelmann and Björn Sander and Oliver Bringmann and Wolfgang Nebel and Wolfgang Rosenstiel

Jahr

2014

Publikationstyp

inproceedings

Titel

Applying the MIDAS SA-Model to Score Human Operator Situation Awareness

Buchtitel

Proc. of AHFE'14

Alle Autoren

Fortmann, Florian

Jahr

2014

Publikationstyp

inproceedings

Titel

Assessing the Fitness of Information Supply and Demand during User Interface Design

Buchtitel

Proc.of AHFE'14

Alle Autoren

Denker, Christian and Fortmann, Florian and Ostendorp, Marie and Hahn, Axel

Jahr

2014

Publikationstyp

inproceedings

Titel

Autonomous flight control meets custom payload processing: A mixed-critical avionics architecture approach for civilian UAVs

Buchtitel

Proceedings of the 5th IEEE Workshop on Self-Organizing Real-Time Systems

Alle Autoren

Sören Schreiner and Kim Grüttner and Sven Rosinger

Jahr

2014

Publikationstyp

inproceedings

Titel

Connecting a Company’s Verification Methodology to Standard Concepts of UVM

Buchtitel

Proceedings of DVCon Europe 2014

Alle Autoren

Frank Poppen, Marco Trunzer, Jan-Hendrik Oetjens

Jahr

2014

Publikationstyp

conference

Titel

Considering Variation and Aging in a Full Chip Design Methodology at System Level

Alle Autoren

Domenik Helms and Kim Grüttner and Reef Eilers and Malte Metzdorf and Kai Hylla and Frank Poppen and Wolfgang Nebel

Jahr

2014

Publikationstyp

misc

Titel

Considering Variation and Aging in a Full Chip Design Methodology at System Level

Buchtitel

Proceedings of The 2014 Electronic System Level Synthesis Conference (ESLsyn'14), May 31- Jun 01 2014, San Francisco, CA, USA

Alle Autoren

Domenik Helms and Kim Grüttner and Reef Eilers and Malte Metzdorf and Kai Hylla and Frank Poppen and Wolfgang Nebel

Jahr

2014

Publikationstyp

inproceedings

Titel

Contract-based Safety: Specification and Application Guidelines

Buchtitel

Proceedings of the 1st International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC 2014)

Alle Autoren

Markus Oertel and Ahmed Mahdi and Eckard Böde and Achim Rettberg

Jahr

2014

Publikationstyp

inproceedings

Titel

Correct by Prognosis: Methodology for a Contract-based refinement of Evolution Models

Buchtitel

CSD&M 2014

Alle Autoren

Christoph Etzien Tayfun Gezgin

Jahr

2014

Publikationstyp

inproceedings

Titel

COSINUS - Cooperative Navigation for Nautical Safety

Buchtitel

Proceedings of the 2014 International Symposium for Information on Ships

Alle Autoren

Andre Bolles Axel Hahn Michael Braun Sven Rohde Michael Gluch Knud Benedict

Jahr

2014

Publikationstyp

inproceedings

Titel

Creating a Reference Technology Platform

Buchtitel

Proceedings of MODELSWARD 2014

Alle Autoren

Kacimi, Omar and Ellen, Christian and Oertel, Markus and Sojka, Daniel

Jahr

2014

Publikationstyp

inproceedings

Titel

Data- and State-Dependent Power Characterisation and Simulation of Black-Box RTL IP Components at System-Level

Buchtitel

17th Euromicro Conference on Digital Systems Design (DSD 2014)

Alle Autoren

Daniel Lorenz and Kim Grüttner and Wolfgang Nebel

Jahr

2014

Publikationstyp

inproceedings

Titel

Designing a visual cue invocation scheme to aid monitoring behavior on a digital map display

Buchtitel

CHI'14 Extended Abstracts on Human Factors in Computing Systems

Alle Autoren

Fortmann, Florian and Boll, Susanne CJ

Jahr

2014

Publikationstyp

inproceedings

Titel

Designing Driver Assistance Systems with Crossmodal Signals: Multisensory Integration Rules for Saccadic Reaction Times Apply

Alle Autoren

Steenken, R. and Weber, Lars and Colonius, H. and Diederich, A.

Jahr

2014

Publikationstyp

article

Titel

Development and Evaluation of an Assistant System to Aid Monitoring Behavior during Multi-UAV Supervisory Control: Experiences from the D3CoS Project

Buchtitel

Proc. of ECCE'14

Alle Autoren

Fortmann, Florian and Mengeringhausen, Tobias

Jahr

2014

Publikationstyp

inproceedings

Titel

European Project Cluster on Mixed-Criticality Systems

Buchtitel

Proceedings of the Performance, Power and Predictability of Many-Core Embedded Systems (3PMCES) Workshop

Alle Autoren

Trujillo, Salvador and Obermaisser, Roman and Grüttner, Kim and Cazorla, Francisco J. and Perez, Jon

Jahr

2014

Publikationstyp

inproceedings

Titel

Evaluation of a State-based Real-Time Scheduling Analysis Technique

Buchtitel

International Conference on Industrial Informatics (INDIN2014)

Alle Autoren

Henkler, Stefan and Gezgin, Tayfun and Stierand, Ingo and Rettberg, Achim

Jahr

2014

Publikationstyp

inproceedings

Titel

Experiences from Using Formal Verification Techniques to Analyze Human-Machine Interaction: A Case Study

Buchtitel

Proc. of ECCE´14

Alle Autoren

Bertram Wortelen Andreas Lüdtke Denis Javaux Sonja Sievi

Jahr

2014

Publikationstyp

inproceedings

Titel

First Results of Automatic Fault-Injection in an AUTOSAR Tool-chain

Buchtitel

Proceedings of the 12th International Conference on Industrial Informatics (INDIN 2014)

Alle Autoren

Guilherme Baumgarten Markus Oertel Achim Rettberg Marcelo Götz

Jahr

2014

Publikationstyp

inproceedings

Projekte-Schnellzugang