Human Factors in Aeronautics. - Véronique De Keyser; Denis Javaux (DSV-IS, 1996)

Understanding Cognitive Complexity. - Véronique De Keyser; Denis Javaux (INTERACT, 1999)

Human error, safety, and systems development in aviation. - Denis Javaux (Reliab. Eng. Syst. Saf., 2002)

A method for predicting errors when interacting with finite state systems. How implicit learning shapes the user's knowledge of a system. - Denis Javaux (Reliab. Eng. Syst. Saf., 2002)

A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques. - Denis Javaux; Bertram Wortelen; Andreas Lüdtke; Charles Pecheur; Regina Peldszus; Sonja Sievi; Yuri Yushtein (AAAI Spring Symposia, 2014)

Experiences from Using Formal Verification Techniques to Analyze Human-Machine Interaction: A Case Study. - Bertram Wortelen; Andreas Lüdtke; Denis Javaux; Sonja Sievi (ECCE, 2014)

Developing a feedback system to augment monitoring performance of aircraft pilots. - Florian Fortmann; Stefan Suck; Denis Javaux; Joan Cahill; Tiziana C. Callari; Andreas Hasselberg (CogSIMA, 2016)

A-PiMod: A New Approach to Solving Human Factors Problems with Automation. - Joan Cahill; Tiziana C. Callari; Florian Fortmann; Denis Javaux; Andreas Hasselberg (HCI (6), 2016)

Adaptive Automation and the Third Pilot: Managing Teamwork and Workload in an Airline Cockpit. - Joan Cahill; Tiziana C. Callari; Florian Fortmann; Stefan Suck; Denis Javaux; Andreas Hasselberg; Sybert H. Stroeve; Bas A. van Doorn (H-WORKLOAD, 2017)