Skip to Main content
Skip to Navigation
Toggle navigation
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Interactive Critical Systems
Homepage
Presentation
Submit
Browse
Browse by year
Browse by ICS author
Browse by doctype
Homepage
Latest publications
Thomas Martin-Mennetrier, Marie-Laure Trémélo, Corinne Pardo, Mathieu Massaviol, Emilie Lerigoleur, et al.. ORRSO - Open Science Resource Finder. International Symposium of LabEx DRIIHM 2022, Jun 2022, Nantes, France. ⟨10.34972/driihm-e30250⟩. ⟨hal-03720513⟩
Marco Winckler, Philippe Palanque, Jean-Luc Hak, Eric Barboni, Olivier Nicolas, et al.. Engineering Annotations: A Generic Framework For Gluing Design Artefacts in Models of Interactive Systems. Proceedings of the ACM on Human-Computer Interaction , Association for Computing Machinery (ACM), In press, Journal PACM EICS series, EICS 2022. ⟨hal-03657095⟩
Célia Martinie, Philippe Palanque. Task Models Based Gameful Design as a Mean to Increase Engagement with Automation. Workshop on Engaging with Automation (AutomationXP 2022) co-located CHI 2022, Apr 2022, New Orleans, United States. ⟨hal-03703922⟩
Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque. Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. 7th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2021), Nov 2021, Beijing/Online, China. pp.40-58, ⟨10.1007/978-3-030-91265-9_3⟩. ⟨hal-03487124⟩
Célia Martinie, Philippe Palanque. Interactive Systems: a Unique Place for Human‐Hardware‐Software Integration and their Vulnerability to Human‐Made and Natural Faults. International Symposium on Human System Integration (INCOSE 2021), International Council on Systems Engineering (INCOSE), Nov 2021, San Diego (Virtual), United States. pp.224-233, ⟨10.1002/iis2.12889⟩. ⟨hal-03612380⟩
Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque. Standard Conformance-by-Construction with Event-B. FMICS 2021 - 26th International Conference on Formal Methods for Industrial Critical Systems, Aug 2021, Paris, France. pp.126-146, ⟨10.1007/978-3-030-85248-1_8⟩. ⟨hal-03487118v2⟩
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⟩
Search
Documents
213
Distribution per document type