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

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

Titel

Adaptive Simulation of Monitoring Behavior

Titel der Konferenz

The Sixth International Conference on Advances in Computer-Human Interactions

Alle Autoren

Wortelen,Bertram and Lüdtke, Andreas

Jahr

2013

Publikationstyp

inproceedings

Titel

An evaluation of real-time requirements for automatic sign language recognition using ANNs and HMMs - The LIBRAS use case

Alle Autoren

Dos Santos Anjo, Mauro and Pizzolato, Ednaldo and Feuerstack, Sebastian

Jahr

2013

Publikationstyp

article

Titel

An Intelligent SA-Adaptive Interface to Aid Supervisory Control of a UAV Swarm

Buchtitel

Proc. of IEEE Conference on Industrial Informatics (INDIN)

Alle Autoren

Fortmann, Florian and Lüdtke, Andreas

Jahr

2013

Publikationstyp

inproceedings

Titel

Ansatz zur Bewertung der HW/SW-Kommunikation in asymmetrischen Multi-Prozessor-Systemen

Buchtitel

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'2013)

Alle Autoren

Ittershagen, Philipp and Hartmann, Philipp A. and Grüttner, Kim and Nebel, Wolfgang

Jahr

2013

Publikationstyp

inproceedings

Titel

Automata-Based Refinement Checking for Real-Time Systems

Buchtitel

Proceedings of Software Engineering 2013 (SE 2013)

Titel der Konferenz

Software Engineering 2013

Alle Autoren

Brenner, Christian and Heinzemann, Christian and Schäfer, Wilhelm and Henkler, Stefan

Jahr

2013

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

2013

Publikationstyp

article

Titel

Beyond algorithms and performance: Modelling extra-functional properties in SystemC

Buchtitel

Indian SystemC User's Group Conference

Alle Autoren

Hartmann, Philipp A.

Jahr

2013

Publikationstyp

inproceedings

Titel

CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems

Alle Autoren

Oertel, Markus and Josko, Bernhard and CESAR Consortium

Jahr

2013

Publikationstyp

book

Titel

Closing the gap between technology and application needs

Titel der Konferenz

edaWorkshop13

Alle Autoren

Nebel, Wolfgang and Helms, Domenik and Grüttner, Kim and Oppenheimer, Frank

Jahr

2013

Publikationstyp

misc

Titel

Combining Decomposition and Reduction for the State Space Analysis of Self-Stabilizing Systems

Alle Autoren

Müllner, Nils and Theel, Oliver and Fränzle, Martin

Jahr

2013

Publikationstyp

article

Titel

Comparing the Multimodal Interaction Technique Design of MINT with NiMMiT

Buchtitel

Proceedings of the 19th Brazilian Symposium on Multimedia and the Web

Alle Autoren

Feuerstack, Sebastian and Pizzolato, Ednaldo Brigante

Jahr

2013

Publikationstyp

inproceedings

Titel

Compositional Timing Analysis of Real-Time Systems based on Resource Segregation Abstraction

Buchtitel

Embedded Systems: Design, Analysis and Verification

Titel der Konferenz

International Embedded Systems Symposium

Alle Autoren

Reinkemeier, Philipp and Stierand, Ingo

Jahr

2013

Publikationstyp

inproceedings

Titel

Contract-Based Compositional Scheduling Analysis for Evolving Systems

Buchtitel

Embedded Systems: Design, Analysis and Verification

Titel der Konferenz

International Embedded Systems Symposium 2013

Alle Autoren

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

Jahr

2013

Publikationstyp

inproceedings

Projekte-Schnellzugang