S. Basnyat

A Task Pattern Approach to Incorporate User Deviation in Task Models

Philippe A. Palanque, Sandra Basnyat, Philippe Palanque, 2004 .

Complexity of Design in Safety Critical Interactive Systems: Gathering, Refining, Formalizing Multi-type and Multi-source Information While Ensuring Consistency, Reliability, Efficiency and Error-tolerance

Philippe A. Palanque, D. Navarre, S. Basnyat, 2005 .

Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare

Philippe A. Palanque, Sandra Basnyat, David Navarre, 2007, USAB.

An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces

Philippe A. Palanque, Sandra Basnyat, David Navarre, 2008, DSV-IS.

A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems

Philippe A. Palanque, Sandra Basnyat, David Navarre, 2008, SAFECOMP.

Task Patterns for Taking Into Account in an Efficient and Systematic Way Both Standard and Erroneous User Behaviours

Philippe A. Palanque, Sandra Basnyat, S. Basnyat, 2004, Human Error, Safety and Systems Development.

Error Patterns: Systematic Investigation of Deviations in Task Models

Sandra Basnyat, Rémi Bastide, S. Basnyat, 2006, TAMODIA.

Formal modelling of incidents and accidents as a means for enriching training material for satellite control operations

Philippe A. Palanque, S. Basnyat, P. Palanque, 2008 .

Formal socio-technical barrier modelling for safety-critical interactive systems design

Philippe A. Palanque, Philippe Palanque, Bastiaan A. Schupp, 2007 .