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

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

Titel

Multi-Objective Design Space Exploration for Cyber-Physical Systems satisfying hard Real-Time and Reliability Constraints

Buchtitel

Proceedings of IDEAL'14 Workshop

Alle Autoren

Weber, Raphael and Henkler, Stefan and Rettberg, Achim

Jahr

2014

Publikationstyp

inproceedings

Titel

Multicore Performance analysis of a Multi-phase Electrical Motor Controller

Buchtitel

Proceedings of the Embedded Real Time Software and Systems Congress (ERTS²) 2014

Alle Autoren

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

Jahr

2014

Publikationstyp

inproceedings

Titel

Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges

Buchtitel

Proceedings of the 51th Design Automation Conference (DAC) 2014, San Francisco, CA, USA

Alle Autoren

J.-H. Oetjens, N. Bannow, M. Becker, O. Bringmann, A. Burger, M. Chaari, S. Chakraborty, R. Drechsler, W. Ecker, K. Grüttner, Th. Kruse, C. Kuznik, H. M. Le, A. Mauderer, W. Müller, D. Müller-Gritschneder, F. Poppen, H. Post, S. Reiter, W. Rosenstiel, S. Roth, U. Schlichtmann, A. von Schwerin, B.-A. Tabacaru, A. Viehl

Jahr

2014

Publikationstyp

inproceedings

Titel

Scheduling of Real-Time Networks with a Column Generation Approach

Buchtitel

IAENG Transactions on Engineering Technologies - Special Issue of the World Congress on Engineering and Computer Science (WCECS) 2012

Alle Autoren

Althaus, Ernst and Hoffmann, Sebastian and Kupilas, Joschka and Thaden, Eike

Jahr

2014

Publikationstyp

incollection

Titel

Simulation of Socio-Technical Systems for Human-Centred Ship Bridge Design

Buchtitel

Proceedings: International Conference on Human Factors in Ship Design & Operation 2014

Alle Autoren

C Sobiech, M Eilers, C Denker, A Lüdtke, P Allen, G Randall, D Javaux

Jahr

2014

Publikationstyp

inproceedings

Titel

Simulation-based Completeness Analysis and Adaption of Fault Trees

Alle Autoren

Volker Gollücke Jan Pinkowski Christoph Läsche Sebastian Gerwinn Axel Hahn

Jahr

2014

Publikationstyp

article

Titel

Simulative Evaluation of Contract-based Change Management

Buchtitel

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

Alle Autoren

Markus Oertel Sebastian Gerwinn Achim Rettberg

Jahr

2014

Publikationstyp

inproceedings

Titel

Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains

Alle Autoren

Ellen, Christian and Gerwinn, Sebastian and Fränzle, Martin

Jahr

2014

Publikationstyp

article

Titel

Stochastische Modellerstellung für das Verhalten von Fahrern im Straßenverkehr

Alle Autoren

Michael Langner

Jahr

2014

Publikationstyp

phdthesis

Titel

Supporting Situation Awareness with Peripheral Feedback on Monitoring Behavior

Buchtitel

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

Alle Autoren

Fortmann, Florian and Müller, Heiko and Brauer, Dierk and Boll, Susanne

Jahr

2014

Publikationstyp

inproceedings

Titel

Towards Satisfaction Checking of Power Contracts in Uppaal

Buchtitel

Forum on specification & Design Languages (FDL 2014)

Alle Autoren

Gregor Nitsche and Kim Grüttner and Wolfgang Nebel

Jahr

2014

Publikationstyp

inproceedings

Titel

Trace-Based Power State Machine Modelling

Buchtitel

Forum on specification & Design Languages (FDL) 2014

Alle Autoren

Daniel Lorenz and Vincent Ortland and Kim Grüttner

Jahr

2014

Publikationstyp

inproceedings

Titel

Using early power and timing estimations of massively heterogeneous computation platforms to create optimized HPC applications

Buchtitel

Proceedings of 2014 International Conference on Embedded and Ubiquitous Computing - EUC 2014

Alle Autoren

Patrick Knocke and Ralph Görgen and Jörg Walter and Domenik Helms and Wolfgang Nebel

Jahr

2014

Publikationstyp

inproceedings

Titel

3. Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISON2020)

Buchtitel

Software Engineering

Alle Autoren

Bender, Ottmar and Böhm, Wolfgang and Henkler, Stefan and Sander, Dietmar and Vogelsang, Andreas and Weyer, Thorsten

Jahr

2013

Publikationstyp

inproceedings

Titel

A Contract-Based Installation Methodology for Safety-Related Automotive Systems

Buchtitel

Technical Papers presented at SAE 2013 World Congress & Exhibition

Titel der Konferenz

SAE 2013 World Congress & Exhibition

Alle Autoren

Baumgart, Andreas

Jahr

2013

Publikationstyp

inproceedings

Titel

A Database for the Integration of Power Data on System Level

Titel der Konferenz

EUROCON 2013, International Conference on Computer as a Tool

Alle Autoren

Sauppe, Matthias and Horn, Thomas and Markert, Erik and Heinkel, Ulrich and Lorenz, Daniel and Grüttner, Kim and Sahm, Hans-Werner and Otto, Klaus-Holger

Jahr

2013

Publikationstyp

inproceedings

Titel

A Design Space Exploration Framework for Model-Based Software-intensive Embedded System Development

Buchtitel

Software Engineering 2013 - Workshopband

Titel der Konferenz

Multikonferenz Software Engineering 2013

Alle Autoren

Büker, Matthias and Henkler, Stefan and Schlegel, Stefanie and Thaden, Eike

Jahr

2013

Publikationstyp

inproceedings

Titel

A Design Space Exploration Tool Demonstration for Automotive Systems

Titel der Konferenz

DAC 2013

Alle Autoren

Büker, Matthias and Damm, Werner and Ehmen, Günter and Henkler, Stefan and Rettberg, Achim and Stierand, Ingo and Thaden, Eike

Jahr

2013

Publikationstyp

misc

Titel

A model-based Design of Dynamic Approach Stabilization Advisory System

Buchtitel

Proceedings of International Scientific Conference on Modern Safety Technologies in Transportation (MOSATT) 2013

Alle Autoren

Lacko, Ivan and Rister, Frank and Osterloh, Jan Patrick and Dehais, Frédéric and Lüdtke, Andreas

Jahr

2013

Publikationstyp

inproceedings

Titel

A Novel Approach for a Hardware-based Secure Process Isolation in an Embedded System

Buchtitel

International Symposium on Security in Computing and Communications (SSCC 2013)

Alle Autoren

Malipatlolla, Sunil

Jahr

2013

Publikationstyp

inproceedings

Titel

A Path Planning Framework for Autonomous Vehicles

Buchtitel

9th International Workshop on Robot Motion and Control

Titel der Konferenz

9th Workshop on Robot Motion and Control (RoMoCo), 2013

Alle Autoren

Eilers, Sönke and Boger, Jürgen and Fränzle, Martin

Jahr

2013

Publikationstyp

inproceedings

Titel

A Visual Logic for the Description of Highway Traffic Scenarios

Buchtitel

Proceeding of the Fourth International Conference on Complex Systems Design & Management CDS&M 2013

Alle Autoren

Kemper, Stephanie and Etzien, Christoph

Jahr

2013

Publikationstyp

inproceedings

Titel

Abstraktion des Switching-Trap-Modells für eine leistungsorientierte NBTI-Simulation

Buchtitel

Proceedings of edaWorkshop 2013

Alle Autoren

Eilers, Reef and Bergemann, Carl and Helms, Domenik and Nebel, Wolfgang

Jahr

2013

Publikationstyp

inproceedings

Projekte-Schnellzugang