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
Model-based Development of Health, Safety, and Environment Plans and Risk Assessment for Offshore Operations
Title of Conference
9th IFAC Conference on Manoeuvring and Control of Marine Craft
All authors
Sobiech, Cilli; Droste, Rainer; Hahn, Axel; Korte, Holger
Year
2012
Title
Modeling TCL via DTMC
Title of Conference
Joint Workshop on Compositional Modelling and Analysis of Quantitative Systems
All authors
Ellen, Christian; Fränzle, Martin; Gerwinn, Sebastian; Müllner, Nils
Year
2012
Title
Multi-Agenten basierte 3D Simulation für die Evaluierung von Offshore Operationen (accepted paper)
Title of Conference
Go-3D 2012
All authors
Schweigert, Sören; Droste, Rainer; Hahn, Axel
Year
2012
Title
Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations
Booktitle
Formal Methods for Industrial Critical Systems
Title of Conference
FMICS 2012
All authors
Droste, Rainer; Läsche, Christoph; Sobiech, Cilli; Böde, Eckard; Hahn Axel
Year
2012
Title
Multi Agent Simulation Of A Warehouse
Booktitle
Proceedings of the 2012 International Conference on Logistics and Maritime Systems (LOGMS)
Title of Conference
The 2012 International Conference on Logistics and Maritime Systems (LOGMS)
All authors
Schwarz, Christoph; Hahn, Axel; Sauer, Jürgen
Year
2012
Title
Modeling Individual Decision Makers In A Multi Agent Warehouse Simulation
Booktitle
Proceedings of the 10th International Industrial Simulation Conference
Title of Conference
10th International Industrial Simulation Conference - ISC2012
All authors
Schwarz, Christoph; Hahn, Axel
Year
2012
Title
Multi-Criteria Evaluation of Aircraft Cockpit Systems by Model-based Simulation of Pilot Performance
Title of Conference
ERTS - Embedded Real Time Time Software and Systems
All authors
Lüdtke, Andreas; Osterloh, Jan-Patrick; Frische, Florian
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
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
Modellbasiertes Produktqualitätscontrolling
Booktitle
Anforderungsmanagement in der Produktentwicklung
All authors
Häusler, Stefan; Hahn, Axel
Year
2011
Title
Model-based Toolchain for the Efficient Development of Safety-Relevant Automotive Embedded Systems
Title of Conference
SAE 2011 World Congress & Exhibition, April 2011, Detroit, MI, USA
All authors
Armengaud, Eric; Zoier, Markus; Baumgart, Andreas; Biehl Matthias; Chen, DeJiu; Griessnig, Gerhard; Hein, Christian; Ritter, Tom; T. Kolagari, Ramin
Year
2011
Title
Mashups for Community Aware Sensor Processing with SCAMPI
Title of Conference
Workshop on Data Streams and Event Processing (DSEP)
All authors
Christian Kuka, Claas Busemann, Daniela Nicklas, Susanne Boll
Year
2011
Title
Mehr Flexibilität erzielen
Booktitle
Hebezeuge Fördermittel
All authors
Krühn, Tobias; Beth, Carsten; Wellmann, Tobias
Year
2011
Title
Measurability and Safety Verification for Stochastic Hybrid Systems
Booktitle
Hybrid Systems: Computation and Control, 13th International Conference, HSCC 2011, Chicago, USA, Proceedings
All authors
Fränzle, Martin; Hahn, Ernst Moritz Hahn; Hermanns, Holgers; Wolovick, Nicolas; Zhang, Lijun
Year
2011
Title
Modeling Memory Effects in the Operation of Advanced Flight Management Systems
Title of Conference
HCI-Aero 2010
All authors
Lüdtke, Andreas; Osterloh, Jan-Patrick
Year
2010
Title
Modeling Memory Effects in the Operation of Advanced Flight Management Systems
All authors
Lüdtke, A., Osterloh, J.-P.
Year
2010
Title
Modeling Complex Real-time Behavior and Planning of Interventions by Counterfactual Reasoning with Bayesian Models
Title of Conference
KogWis 2010: 10th Biannual Meeting of the German Society for Cognitive Science
All authors
Möbus, C.
Year
2010
Title
Modeling Complex Real-time Behavior and Planning of Interventions by Counterfactual Reasoning with Bayesian Models
Booktitle
Proceedings of KogWis 2010 : 10th Biannual Meeting of the German Society for Cognitive Science
Title of Conference
KogWis 2010: 10th Biannual Meeting of the German Society for Cognitive Science
All authors
Möbus, Claus
Year
2010
Title
Methodik zur Dokumentation und Analyse von Kommunikationsschwachstellen in sicherheitskritischen Systemen anhand von hierarchischen Aufgabenmodellen
All authors
Mistrzyk, Tomasz
Year
2010
Title
Mapping of Concurrent Object-Oriented Models to Extended Real-Time Task Networks
Title of Conference
Forum on Specification & Design Languages (FDL)
All authors
Büker, Matthias; Grüttner, Kim; Hartmann, Philipp A.; Stierand Ingo
Year
2010
Title
Modelling and Validating Pilots’ Visual Attention Allocation during the Interaction with an Advanced Flight Management System
Booktitle
Proceedings of Human Modelling in Assisted Transportation (HMAT)
Title of Conference
Human Modelling in Assisted Transportation (HMAT)
All authors
Frische, Florian; Osterloh, Jan-Patrick; Lüdtke, Andreas
Year
2010
Title
Mixture of Behaviors and Levels-of-Expertise in a Bayesian Autonomous Driver Model
Booktitle
Advances in Applied Digital Human Modeling
All authors
MÖBUS, C. & EILERS, M.
Year
2010
Title
Mixture of Behaviors and Levels-of-Expertise in a Bayesian Autonomous Driver Model
Booktitle
1st International Conference On Applied Digital Human Modeling
All authors
MÖBUS, C. & EILERS, M.
Year
2010
Title
Modeling Lateral and Longitudinal Control of Human Drivers with Multiple Linear Regression Models
Booktitle
Advances in Applied Digital Human Modeling
All authors
LENK, J. & MÖBUS, C.
Year
2010