Homepage

• 
  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⟩
• 
  Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry, David Navarre, Philippe Palanque, et al.. Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. 7th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019), Nov 2019, Shenzhen, China. pp.21-39, ⟨10.1007/978-3-030-46902-3_2⟩. ⟨hal-02942767⟩
• 
  Alexandre Canny, David Navarre, José Creissac Campos, Philippe Palanque. Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-nets. International Workshop on Formal Methods for Interactive Systems (FMIS 2019), Oct 2019, Porto, Portugal. pp.486-502, ⟨10.1007/978-3-030-54994-7_35⟩. ⟨hal-02942303⟩
• 
  Elodie Bouzekri, Alexandre Canny, Célia Martinie de Almeida, Philippe Palanque, Eric Barboni, et al.. Revisiting system's pages in engine indication and alerting system for flight crew using the DSCU architecture and the OQCR system generic state description. INCOSE International Conference on Human System Integration (INCOSE HSI 2019), Sep 2019, Biarritz, France. pp.1-9. ⟨hal-02450862⟩
• 
  Elodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe Palanque, Christine Gris. Deep System Knowledge Required: Revisiting UCD Contribution in the Design of Complex Command and Control Systems. 17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.699-720. ⟨hal-02435352⟩
• 
  Philippe Palanque, Célia Martinie, Elodie Bouzékri. Introduction to Automation and to Its Potential for Interactive Systems Design. 17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.523-526, ⟨10.1007/978-3-030-29390-1_29⟩. ⟨hal-02877685⟩
• 
  Jean-Luc Hak. Engineering annotations for supporting the design process of interactive systems: A model-based approach and a tool suite. Computer Science [cs]. Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier), 2019. English. ⟨tel-02268176⟩
• 
  Jean-Luc Hak. Engineering annotations for supporting the design process of interactive systems : a model based approach and a tool suite. Networking and Internet Architecture [cs.NI]. Université Paul Sabatier - Toulouse III, 2019. English. ⟨NNT : 2019TOU30062⟩. ⟨tel-02925106⟩
• 
  Alexandre Canny, Camille Fayollas, Célia Martinie de Almeida, David Navarre, Philippe Palanque, et al.. Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems. 12th IEEE International Conference on Cyber Physical and Social Computing (CPSCom-2019), Jul 2019, Atlanta, United States. pp.0, ⟨10.1109/iThings/GreenCom/CPSCom/SmartData.2019.00132⟩. ⟨hal-02881970⟩
• 
  Thiago Rocha, Marco Winckler, Hallvard Trætteberg. Extending Behavior-Driven Development for Assessing User Interface Design Artifacts. The 31st International Conference on Software Engineering & Knowledge Engineering (SEKE 2019), Jul 2019, Lisbon, Portugal. ⟨10.18293/SEKE2019-054⟩. ⟨hal-02879308⟩

129