Publications of the R&D-Division Transportation
Below you will find all publication - published in the R+D Division Transportation.
Using the search box, you can narrow the issue further, for example, you can search by author, title, text content, or booktitle.
Title
Co-Simulation of C-based SoC Simulators and MATLAB Simulink
Title of Conference
Simulation Workshop 2012 (SW12)
All authors
Poppen, Frank; Grüttner, Kim
Year
2012
Title
Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System
Booktitle
Proceedings of the 2012 IEEE 26th International Conference on Advanced Information Networking and Applications
Title of Conference
AINA12
All authors
Nils Müllner, Oliver Theel, Martin Fränzle
Year
2012
Title
Nicht-invasive Simulation des Energieverbrauchs von Hardware-Komponenten auf Systemebene mit SystemC
Title of Conference
15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
All authors
Lorenz, Daniel; Hartmann, Philipp A.; Grüttner, Kim; Rettberg, Achim
Year
2012
Title
A Reference Technology Platform with Common Interfaces for Distributed Heterogeneous Data
Booktitle
Proceedings of the of the Embedded World 2012 Exhibition and Conference
Title of Conference
Embedded World 2012 Exhibition and Conference
All authors
Andreas Baumgart, Christian Ellen, Markus Oertel, Philip Rehkop, Stefan Farfeleder, Stefan Schulz
Year
2012
Title
Specification of an Architecture Meta-Model
Title of Conference
OFFIS Technical Report
All authors
Raphael Weber, Eike Thaden, Philipp Reinkemeier, Andreas Baumgart
Year
2012
Title
Mapping of Concurrent Object-Oriented Models to Extended Real-Time Task Networks
Booktitle
System Specification and Design Languages - Selected Contributions from FDL 2010
All authors
Bücker, Matthias; Grüttner, Kim; Hartmann, Philipp A.; Stierand, Ingo
Year
2012
Title
Rapid Prototyping of Complex HW/SW Systems using a Timing and Power Aware ESL Framework
Booktitle
System Specification and Design Languages - Selected Contributions from FDL 2010
All authors
Grüttner, Kim; Hylla, Kai; Rosinger, Sven; Nebel, Wolfgang
Year
2012
Title
Combining Sensor Systems: A Differential Behavior Model
Booktitle
International Transactions on Systems Science and Applications
All authors
Busemann, Claas; Nicklas, Daniela
Year
2011
Title
Low-Level Space Optimization of an IDCT/FDCT Implementation for a Bit-Serial Fully Pipelined Architecture
Title of Conference
The 13th IASTED International Conference on Signal and Image Processing ~SIP 2011~
All authors
Weber, Raphael, Henkler, Stefan; Rettberg, Achim
Year
2011
Title
Taming Dr. Frankenstein: Contract-Based Design for Cyber-physical Systems
Title of Conference
50th IEEE Conference on Decision and Control and European Control Conference
All authors
Sangiovanni-Vincentelli, Alberto; Damm, Werner; Passerone, Roberto
Year
2011
Title
CESAR Reference Technology Platform RTP V2.0 released: Experiences from innovative requirement engineering methods for modelling and test generation in the ERTMS context
Title of Conference
TAE Symposium Testen im System- und Software-Life-Cycle
All authors
Oertel, Markus; Rehkop, Philip; Reyzl, Erwin; Bonifacio, Guiseppe; Farfeleder, Stefan
Year
2011
Title
ZeDDS - Fault-Tolerant Data Management in Wireless Sensor Networks with Mobile Users
Title of Conference
The Fifth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2011)
All authors
Kamenik, Jens; Peuser, Christoph; Gollücke, Volker; Lorenz, Daniel; Piechocki, Roland; Wasmann, Merlin; Oliver, Theel
Year
2011
Title
Compositionality with Strong Assumptions
Title of Conference
Nordic Workshop on Programming Theory
All authors
Hungar, Hardi
Year
2011
Title
Support Vector Machines for an efficient Representation of Voltage Band Constraints
Title of Conference
Innovative Smart Grid Technologies
All authors
Blank, Marita; Gerwinn, Sebastian; Krause, Olav; Lehnhoff, Sebastian
Year
2011
Title
Cost-Minimal Pre-Allocation of Software Tasks Under Real-Time Constraints
Booktitle
Proceedings of the 2011 Research in Applied Computation Symposium (RACS 2011)
Title of Conference
2011 Research in Applied Computation Symposium
All authors
Clark, Brian; Stierand, Ingo; Thaden, Eike
Year
2011
Title
How to Assess ACT-R Models Predicting BOLD Curves for a Complex Problem
Booktitle
Interdisciplinary Perspectives on Cognition, Education and the Brain
Title of Conference
Interdisciplinary Perspectives on Cognition, Education and the Brain
All authors
Lenk, Jan Charles; Möbus, Claus; Özyurt, J.; Thiel, C. M.; Claassen, A.
Year
2011
Title
Model-Based Safety Assessment for the Three Stages of Refinement of the System Development Process in ARP4754A
Title of Conference
AeroTech Congress & Exhibition
All authors
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
Year
2011
Title
Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments
Title of Conference
ISoLA Workshop on Software Aspects of Robotic Systems
All authors
Eilers, Sönke; Kuka, Christian; Rührup, Stefan; Schweigert, Sören; Toben, Tobe; Winkelmann, Hannes
Year
2011
Title
A Refinement Checking Technique for Contract-Based Architecture Designs
Title of Conference
Fourth International Workshop on Model Based Architecting and Construction of Embedded Systems
All authors
Gezgin, Tayfun; Weber, Raphael; Girod, Maurice
Year
2011
Title
Validation of a Digital Human Model for Predicting Flight Crew - Aircraft Cockpit Interaction
Title of Conference
Berliner Werkstatt für Mensch-Maschine Systeme
All authors
Lüdtke, Andreas; Frische, Florian; Osterloh, Jan-Patrick
Year
2011
Title
Projekt SaLsA: Automatisierte Fahrzeuge im Außenbereich
Booktitle
Hebezeuge Fördermittel
All authors
Rührup, Stefan; Neugebauer, Thomas
Year
2011
Title
Ad-hoc, Mobile, and Wireless Networks
Title of Conference
Ad-hoc, Mobile, and Wireless Networks
Year
2011
Title
Optimized data-available storage for energylimited wireless sensor networks
Booktitle
36th IEEE LCN
Title of Conference
36th IEEE LCN, Sixth International Workshop on Practical Issues in Building Sensor Network Applications (SENSEAPP 2011)
All authors
Kamenik, Jens; Theel, Oliver
Year
2011
Title
From fMRI Data To Cognitive Models: Testing the ACT-R Brain Mapping Hypothesis with an Ex-Post Model
Booktitle
COGNITIVE 2011 - The Third International Conference on Advanced Cognitive Technologies and Applications
Title of Conference
COGNITIVE 2011 - The Third International Conference on Advanced Cognitive Technologies and Applications, September 25-30, 2011, Rome, Italy
All authors
Lenk, Jan Charles; Möbus, Claus; Özyurt, J.; Thiel, C. M.; Claassen, A.
Year
2011
Title
ANDRES - Analysis and Design of Run-Time Reconfigurable, Heterogeneous Systems
Booktitle
Reconfigurable Computing - From FPGAs to Hardware/Software Codesign
All authors
Grüttner, Kim; Hartmann, Philipp A.; Herrholz, Andreas; Oppenheimer, Frank
Year
2011