Publikationen im FuE-Bereich Verkehr

Co-Simulation of C-based SoC Simulators and MATLAB Simulink

Titel der Konferenz

Simulation Workshop 2012 (SW12)

Alle Autoren

Poppen, Frank; Grüttner, Kim

Jahr

2012

Titel

Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System

Buchtitel

Proceedings of the 2012 IEEE 26th International Conference on Advanced Information Networking and Applications

Titel der Konferenz

AINA12

Alle Autoren

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

Jahr

2012

Titel

Nicht-invasive Simulation des Energieverbrauchs von Hardware-Komponenten auf Systemebene mit SystemC

Titel der Konferenz

15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Alle Autoren

Lorenz, Daniel; Hartmann, Philipp A.; Grüttner, Kim; Rettberg, Achim

Jahr

2012

Titel

A Reference Technology Platform with Common Interfaces for Distributed Heterogeneous Data

Buchtitel

Proceedings of the of the Embedded World 2012 Exhibition and Conference

Titel der Konferenz

Embedded World 2012 Exhibition and Conference

Alle Autoren

Andreas Baumgart, Christian Ellen, Markus Oertel, Philip Rehkop, Stefan Farfeleder, Stefan Schulz

Jahr

2012

Titel

Specification of an Architecture Meta-Model

Titel der Konferenz

OFFIS Technical Report

Alle Autoren

Raphael Weber, Eike Thaden, Philipp Reinkemeier, Andreas Baumgart

Jahr

2012

Titel

Mapping of Concurrent Object-Oriented Models to Extended Real-Time Task Networks

Buchtitel

System Specification and Design Languages - Selected Contributions from FDL 2010

Alle Autoren

Bücker, Matthias; Grüttner, Kim; Hartmann, Philipp A.; Stierand, Ingo

Jahr

2012

Titel

Rapid Prototyping of Complex HW/SW Systems using a Timing and Power Aware ESL Framework

Buchtitel

System Specification and Design Languages - Selected Contributions from FDL 2010

Alle Autoren

Grüttner, Kim; Hylla, Kai; Rosinger, Sven; Nebel, Wolfgang

Jahr

2012

Combining Sensor Systems: A Differential Behavior Model

Buchtitel

International Transactions on Systems Science and Applications

Alle Autoren

Busemann, Claas; Nicklas, Daniela

Jahr

2011

Titel

Low-Level Space Optimization of an IDCT/FDCT Implementation for a Bit-Serial Fully Pipelined Architecture

Titel der Konferenz

The 13th IASTED International Conference on Signal and Image Processing ~SIP 2011~

Alle Autoren

Weber, Raphael, Henkler, Stefan; Rettberg, Achim

Jahr

2011

Titel

Taming Dr. Frankenstein: Contract-Based Design for Cyber-physical Systems

Titel der Konferenz

50th IEEE Conference on Decision and Control and European Control Conference

Alle Autoren

Sangiovanni-Vincentelli, Alberto; Damm, Werner; Passerone, Roberto

Jahr

2011

Titel

CESAR Reference Technology Platform RTP V2.0 released: Experiences from innovative requirement engineering methods for modelling and test generation in the ERTMS context

Titel der Konferenz

TAE Symposium Testen im System- und Software-Life-Cycle

Alle Autoren

Oertel, Markus; Rehkop, Philip; Reyzl, Erwin; Bonifacio, Guiseppe; Farfeleder, Stefan

Jahr

2011

Titel

ZeDDS - Fault-Tolerant Data Management in Wireless Sensor Networks with Mobile Users

Titel der Konferenz

The Fifth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2011)

Alle Autoren

Kamenik, Jens; Peuser, Christoph; Gollücke, Volker; Lorenz, Daniel; Piechocki, Roland; Wasmann, Merlin; Oliver, Theel

Jahr

2011

Titel

Compositionality with Strong Assumptions

Titel der Konferenz

Nordic Workshop on Programming Theory

Alle Autoren

Hungar, Hardi

Jahr

2011

Titel

Support Vector Machines for an efficient Representation of Voltage Band Constraints

Titel der Konferenz

Innovative Smart Grid Technologies

Alle Autoren

Blank, Marita; Gerwinn, Sebastian; Krause, Olav; Lehnhoff, Sebastian

Jahr

2011

Titel

Cost-Minimal Pre-Allocation of Software Tasks Under Real-Time Constraints

Buchtitel

Proceedings of the 2011 Research in Applied Computation Symposium (RACS 2011)

Titel der Konferenz

2011 Research in Applied Computation Symposium

Alle Autoren

Clark, Brian; Stierand, Ingo; Thaden, Eike

Jahr

2011

Titel

How to Assess ACT-R Models Predicting BOLD Curves for a Complex Problem

Buchtitel

Interdisciplinary Perspectives on Cognition, Education and the Brain

Titel der Konferenz

Interdisciplinary Perspectives on Cognition, Education and the Brain

Alle Autoren

Lenk, Jan Charles; Möbus, Claus; Özyurt, J.; Thiel, C. M.; Claassen, A.

Jahr

2011

Titel

Model-Based Safety Assessment for the Three Stages of Refinement of the System Development Process in ARP4754A

Titel der Konferenz

AeroTech Congress & Exhibition

Alle Autoren

Seguin, Christel; Bieber, Pierre; Böde, Eckard; Bozzano, Marco; Bretschneider, Matthias; Cavallo, Antonella; Deneux, Johann; Heckmann, Jean-Pierre; Lisagor, Oleg; Morel, Marion; Papadopoulos, Chris; Sagaspe, Laurent; Sartor, Valerie; Delmas, Rémi

Jahr

2011

Titel

Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments

Titel der Konferenz

ISoLA Workshop on Software Aspects of Robotic Systems

Alle Autoren

Eilers, Sönke; Kuka, Christian; Rührup, Stefan; Schweigert, Sören; Toben, Tobe; Winkelmann, Hannes

Jahr

2011

Titel

A Refinement Checking Technique for Contract-Based Architecture Designs

Titel der Konferenz

Fourth International Workshop on Model Based Architecting and Construction of Embedded Systems

Alle Autoren

Gezgin, Tayfun; Weber, Raphael; Girod, Maurice

Jahr

2011

Titel

Validation of a Digital Human Model for Predicting Flight Crew - Aircraft Cockpit Interaction

Titel der Konferenz

Berliner Werkstatt für Mensch-Maschine Systeme

Alle Autoren

Lüdtke, Andreas; Frische, Florian; Osterloh, Jan-Patrick

Jahr

2011

Titel

Projekt SaLsA: Automatisierte Fahrzeuge im Außenbereich

Buchtitel

Hebezeuge Fördermittel

Alle Autoren

Rührup, Stefan; Neugebauer, Thomas

Jahr

2011

Titel

Ad-hoc, Mobile, and Wireless Networks

Titel der Konferenz

Ad-hoc, Mobile, and Wireless Networks

Jahr

2011

Titel

Optimized data-available storage for energylimited wireless sensor networks

Buchtitel

36th IEEE LCN

Titel der Konferenz

36th IEEE LCN, Sixth International Workshop on Practical Issues in Building Sensor Network Applications (SENSEAPP 2011)

Alle Autoren

Kamenik, Jens; Theel, Oliver

Jahr

2011

Titel

From fMRI Data To Cognitive Models: Testing the ACT-R Brain Mapping Hypothesis with an Ex-Post Model

Buchtitel

COGNITIVE 2011 - The Third International Conference on Advanced Cognitive Technologies and Applications

Titel der Konferenz

COGNITIVE 2011 - The Third International Conference on Advanced Cognitive Technologies and Applications, September 25-30, 2011, Rome, Italy

Alle Autoren

Lenk, Jan Charles; Möbus, Claus; Özyurt, J.; Thiel, C. M.; Claassen, A.

Jahr

2011

Titel

ANDRES - Analysis and Design of Run-Time Reconfigurable, Heterogeneous Systems

Buchtitel

Reconfigurable Computing - From FPGAs to Hardware/Software Codesign

Alle Autoren

Grüttner, Kim; Hartmann, Philipp A.; Herrholz, Andreas; Oppenheimer, Frank

Jahr

2011