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
Virtual Observation for Assessment of Operator Situation Awareness
Title of Conference
IHCI 2012
All authors
Frische, Florian; Lüdtke, Andreas
Year
2012
Title
Virtual-Platform in the Loop Simulation for Accurate Timing Analysis of Embedded Software on Multicore Platforms
Title of Conference
ASIM STS/GMMS Workshop 2012
All authors
Fakih, Maher; Grüttner, Kim
Year
2012
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
Virtual Terminal Operation System for Joint Evaluation of Operation Strategies
Booktitle
LOGMS 2010
Title of Conference
LOGMS 2010 - The 1st International Conference on Logistics and Maritime Systems
All authors
Hahn, Axel
Year
2010
Title
Virtual Terminal Operation Virtual Testbed for Joint Evaluation of Terminal Operation Strategies
Booktitle
Go-3D 2010, Go for Innovations
Title of Conference
Go-3D 2010
All authors
Hahn, Axel; Sauer, Jürgen
Year
2010
Title
Verteilte Datenstromverarbeitung von Sensordaten
All authors
Cipriani, Nazario; Nicklas, Daniela; Grossmann, Matthias; Hönle, Nicola; Lübbe, Carlos; Mitschang, Bernhard
Year
2009
Title
VisPara - VISsualization of Paralogs
Title of Conference
5th Annual Cytoscape Public Symposium and Developers Retreat
All authors
Schwarz, Christoph; Siemer, Christian
Year
2007
Title
Verification and Synthesis of OCL Constraints via Topology Analysis
Title of Conference
3rd International Workshop on Applications of Graph Transformation with Industrial releVancE (AGTIVE 2007)
All authors
Bauer, Jörg; Damm, Werner; Toben, Tobe; Westphal, Bernd
Year
2007
Title
Verification of cooperating traffic agents
All authors
Damm, W.; Hungar, H., Olderog, E.-R.
Year
2006
Title
Verfahren zur Bestimmung von Verklemmungen in nebenläufigen Prozessen
All authors
Kersten, Michael
Year
2005
Title
Verfahren zur Herstellung von computergestützten Echtzeitsystemen
All authors
Münzenberger, Ralf; Slomka, Frank; Dörfel, Matthias; Bringmann, Oliver
Year
2005
Title
Verification of a Radio-based Signaling System Using the Statemate Verification Environment
All authors
Damm, W.; Klose, J.
Year
2001
Title
Verification of Automotive Control Units
Booktitle
Correct System Design
All authors
Bienmüller, T.; Bohn, J.; Brinkmann, H.; Brockmeyer, U.; Damm, W.; Hungar, H.; Jansen, P.
Year
1999