Homepage

• 
  Ismail Mendil, Yamine Aït-Ameur, Neeraj K. Singh, Dominique Méry, Philippe Palanque. Standard Conformance-by-Construction with Event-B. 26th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021), European Research Consortium for Informatics and Mathematics: ERCIM, Working Group on Formal Methods for Industrial Critical Systems, Aug 2021, Paris (virtual), France. pp.126-146, ⟨10.1007/978-3-030-85248-1_8⟩. ⟨hal-03328649⟩
• 
  Célia Martinie. Challenges for operationalizing XAI in Critical Interactive Systems. ACM CHI Workshop on Operationalizing Human-Centered Perspectives in Explainable AI (HCXAI @ CHI 2021), ACM, May 2021, Online Virtual Conference (originally Yokohama), Japan. ⟨hal-03221502⟩
• 
  Célia Martinie, Elodie Bouzekri, Philippe Palanque. From Human-Human Computer Mediated Communication to Human-Automation Collaboration in the light of Large Civil Aircraft Workplace. Workshop on Automation Experience at the Workplace, AutomationXP 2021, co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2021), May 2021, Yokohama, Japan. ⟨hal-03376276⟩
• 
  Elodie Bouzekri. Notation et processus outillé pour la description, l'analyse et la compréhension de l'automatisation dans les systèmes de commande et contrôle. Automatique. Université Paul Sabatier - Toulouse III, 2021. Français. ⟨NNT : 2021TOU30003⟩. ⟨tel-03208713⟩
• 
  Regina Bernhaupt, Célia Martinie, Philippe Palanque, Günter Wallner. A Generic Visualization Approach Supporting Task-Based Evaluation of Usability and User Experience. 8th International Conference on Human-Centered Software Engineering - IFIP WG 13.2 International Working Conference, HCSE 2020, Nov 2020, Eindhoven, Netherlands. pp.24-44, ⟨10.1007/978-3-030-64266-2_2⟩. ⟨hal-03079809⟩
• 
  Nicolas Broders, Célia Martinie, Philippe Palanque, Marco Winckler, Kimmo Halunen. A Generic Multimodels-Based Approach for the Analysis of Usability and Security of Authentication Mechanisms. HCSE 2020 - 8th International Conference on Human-Centered Software Engineering - IFIP WG 13.2 International Working Conference, Nov 2020, Eindhoven/ Online, Netherlands. pp.61-83, ⟨10.1007/978-3-030-64266-2_4⟩. ⟨hal-03079818⟩
• 
  Alexandre Canny, Philippe Palanque, David Navarre. Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets. IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2020), Oct 2020, Porto (virtual), Portugal. pp.95-104, ⟨10.1109/ICSTW50294.2020.00029⟩. ⟨hal-03099199⟩
• 
  Philippe Palanque, Andy Cockburn, Carl Gutwin. A Classification of Faults Covering the Human-Computer Interaction Loop. Computer Safety, Reliability, and Security 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings, 12234, pp.434-448, 2020, Lecture Notes in Computer Science book series (LNCS), ⟨10.1007/978-3-030-54549-9_29⟩. ⟨hal-03099205⟩
• 
  Célia Martinie. Model-Based Engineering of Critical Large Scale Socio-Technical Systems: Contributions and Future Directions. Human-Computer Interaction [cs.HC]. Université Paul Sabatier (Toulouse 3), 2020. ⟨tel-02930976⟩
• 
  Judy Bowen, Jean Vanderdonckt, Marco Winckler. A Glimpse into the Past, Present, and Future of Engineering Interactive Computing Systems. Proceedings of the ACM on Human-Computer Interaction , Association for Computing Machinery (ACM), 2020, Proceedings of the ACM on Human-Computer Interaction (HCI) 2020, 4 : EICS (article 71), pp.1-32. ⟨10.1145/3394973⟩. ⟨hal-03138759⟩

171