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

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

Expressing Best Practices in (Risk) Analysis and Testing of Safety-Critical Systems Using Patterns

Buchtitel

2nd International Workshop on Risk Assessment and Risk-driven Testing

Alle Autoren

Wolfgang Herzner and Sven Sieverding and Thomas Bauer and Brian Nielsen and Omar Kacimi and Eckard Böde

Jahr

2014

Publikationstyp

inproceedings

Titel

Field programmable Servers - Project presentation

Alle Autoren

Patrick Knocke

Jahr

2014

Publikationstyp

misc

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

Titel

Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads

Buchtitel

Quantitative Evaluation of Systems

Alle Autoren

Esmaeil Zadeh Soudjani, Sadegh and Gerwinn, Sebastian and Ellen, Christian and Fränzle, Martin and Abate, Alessandro

Jahr

2014

Publikationstyp

incollection

Titel

Glaubwürdigkeit in dynamischen Wirkleistungsverbünden

Alle Autoren

Christine Rosinger und Sebastian Beer

Jahr

2014

Publikationstyp

article

Titel

Gründe für die Virtualisierung eingebetteter Systeme

Alle Autoren

Frank Poppen

Jahr

2014

Publikationstyp

article

Titel

HAGGIS: A modelling and simulation platform for e-Maritime technology assessment

Buchtitel

Proceedings of 2nd International Symposium of Naval Architecture and Maritime

Alle Autoren

Sören Schweigert, Volker Gollücke, Axel Hahn, André Bolles

Jahr

2014

Publikationstyp

inproceedings

Titel

Hardware-Based Real-Time Simulation on the Raspberry Pi

Titel der Konferenz

2nd Workshop on High-performance and Real-time Embedded Systems (HiRES 2014)

Alle Autoren

Walter, Jörg and Fakih, Maher and Grüttner, Kim

Jahr

2014

Publikationstyp

inproceedings

Titel

Holodeck für die Entwicklung eingebetteter Systeme

Titel der Konferenz

Embedded Software Engineering Kongress

Jahr

2014

Publikationstyp

misc

Titel

Idea: Security Engineering Principles for Day Two Car2X Applications

Buchtitel

Engineering Secure Software and Systems

Alle Autoren

Fröschle, Sibylle and Stühring, Alexander

Jahr

2014

Publikationstyp

incollection

Titel

Impact Analysis for Timing Requirements on Real-Time Systems

Buchtitel

The 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2014)

Alle Autoren

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

Jahr

2014

Publikationstyp

inproceedings

Titel

Impact of Data Sharing on Co-Running Programs in Multi-Core Systems

Buchtitel

Proceedings of the Work in Progress Session 22nd Euromicro International Conference on Parallel, distributed and Network-based Processing (PDP 2014), February 12-14, 2014, Turin, Italy

Alle Autoren

Korotaeva, Anna and Nebel, Wolfgang and Balakrishnan, M.

Jahr

2014

Publikationstyp

inproceedings

Titel

Impact of Improved Ergonomics, Collaboration, and HCI in Ground Operations: The AERG Study at ESOC

Buchtitel

SpaceOps 2014 Conference

Alle Autoren

Jan Charles Lenk, Andreas Lüdtke, Alexandr Puchkovskiy, Denis Javaux, Georges Vroonen, Giovanni Scotti, Sonja Sievi, Collin Haddow, Felix Flentge

Jahr

2014

Publikationstyp

inproceedings

Titel

Integrated Test Bed for Save and Efficient Maritime Systems

Buchtitel

Proceedings of 15th Annual IAMU Annual General Assembly

Alle Autoren

Axel Hahn, André Bolles, Knud Benedict

Jahr

2014

Publikationstyp

inproceedings

Titel

Integrating the Security Aspect into Design Space Exploration of Embedded Systems

Buchtitel

The 2nd IEEE International Workshop on Reliability and Security Data Analysis (RSDA 2014)

Alle Autoren

Stierand, Ingo and Malipatlolla, Sunil and Fröschle, Sibylle and Stühring, Alexander and Henkler, Stefan

Jahr

2014

Publikationstyp

inproceedings

Titel

Interoperability In Co-Simulatons Of Maritime Systems

Buchtitel

ECMS

Alle Autoren

Christoph Dibbern Axel Hahn Sören Schweigert

Jahr

2014

Publikationstyp

inproceedings

Titel

LABSKAUS - A physical platform for e-Maritime technology assessment

Buchtitel

Proceedings of 2nd International Symposium of Naval Architecture and Maritime

Alle Autoren

Arne Stasch, André Bolles, Axel Hahn

Jahr

2014

Publikationstyp

inproceedings

Titel

Model-Based Risk Assessment of Offshore Operations

Buchtitel

Proceedings 33rd International Conference on Ocean, Offshore and Arctic Engineering

Alle Autoren

Läsche, Christoph and Droste, Rainer and Pinkowski, Jan and Gerwinn, Sebastian and Hahn, Axel

Jahr

2014

Publikationstyp

inproceedings

Titel

Modellbasierte Entwicklung und Verifikation von Sensor-SiPs

Buchtitel

MATLAB EXPO 2014

Alle Autoren

Görgen, Ralph; Oetjens, Jan-Hendrik

Jahr

2014

Publikationstyp

inproceedings

Titel

Modelling human-machine cooperation for human-centred ship bridge design

Buchtitel

Proceedings of the 5th Transport Research Arena Conference

Alle Autoren

Christian Denker, Cilli Sobiech, Henning Mextorf, Gary Randall, Paul Allen, Tommy Mikkelsen, Eugen Adami, Denis Javaux

Jahr

2014

Publikationstyp

inproceedings

Titel

Modelling, simulation and analysis of extra-functional properties of multi-core platforms in multi-application scenarios

Buchtitel

RAPIDO'14: 6th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools

Alle Autoren

Hartmann, Philipp A.

Jahr

2014

Publikationstyp

inproceedings

Titel

MOTORBRAIN: MODEL-BASED DESIGN AND VIRTUAL INTEGRATION OF AN INTELLIGENT AND SAFE ELECTRICAL POWERTRAIN

Alle Autoren

Sven Rosinger, Maher Fakih and Jörg Walter

Jahr

2014

Publikationstyp

misc

Titel

MTBF Inconsistency Analysis on Inferred Product Breakdown Structures

Buchtitel

Computer Safety, Reliability, and Security

Alle Autoren

Ellen, Christian and Böschen, Martin and Peikenkamp, Thomas

Jahr

2014

Publikationstyp

incollection

Titel

Multi-aspect Virtual Integration approach for Real-Time and Safety Properties

Buchtitel

International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS14)

Alle Autoren

Gezgin, Tayfun and Oertel, Markus and Weber, Raphael

Jahr

2014

Publikationstyp

inproceedings

Projekte-Schnellzugang