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

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

Titel

Design Space Exploration for an industrial Lane-Keeping-Support Case Study

Buchtitel

Proceedings of DATE Conference - University Booth

Alle Autoren

Weber, Raphael and Thaden, Eike and Henkler, Stefan and Höfflinger, Jens and Prochnow, Steffen

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

Detecting consistencies and inconsistencies of pattern-based functional requirements

Buchtitel

Formal Methods for Industrial Critical Systems

Alle Autoren

Christian Ellen and Sven Sieverding and Hardi Hungar

Jahr

2014

Publikationstyp

inproceedings

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

Discriminative Learning of Relevant Percepts for a Bayesian Autonomous Driver Model

Buchtitel

Proceedings of the Sixth International Conference on Advanced Cognitive Technologies and Applications, COGNITIVE 2014

Alle Autoren

Mark Eilers and Claus Möbus

Jahr

2014

Publikationstyp

inproceedings

Titel

Efficient NBTI Modeling Technique Considering Recovery Effects

Buchtitel

Proceedings of the International Symposium on Low Power Electronics and Design (ISLPED)

Alle Autoren

Eilers, Reef and Metzdorf, Malte and Helms, Domenik and Nebel, Wolfgang

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

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

Projekte-Schnellzugang