Denis Javaux

Publication Activity (10 Years)

Years Active: 1996-2017
Publications (10 Years): 3

Top Topics

Formal Verification

Top Venues

AAAI Spring Symposia

Publications

Joan Cahill, Tiziana C. Callari, Florian Fortmann, Stefan Suck, Denis Javaux, Andreas Hasselberg, Sybert H. Stroeve, Bas A. van Doorn
Adaptive Automation and the Third Pilot: Managing Teamwork and Workload in an Airline Cockpit. H-WORKLOAD (2017)
Florian Fortmann, Stefan Suck, Denis Javaux, Joan Cahill, Tiziana C. Callari, Andreas Hasselberg
Developing a feedback system to augment monitoring performance of aircraft pilots. CogSIMA (2016)
Joan Cahill, Tiziana C. Callari, Florian Fortmann, Denis Javaux, Andreas Hasselberg
A-PiMod: A New Approach to Solving Human Factors Problems with Automation. HCI (6) (2016)
Bertram Wortelen, Andreas Lüdtke, Denis Javaux, Sonja Sievi
Experiences from Using Formal Verification Techniques to Analyze Human-Machine Interaction: A Case Study. ECCE (2014)
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)
Denis Javaux
Human error, safety, and systems development in aviation. Reliab. Eng. Syst. Saf. 75 (2) (2002)
Denis Javaux
A method for predicting errors when interacting with finite state systems. How implicit learning shapes the user's knowledge of a system. Reliab. Eng. Syst. Saf. 75 (2) (2002)
Véronique De Keyser, Denis Javaux
Understanding Cognitive Complexity. INTERACT (1999)
Véronique De Keyser, Denis Javaux
Human Factors in Aeronautics. DSV-IS (1996)