Search the dblp DataBase

Publications of Author

1. Philippe A. Palanque, Sandra Basnyat, Regina Bernhaupt, Ronald L. Boring, Chris Johnson, Peter Johnson
   Beyond usability for safety critical systems: how to be sure (safe, usable, reliable, and evolvable)? [Citation Graph (0, 0)][DBLP]
   CHI Extended Abstracts, 2007, pp:2133-2136 [Conf]
   
2. Sandra Basnyat, Joan De Boeck, Erwin Cuppens, Leonel Nóbrega, Francisco Montero, Fabio Paternò, Kevin Schneider
   Future Challenges of Model-Based Design. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 2005, pp:261- [Conf]
   
3. Sandra Basnyat, Nick Chozos, Chris Johnson, Philippe A. Palanque
   Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 2005, pp:51-66 [Conf]
   
4. Philippe A. Palanque, Sandra Basnyat
   Task Patterns for Taking Into Account in an Efficient and Systematic Way User Behaviours. [Citation Graph (0, 0)][DBLP]
   Human Error, Safety and Systems Development, 2004, pp:109-130 [Conf]
   
5. Sandra Basnyat, Rémi Bastide, Philippe A. Palanque
   Extending the Boundaries of Model-Based Development to Account for Errors. [Citation Graph (0, 0)][DBLP]
   MDDAUI, 2005, pp:- [Conf]
   
6. Rémi Bastide, Sandra Basnyat
   Error Patterns: Systematic Investigation of Deviations in Task Models. [Citation Graph (0, 0)][DBLP]
   TAMODIA, 2006, pp:109-121 [Conf]
   
7. Philippe A. Palanque, Sandra Basnyat, David Navarre
   Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare. [Citation Graph (0, 0)][DBLP]
   USAB, 2007, pp:21-40 [Conf]
   
8. 
   An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces. [Citation Graph (, )][DBLP]
   
   
9. 
   A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems. [Citation Graph (, )][DBLP]
   
   
10. 
    A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661. [Citation Graph (, )][DBLP]