Search the dblp DataBase

Publications of Author

1. Francis Jambon
   From Formal Specifications to Secure Implementations. [Citation Graph (0, 0)][DBLP]
   CADUI, 2002, pp:51-62 [Conf]
   
2. Francis Jambon
   Formal Modelling of Task Interruptions. [Citation Graph (0, 0)][DBLP]
   CHI Conference Companion, 1996, pp:45-46 [Conf]
   
3. Yamine Aït Ameur, Patrick Girard, Francis Jambon
   A Uniform Approach for Specification and Design of Interactive Systems: the B Method. [Citation Graph (0, 0)][DBLP]
   DSV-IS (2), 1998, pp:51-67 [Conf]
   
4. Francis Jambon, Patrick Girard, Yohann Boisdron
   Dialogue Validation from Task Analysis. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 1999, pp:205-224 [Conf]
   
5. Yamine Aït Ameur, Patrick Girard, Francis Jambon
   Using the B Formal Approach for Incremental Specification Design of Interactiv Systems. [Citation Graph (0, 0)][DBLP]
   EHCI, 1998, pp:91-109 [Conf]
   
6. Francis Jambon, Patrick Girard, Yamine Aït Ameur
   Interactive System Safety and Usability Enforced with the Development Process. [Citation Graph (0, 0)][DBLP]
   EHCI, 2001, pp:39-56 [Conf]
   
7. Yamine Aït Ameur, Benoit Breholée, Patrick Girard, Laurent Guittet, Francis Jambon
   Formal Verification and Validation of Interactive Systems Specifications. [Citation Graph (0, 0)][DBLP]
   Human Error, Safety and Systems Development, 2004, pp:61-76 [Conf]
   
8. 
   User experience evaluation in the wild. [Citation Graph (, )][DBLP]
   
   
9. 
   Évaluation des dispositifs mobiles: sur le terrain ou en laboratoire ? [Citation Graph (, )][DBLP]
   
   
10. 
    Conception participative par "moments". [Citation Graph (, )][DBLP]
    
    
11. 
    First steps in the retro-engineering of a GUI toolkit in the B language. [Citation Graph (, )][DBLP]
    
    
12. 
    Outils de modélisation des tâches utilisateurs: exigences du point de vue utilisation. [Citation Graph (, )][DBLP]