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

Autonom Unterwegs

Booktitle

Computer & Automation

All authors

Eikötter, Mark and Rührup, Stefan and Toben, Tobe

Year

2011

Type of Publication

article

Title

Behavioral-Level Thermal- and Aging-Estimation Flow

Booktitle

Test Workshop (LATW), 2011 12th Latin American

All authors

Rosinger, Sven and Metzdorf, Malte and Helms, Domenik and Nebel, Wolfgang

Year

2011

Type of Publication

conference

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 and Rehkop, Philip and Reyzl, Erwin and Bonifacio, Guiseppe and Farfeleder, Stefan

Year

2011

Type of Publication

inproceedings

Title

Challenges in SoC System Synthesis

Title of Conference

ESLsyn 2011

All authors

Grüttner, Kim

Year

2011

Type of Publication

misc

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

Projects - fast access