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.

Publikationsliste

  Search  AND OR Extended search
close
All 1080 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
Title

Challenges of Multi- and Many-Core Architectures for Electronic System-Level Design

Title of Conference

SAMOS 2011: International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XI)

All authors

Grüttner, Kim and Hartmann, Philipp A. and Reinkemeier, Philipp and Oppenheimer, Frank and Nebel, Wolfgang

Year

2011

Type of Publication

inproceedings

Title

Checking the ACT-R/Brain Mapping Hypothesis with a complex task: Using fMRI and Bayesian identification in a multi-dimensional strategy space

Booktitle

Cognitive Systems Research, Special Issue on Complex Cognition

All authors

Möbus, Claus and Lenk, Jan Charles and Özyurt, Jale and Thiel, Christiane M. and Claassen, Arno

Year

2011

Type of Publication

article

Title

Compositionality with Strong Assumptions

Title of Conference

Nordic Workshop on Programming Theory

All authors

Hungar, Hardi

Year

2011

Type of Publication

inproceedings

Title

Constraint-Based Analysis of Concurrent Probabilistic Hybrid Systems: An Application to Networked Automation Systems

All authors

Teige, Tino and Eggers, Andreas and Fränzle, Martin

Year

2011

Type of Publication

article

Title

Converting Conversation Protocols Using an XML Based Differential Behavior Model

Title of Conference

22nd International Conference on Database and Expert Systems Applications - DEXA 2011

All authors

Busemann, Claas and Nicklas, Daniela

Year

2011

Type of Publication

inproceedings

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 and Stierand, Ingo and Thaden, Eike

Year

2011

Type of Publication

inproceedings

Title

Crossing the bridge between similar games

Booktitle

Formal Modeling and Analysis of Timed Systems - 9th International Conference (FORMATS), Aalborg, Denmark, 21-23 September, 2011. Proceedings

All authors

Quesel, Jan-David and Fränzle, Martin and Damm, Werner

Year

2011

Type of Publication

inproceedings

Title

Designing and Executing Multimodal Interfaces for the Web based on State Chart XML

Booktitle

Proceedings of 3a. Conferencia Web W3C Brasil 2011, Rio de Janeiro

All authors

Sebastian Feuerstack and Jessica H. Colnago and Cesar R. de Souza and Ednaldo B. Pizzolato

Year

2011

Type of Publication

inproceedings

Title

Designing Dynamically Distributed Cooperative Flight Deck Systems

Title of Conference

53. DGLR Fachausschusssitzung Anthropotechnik, Die Rolle der Ergonomie im interdisziplinären Gestaltungsprozess

All authors

Rister, F., Lüdtke, A., Osterloh, J.-P., Keinrath, C.

Year

2011

Type of Publication

inproceedings

Title

Dynamic Communicating Probabilistic Timed Automata Playing Games

Booktitle

Reports of SFB/TR 14 AVACS

All authors

Ehlers, Rüdiger and Hahn, E. Moritz and Mehlmann, Martin and Peter, Hans-Jörg and Rakow, Jan and Toben, Tobe and Westphal, Bernd

Year

2011

Type of Publication

techreport

Title

Economic Impact Estimation of New Design Methods

Title of Conference

International Conference on Engineering Design

All authors

Koppe, Roland and Häusler, Stefan and große Austing, Stephan and Poppen, Frank and Hahn, Axel

Year

2011

Type of Publication

article

Title

Ein adaptives Vorhersagemodell für Signalstärken in einem Funknetzwerk

Booktitle

10. GI/ITG KuVS Fachgespräch Sensornetze

Title of Conference

10. GI/ITG KuVS Fachgespräch Sensornetze

All authors

Huisinga, Christian and Kamenik, Jens

Year

2011

Type of Publication

inproceedings

Title

Ein generisches Treiber-Framework zur HW/SW-Kommunikation mittels OSSS-RMI

Title of Conference

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

All authors

Ittershagen, Philipp and Hartmann, Philipp A. and Grüttner, Kim and Rettberg, Achim

Year

2011

Type of Publication

inproceedings

Title

Eine Generische Gefährdungsliste für Fahrerlose Transportfahrzeuge in der Intralogistik

Title of Conference

12. Braunschweiger Symposium AAET 2011 - Automatisierungs-, Assistenzsysteme und eingebettete Systeme für Transportmittel

All authors

Eilers, Sönke and Peikenkamp, Thomas and Rührup, Stefan and Schweigert, Sören and Toben, Tobe and Winkelmann, Hannes

Year

2011

Type of Publication

inproceedings

Title

Enabling Timing and Power Aware Virtual Prototyping of HW/SW Systems

Title of Conference

Workshop on Micro Power Management for Macro Systems on Chip (uPM2SoC)

All authors

Grüttner, Kim and Hylla, Kai and Rosinger, Sven and Hartmann, Philipp A. and Nebel, Wolfgang

Year

2011

Type of Publication

misc

Title

Field Test of Grid oriented chp micro units for the domestic energy supply

Booktitle

Proccedings of the 21st International Conference on Electricity Distribution CIRED

Title of Conference

International Conference on Electricity Distribution CIRED

All authors

Bunk, Marcus and Korte, Mario and Kurrat, Michael and Nebel, Wolfgang

Year

2011

Type of Publication

inproceedings

Title

Flexible and Efficient Sensor Data Processing - A Hybrid Approach

Title of Conference

14. GI-Fachtagung Datenbanksysteme für Business, Technologie und Web (BTW)

All authors

Claas Busemann, Christian Kuka, Susanne Boll, Daniela Nicklas

Year

2011

Type of Publication

proceedings

Title

Flexible Mapping of Concurrent Object-Oriented Applications to MPSoC Platforms

Title of Conference

Map2MPSoC 2011 Workshop

All authors

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

Year

2011

Type of Publication

misc

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 and Möbus, Claus and Özyurt, J. and Thiel, C. M. and Claassen, A.

Year

2011

Type of Publication

inproceedings

Title

Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems

Booktitle

Proceedings of the Seventeenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems

All authors

Teige, Tino and Fränzle, Martin

Year

2011

Type of Publication

inproceedings

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 and Möbus, Claus and Özyurt, J. and Thiel, C. M. and Claassen, A.

Year

2011

Type of Publication

inproceedings

Title

Human Modelling in Assisted Transportation – Models, Tools and Risk Methods

All authors

Cacciabue, C., Hjälmdahl, M., Lüdtke, A., Riccioli, C.

Year

2011

Type of Publication

book

Title

Impact Estimation for Design Flow Changes

Title of Conference

eda Workshop 2011

All authors

Koppe, Roland and Häusler, Stefan and Poppen, Frank and Hahn, Axel

Year

2011

Type of Publication

inproceedings

Title

Impact of Affective and Informative Feedback on Learning in Children before and after a Reattribution Training - An Integrated Approach using Neuroimaging, Educational Research, and Modelling

Booktitle

Interdisciplinary Perspectives on Cognition, Education and the Brain

Title of Conference

Interdisciplinary Perspectives on Cognition, Education and the Brain

All authors

Anschütz, A. and Bernholt S. and Özyurt, J. and Lenk, J. C. and Moschner, B. and Parchmann, I. and Möbus, C. and Thiel, C.M.

Year

2011

Type of Publication

inproceedings

Title

Impact Simulation of Changes to Development Processes: An ESL Case Study

Title of Conference

Forum on specification & Design Languages (FDL) 2011

All authors

Poppen, Frank and Koppe, Roland and Hahn, Axel and Grüttner, Kim

Year

2011

Type of Publication

inproceedings

Projects - fast access