Search the dblp DataBase

Publications of Author

1. Mickaël Baron, Patrick Girard
   SUIDT: safe user interface design tool. [Citation Graph (0, 0)][DBLP]
   Intelligent User Interfaces, 2004, pp:350-351 [Conf]
   
2. Yamine Aït Ameur, Mickaël Baron, Patrick Girard
   Formal Validation of HCI User Tasks. [Citation Graph (0, 0)][DBLP]
   Software Engineering Research and Practice, 2003, pp:732-738 [Conf]
   
3. Mickaël Baron, Patrick Girard
   SUIDT: A task model based GUI-Builder. [Citation Graph (0, 0)][DBLP]
   TAMODIA, 2002, pp:64-71 [Conf]
   
4. Mickaël Baron, Patrick Girard
   Bringing Robustness to End-User Programming. [Citation Graph (0, 0)][DBLP]
   HCC, 2001, pp:142-0 [Conf]
   
5. Yamine Aït Ameur, Mickaël Baron
   Formal and experimental validation approaches in HCI systems design based on a shared event B model. [Citation Graph (0, 0)][DBLP]
   STTT, 2006, v:8, n:6, pp:547-563 [Journal]
   
6. 
   Bridging the gap between formal and experimental validation approaches in HCI systems design: use of the event B proof based technique. [Citation Graph (, )][DBLP]
   
   
7. 
   Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve. [Citation Graph (, )][DBLP]
   
   
8. 
   SUIDT: a user interface builder for secure user interfaces. [Citation Graph (, )][DBLP]
   
   
9. 
   Intégration d'un modèle de tâche dans une démarche sûre de construction d'interface. [Citation Graph (, )][DBLP]
   
   
10. 
    De la conception â la construction d'application sûre. [Citation Graph (, )][DBLP]