Publikationen im FuE-Bereich Verkehr
Nachfolgend finden Sie alle - innerhalb des FuE-Bereichs Verkehr veröffentlichten - Publikationen.
Anhand des Suchfelds können Sie die Ausgabe weiter einschränken, z. B. können Sie nach Autor, Titel, Textinhalten oder Publikationsart suchen.
Titel
Predicting the Effect of Driver Assistance via Simulation
Titel der Konferenz
Human Modelling in Assisted Transportation 2010 (HMAT)
Jahr
2011
Titel
Human Modelling in Assisted Transportation – Models, Tools and Risk Methods
Alle Autoren
Cacciabue, C., Hjälmdahl, M., Lüdtke, A., Riccioli, C.
Jahr
2011
Titel
Techniques and Tools for Model-based Analysis of Pilot-Cockpit Interaction
Titel der Konferenz
6th European Aeronautics Days (Aerodays)
Alle Autoren
Lüdtke, A., Javaux, D.
Jahr
2011
Titel
Designing Dynamically Distributed Cooperative Flight Deck Systems
Titel der Konferenz
53. DGLR Fachausschusssitzung Anthropotechnik, Die Rolle der Ergonomie im interdisziplinären Gestaltungsprozess
Alle Autoren
Rister, F., Lüdtke, A., Osterloh, J.-P., Keinrath, C.
Jahr
2011
Titel
Automated UI Evaluation based on a Cognitive Architecture and UsiXML
Titel der Konferenz
Proceedings of the INTERACT Workshop Software Support for User Interface Description Language (UIDL)
Alle Autoren
Osterloh, J.-P., Feil, R., Lüdtke, A., Juan Manuel Gonzalez-Calleros, J. M.
Jahr
2011
Titel
The Degree of Masking Fault Tolerance vs. Temporal Redundancy
Titel der Konferenz
International Conference on Advanced Information Networking and Applications
Alle Autoren
Müllner, Nils; Theel, Oliver
Jahr
2011
Titel
Leistungskennlinienberechnung von Windenergieanlagen unter Einsatz eines Datenstrommanagementsystems
Buchtitel
BTW-Workshop "Data Streams and Event Processing" (DSEP)
Alle Autoren
Von Gallera, Diana ; Trujillo, Juan Jose; Nicklas, Daniela
Jahr
2011
Titel
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods
Buchtitel
Proceedings of the Ninth International Conference on Software Engineering and Formal Methods (SEFM)
Alle Autoren
Andreas Eggers and Nacim Ramdani and Nedialko S. Nedialkov and Martin Fränzle
Jahr
2011
Titel
Measurability and Safety Verification for Stochastic Hybrid Systems
Buchtitel
Hybrid Systems: Computation and Control, 13th International Conference, HSCC 2011, Chicago, USA, Proceedings
Alle Autoren
Fränzle, Martin; Hahn, Ernst Moritz Hahn; Hermanns, Holgers; Wolovick, Nicolas; Zhang, Lijun
Jahr
2011
Titel
Proof Certificates and Non-linear Arithmetic Constraints
Buchtitel
Proceedings of the 14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2011)
Alle Autoren
Kupferschmid, Stefan; Becker, Bernd; Teige, Tino; Fränzle, Martin
Jahr
2011
Titel
Crossing the bridge between similar games
Buchtitel
Formal Modeling and Analysis of Timed Systems - 9th International Conference (FORMATS), Aalborg, Denmark, 21-23 September, 2011. Proceedings
Alle Autoren
Quesel, Jan-David; Fränzle, Martin; Damm, Werner
Jahr
2011
Titel
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems
Buchtitel
Proceedings of the Seventeenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Alle Autoren
Teige, Tino; Fränzle, Martin
Jahr
2011
Titel
Constraint-Based Analysis of Concurrent Probabilistic Hybrid Systems: An Application to Networked Automation Systems
Alle Autoren
Teige, Tino; Eggers, Andreas; Fränzle, Martin
Jahr
2011
Titel
Semantic Independence
Buchtitel
Encyclopedia of Parallel Computing
Alle Autoren
Fränzle, Martin; Lengauer, Christian
Jahr
2011
Titel
Modeling Memory Effects in the Operation of Advanced Flight Management Systems
Titel der Konferenz
HCI-Aero 2010
Alle Autoren
Lüdtke, Andreas; Osterloh, Jan-Patrick
Jahr
2010
Titel
Simulating Visual Attention Allocation of Pilots in an Advanced Cockpit Environment
Titel der Konferenz
MODSIM WORLD Conference & Expo
Alle Autoren
Frische, Florian; Osterloh, Jan-Patrick; Lüdtke, Andreas
Jahr
2010
Titel
Application Mapping and Communication Synthesis for Object-Oriented Platform-Based Design
Titel der Konferenz
Internes Kolloquium der Fakultät II - Department für Informatik an der Carl von Ossietzky Universität Oldenburg
Alle Autoren
Grüttner, Kim
Jahr
2010
Titel
A Formal Model of Reliable Sensor Perception
Titel der Konferenz
5th European Conference on Smart Sensing and Context (EuroSSC 2010)
Alle Autoren
Toben, Tobe
Jahr
2010
Titel
Supporting qualification - Safety standard compliant process planning and monitoring
Buchtitel
Proceedings of the IEEE Symposium on Product Compiance Engineering
Alle Autoren
Jost, Henning; Hahn, Axel; Häusler, Stefan; Koehler, Silke; Gacnik, Jan; Köster, Frank; Lemmer, Karsten
Jahr
2010
Titel
Virtual Terminal Operation System for Joint Evaluation of Operation Strategies
Buchtitel
LOGMS 2010
Titel der Konferenz
LOGMS 2010 - The 1st International Conference on Logistics and Maritime Systems
Alle Autoren
Hahn, Axel
Jahr
2010
Titel
Modeling Memory Effects in the Operation of Advanced Flight Management Systems
Alle Autoren
Lüdtke, A., Osterloh, J.-P.
Jahr
2010
Titel
Towards Model-Based AHMI Development
Alle Autoren
González-Calleros, J., Vanderdonckt, J., Lüdtke, A., Osterloh, J.-P
Jahr
2010
Titel
sc_vector: A flexible container for modules, ports and channels
Alle Autoren
Hartmann, Philipp A.
Jahr
2010
Titel
A Hierarchical Task Analysis of merging onto a freeway.
Buchtitel
Human Modelling in Assisted Transportation
Titel der Konferenz
HMAT
Alle Autoren
Kassner, A., Baumann, M., Weber, L.
Jahr
2010