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

Verifying Properties of an Electro-Mechanical Braking System

Buchtitel

2nd Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 2015)

Alle Autoren

Thomas Strathmann and Jens Oehlerking

Jahr

2015

Publikationstyp

inproceedings

Titel

Virtual Testbed for maritime safety assessment

Buchtitel

The 16th Marine Traffic Engineering Conference and International Symposium Information on Ships MTE-ISIS 2015

Alle Autoren

Hahn, Axel and Schweigert, Sören and Gollücke, Volker and Buschmann, Carsten

Jahr

2015

Publikationstyp

inproceedings

Titel

9 Million Bicycles? Extending Induction Loops with Bluetooth Sensing

Buchtitel

Proceedings of the 2014 IEEE 15th International Conference on Mobile Data Management - Volume 01

Alle Autoren

Jansen, Stephan and Höting, Dennis and Runge, Jens and Brinkhoff, Thomas and Nicklas, Daniela and Sauer, Jürgen

Jahr

2014

Publikationstyp

inproceedings

Titel

A fully-automated manufacturing environment realized through a flexible in house logistic system with smart transportation infrastructure

Buchtitel

Proceedings of the 2014 ICAM International Conference on Advanced and Agile Manufacturing.

Alle Autoren

Jan-Hinrich Kämper, Arne Stasch and Axel Hahn

Jahr

2014

Publikationstyp

conference

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

Adaptive Flight Simulation Programs - Three Years of Research and How the Results Fuel a New Generation of Training Design

Buchtitel

Proceedings of the 31st European Association for Aviation Psychology Conference (EAAP)

Alle Autoren

Rister, Frank and Osterloh, Jan-Patrick and Lüdtke, Andreas

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

Christian Denker, Florian Fortmann, Marie-Christin Ostendorp, Axel Hahn

Jahr

2014

Publikationstyp

inproceedings

Titel

Automated UI evaluation based on a cognitive architecture and UsiXML

Alle Autoren

González-Calleros, Juan Manuel and Osterloh, Jan Patrick and Feil, Rene and Lüdtke, Andreas

Jahr

2014

Publikationstyp

article

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

Classifying driver's uncertainty for developing trustworthy assistance systems

Buchtitel

Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational

Alle Autoren

Yan, Fei and Weber, Lars and Luedtke, Andreas

Jahr

2014

Publikationstyp

inproceedings

Titel

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

Buchtitel

Proceedings of DVCon Europe 2014

Titel der Konferenz

DVCon Europe 2014

Alle Autoren

Frank Poppen, Marco Trunzer, Jan-Hendrik Oetjens

Jahr

2014

Publikationstyp

inproceedings

Titel

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

Buchtitel

Electronic System Level Synthesis Conference (ESLsyn), Proceedings of the 2014

Titel der Konferenz

Electronic System Level Synthesis Conference (ESLsyn)

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

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

Das Adaptive-Information-Expectancy-Modell zur Aufmerksamkeitssimulation eines kognitiven Fahrermodells

Alle Autoren

Bertram Wortelen

Jahr

2014

Publikationstyp

phdthesis

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

Projekte-Schnellzugang