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
Techniques and Tools for Model-based Analysis of Pilot-Cockpit Interaction
Title of Conference
6th European Aeronautics Days (Aerodays)
All authors
Lüdtke, A., Javaux, D.
Year
2011
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
Title
Automated UI Evaluation based on a Cognitive Architecture and UsiXML
Title of Conference
Proceedings of the INTERACT Workshop Software Support for User Interface Description Language (UIDL)
All authors
Osterloh, J.-P., Feil, R., Lüdtke, A., Juan Manuel Gonzalez-Calleros, J. M.
Year
2011
Title
The Degree of Masking Fault Tolerance vs. Temporal Redundancy
Title of Conference
International Conference on Advanced Information Networking and Applications
All authors
Müllner, Nils; Theel, Oliver
Year
2011
Title
Leistungskennlinienberechnung von Windenergieanlagen unter Einsatz eines Datenstrommanagementsystems
Booktitle
BTW-Workshop "Data Streams and Event Processing" (DSEP)
All authors
Von Gallera, Diana ; Trujillo, Juan Jose; Nicklas, Daniela
Year
2011
Title
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods
Booktitle
Proceedings of the Ninth International Conference on Software Engineering and Formal Methods (SEFM)
All authors
Andreas Eggers and Nacim Ramdani and Nedialko S. Nedialkov and Martin Fränzle
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
Proof Certificates and Non-linear Arithmetic Constraints
Booktitle
Proceedings of the 14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2011)
All authors
Kupferschmid, Stefan; Becker, Bernd; Teige, Tino; Fränzle, Martin
Year
2011
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; Fränzle, Martin; Damm, Werner
Year
2011
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; Fränzle, Martin
Year
2011
Title
Constraint-Based Analysis of Concurrent Probabilistic Hybrid Systems: An Application to Networked Automation Systems
All authors
Teige, Tino; Eggers, Andreas; Fränzle, Martin
Year
2011
Title
Semantic Independence
Booktitle
Encyclopedia of Parallel Computing
All authors
Fränzle, Martin; Lengauer, Christian
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
Simulating Visual Attention Allocation of Pilots in an Advanced Cockpit Environment
Title of Conference
MODSIM WORLD Conference & Expo
All authors
Frische, Florian; Osterloh, Jan-Patrick; Lüdtke, Andreas
Year
2010
Title
Application Mapping and Communication Synthesis for Object-Oriented Platform-Based Design
Title of Conference
Internes Kolloquium der Fakultät II - Department für Informatik an der Carl von Ossietzky Universität Oldenburg
All authors
Grüttner, Kim
Year
2010
Title
A Formal Model of Reliable Sensor Perception
Title of Conference
5th European Conference on Smart Sensing and Context (EuroSSC 2010)
All authors
Toben, Tobe
Year
2010
Title
Supporting qualification - Safety standard compliant process planning and monitoring
Booktitle
Proceedings of the IEEE Symposium on Product Compiance Engineering
All authors
Jost, Henning; Hahn, Axel; Häusler, Stefan; Koehler, Silke; Gacnik, Jan; Köster, Frank; Lemmer, Karsten
Year
2010
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
Modeling Memory Effects in the Operation of Advanced Flight Management Systems
All authors
Lüdtke, A., Osterloh, J.-P.
Year
2010
Title
Towards Model-Based AHMI Development
All authors
González-Calleros, J., Vanderdonckt, J., Lüdtke, A., Osterloh, J.-P
Year
2010
Title
sc_vector: A flexible container for modules, ports and channels
All authors
Hartmann, Philipp A.
Year
2010
Title
A Hierarchical Task Analysis of merging onto a freeway.
Booktitle
Human Modelling in Assisted Transportation
Title of Conference
HMAT
All authors
Kassner, A., Baumann, M., Weber, L.
Year
2010
Title
Effects of Situational Characteristics on Drivers' Merging into Freeway Traffic
Booktitle
Human Modelling in Assisted Transportation
Title of Conference
HMAT
All authors
Baumann, M., Steenken, R., Kassner, A., Weber, L., Lüdtke, A.
Year
2010
Title
Deep integration of spatial query processing into native {RDF} triple stores
Title of Conference
18th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems
All authors
Brodt Andreas; Nicklas, Daniela; Mitschang, Bernhard
Year
2010