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

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

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

Buchtitel

Workshopband Software Engineering 2015

Alle Autoren

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

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

Ein Verfahren zur Bestimmung eines Powermodells von Xilinx MicroBlaze MPSoCs zur Verwendung in Virtuellen Plattformen

Buchtitel

18. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2015)

Alle Autoren

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

Jahr

2015

Publikationstyp

inproceedings

Titel

Energy-Aware Mapping and Scheduling of Large-Scale Macro Data-Flow Applications

Buchtitel

1st International Workshop on Investigating Dataflow in Embedded Computing Architecture

Alle Autoren

Walter, Jörg and Nebel, Wolfgang

Jahr

2015

Publikationstyp

inproceedings

Titel

Impact of Data Sharing on Co-Running Embedded Applications in Multi-Core System

Buchtitel

23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2015), 4–6 March 2015, Turku, Finland

Alle Autoren

Anna Korotaeva, Wolfgang Nebel

Jahr

2015

Publikationstyp

inproceedings

Titel

Modeling Situation Awareness: The Impact of Ecological Interface Design on Driver’s Response Times

Buchtitel

COGNITIVE 2015 : The Seventh International Conference on Advanced Cognitive Technologies and Applications

Alle Autoren

Friedrichs, Thomas and Lüdtke, Andreas

Jahr

2015

Publikationstyp

inproceedings

Titel

Reducing Re-Validation Efforts for Real-time Systems

Buchtitel

Model-Based Development of Embedded Systems (MBEES)

Alle Autoren

Tayfun Gezgin Stefan Henkler Achim Rettberg

Jahr

2015

Publikationstyp

inproceedings

Titel

Save Maritime Systems Testbed

Alle Autoren

Axel Hahn and André Bolles

Jahr

2015

Publikationstyp

article

Titel

Semantic Data Exchange in e-Navigation

Buchtitel

Datenbanksysteme für Business, Technologie und Web (BTW)

Alle Autoren

Mazen Salous, André Bolles, Daniela Nicklas, Henning Mextorf

Jahr

2015

Publikationstyp

inproceedings

Titel

State-Based Real-Time Analysis for Function Networks and Marte

Buchtitel

18th IEEE Symposium on Real-Time Computing

Alle Autoren

Tayfun Gezgin Raphael Weber Matthias Büker

Jahr

2015

Publikationstyp

inproceedings

Titel

State-Based Real-Time Analysis of SDF Applications on MPSoCs with Shared Communication Resources

Alle Autoren

Maher Fakih and Kim Grüttner and Martin Fränzle and Achim Rettberg

Jahr

2015

Publikationstyp

article

Titel

State-Based Real-Time Analysis of SDF Applications on Multi-Cores

Buchtitel

1st International Workshop on Investigating Dataflow in Embedded computing Architecture (IDEA)

Alle Autoren

Maher Fakih and Kim Grüttner and Martin Fränzle and Achim Rettberg

Jahr

2015

Publikationstyp

inproceedings

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

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

Projekte-Schnellzugang