Regina Peldszus

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 0

Top Topics

Formal Verification

Human Interactions

International Conference

Top Venues

AAAI Spring Symposia

Publications

Chris W. Johnson, Michael Feary, Célia Martinie, Philippe A. Palanque, Regina Peldszus
IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development. INTERACT (4) (2015)
Denis Javaux, Bertram Wortelen, Andreas Lüdtke, Charles Pecheur, Regina Peldszus, Sonja Sievi, Yuri Yushtein
A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques. AAAI Spring Symposia (2014)
Regina Peldszus
Surprise Payload Rack: A User Scenario of a Conceptual Novelty Intervention System for Isolated Crews on Extended Space Exploration Missions. Intelligent Environments (Workshops) (2011)