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
Ein effizienter Ansatz zur Übersendung zwischen Service-Protokollen durch die Modellierung von Verhaltensunterschieden
Booktitle
Ein effizienter Ansatz zur Übersendung zwischen Service-Protokollen durch die Modellierung von Verhaltensunterschieden
All authors
Busemann, Claas
Year
2012
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
Integrating fleets of EVs into rural low-voltage grids with a high share of photovoltaic energy
Title of Conference
VDE-Kongress 2012: Smart Grids
All authors
Hoerstebrock, Tim; Schütte, Steffen; Buchmann, Marius
Year
2012
Title
Entwicklung intelligenter, adaptiver Anzeigesysteme zur Verbesserung des Situationsbewusstseins von Operateuren autonomer UAV Schwärme
Booktitle
Tagungsband 54. Fachausschusssitzung L6.4 Anthopotechnik der Deutschen Gesellschaft für Luft- und Raumfahrt
Title of Conference
54. Fachausschusssitzung L6.4 Anthopotechnik der Deutschen Gesellschaft für Luft- und Raumfahrt
All authors
Frische, Florian; Vyshnevskyy, Matthias; Lüdtke, Andreas
Year
2012
Title
Using Guided Simulation to Improve a Model-Based Design Process of Complex Human Machine Systems
Booktitle
Proceedings of the 2012 European Simulation and Modelling Conference
Title of Conference
26th European Simulation and Modelling Conference
All authors
Puch, Stefan; Wortelen, Bertram; Fränzle, Martin; Peikenkamp, Thomas
Year
2012
Title
A Column Generation Approach to Scheduling of Real-Time Networks
Title of Conference
World Congress on Engineering and Computer Science (WCECS)
All authors
Althaus, Ernst; Hoffmann, Sebastian; Kupilas, Joschka; Thaden, Eike
Year
2012
Title
Evaluation of an Approach Stabilization Advisory system in a B737 full flight simulator
Booktitle
Proceeding of HFES Europe Chapters Annual Meeting
Title of Conference
Human Factors and Ergonomics Society Europe Chapter Annual Meeting
All authors
Dehais, Frédéric; Cauchard, Fabrice; Rister, Frank; Cao, Yujia; Lacko, Ivan; Mikulu, Frantisek; Helmke, Felix; Osterloh, Jan-Patrick
Year
2012
Title
Supervised Task Performance of an Autonomous UAV Swarm, Supporting and Implementing Fire-Fighting Procedures
Title of Conference
AT2012
All authors
Sascha Hornauer; Florian Frische; Andreas Lüdtke; Jürgen Sauer
Year
2012
Title
Project SOOP: Safe Offshore Operations
Title of Conference
9th International Symposium Information on Ships (ISIS)
All authors
Sobiech, Cilli; Böde, Eckard; Lüdtke, Andreas; Hahn, Axel; Nicklas, Daniela; Korte, Holger
Year
2012
Title
From RTL IP to Functional System-Level Models with Extra-Functional Properties
Title of Conference
CODES+ISSS’12
All authors
Lorenz, Daniel; Grüttner, Kim; Bombieri, Nicola; Guarnieri, Valerio, Bocchio, Sara
Year
2012
Title
Run-time Resource Management based on Design Space Exploration
Title of Conference
International Conference on Hardware/Software Codesign and System Synthesis
All authors
Ykman-Couvreur, Chantal; Hartmann, Philipp A.; Palermo, Gianluca; Colas-Bigey, Fabien; San, Laurent
Year
2012
Title
Abstraction Techniques for Compositional State-based Scheduling Analysis
Title of Conference
Brazilian Symposium on Computing System Engineering
All authors
Gezgin, T. and Henkler, S. and Rettberg, A. and Stierand, I.
Year
2012
Title
Designing Dynamic Approach Stabilisation Assistance Systems
Booktitle
Proceeding of the 30th EAAP Conference
Title of Conference
30. Conference of European Association of Aviation Psychology (EAAP)
All authors
Rister, Frank; Osterloh, Jan-Patrick; Lüdtke, Andreas; Dehais, Frederic; Cao, Yujia; Lacko, Ivan
Year
2012
Title
A Method for Guided Hazard Identification and Risk Mitigation for Offshore Operations
Booktitle
Computer Safety, Reliability, and Security
Title of Conference
SAFECOMP
All authors
Läsche, Christoph; Böde, Eckard; Peikenkamp, Thomas
Year
2012
Title
NEEDS - Nanoelektronik-Entwurf für 3D-Systeme
Title of Conference
Zuverlässigkeit und Entwurf (ZuE)
All authors
Hylla, Kai; Metzdorf, Malte; Grünewald, Armin; Hahn, Kai; Heinig, Andy; Knöchel, Uwe; Wolf, Susann; Miller, Felix; Wild, Thomas; Quiring, Artur; Olbrich, Markus; Sattler, Sebastian; Treytnar, Dieter
Year
2012
Title
Transformation of Event-Driven HDL Blocks for Native Integration into Time-Driven System Models
Booktitle
Proceedings of FDL 2012
Title of Conference
Forum on Specification and Design Languages
All authors
Görgen, Ralph; Oetjens, Jan-Hendrik; Nebel, Wolfgang
Year
2012
Title
Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems
Booktitle
Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK
Title of Conference
Formal Modeling and Analysis of Timed Systems (FORMATS)
All authors
Ellen, Christian; Gerwinn, Sebastian; Fränzle, Martin
Year
2012
Title
Approximating Complex Sensor Quality Using Failure Probability Intervals
Title of Conference
The 6th International Conference on Scalable Uncertainty Management
All authors
Kuka, Christian; Nicklas, Daniela
Year
2012
Title
Integrated Monitoring for Personalized Renal Replacement Therapy
Title of Conference
BMT 2012
All authors
Pielawa, Lukas; Poppen, Frank; Wester, Maarten; Simonis, Frank; Brell, Melina; Joles, Jaap; Hein, Andreas
Year
2012
Title
Approach Stabilization Advisory System - The Development Approach
Booktitle
Proceedings of HCI-Aero 2012
Title of Conference
HCI Aero 2012
All authors
Cao, Yujia; Keinrath, Claudia; Lacko, Ivan; Mikulu, Frantisek; Rister, Frank; Cauchard, Fabrice; Dehais, Frederic; Osterloh, Jan-Patrick; Lüdtke, Andreas
Year
2012
Title
COMPLEX - COdesign and power Management in PLatform-based design space EXploration
Title of Conference
15th Euromicro Conference on Digital System Design (DSD)
All authors
Grüttner, Kim; Hartmann, Philipp A.; Hylla, Kai; Rosinger, Sven; Nebel, Wolfgang; Herrera, Fernando: Villar, Eugenio; Brandolese, Carlo; Fornaciari, William; Palermo, Gianluca; Ykman-Couvreur, Chantal; Quaglia, Davide; Ferrero, Francisco; Valencia, Raul
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
Non-invasive Power Simulation at System-Level with SystemC
Title of Conference
International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS) 2012
All authors
Lorenz, Daniel; Hartmann, Philipp A.; Grüttner, Kim; Nebel, Wolfgang
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