Task Patterns for Taking Into Account in an Efficient and Systematic Way Both Standard and Erroneous User Behaviours. - Philippe A. Palanque; Sandra Basnyat (Human Error, Safety and Systems Development, 2004)

Future Challenges of Model-Based Design. - Sandra Basnyat; Joan De Boeck; Erwin Cuppens; Leonel Nóbrega; Francisco Montero Simarro; Fabio Paternò; Kevin A. Schneider (DSV-IS, 2005)

Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems. - Sandra Basnyat; Nick Chozos; Chris W. Johnson 001; Philippe A. Palanque (DSV-IS, 2005)

Extending the Boundaries of Model-Based Development to Account for Errors. - Sandra Basnyat; Rémi Bastide; Philippe A. Palanque (MDDAUI@MoDELS, 2005)

Error Patterns: Systematic Investigation of Deviations in Task Models. - Rémi Bastide; Sandra Basnyat (TAMODIA, 2006)

Multidisciplinary perspective on accident investigation. - Sandra Basnyat; Nick Chozos; Philippe A. Palanque (Reliab. Eng. Syst. Saf., 2006)

Beyond usability for safety critical systems: how to be sure (safe, usable, reliable, and evolvable)? - Philippe A. Palanque; Sandra Basnyat; Regina Bernhaupt; Ronald L. Boring; Chris W. Johnson 001; Peter Johnson 001 (CHI Extended Abstracts, 2007)

A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661. - Eric Barboni; David Navarre; Philippe A. Palanque; Sandra Basnyat (SIES, 2007)

Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare. - Philippe A. Palanque; Sandra Basnyat; David Navarre (USAB, 2007)

An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces. - David Navarre; Philippe A. Palanque; Jean-François Ladry; Sandra Basnyat (DSV-IS, 2008)

A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems. - David Navarre; Philippe A. Palanque; Sandra Basnyat (SAFECOMP, 2008)