Philippe PALANQUE
Publications
Publications
Automation Design and Engineering in the Age of AIHuman-Computer Interaction – INTERACT 2025, IFIP TC 13, Sep 2025, Belo Horizonte (Minas Gerais), Brazil. pp.26-31, ⟨10.1007/978-3-032-05008-3_6⟩ |
|
Engineering Methods for HCI and UX in AI-Driven SystemsHuman-Computer Interaction – INTERACT 2025, IFIP TC 13, Sep 2025, Bello Horizonte, Brazil. pp.351-357, ⟨10.1007/978-3-032-05008-3_66⟩ |
|
Multi-Variant UCD - A Process for the Design of Interactive System Variants: Application to Launch Vehicles Flight Safety OperationsHuman-Computer Interaction – INTERACT, Sep 2025, Belo Horizonte, Minas Gerais, France. pp.371-396, ⟨10.1007/978-3-032-05002-1_20⟩ |
|
Accounting Both Safety and Performance for Goal-Directed Training and Rehabilitation: A Generic Tool-Supported Multimodal ApproachHuman-Computer Interaction – INTERACT 2025, Sep 2025, Belo Horizonte, Minas Gerais, Brazil. pp.177-201, ⟨10.1007/978-3-032-05005-2_10⟩ |
|
Engineering Methods for HCI and UX in AI-Driven SystemsHuman-Computer Interaction – INTERACT 2025, Sep 2025, Belo Horizonte, MG, France. pp.351-357, ⟨10.1007/978-3-032-05008-3_66⟩ |
|
Hybrid Automation Experiences – Communication, Coordination, and Collaboration within Human-AI TeamsCHI EA '25: Extended Abstracts of the CHI Conference on Human Factors in Computing Systems, Automation, user experience, AI technologies, Apr 2025, Yokohama Japan, France. pp.1-6, ⟨10.1145/3706599.3706738⟩ |
|
|
|
Tracking Monitoring Activities of Operators to Ensure Operations Safety: Application to Monitoring & Control of Launcher Tracking Activities at Europe's SpaceportSPACEOPS 2025, May 2025, Montréal (Québec), Canada |
Engineering Interactive Systems Embedding AI Technologies (3rd workshop on)EICS '25: The 17th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Jun 2025, Trier Germany, France. pp.71-75, ⟨10.1145/3731406.3735965⟩ |
|
Refining a Task Description Notation to Cover Perceptive, Cognitive, and Motor aspects of the HCI loop: Application to Post-stroke Rehabilitation ExercisesECCE 2025: 36th Annual Conference of the European Association of Cognitive Ergonomics, Oct 2025, Tallinn Estonia, France. pp.1-11, ⟨10.1145/3746175.3746186⟩ |
|
Adding a Non-dependable AI Component to Increase Dependability of an Interactive ApplicationEngineering Interactive Computer Systems. EICS 2024 International Workshops, Jun 2024, Cagliari, Italy. pp.27-42, ⟨10.1007/978-3-031-91760-8_3⟩ |
|
|
|
Information Visualization for Supporting Short-term and Long-term Situation Awareness in Ground Segments Monitoring: Application to SWOT Command and Control Operations75th International Astronautical Congress (IAC), Oct 2024, Milan (Italie), Italy |
Taking into Account Human Error when Assessing the Impact of Dependability on Usability2024 IEEE 35th International Symposium on Software Reliability Engineering Workshops (ISSREW), Oct 2024, Tsukuba, France. pp.271-278, ⟨10.1109/ISSREW63542.2024.00090⟩ |
|
Engineering AI-Similar Designs: Should I Engineer My Interactive System with AI Technologies?EICS 2023 International Workshops on Engineering Interactive Computer Systems, Jun 2023, Swansea, United Kingdom. pp.72--89, ⟨10.1007/978-3-031-59235-5_8⟩ |
|
|
|
50 years of Research in Engineering Interactive Computing Systems: the CCL 1974 to EICS 2024 journeyEICS '24: The 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Jun 2024, Cagliari, Italy. pp.92-96, ⟨10.1145/3660515.3663603⟩ |
MUMR-MIODMIT: A Generic Architecture Extending Standard Interactive Systems Architecture to Address Engineering Issues for RehabilitationEICS 2023 International Workshops on Engineering Interactive Computer Systems, Jun 2023, Swansea, United Kingdom. pp.28--40, ⟨10.1007/978-3-031-59235-5_4⟩ |
|
|
|
From One to Many, from Onsite to Remote: Control Rooms as Diverse Contexts of Use19th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2023, York, United Kingdom. pp.273-278, ⟨10.1007/978-3-031-61688-4_26⟩ |
Second Workshop on Engineering Interactive Systems Embedding AI TechnologiesEICS '24: The 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Jun 2024, Cagliari Italy, Italy. pp.103-107, ⟨10.1145/3660515.3662837⟩ |
|
|
|
A Systematic Task and Knowledge-Based Process to Tune Cybersecurity Training to User Learning Groups: Application to Email Phishing Attacks18th International Symposium on Human Aspects of Information Security and Assurance (HAISA), IFIP Work Group 11.12, Jul 2024, Skövde, Sweden. pp.165-179, ⟨10.1007/978-3-031-72559-3_12⟩ |
|
|
ADL Monitoring of Elderly People in Smart Homes Based on Task ModelsWorkshop @ 19th International Conference on Intelligent Environments (IE 2023), Jun 2023, Mauritius, Mauritius. pp.216 - 225, ⟨10.3233/AISE230034⟩ |
Going Beyond Usability and UX: Adding Dependability, Safety and Security to Interactive Systems and Interactive TechnologiesCHI Conference on Human Factors in Computing Systems (CHI 2023), May 2023, Hamburg, Germany. pp.1--3, ⟨10.1145/3544549.3574186⟩ |
|
Task Models as a Mean to Identify and Justify Automations in Development Tasks26th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2023), ACM; IEEE, Oct 2023, Västerås, Sweden. pp.757-764, ⟨10.1109/MODELS-C59198.2023.00122⟩ |
|
|
|
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours29th Asia-Pacific Software Engineering Conference (APSEC 2022), Dec 2022, Virtual conference, Japan. pp.129-138, ⟨10.1109/APSEC57359.2022.00025⟩ |
A Multi-perspective Panel on User-Centred Transparency, Explainability, and Controllability in Automations19th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2023), International Federation for Information Processing (IFIP) Technical Committee on Human–Computer Interaction (IFIP TC13), Aug 2023, York (Great Britain), United Kingdom. pp.349-353, ⟨10.1007/978-3-031-42293-5_34⟩ |
|
|
|
AMAN Case Study9th International Conference on Rigorous State-Based Methods (ABZ 2023), May 2023, Nancy, France. pp.265-283, ⟨10.1007/978-3-031-33163-3_21⟩ |
I Perform My Work with My Body Too: Integrating Body Representations in and with Task Models19th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2023), International Federation for Information Processing (IFIP) Technical Committee on Human–Computer Interaction (IFIP TC13), Aug 2023, York, United Kingdom. pp.482-503, ⟨10.1007/978-3-031-42283-6_26⟩ |
|
|
|
7th International Workshop on Human Factors in Modeling / Modeling of Human Factors (HuFaMo 2023)2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Oct 2023, Västerås, France. pp.726-728, ⟨10.1109/MODELS-C59198.2023.00118⟩ |
Engineering Interactive Systems Embedding AI Technologies15th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2023), ACM Special Interest Group on Computer-Human Interaction (SIGCHI), Jun 2023, Swansea, United Kingdom. pp.90--92, ⟨10.1145/3596454.3597195⟩ |
|
Intervening, Teaming, Delegating: Creating Engaging Automation ExperiencesCHI Conference on Human Factors in Computing Systems (CHI 2023), May 2023, Hamburg, Germany. pp.1-6, ⟨10.1145/3544549.3573799⟩ |
|
On Land, at Sea, and in the Air: Human-Computer Interaction in Safety-Critical Spaces of Control19th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2023), International Federation for Information Processing (IFIP) Technical Committee on Human–Computer Interaction (IFIP TC13), Aug 2023, York (GB), United Kingdom. pp.657-661, ⟨10.1007/978-3-031-42293-5_89⟩ |
|
Mining human factors general trends from +100k UML class diagrams6th International Workshop on Human Factors in Modeling / Modeling of Human Factors (HuFaMo'22), Oct 2022, Montréal, Canada |
|
UX for Some and Usability for Others: Issues of Blending Multi-user and Multi-property in Control CentersIFIP WG 13.5 Workshop on Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues (WS07) @ INTERACT 2021, IFIP TC 13; ACM, Aug 2021, Bari, Italy. pp.357-367, ⟨10.1007/978-3-030-98388-8_31⟩ |
|
Control Rooms from a Human-Computer Interaction PerspectiveIFIP TC 13 Workshops (INTERACT 2021), International Federation for Information Processing (IFIP) Technical Committee on Human–Computer Interaction (IFIP TC13), Aug 2021, Bari, Italy. pp.281-289, ⟨10.1007/978-3-030-98388-8_25⟩ |
|
|
|
Operator-centered and model-based design for critical HMIS3rd Ground-Based Space Facilities Symposium (GBSF 2022), Dec 2022, Marseille, France. pp.1-9 |
|
|
Engineering Awareness in Interfaces: Focus on Automation and Visualization14th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2022), ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Jun 2022, Sophia Antipolis, France. pp.54-58, ⟨10.1145/3531706.3536453⟩ |
|
|
A task-model based approach for detecting ADL-related anomalies10th International Workshop on e-Health Pervasive Wireless Applications and Service @ WiMob 2022, IEEE ComSoc, Oct 2022, Thessaloniki, Greece. pp.57-62, ⟨10.1109/WiMob55322.2022.9941688⟩ |
|
|
Re-envisioning Interaction in the (General) Aviation Cockpit through Tangibles5th European Tangible Interaction Studio (ETIS 2022), Nov 2022, Toulouse, France |
The Curriculum for Education in Engineering Interactive Systems at the Master in HCI of the University Toulouse III - Paul SabatierIFIP WG 2.7/13.4 and WG 13.1 joint workshops on HCI Engineering Education – for developers, designers and more (WS12. HCI-E^2) @ INTERACT 2021, IFIP TC 13; ACM, Aug 2021, Bari, Italy. pp.211-220, ⟨10.1007/978-3-030-98388-8_19⟩ |
|
|
|
The RCRAFT Framework as a Mean to Structure Requirements for Trustable AutomationEICS workshop, Jun 2022, Eindhoven, Netherlands |
|
|
Mining human factors general trends from +100k UML class diagrams25th International Conference on Model Driven Engineering Languages and Systems (MODELS 2022), ACM SIGSOFT: Special Interest Group on Software Engineering; IEEE, Sep 2022, Montréal, Québec, Canada. pp.913-922, ⟨10.1145/3550356.3559098⟩ |
Models-Based Analysis of Both User and Attacker Tasks: Application to EEVEHAC9th IFIP WG 13.2 International Working Conference on Human-Centered Software Engineering (HCSE 2022), Aug 2022, Eindhoven, Netherlands. pp.70-89, ⟨10.1007/978-3-031-14785-2_5⟩ |
|
|
|
Engaging with Automation: Understanding and Designing for Operation, Appropriation, and Behaviour Change (Extended Abstract)Conference on Human Factors in Computing Systems (CHI 2022), ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Apr 2022, New Orleans, LA, United States. pp.1-6, ⟨10.1145/3491101.3503735⟩ |
|
|
Interactive Systems: a Unique Place for Human‐Hardware‐Software Integration and their Vulnerability to Human‐Made and Natural FaultsInternational 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⟩ |
|
|
Usability and User Experience are not Enough: Gaps to Fill to Design for and Assess Well-Being and EngagementVIII Iberoamerican Conference on Human-Computer Interaction 2022, Oct 2022, La Havane, Cuba. pp.1-14 |
HCI and worker well-being in manufacturing industryInternational Conference on Advanced Visual Interfaces (AVI 2022), Sapienza Università di Roma, Jun 2022, Frascati, Italy. pp.1-2, ⟨10.1145/3531073.3535257⟩ |
|
A Generic Framework for Structuring Configuration Management for Socio-technical System: Application to Control RoomsIFIP WG 13.5 Workshop: Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues (WS07) @ INTERACT 2021, IFIP (International Federation for Information Processing) Technical Committee 13 on Human–Computer Interaction; ACM, Aug 2021, Bari, Italy. pp.290-301, ⟨10.1007/978-3-030-98388-8_26⟩ |
|
|
|
Teaching HCI Engineering: Four Case StudiesIFIP WG 2.7/13.4 and WG 13.1 joint workshop on HCI Engineering Education – for developers, designers and more (HCI-E2) @ INTERACT 2021, IFIP (International Federation for Information Processing) Technical Committee 13 on Human–Computer Interaction; ACM, Aug 2021, Bari, Italy. pp.195-210, ⟨10.1007/978-3-030-98388-8_18⟩ |
How to Design and Assess Automation for Interactive Applications and Interaction Techniques (Extended Abstract)ACM Conference on Human Factors in Computing Systems (CHI 2022), ACM, May 2022, New Orleans, LA, United States. pp.1-3, ⟨10.1145/3491101.3503769⟩ |
|
|
|
Task Models Based Gameful Design as a Mean to Increase Engagement with AutomationWorkshop on Engaging with Automation (AutomationXP 2022) co-located CHI 2022, Apr 2022, New Orleans, United States |
|
|
Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation IssuesIFIP WG 13.5 Workshop @18th IFIP TC 13 International Conference on Human-Computer-Interaction (INTERACT 2021), IFIP: International Federation for Information Processing, Aug 2021, Bari, Italy. pp.542-547, ⟨10.1007/978-3-030-85607-6_72⟩ |
Introductory Course on Automation and its Use for Interactive Systems Design and EngineeringConference on Human Factors in Computing Systems (CHI 2021), May 2021, Yokohama (virtual), Japan. pp.1-4, ⟨10.1145/3411763.3445003⟩ |
|
|
|
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models7th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2021), Nov 2021, Beijing, China. pp.40-58, ⟨10.1007/978-3-030-91265-9_3⟩ |
Dependability and Safety: Two Clouds in the Blue Sky of Multimodal Interaction23rd ACM International Conference on Multimodal Interaction (ICMI 2021), ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Nov 2021, Montréal, QC, Canada. pp.781-787, ⟨10.1145/3462244.3479881⟩ |
|
|
|
HCI-E²: HCI Engineering Education: For Developers, Designers and More18th IFIP TC 13 International Conference on Human-Computer-Interaction (INTERACT 2021), IFIP: International Federation for Information Processing, Aug 2021, Bary, Italy. pp.542-547, ⟨10.1007/978-3-030-85607-6_74⟩ |
|
|
Automation Experience at the WorkplaceConference on Human Factors in Computing Systems (CHI 2021), May 2021, Yokohama, Japan. pp.1-6, ⟨10.1145/3411763.3441332⟩ |
|
|
From Human-Human Computer Mediated Communication to Human-Automation Collaboration in the light of Large Civil Aircraft WorkplaceWorkshop 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 |
|
|
POISE: A Framework for Designing Perfect Interactive Systems with and for Imperfect People18th IFIP Conference on Human-Computer Interaction (INTERACT 2021), Aug 2021, Bari, Italy. pp.39-59, ⟨10.1007/978-3-030-85623-6_5⟩ |
|
|
Should I Add Recommendations to My Warning System? The RCRAFT Framework Can Answer This and Other Questions About Supporting the Assessment of Automation Designs18th IFIP Conference on Human-Computer Interaction (INTERACT 2021), IFIP Technical Committee 13 on Human–Computer Interaction, Aug 2021, Bari, Italy. pp.405-429, ⟨10.1007/978-3-030-85610-6_24⟩ |
|
|
Standard Conformance-by-Construction with Event-BFMICS 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⟩ |
|
|
A Generic Visualization Approach Supporting Task-Based Evaluation of Usability and User Experience8th 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⟩ |
|
|
Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-netsInternational Workshop on Formal Methods for Interactive Systems (FMIS 2019), Oct 2019, Porto, Portugal. pp.486-502, ⟨10.1007/978-3-030-54994-7_35⟩ |
Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets8th Formal Methods for Interactive Systems Workshop (FMIS 2019) co-located with Formal Methods 2019, Oct 2019, Porto, Portugal. pp.503-519, ⟨10.1007/978-3-030-54994-7_36⟩ |
|
Task models based engineering of interactive systems13th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2020), Jun 2020, Virtual, Netherlands. pp.1-2, ⟨10.1145/3393672.3398647⟩ |
|
|
|
A Generic Multimodels-Based Approach for the Analysis of Usability and Security of Authentication MechanismsHCSE 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⟩ |
|
|
Designing Safety Critical Interactions: Hunting Down Human ErrorCHI Conference on Human Factors in Computing Systems (CHI 2020), Apr 2020, Honolulu HI, United States. pp.1-7, ⟨10.1145/3334480.3375148⟩ |
|
|
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 6617th 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⟩ |
|
|
User Tasks Description: a Retrospective, Recent Contributions and some Research Challenges @ RoCHI 202017th International Conference on Human–Computer Interaction (RoCHI 2020), Oct 2022, Sibiu, Romania. pp.1-4, ⟨10.37789/rochi.2020.1.1.1⟩ |
Ten Objectives and Ten Rules for Designing Automations in Interaction Techniques, User Interfaces and Interactive SystemsInternational Conference on Advanced Visual Interfaces (AVI 2020), Sep 2020, Salerno, Italy. pp.1-10, ⟨10.1145/3399715.3400872⟩ |
|
|
|
Characterizing Sets of Systems: Representation and Analysis of Across-Systems Properties17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.84-96, ⟨10.1007/978-3-030-46540-7_9⟩ |
|
|
A-RCRAFT: a Generic Framework for Automation Analysis and Design: Application to Automotive, Tactile in vehicle InteractionsWorkshop on Automation Experience across Domains co-located with the ACM Conference on Human Factors in Computing Systems 2020, Apr 2020, Honolulu, United States |
An Integrated Framework for the Formal Analysis of Critical Interactive SystemsThe 27th Asia-Pacific Software Engineering Conference, Jun Sun, Dec 2020, Singapour, Singapore. pp.10 |
|
|
|
Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of WidgetsIEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2020), Oct 2020, Porto (virtual), Portugal. pp.95-104, ⟨10.1109/ICSTW50294.2020.00029⟩ |
|
|
Automation Experience across Domains: Designing for Intelligibility, Interventions, Interplay and IntegrityCHI Conference on Human Factors in Computing Systems (CHI 2020), Apr 2020, Honolulu HI, United States. pp.1-8, ⟨10.1145/3334480.3375178⟩ |
|
|
Using Task Descriptions with Explicit Representation of Allocation of Functions, Authority and Responsibility to Design and Assess Automation5th IFIP Working Conference on Human Work Interaction Design (HWID), Aug 2018, Espoo, Finland. pp.36-56, ⟨10.1007/978-3-030-05297-3_3⟩ |
|
|
Deep System Knowledge Required: Revisiting UCD Contribution in the Design of Complex Command and Control Systems17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.699-720, ⟨10.1007/978-3-030-29381-9_42⟩ |
|
|
A Testbed Tool for Comparing Usability and Security of Mobile Authentication Mechanisms7th International Workshop on ADVANCEs in ICT Infrastructures and Services (ADVANCE 2019), Prof. Claudino Mendes, Jan 2019, Praia, Cape Verde. pp.1-8 |
|
|
Engaging Automation at Work – A Literature Review5th IFIP Working Conference on Human Work Interaction Design (HWID 2018), Aug 2018, Espoo, Finland. pp.158-172, ⟨10.1007/978-3-030-05297-3_11⟩ |
|
|
Trends on engineering interactive systems11th ACM Symposium on Engineering Interactive Computing Systems (EICS 2019), ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Jun 2019, Valencia, Spain. pp.1-6, ⟨10.1145/3319499.3335655⟩ |
|
|
On the Importance of Supporting Multiple Stakeholders Points of View for the Testing of Interactive Systems1st Workshop on Research and Practice Challenges for Engineering Interactive Systems while Integrating Multiple Stakeholders Viewpoints (EISM 2019), ACM SIGCHI, Jun 2019, Valencia, Spain. pp.113--121 |
|
|
MIODMIT: A Generic Architecture for Dynamic Multimodal Interactive Systems7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.109-129, ⟨10.1007/978-3-030-05909-5_7⟩ |
|
|
Enriching Task Models with Usability and User Experience Evaluation Data7th International Conference on Human-Centred Software Engineering (HCSE 2018), Sep 2018, Sophia Antipolis, France. pp.146-163, ⟨10.1007/978-3-030-05909-5_9⟩ |
|
|
Brace Touch: a Dependable, Turbulence-Tolerant, Multi-Touch Interaction Technique for Interactive Cockpits39th International Conference on Computer Safety, Reliability and Security - SafeComp 2019, Sep 2019, Turku, Finland. pp.53--68, ⟨10.1007/978-3-030-26601-1_4⟩ |
|
|
Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems12th IEEE International Conference on Cyber Physical and Social Computing (CPSCom 2019), Jul 2019, Atlanta, United States. ⟨10.1109/iThings/GreenCom/CPSCom/SmartData.2019.00132⟩ |
|
|
Handling Security, Usability, User Experience and Reliability in User-Centered Development Processes17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.759-762, ⟨10.1007/978-3-030-29390-1_76⟩ |
|
|
An Attempt to Fathom the Role of Annotations in User-Centered Design Process11th International Workshop on Research and Practice Challenges for Engineering Interactive Systems (EISMS 2019), Jun 2019, Valencia, Spain. pp.113-121 |
|
|
Engaging Automation at Work - A Literature ReviewIFIP WG 13.6 Working Conference Human Work Interaction Design (HWID 2018), Aug 2018, Espoo, Finland. pp.158-172 |
|
|
Rationalizing the Need of Architecture-Driven Testing of Interactive Systems7th International Working Conference on Human-Centered Software Engineering (HCSE 2018), Sep 2018, Sophia Antipolis, France. pp.164-186, ⟨10.1007/978-3-030-05909-5_10⟩ |
|
|
User Experience in an Automated World17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.706-710, ⟨10.1007/978-3-030-29390-1_67⟩ |
|
|
Revisiting system's pages in engine indication and alerting system for flight crew using the DSCU architecture and the OQCR system generic state descriptionINCOSE International Conference on Human System Integration (INCOSE HSI 2019), Sep 2019, Biarritz, France. pp.1-9 |
|
|
Introduction to Automation and to Its Potential for Interactive Systems Design17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.523-526, ⟨10.1007/978-3-030-29390-1_29⟩ |
|
|
A Roadmap and Some Directions Towards the Engineering of Interactive Systems Deployable in Safety Critical Contexts2nd Workshop on Charting the Way towards Methods and Tools for Advanced Interactive Systems @ ACM EICS 2019, IFIP Working Group 2.7/13.4, Jun 2019, Valencia, Spain. pp.39-45 |
|
|
Specific Task Modeling for Cyber Physical SystemsWorkshop on Heterogeneous Models and Modeling Approaches for Engineering of Interactive Systems,in conjunction with the 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2018), Jun 2018, Paris, France |
|
|
Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems (CHI 2018)ACM Conference on Human Factors in Computing Systems (CHI 2018), ACM SIGCHI : Special Interest Group on Computer-Human Interaction, Apr 2018, Montréal, Canada. pp.1-4, ⟨10.1145/3170427.3170652⟩ |
|
|
QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.91-105, ⟨10.1007/978-3-319-92081-8_9⟩ |
|
|
Interacting with Autonomous Vehicles: Learning from other DomainsACM International Conference on Human Factors in Computing Systems (ACM CHI 2018), Apr 2018, Montreal, Canada. pp.1-8 |
Explicit representation of function allocation and authority sharing (initiative and responsibility)Workshop "Interacting with Autonomous Vehicles: Learning from other Domains" - ACM CHI Conference on Human Factors in Computing Systems - CHI 2018, Apr 2018, Montréal, Canada. pp.1-5 |
|
|
|
Engineering Automations: From a Human Factor Perspective to Design, Implementation and Validation ChallengesACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2018), Jun 2018, Paris, France. pp.1-2 |
|
|
Similarity as a Design Driver for User Interfaces of Dependable Critical Systems16th IFIP Conference on Human-Computer Interaction (INTERACT 2017), Sep 2017, Bombay, India. pp.114-122, ⟨10.1007/978-3-319-92081-8_11⟩ |
|
|
TOUCAN: An IDE Supporting the Development of Effective Interactive Java ApplicationsACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2018), Jun 2018, Paris, France. pp.1-7, ⟨10.1145/3220134.3220136⟩ |
|
|
A Generic Software and Hardware Architecture for Hybrid Interactive SystemsWorkshop on Heterogeneous Models and Modeling Approaches for Engineering of Interactive Systems @ EICS 2018, Jun 2018, Paris, France |
Fighting for better interactive systemsInternational Federation for Information Processing (IFIP) TC13 & TC14 Open Symposium 2017, IFIP Technical Committee TC13 on Human-Computer Interaction; IFIP Technical Committee TC 14 on Entertainment Computing, Mar 2017, Paris, France |
|
|
|
A List of Pre-Requisites to Make Recommender Systems Deployable in Critical Context2nd Workshop on Engineering Computer-Human Interaction in Recommender Systems, co-located with the 9th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EnCHIReS @ EICS 2017), Jun 2017, Lisbonne, Portugal. pp.42-55 |
|
|
Turbulent Touch: Touchscreen Input for Cockpit Flight DisplaysInternational Conference for Human-Computer Interaction (CHI 2017), May 2017, Denver, Colorado, United States. pp.6742-6753 |
|
|
Automation: danger or opportunity? Designing and assessing automation for interactive systems (CHI 2017)CHI Conference on Human Factors in Computing Systems (CHI 2017), ACM SIGCHI: ACM Special Interest Group on Computer-Human Interaction, May 2017, Denver, Colorado, United States. pp.1257-1260, ⟨10.1145/3027063.3027115⟩ |
|
|
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web3rd Workshop on Formal Integrated Development Environment (F-IDE 2016), co-located with FM 2016, Nov 2016, Limassol, Cyprus. pp.1-19, ⟨10.4204/EPTCS.240.1⟩ |
|
|
Designing and Assessing Interactive Systems Using Task Models (2017)16th IFIP Conference on Human-Computer Interaction (INTERACT 2017), Sep 2017, Bombay, India. pp.383-386, ⟨10.1007/978-3-319-68059-0_35⟩ |
|
|
Mobile interaction with and in autonomous vehiclesInternational Conference on Human-Computer Interaction with Mobile Devices and Services (MobileHCI), Sep 2017, Vienna, Austria. pp.1-6, ⟨10.1145/3098279.3119837⟩ |
Safety-Critical Automation : Aircrafts, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives (HUDEP 2017)5th Human Dependability Workshop: "Towards Human Centered Design in the whole system lifecycle" (HUDEP 2017), EAAP : European Association for Aviation Psychology, Nov 2017, Noordwijk, Netherlands |
|
|
|
Dealing with Conflicting User Interface Properties in User-Centered Development Processes16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.521-523 |
|
|
User-Test Results Injection into Task-Based Design Process for the Assessment and Improvement of Both Usability and User Experience6th International Conference on Human-Centred Software Engineering (HCSE 2016) / 8th International Conference on Human Error, Safety, and System Development (HESSD 2016), Aug 2016, Stockholm, Sweden. pp.56-72, ⟨10.1007/978-3-319-44902-9_5⟩ |
|
|
From Aircrafts Interactive Cockpits to Autonomous Vehicles: Are Design Principles Transferable ?34th Conference on Human Factors in Computing Systems Workshop: HCI and Autonomous Vehicles (CHI 2016), ACM, May 2016, San Jose, United States. pp.1-4 |
|
|
Systematic automation of scenario-based testing of user interfaces8th ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2016), Jun 2016, Bruxelles, Belgium. pp.138-148, ⟨10.1145/2933242.2948735⟩ |
|
|
Multiple Views on Safety-Critical Automation: Aircrafts, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives (CHI 2016)34th annual CHI Conference on Human Factors in Computing Systems (CHI 2016), May 2016, San José, CA, United States. pp.1069-1072 |
|
|
Designing and Assessing Interactive Systems Using Task Models (2016)ACM SIGCHI Conference on Human Factors in Computing Systems (CHI 2016), ACM SIGCHI, May 2016, San José, CA, United States. pp.976-979, ⟨10.1145/2851581.2856686⟩ |
|
|
Complementary Tools and Techniques for Supporting Fitness-for-Purpose of Interactive Critical Systems6th International Conference on Human-Centred Software Engineering (HCSE 2016) / 8th International Conference on Human Error, Safety (HESSD 2016) and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.181-202, ⟨10.1007/978-3-319-44902-9_12⟩ |
|
|
Embedding explicit representation of cyber-physical elements in task modelsIEEE International Conference on Systems, Man and Cybernetics (SMC 2016), Oct 2016, Budapest, Hungary. pp. 1969-1974 |
|
|
Engineering mixed-criticality interactive applications8th ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2016), Jun 2016, Bruxelles, Belgium. pp.108-119, ⟨10.1145/2933242.2933258⟩ |
|
|
What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender SystemsWorkshop on Engineering Computer-Human Interaction in Recommender Systems (EnCHIReS 2016), Jun 2016, Bruxelles, Belgium. pp.14-25 |
|
|
A Three-fold Approach towards Increased Assurance Levels for Interactive Systems: A Flight Control Unit Case StudyInternational Conference on Human-Computer Interaction in Aeronautics (HCI'Aero 2016), Sep 2016, Paris, France. pp.1-9 |
|
|
Task Models for Supporting Function Allocation between Operators and Autonomous Systems: Application to Collision Avoidance Operations for Spacecraft (2016)2016 Spring Symposium on Intelligent systems for supporting distributed human teamwork (AAAI-SS 2016), AAAI : Association for the Advancement of Artificial Intelligence, Mar 2016, Stanford, CA, United States. pp.85-94 |
|
|
Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.192-212, ⟨10.1007/978-3-319-22723-8_16⟩ |
|
|
Concept Maps as for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive SystemsInternational Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2015), Sep 2015, Toulouse, France. pp.41-52 |
|
|
Designing and Assessing Interactive Systems Using Task Models (2015)33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA 2015), Apr 2015, Seoul, South Korea. pp.2465-2466, ⟨10.1145/2702613.2706684⟩ |
Retour d'expérience sur l'enseignement de la modélisation des taches au Master Interaction Homme-Machine de Toulouse (GT Modèles de Tâches - IHM 2015)27ème Conférence Francophone sur l’interaction Homme-Machine (IHM 2015), Association Francophone d'Interaction Homme-Machine (AFIHM); GT Modèles de Tâches, Oct 2015, Toulouse, France |
|
Modeling and Analysis of Human Error Based on Tasks Descriptions: Connecting Research Knowledge with PracticeHuman Dependability Workshop (HUDEP 2015), Oct 2015, Darmstadt, Germany |
|
|
|
IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development15th Human-Computer Interaction (INTERACT 2015), Sep 2015, Bamberg, Germany. pp.663-664, ⟨10.1007/978-3-319-22723-8_91⟩ |
|
|
Usability aspects of the inside-in approach for ancillary search tasks on the web15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.211-230, ⟨10.1007/978-3-319-22668-2_18⟩ |
|
|
Role of Conferences in Shaping the Field of HCI15th Human-Computer Interaction (INTERACT 2015), Sep 2015, Bamberg, Germany. pp.637-639, ⟨10.1007/978-3-319-22723-8_81⟩ |
|
|
Workshop on formal methods in human computer interactionWorkshop on formal methods in human computer interaction @ 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2015), ACM SIGCHI : ACM Special Interest Group on Computer-Human Interaction, Jun 2015, Duisburg, Germany. pp.294--295, ⟨10.1145/2774225.2777460⟩ |
|
|
AUTOM AT ICS: Research activities on Automation5th International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2015), Sep 2015, Toulouse, France. pp.0 |
|
|
A User-Centered View on Formal Methods: Interactive Support for Validation and VerificationWorkshop on Formal Methods in Human Computer Interaction (FoMHCI 2015), Jun 2015, Duisburg, Germany. pp. 24-29 |
|
|
Beyond Formal Methods for Critical Interactive Systems: Dealing with Faults at RuntimeWorkshop on Formal Methods in Human Computer Interaction (FoMHCI 2015), Jun 2015, Duisburg, Germany. pp. 19-23 |
|
|
A Generic Tool-Supported Framework for Coupling Task Models and Interactive Applications7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2015), ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Jun 2015, Duisburg, Germany. pp.244-253, ⟨10.1145/2774225.2774845⟩ |
|
|
Accounting for Organisational faults in Task Model Based Systematic Analysis of System Failures and Human ErrorsIFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development @ INTERACT 2015, IFIP : International Federation for Information Processing, Sep 2015, Bamberg, Germany. pp.101--116 |
|
|
Design, Development and Evaluation Challenges for Future Mobile User Interfaces in Safety-Critical ContextsWorkshop on Future Mobile User Interfaces in : 13th International Conference on Mobile Systems, Applications and Services (MobiSys 2015), May 2015, Florence, Italy. pp.5-7, ⟨10.1145/2754633.2754635⟩ |
|
|
Dependable multi-touch interactions in safety critical industrial contexts: Application to aeronauticsIEEE 13th International Conference on Industrial Informatics (INDIN 2015), IEEE, Jul 2015, Cambridge, United Kingdom. pp.980--987, ⟨10.1109/INDIN.2015.7281868⟩ |
Engineering Interaction Techniques in the Context of Critical Systems: are Usability and User Experience more important than Dependability and Safety as claimed by the HCI community? (INDIA HCI 2015)7th Indian Conference on Human-Computer Interaction (INDIA HCI 2015), Dec 2015, Mumbay, India |
|
Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces4th Workshop on Distributed User Interfaces and Multimodal Interaction (DIU 2014), Jul 2014, Toulouse, France. pp.27-30, ⟨10.1145/2677356.2677662⟩ |
|
|
|
Formal Modelling of Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions6th ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS 2014, ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Jun 2014, Roma, Italy. pp.173-178, ⟨10.1145/2607023.2610286⟩ |
A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics20th Pacific Rim International Symposium on Dependable Computing (2014), Nov 2014, Singapour, Singapore. pp.21--30, ⟨10.1109/PRDC.2014.11⟩ |
|
|
|
Rapid Task-Models Development Using Sub-models, Sub-routines and Generic Components5th IFIP WG 13.2 International Conference on Human-Centered Software Engineering (HCSE 2014), Sep 2014, Paderborn, Germany. pp.144-163, ⟨10.1007/978-3-662-44811-3_9⟩ |
A Notation and a Layered Architecture to Model Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch InteractionsWorkshop on Engineering Gestures for Multimodal Interfaces (EGMI 2014), co-located with the 6th ACM SIGCHI - ICS 2014, Jun 2014, Rome, Italy |
|
|
|
Rapid Task-Models Development Using Sub-models, Sub-routines and Generic Components5th International Conference on Human-Centred Software Engineering (HCSE), Sep 2014, Paderborn, Germany. pp.144-163, ⟨10.1007/978-3-662-44811-3_9⟩ |
|
|
Résilience des systèmes interactifs: contribution par une architecture tolérante aux fautes26ème Conférence francophone sur l'Interaction Homme-Machine (IHM 2014), AFIA : Association Francophone d'Interaction Homme-Machine; Université Lille 1; INRIA Lille - Nord Europe, Oct 2014, Lille, France. pp.80-90, ⟨10.1145/2670444.2670462⟩ |
|
|
Fine Grain Modeling of Task Deviations for Assessing Qualitatively the Impact of Both System Failures and Human Error on Operator PerformanceAAAI 2014 Symposium on Formal Verification on Human-Machine Systems - 2014, Mar 2014, Palo Alto, United States. pp. 27-32 |
|
|
Multi-Models-Based Engineering of Collaborative Systems: Application to Collision Avoidance Operations for Spacecrafts (2014)ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2014), ACM Special Interest Group on Computer-Human Interaction, Jun 2014, Rome, Italy. pp.95-94, ⟨10.1145/2607023.2607031⟩ |
|
|
A Fault-Tolerant Software Architecture and its Formal Specification for Embedded, Real-Time Interactive SystemsConference Embedded Real Time Software and Systems (ERTS 2014), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies., Feb 2014, Toulouse, France |
An approach for assessing the impact of dependability on usability: application to interactive cockpits.European Dependable Computing Conference, May 2014, Newcastle upon Tyne, United Kingdom. pp.198--209, ⟨10.1109/EDCC.2014.17⟩ |
|
Inside-In Search: An Alternative for Performing Ancillary Search Tasks on the Web9th Latin American Web Congress (LA-Web 2014), Oct 2014, Ouro Preto, Brazil. pp.91--99, ⟨10.1109/LAWeb.2014.21⟩ |
|
|
|
Extending Procedural Task Models by Explicit and Systematic Integration of Objects, Knowledge and Information31st European Conference on Cognitive Ergonomics (ECCE 2013), ACM Special Interest Group on Computer-Human Interaction, Aug 2013, Toulouse, France. pp.1-10, ⟨10.1145/2501907.2501954⟩ |
|
|
PetriNect: A tool for executable modeling of gestural interactionSymposium on Visual Languages and Human-Centric Computing (VL/HCC 2013), Sep 2013, San Jose, CA, United States. pp.197-198, ⟨10.1109/VLHCC.2013.6645266⟩ |
Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification5th International Workshop on Formal Methods for Interactive Systems (FMIS 2013), Steve Reeves, University of Waikato; Judy Bowen, University of Waikato, Jun 2013, London, United Kingdom. ⟨10.14279/tuj.eceasst.69.967.947⟩ |
|
|
|
Proposta de um Framework para Visualização de Dados Agregados por Similaridade para Auxiliar Consultas durante a Navegação na Web12th Brazilian Symposium on Human Factors in Computing Systems (IHC 2013), Oct 2013, Manaus, Brazil. pp.148-157 |
|
|
Études de cas et benchmarks pour la modélisation des tâches25ème conférence francophone sur l'Interaction Homme-Machine, IHM'13, Nov 2013, Bordeaux, France |
|
|
Workshop on engaging the human-computer interaction community with public policymaking internationallyACM CHI International Conference on Human Factors in Computing Systems (CHI 2013), ACM, Apr 2013, Paris, France. pp.3279-3282, ⟨10.1145/2468356.2479666⟩ |
|
|
Formal description of multi-touch interactionsACM SIGCHI conference Engineering Interactive Computing Systems - EICS 2013, ACM Special Interest Group on Computer-Human Interaction, Jun 2013, Londres, United Kingdom. pp.207-216, ⟨10.1145/2494603.2480311⟩ |
|
|
Supportive User Interfaces and Task Migratability in Smart Environments3rd Workshop on Distributed User Interfaces: Models, Methods and Tools DUI @ EICS 2013, Jun 2013, London, United Kingdom. pp.42-45 |
|
|
V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems Through Model Checking of Formal Description of Dialog15th International Conference on Human-Computer Interaction (HCI 2013), Jul 2013, Las Vegas, Nevada, United States. pp.290-299, ⟨10.1007/978-3-642-39232-0_33⟩ |
|
|
Model-based dynamic distribution of user interfaces of critical interactive systems3rd International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2013), May 2013, Naples, Italy. pp.66-75, ⟨10.1145/2494493.2494502⟩ |
Predicting and Mitigating Human Error Through Detailed Descriptions of Operators' Tasks3rd Human Dependability Workshop (HUDEP 2013), Nov 2013, Oberpfaffenhofen, Germany |
|
|
|
Tuning an HCI Curriculum for Master Students to Address Interactive Critical Systems Aspects15th International Conference on Human-Computer Interaction (HCI 2013), Jul 2013, Las Vegas, NV, United States. pp. 51-60 |
|
|
Understanding functional resonance through a federation of models : preliminary findings of an avionics case study32nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2013), Sep 2013, Toulouse, France. pp.216-227, ⟨10.1007/978-3-642-40793-2_20⟩ |
|
|
A generic framework for executable gestural interaction modelsIEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2013), Sep 2013, San Jose, CA, United States. pp. 35-38 |
System Level Integrated Failure Analysis3rd Human Dependability Workshop (HUDEP 2013), Nov 2013, Oberpfaffenhofen, Germany |
|
The Need for Synchronous Communication to Enhance Collaboration and Cooperation between Industry and AcademiaWorkshop on Education and Training of Engineers and Researchers in Aeronautics : Bridging the gap between policy, industry and academia (2013), Feb 2013, Barcelone, Spain |
|
|
|
Interactive Cockpits Applications: Specification, Prototyping and Validation using a Petri-nets based FormalismEuropean Congress on Embedded Real Time Software and Systems (ERTS 2012), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies, Feb 2012, Toulouse, France |
|
|
A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments4th International Conference on Human-Centered Software Engineering (HCSE 2012), Oct 2012, Toulouse, France. pp.72-93, ⟨10.1007/978-3-642-34347-6_5⟩ |
|
|
A Tool-supported Development Process for Bringing Touch Interactions into Interactive Cockpits for Controlling Embedded Critical SystemsInternational Conference on Human-Computer Interaction in Aeronautics (HCI'Aero 2012), Sep 2012, Brussels, Belgium |
Un processus de développement outillé pour l'exploitation systématique des bénéfices offerts par une conception des systèmes interactifs centrée tâchesConference on Ergonomie et Interaction homme-machine (Ergo'IHM 2012), Oct 2012, Biarritz, France. pp.81-88, ⟨10.1145/2652574.2653413⟩ |
|
A Systematic Approach to Training for Ground Segment using Tasks and Scenarios: Application to PICARD satelliteInternational Conference on Space Operations (SpaceOps 2012), Jun 2012, Stockholm, Sweden. pp.(electronic medium), ⟨10.2514/6.2012-1275518⟩ |
|
Systematic Approaches to Training Encompassing Operators’ mission and Interaction TechniquesInternational Conference on Human-Computer Interaction in Aerospace (HCI-Aero 2012), ACM-SIGCHI : Special Interest Group on Computer-Human Interaction; IEA : International Energy Agency; Air and Space Academy, Sep 2012, Brussels, Belgium |
|
|
|
A framework for modeling the consequences of the propagation of automation degradation: application to air traffic control systemsThe Second SESAR Innovation Days, Nov 2012, Braunschweig, Germany. 8 p. - ISBN 978-2-87497-068-9 |
|
|
Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach4th International Workshop on Software Engineering for Resilient Systems (SERENE 2012), Sep 2012, Pisa, Italy. pp.32-46, ⟨10.1007/978-3-642-33176-3_3⟩ |
A Model-Based Approach Centred on Operational Procedures for the Development of Reliable and Usable Ground Segment SystemsAIAA International Conference on Space Operations (SpaceOps 2008), American Institute of Aeronautics and Astronautics (AIAA), May 2008, Heidelberg, Germany. ⟨10.2514/6.2008-3337⟩ |
|
|
|
Challenges for Master Programs on Human-Computer Interaction (HCI): experience report of the M2IHMWorkshop on HCI: Web and Graphics Curricula (HWG 2012) @ WWW 2012, Apr 2012, Lyon, France |
A Tool-Supported Training Framework for Improving Operators: Dependability Confronted with Faults and ErrorsAnnual European Safety and Reliability Conference (ESREL 2012), Jun 2012, Helsinki, Finland. pp.25-36 |
|
System Performances under Automation Degradation (SPAD)First SESAR Innovation Days 2011, Nov 2011, Toulouse, France |
|
Automation in command and control systems: what should be remembered and what should be forgotten when designing Safe, Usable, Reliable and Enjoyable intelligent vehicles1st Workshop on Human Factors in Intelligent Vehicles (HFIV 2021) @ IEEE IV’12, IEEE ITS Society’s Artificial Transportation Systems and Simulation (ATSS) Technical Activities Sub-Committee, Jun 2012, Madrid, Spain. pp.(electronic medium) |
|
Position Paper: Modelling Interactive Critical Systems using Interactive Cooperative Objects FormalismWorkshop on Formal Methods in Human-Machine Interaction ((FoMHCI 2012), May 2012, London, United Kingdom. pp.(electronic medium) |
|
Interactive Cockpits Applications: Modelling and Validation using a Petri-net based FormalismEuropean Congress on Embedded Real-Time Software (ERTS² 2012), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies, Feb 2012, Toulouse, France |
|
Engineering Animations in User Interfaces4th Conference Engineering Interactive Computing Systems (EICS 2012), ACM Special Interest Group on Computer-Human Interaction, Jun 2012, Copenhagen, Denmark. pp.111-120 |
|
Pourquoi et comment exploiter la modélisation des tâches opérateurs dans les systèmes critiques : Application à la déclaration d’incidents et à l’opération des systèmes de commande et contrôlesJournée scientifique RTRA - FHAE : Facteurs Humains pour la Sécurité Aéronautique, ISAE, Toulouse; UT2J, Toulouse, Mar 2012, Toulouse, France |
|
|
|
Using Complementary Models-Based Approaches for Representing and Analysing ATM Systems' Variability2nd International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2012), May 2012, London, United Kingdom. pp.146-157 |
|
|
Some Issues with Interaction Design and Implementation in the Context of Autonomous Interactive Critical SystemsWorkshop on End-user Interactions with Intelligent and Autonomous Systems @ CHI 2012, ACM SIGCHI, May 2012, Austin, Texas, United States. pp.25-30 |
|
|
A Design Process for Exhibiting Design Choices and Trade-Offs in (Potentially) Conflicting User Interface Guidelines4th International Conference on Human-Centered Software Engineering (HCSE 2012), Oct 2012, Toulouse, France. pp.53-71, ⟨10.1007/978-3-642-34347-6_4⟩ |
Task Models as a Central Artifact for Designing, Building and Operating Safe, Usable and Reliable Interactive and (partly-)Autonomous Applications30th annual conference of the European Association of Cognitive Ergonomics (ECCE 2012), Aug 2012, Edinbugrh, Scotland, United Kingdom. pp.(electronic medium) |
|
SIG: Engineering Automation in Interactive Critical Systemsthe 2011 annual conference extended abstracts, May 2011, Vancouver, United States. pp.69, ⟨10.1145/1979742.1979524⟩ |
|
|
|
Structuring and Composition Mechanisms to Address Scalability Issues in Task Models13th International Conference on Human-Computer Interaction (INTERACT 2011), Sep 2011, Lisbon, Portugal. pp.589-609, ⟨10.1007/978-3-642-23765-2_40⟩ |
|
|
UsiXML Concrete Behaviour with a Formal Description Technique for Interactive SystemsIFIP WG 2.7/13.4 Workshop on User Interface Description Languages (UIDL 2011), IFIP: International Federation for Information Processing, Sep 2011, Lisbonne, Portugal. pp.(electronic medium) |
Model-Based Training: An Approach Supporting Operability of Critical Interactive Systems: Application to Satellite Ground Segments3rd Conference Engineering Interactive Computing Systems (EICS 2011), ACM Special Interest Group on Computer-Human Interaction, Jun 2011, Pise, Italy. pp.589-609, ⟨10.1145/1996461.1996495⟩ |
|
Contextual Help for Supporting Critical Systems' Operators: Application to Space Ground SegmentsWorkshop on Activity Context Representation: Techniques and Languages @ AAAI 2011, AAAI : Association for the Advancement of Artificial Intelligence, Aug 2011, San Francisco, France |
|
|
|
Usability Evaluation: Commonalities and Discrepancies in Games and Safety Critical SystemsEuropean Workshop on HCI Design and Evaluation, Mar 2011, Limassol, Cyprus. pp.45--53 |
Task-Model Based Assessment of Automation Levels: Application to Space Ground SegmentsIEEE International Conference on Systems, Man and Cybernetics (SMC 2011), Oct 2011, Anchorage, AK, United States. pp.3267-3273, ⟨10.1109/ICSMC.2011.6084173⟩ |
|
|
|
Integrating Gaming Research and Practice in the Design of User Interface of (partly)-Autonomous Safety-Critical Systems1st International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2011), May 2011, Barcelona, Spain. pp.41-49 |
A Tool Supported Model-based Approach for Engineering Usability Evaluation of Interaction Techniques3rd ACM SIGCHI Conference Engineering Interactive Computing Systems (EICS 2011), ACM SIGCHI (Special Interest Group on Computer-Human Interaction); IFIP WG 2.7/13.4 (International Federation for Information Processing), Jun 2011, Pise, Italy. pp.21-30, ⟨10.1145/1996461.1996490⟩ |
|
Self-Checking Widgets for Interactive Cockpits13th European Workshop on Dependable Computing (EWDC 2011), May 2011, Pisa, Italy. pp.34-42, ⟨10.1145/1978582.1978592⟩ |
|
|
|
Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation DesignsInternational Conference on Application and Theory of Automation in Command and Control Systems, May 2011, Barcelone, Spain. pp.50-59 |
|
|
System Performance under Automation Degradation (WP-E project SPAD)First SESAR Innovation Days, Nov 2011, Toulouse, France |
Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques17th Pacific Rim International Symposium on Dependable Computing (PRDC 2011), Dec 2011, Pasadena, California, United States. pp.164-173, ⟨10.1109/PRDC.2011.28⟩ |
|
A Multi-Models Based Development Process for Critical Interactive Systems Integrating Formal and Informal ApproachesIFIP WG 2.7/13.4 Workshop on Combining Models and Design for interactive systems (ComDeisMoto 2011), Sep 2011, Lisbonne, Portugal |
|
Engineering Automation in Interactive Critical SystemsInternational Conference on Human-Computer Interaction (CHI 2011), May 2011, Vancouver, BC, Canada. pp.1345-1349, ⟨10.1145/1979742.1979524⟩ |
|
Défis pour les Approches Formelles pour l’Ingénierie des Systèmes Interactifs5èmes Journées Francophones Modèles Formels de l'Interaction (MFI 2009), Jun 2009, Lannion, France. pp.293 |
|
|
|
Embedding Requirements in Design Rationale to Deal Explicitely with User eXperience and Usability in an “intensive” Model-Based Development ApproachWorkshop on Model Driven Development of Advanced User Interfaces 2010, Apr 2010, Atlanta, Georgia, United States. pp.29-32 |
|
|
Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction22nd Conference on l'Interaction Homme-Machine (IHM 2010), SIGCHI, Sep 2010, Luxembourg, Luxembourg. pp.81-88, ⟨10.1145/1941007.1941019⟩ |
|
|
DREAMER : a Design Rationale Environment for Argumentation, Modeling and Engineering Requirements28th ACM international conference on Design of Communication (SIGDOC 2010), SIGDOC, Sep 2010, São Carlos / São Paulo, Brazil. pp.73-80, ⟨10.1145/1878450.1878463⟩ |
|
|
Beyond Modelling: An Integrated Environment Supporting Co-Execution of Tasks and Systems Models2nd ACM SIGCHI symposium on Engineering interactive computing systems (EICS 2010), ACM SIGCHI : Special Interest Group on Computer-Human Interaction, Jun 2010, Berlin, Germany. pp.165-174, ⟨10.1145/1822018.1822043⟩ |
An Approach for Assessing both Usability and Dependability of Interactive Systems: Application to Interactive CockpitsInternational Conference on Human-Computer Interaction in Aeronautics (HCI'Aero 2010), Nov 2010, Floride, France. pp.120-130 |
|
Designing Interactive Systems neither Interaction nor InterfacesXI Congreso Internacional de Interacción Persona-Ordenador (CEDI 2010), Asociación Interacción Persona-Ordenador (AIPO); Centro de Investigación en Métodos de Producción de Software (ProS), Universidad Politécnica de Valencia; Grupo de Investigación en Especificación, Desarrollo y Evolución del Software (GEDES), Universidad de Granada, Sep 2010, Valencia, Spain. pp.5-13 |
|
|
|
Desafios para Programas de Mestrado em Interação Humano-Computador (IHC): a experiência do M2IHMSimpósio de Fatores Humanos em Sistemas Computacionais (IHC 2010), Oct 2010, Belo Horizonte, Brazil. pp.71-74 |
A formal approach supporting effective and efficient training program for improving operators reliability19th European Safety and Reliability for managing Risk (ESREL 2010), ESRA : European Safety and Reliability Association, Sep 2010, Rhodes, Greece |
|
|
|
Model-Based Usability Evaluation and Analysis of Interactive TechniquesWorkshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2010), Apr 2010, Atlanta, Georgia, France. pp.21-24 |
|
|
A Formal Approach Supporting the Comparative Predictive Assessment of the Interruption-Tolerance of Interactive Systems1st ACM SIGCHI symposium on Engineering interactive computing systems (EICS 2009), ACM Special Interest Group on Computer-Human Interaction, Jul 2009, Pittsburgh, France. pp.211-220, ⟨10.1145/1570433.1570473⟩ |
An operator-centered, model-based framework for ground segment design, supporting training and operationsGround System Architectures Workshop (GSAW 2009), Mar 2009, Torrance, California, France. pp.(electronic medium) |
|
Beyond bi-polinisation: embedding Safety Engineering and Reliability Engineering along with Usability and Software Engineering4th Workshop on Software and Usability Engineering Cross-Pollination: Usability Evaluation of Advanced Interfaces @ INTERACT (EVAL 2009), IFIP WG 13.2, Aug 2009, Uppsala, Sweden |
|
Fusion Engines for Input Multimodal Interfaces: a SurveyICMI '09: Proceedings of the 11th international conference on Multimodal interfaces, November 2-6, Cambridge, MA, USA. ACM., 2009, Cambridge, United States. pp.153-160, ⟨10.1145/1647314.1647343⟩ |
|
Formal Modelling of Incidents and Accidents as a Means for Enriching Training Material for Satellite Control OperationsSafety and Reliability for managing Risk Conference (ESREL 2008), Sep 2008, Valencia, Spain. pp.1-12 |
|
Formal Description Techniques to Support the Design, Construction and Evaluation of Fusion Engines for SURE (Safe Usable, Reliable and Evolvable) Multimodal InterfacesInternational Conference on Multimodal Interfaces - Workshop on Machine Learning for Multi-modal Interaction (ICMI-MLMI 2009), SIGCHI : ACM Special Interest Group on Computer-Human Interaction, Nov 2009, Cambridge, Massachusetts, France. pp.135-142, ⟨10.1145/1647314.1647347⟩ |
|
|
|
Resilience of Interaction Techniques to Interrupts: A Formal Model-based Approach12th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2009), IFIP: International Federation for Information Processing, Aug 2009, Uppsala, Sweden. pp.494-509, ⟨10.1007/978-3-642-03655-2_56⟩ |
Fusion Engines for Multimodal Interfaces: a surveyInternational Conference on Multimodal Interfaces- Workshop on Machine Learning for Multi-modal Interaction (ICMI-MLMI 2009), Nov 2009, Cambridge, Massachusetts, France. pp.111-118, ⟨10.1145/1647314.1647343⟩ |
|
Assessing the usability of open verifiable e-voting systems: a trial with the system Prêt à Voter1st International Conference on eGovernment and eGovernance (IceGov 2009), The Interantional Satellite and Cable Opertor (TURKSAT); Social Sciences Research Society (SoSReS), Mar 2009, Ankara, Turkey. pp.281-296 |
|
|
|
Gaining assurance in a voter-verifiable voting system2nd International Conference on Dependability (DEPEND 2009), Jun 2009, Athens Vouliagmeni, Greece. pp.99-104, ⟨10.1109/DEPEND.2009.21⟩ |
High-Fidelity Prototyping of Interactive Systems can be Formal too13th International Conference on Human-Computer Interaction. New Trends (HCI 2009), Jul 2009, San Diego, CA, France. pp.21-30, ⟨10.1007/978-3-642-02574-7_75⟩ |
|
Une Approche Formelle pour l'Evaluation de la Tolérance aux Interruptions des Système Interactifs21st Conférence Francophone sur l'Interaction Homme-Machine: L'interaction au sommet (IHM 2009), AFIHM : Association Francophone d'Interaction Humain-Machine, Oct 2009, Grenoble, France. pp.141-150, ⟨10.1145/1629826.1629848⟩ |
|
Offline interoperability, cost reduction and reliability for operational procedure using meta-modeling technologyInternational Conference on Space Operations (SpaceOps 2008), May 2008, Heidelberg, Germany. pp.(electronic medium), ⟨10.2514/6.2008-3267⟩ |
|
An Architecture and a Formal Description Technique for User Interaction Reconfiguration of Safety Critical Interactive SystemsInternational Workshop on Design, Specification, and Verification of Interactive Systems (DSV-IS 2008), Jul 2008, Kingston, Ontario, Canada. pp.208-224, ⟨10.1007/978-3-540-70569-7_20⟩ |
|
Beyond usability for safety critical systems: How to be SURE (safe, usable, reliable, and evolvable)?ACM International Conference on Human Factors in Computing Systems (CHI 2007), Apr 2007, San Jose, California, France. pp.2133-2136, ⟨10.1145/1240866.1240966⟩ |
|
A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems27th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2008), Sep 2008, Newscastle, United Kingdom. pp.373-386, ⟨10.1007/978-3-540-87698-4_31⟩ |
|
|
|
The FAERUS Project: Formal Analysis of Evolving Resilient Usable Systems7th European Dependable Computing Conference (EDCC 2008), May 2008, Kaunaas, Lithuania. pp.11-14 |
AROVE-v: Assessing the resilience of open verifiable E-voting systems.7th European Dependable Computing Conference (EDCC 2008), May 2008, Kaunas, Lithuania. pp.(electronic medium) |
|
Dealing with Reliability and Evolvability in Description Techniques for Next Generation User InterfacesWorkshop on User Interface Description Languages for Next Generation User Interfaces @ CHI 2008, Apr 2008, Florence, Italy |
|
|
|
DREAM & TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of Choices for Safety Critical Interactive Systems11th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2007), IFIP Technical Committee 13 on Huma-Computer Interaction; IFIP International Federation for Information Processing, Sep 2007, Rio de Janeiro, Brazil. pp.525-540, ⟨10.1007/978-3-540-74800-7_48⟩ |
A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC Specification 661IEEE International Symposium on Industrial Embedded Systems 2007, Jul 2007, Lisbon, Portugal. pp.250-257, ⟨10.1109/SIES.2007.4297342⟩ |
|
Model-based Framework for Addressing Diversity, Usability and Reliability for Safety Critical Interactive Systems2nd IET International Conference on System Safety 2007, IET: Institution of Engineering and Technology, Oct 2008, London, United Kingdom. pp.38-43, ⟨10.1049/cp:20070438⟩ |
|
|
|
Usability Study of Multi-Modal Interfaces using Eye-Tracking11th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2007), IFIP International Federation for Information Processing, Sep 2007, Rio de Janeiro, Brazil. pp.412-424, ⟨10.1007/978-3-540-74800-7_37⟩ |
|
|
Improving modularity of interactive software with the MDPC ArchitectureJoint Working Conference on Engineering Interactive Systems (EIS 2007), Mar 2007, Salamanca, Spain. pp.321-338, ⟨10.1007/978-3-540-92698-6⟩ |
|
|
On the Benefit of Synergistic Model-based Approach for Safety Critical Interactive System Testing6th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA 2007), Nov 2007, Toulouse, France. pp.140-154, ⟨10.1007/978-3-540-77222-4_12⟩ |
|
|
Improving Interactive Systems Usability using Formal Description Techniques: Application to HealthCare3rd Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society (USAB 2007), Austrian Computer Society, Nov 2007, Graz, Austria. pp.21-40, ⟨10.1007/978-3-540-76805-0_2⟩ |
|
|
Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification13th conference on Design Specification and Verification of Interactive Systems (DSVIS 2006), Jul 2006, Dublin, Ireland. pp.25-38, ⟨10.1007/978-3-540-69554-7_3⟩ |
A Barrier-Approach to Inform Model-Based Design of Safety-Critical Interactive SystemsInternational Symposium of the ISSA Research Section Design process and human factors integration: Optimising company performances 2006, International Social Security Association (ISSA), Mar 2006, Nice, France |
|
|
|
Analysis of Communication Breakdowns for eHealth Systems Design (poster)6th Nordic Conference on eHealth and Telemedicine 2006, Aug 2006, Helsinki, Finland. pp.212-213 |
|
|
Testing Interactive Software: a Challenge for Usability and ReliabilityACM Conference on Human Factors in Computing Systems (CHI 2006), ACM Special Interest Group on Testing Interactive Software, Apr 2006, Montréal, Canada. pp.748-751, ⟨10.1145/1125451.1189335⟩ |
Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri net Based Formal SpecificationInternational Conference on Space Operations (SpaceOps 2006), American Institute of Aeronautics and Astronautics (AIAA), Jun 2006, Rome, Italy. ⟨10.2514/6.2006-5657⟩ |
|
Addressing Issues Raised by the Exploitation of Formal Specification Techniques for Interactive Cockpit ApplicationsInternational Conference on Human-Computer Interaction in Aeronautics (HCI-Aero 2006), Sep 2006, Seattle, USA, France |
|
Software hazards and barriers for informing the design of safety-critical interactive systems15th European Safety and Reliability for managing Risk (ESREL 2006), Sep 2006, Estoril, Portugal. pp.257-266 |
|
Redesigning an Interactive Safety-Critical System to Prevent an Accident from Reoccurring24th European Annual Conference on Human Decision Making and Manual Control (EAM 2005), Oct 2005, Athens, Greece |
|
|
|
A Task Pattern Approach to Incorporate User Deviation in Task Models1st ADVISES Young Researchers Workshop (Advises 2005), Jan 2005, Liege, Belgium. pp.1-8 |
What User Interface Tools are needed for Safety Critical Interactive Systems?CHI 2005 Workshop : The Future of User Interface Design Tools, Apr 2005, Portland, Oregon, France |
|
|
|
Extending the Boundaries of Model-Based Development to Account for Errors8th International Conference on Model Driven Development of Advanced User Interfaces (MDDAUI 2005), ACM; IEEE, Oct 2005, Montego bay, Jamaica. ⟨10.13140/2.1.4181.6007⟩ |
Can we Rationalise the Design and Construction of Air Traffic Management Systems?11th International Conference on Human-Computer Interaction (HCI 2005), Jul 2005, Las Vegas, France. pp.CDRom |
|
|
|
Towards the Maturation of IT Usability Evaluation (MAUSE)10th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2005), IFIP: International Federation for Information Processing, Sep 2005, Roma, Italy. pp.1134-1137, ⟨10.1007/11555261_122⟩ |
|
|
A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality ApplicationsIFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2005), IFIP TC 13, Sep 2005, Rome, Italy. pp.170-183, ⟨10.1007/11555261_17⟩ |
Supporting Intuition through Formal Specification of the User Interface for Military Aircraft Cockpit11th International Conference on Human-Computer Interaction (HCI 2005), Jul 2005, Las Vegas, Nevada, France. pp.CDRom |
|
|
|
Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems12th International Workshop on Design, Specification and Verification of Interactive Systems (DSVIS 2005), Jul 2005, Newcastle upon Tyne, United Kingdom. pp.51-66, ⟨10.1007/11752707_5⟩ |
|
|
Complexity of Design in Safety Critical Interactive Systems:Gathering, Refining, Formalizing Multi-Type and Multi-Source Information while Ensuring Consistency, Reliability, Efficiency and Error-Tolerance2nd Workshop on Complexity in Design and Engineering 2005, Mar 2005, Glasgow, United Kingdom. pp.56-69 |
What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?International Research Network (IRN Neutrino 2005), GDR Neutrino (CNRS et CEA), Mar 2005, Valencia, Spain. pp.33-36 |
|
SWCEditor: A Model-based Tool for interactive Modelling of Web Navigation5th International Conference on Computer-Aided Design of User Interfaces (CADUI 2004), Jan 2004, Madeira Island, Portugal. pp.55-56, ⟨10.1007/1-4020-3304-4_5⟩ |
|
Multimodal and 3D Graphic Man Machine Interfaces to improve OperationsSpace OPS 2004 Conference, AAAI : American Institute of Aeronautics and Astronautics, May 2004, Montreal, Canada. ⟨10.2514/6.2004-727-500⟩ |
|
Tasks and Scenario-based Evaluation of Information Visualization Techniques3rd annual conference on Task models and diagrams (TAMODIA 2004), Nov 2004, Prague, Czech Republic. pp.165-172, ⟨10.1145/1045446.1045475⟩ |
|
|
|
Task Patterns For Taking Into Account In An Efficient And Systematic Way Both Standard And Erroneous User Behaviours7th Working Conference on Human Error, Safety and Systems Development (2004) @ IFIP 18th World Computer Congress, International Federation for Information Processing (IFIP) - Technical Committee on Human–Computer Interaction (IFIP TC13) / Working Group 13.5, Aug 2004, Toulouse, France. pp.109-130, ⟨10.1007/1-4020-8153-7_8⟩ |
Comprehensive Handling of Temporal Issues in Tasks Models: What is needed and How to Support it?Workshop of The Temporal Aspects Of Work For HCI @ CHI 2004, Apr 2004, Vienna, Austria. pp.1-6 |
|
A Model-Based Approach for Real-Time Embedded Multimodal Systems in Military Aircrafts6th international conference on Multimodal interfaces (ICMI 2004), Oct 2004, State College, Pen, USA, France. pp.243-250, ⟨10.1145/1027933.1027974⟩ |
|
|
|
Very-High-Fidelity Prototyping for both Presentation and Dialogue Parts of Multimodal Interactive SystemsIFIP Working Conference on Engineering for Human-Computer Interaction (EHCI 2004), International Federation for Information Processing (IFIP), Jul 2004, Hamburg, Germany. pp.179-199, ⟨10.1007/11431879_11⟩ |
|
|
A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC 661 SpecificationInternational Conference on Human-Computer Interaction in Aeronautics (HCI Aéro 2004), Sep 2004, Toulouse, France. pp.CD-ROM |
|
|
Petri Net Centered versus User Centered Petri Nets Tools10th Workshop on Algorithms and Tools for. Petri Nets (AWPN 2003), Sep 2003, Eichstätt, Germany |
|
|
Usando Modelagem Formal para Especificar Interação em Ambientes Virtuais: Por que?Symposium on Virtual and Augmented Reality (SVR 2003), SBC (The Brazilian Computing Society), Oct 2003, Ribeirão Preto, Brazil. pp.81-92 |
|
|
A Model-Based Approach for Engineering Multimodal InteractiveIFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2003), IFIP TC13, Sep 2003, Zurich, Switzerland. pp.543-550 |
UML for Interactive Systems: What is MissingWorkshop on Software Engineering and Human-Computer Interaction (WSEH 2003) @ INTERACT 2003, Sep 2003, Zürich, Switzerland. pp.96-99 |
|
|
|
StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications10th International Workshop on Interactive Systems. Design, Specification, and Verification (DSV-IS 2003), Jun 2003, Funchal, Portugal. pp.61-76, ⟨10.1007/978-3-540-39929-2_5⟩ |
Automatic Generation of Interactive Systems: Why A Task Model is not Enough10th International Conference on Human-Computer (HCI 2003), Jun 2003, Creta, Greece. pp.198-202 |
|
Description Formelle d'une Technique d'Interaction Multimodale dans une Application de Réalité Virtuelle Immersive15th Conference on l'Interaction Homme-Machine (IHM 2003), AFIHM: Association Francophone d'Interaction Humain-Machine, Nov 2003, Caen, France. pp.150-157, ⟨10.1145/1063669.1063690⟩ |
|
Synergistic Use of Visualisation Technique and Web Navigation Model for Information Space Exploration10th International Conference on Human-Computer (HCI 2003), Jun 2003, Creta, Greece. pp.1091-1095 |
|
|
|
A Generic Formal Description Technique for Fusion Mechanisms of Multimodal Interactive SystemsWorkshop on Multimodal Resources and Multimodal Systems (2002) In association with LEREC 2002, ELRA, Jun 2002, Las Palmas, Spain. pp.63-70 |
Analyse de performance et modéles de Tâches comme support à la conception rationnelle des systèmes interactifs14ème conférence francophone en Interaction Homme Machine (IHM 2002), Nov 2002, Poitiers, France. pp.17-24, ⟨10.1145/777005.777009⟩ |
|
Automatic Evaluation for the Web: How Improve Navigation GuidelinesWorkshop on Automated Testing in ACM Conference on Computer-Human Interaction (CHI 2002), Apr 2002, Minneapolis, USA, France |
|
Reconciling Safety and Usability Concerns through Formal Specification-based Development ProcessInternational Conference on Human-Computer Interaction in Aeronautics 2002, Oct 2002, Cambridge, Massachussets, France. pp.23-29 |
|
Model-Based Interactive Prototyping of Highly Interactive Applications4th International Conference on Computer-Aided Design of User Interfaces (CADUI 2002), May 2002, Valenciennes, France. pp.205-216 |
|
|
|
Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems9th International Workshop on Interactive Systems: Design, Specification, and Verification (DSV-IS 2002), Jun 2002, Rostock, Germany. pp.208-222, ⟨10.1007/3-540-36235-5_16⟩ |
|
|
Une démarche structurée pour la conception et l'évaluation d'applications Web par l'exploitation synergique des modèles de tâche et de navigation14ème Conférence Francophone sur l'Interaction Homme-Machine (IHM 2002), Nov 2002, Poitiers, France. pp.153-160, ⟨10.1145/777005.777026⟩ |
|
|
A Model-Based Tool for Interactive Prototyping of Highly Interactive ApplicationsConference International on Human Factors in Computing Systems (CHI 2002), Apr 2002, Minneapolis, Minnesota, France. pp.516-517, ⟨10.1145/506443.506457⟩ |
|
|
Task-Based Assessment of Web Navigation Design1st International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA 2002), ACM SIGCHI, Jul 2002, Bucarest, Romania. pp.161-169 |
Designing Navigation for Web InterfacesAnnual Conference of the BCS-HCI Group jointly with Annual Conference of AFIHM 2001, BCS-HCI Group, Sep 2001, Lille, France. pp.43-46 |
|
Avaliação da Navegação de Interfaces Web a partir de Modelos4th Workshop on Human Factors in Computer Systems (IHC 2001), Universidade Federal de Santa Catarina (UFSC), Oct 2001, Florianopolis, SC, Brazil. pp.48-60 |
|
|
|
Towards a General Guidance and Support Tool for Usability Optimization9th International Conference on on Human-Computer Interaction (HCI 2001), Aug 2001, New Orleans, USA, France |
|
|
A Tool Suite for Integrating Task and System Models Through Scenarios8th International Workshop on Interactive Systems: Design, Specification, and Verification (DSV-IS 2001), Jun 2001, Glasgow, Scotland, United Kingdom. pp.88-113, ⟨10.1007/3-540-45522-1_6⟩ |
Usability Evaluation Methods: What is still missing for the Web?9th International Conference on on Human-Computer Interaction (HCI 2001), Aug 2001, New Orleans, France |
|
Integrating Prototyping and Formal Methods as a means for Reconciling Usability and SafetyWorkshop on Safety and Usability Concerns in Aeronautics (SUCA 2000) @ HCI-Aero 2000, IFIP WG 13.5, Sep 2000, Toulouse, France. pp.41--47 |
|
|
|
A Framework for Organizing Web Usability Guidelines6th Conference on Human Factors and the Web (HF Web 2000), Jun 2000, Austin, United States |
Exploitation des notations de Design Rationale pour une conception justifiée des applications interactives11ème Conférence Francophone sur l'Interaction Homme-Machine (IHM 1999), Nov 1999, Montpellier, France |
|
Conception d'applications ergonomiques : une méthode pour informaticiens et une méthode pour ergonomes4ème Colloque Ergonomie et informatique avancée (ERGO IA 1994), Oct 1994, Biarritz, France. pp.394-405 |
Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium : Swansea, UK, June 26-27, 2023, Selected PapersEICS 2023 - 15th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, LNCS-14517, Springer Nature Switzerland, pp.I--XIV, 1--224, 2024, Lecture Notes in Computer Science, 978-3-031-59234-8. ⟨10.1007/978-3-031-59235-5⟩ |
|
Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, ProceedingsLecture Notes in Computer Science, 14010, Springer Nature Switzerland, 2023, 978-3-031-33162-6. ⟨10.1007/978-3-031-33163-3⟩ |
|
AutomationXP 2023: Intervening, Teaming, Delegating - Creating Engaging Automation Experiences, Proceedings of the Workshop on Intervening, Teaming, Delegating, co-located with the ACM CHI 20233394, ceur-ws.org, 2023, CEUR Workshop Proceedings |
|
EICS '21: Companion of the 2021 ACM SIGCHI Symposium on Engineering Interactive Computing SystemsACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2021), Eindhoven (virtual), Netherlands. ACM: Association for Computing Machinery, New York, 2021, 978-1-4503-8449-0. ⟨10.1145/3459926⟩ |
|
Proceedings of the Workshop on Automation Experience across Domains co-located with the ACM Conference on Human Factors in Computing SystemsPeter Fröhlich; Matthias Baldauf; Philippe Palanque; Virpi Roto; Thomas Meneweger; Manfred Tscheligi; Zoe Becerra; Fabio Paternó. Workshop on Automation Experience across Domains co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2020), Apr 2020, Honolulu, Hawaii, United States. 2700, CEUR Workshop Proceedings: Free Open-Access Proceedings for Scientific Conferences and Workshops, RWTH Aachen University, 2020 |
|
Proceedings of 15th International Conference on Human Computer Interaction, Cluj-Napoca, 26/09/18 - 26/09/19Sabou, Adrian; Palanque, Philippe. 15th International Conference on Human Computer Interaction - RoCHI 2018, Sep 2018, Cluj-Napoca, Romania. Matrix Rom, Bucharest, Romania; ACM SIGCHI (Special Interest Group for Human Computer Interaction) Romania, 2018 |
|
ATACCS '15: Proceedings of the 5th International Conference on Application and Theory of Automation in Command and Control Systems5th International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2015), ACM : Association for Computing Machinery, New York, 2015, 978-1-4503-3562-1 |
|
ATACCS '13: Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control Systems, Naples, Italy, 28-30 may 2013Brat, Guillaume; Garcia, Eduardo; Moccia, Antonio; Palanque, Philippe; Pasquini, Alberto; Saez, Francisco; Winckler, Marco Antonio. 3rd International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2013), May 2013, Naples, Italy. ACM: Association for Computing Machinery, New York, 2013, 978-1-4503-2249-2. ⟨10.1145/2494493⟩ |
|
ATACCS '12: 2nd International Conference on Application and Theory of Automation in Command and Control Systems, London, UK, May 29-31 2012Garcia, Eduardo; Johnson, Chris; Ochieng, Washington Yotto; Palanque, Philippe; Saez, Francisco; Vilaplana Miguel Angel; Winckler, Marco Antonio. 2nd International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2012), May 2012, London, United Kingdom. IRIT : Institut en Recherche Informatique de Toulouse, 2012, 978-2-917490-20-4. ⟨10.5555/2325676⟩ |
|
Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2011) May 26-27, 2011, Barcelona, SpainGarcia, Eduardo; Majumdar, Arnab; Palanque, Philippe; Pasquini, Alberto; Saez, Francisco; Winckler, Marco Antonio. 1st International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2011), Barcelone, Spain. IRIT Press, Toulouse, 188 p., 2011, 978-1-4503-1506-7 |
|
Human-Computer Interaction - INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, 4 vol. : Part I à IVCampos, Pedro; Graham, Nicholas; Jorge, Joaquim; Nuno, Nunes; Palanque, Philippe; Winckler, Marco Antonio. 13th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2011), Sep 2011, Lisbon, Portugal. 6946 à 6949 (Part 1 à 4), Springer, 2011, Lecture Notes in Computer Science (LNCS), 978-3642237737 ; 978-3642237706 ; 978-3642237645 ; 978-3642237676 |
|
|
|
Human-Computer Interaction – INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IVCampos, Pedro; Graham, Nicholas; Jorge, Joaquim; Nuno, Nunes; Palanque, Philippe; Winckler, Marco Antonio. 13th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2011), Sep 2011, Lisbon, Portugal. 6949, Springer, pp.Part 4, 2011, Lecture Notes in Computer Science book series (LNCS), ⟨10.1007/978-3-642-23768-3⟩ |
|
|
Human Error, Safety and Systems Development: 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected PapersPalanque, Philippe; Vanderdonckt, Jean; Winckler, Marco Antonio. 7th IFIP WG 13.5 Working Conference on Human Error, Safety and Systems Development (HESSD 2009), Sep 2009, Brussels, Belgium. 5962, Springer-Verlag, 2010, Lecture Notes in Computer Science book series (LNCS), 978-3-642-11749-7. ⟨10.1007/978-3-642-11750-3⟩ |
|
|
Task Models and Diagrams for User Interface Design: 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected PapersEngland, David; Palanque, Philippe; Vanderdonckt, Jean; Wilde, Peter. 8th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA 2009), Sep 2009, Brussels, Belgium. 5963, Springer-Verlag, 2010, Lecture Notes in Computer Science book series (LNCS), 978-3-642-11796-1. ⟨10.1007/978-3-642-11797-8⟩ |
Human-Computer Interaction – INTERACT 2009: 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I and Part 2Gross, Tom; Gulliksen, Jan; Kotze, Paula; Oestreicher, Lars; Palanque, Philippe; Prates, Raquel Oliveira; Winckler, Marco Antonio. 12th TC13 IFIP Conference on Human-Computer Interaction (INTERACT 2009), Uppsala, Sweden. 5726 et 5727, Springer, 2009, Lecture Notes in Computer Science book series (LNCS), 978-3-642-03654-5 et 978-3-642-03657-6 |
|
|
|
Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised PapersGraham, T.C. Nicholas; Palanque, Philippe. 15th International Workshop on Interactive Systems: Design, Specification, and Verification (DSV-IS 2008), Jul 2008, Kingston, Canada. Springer-Verlag, 2008, 978-3-540-70568-0. ⟨10.1007/978-3-540-70569-7⟩ |
|
|
Engineering Interactive Systems: EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected PapersGulliksen, Jan; Harning, Morten; Palanque, Philippe; Van Der Veer, Gerrit; Wesson, Janet. 14th International conference DSV-IS 2007 and EIS 2007, Salamanca, Spain. 4940, Springer-Verlag, 2008, Lecture Notes in Computer Science book series (LNCS), 978-3-540-92697-9. ⟨10.1007/978-3-540-92698-6⟩ |
|
|
Human-Computer Interaction – INTERACT 2007: 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part IIBaranauskas, Cecilia; Palanque, Philippe; Abascal, Julio; Barbosa, Simone D. J. 11th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2007), Sep 2007, Rio de Janeiro, Brazil. 4662, Springer-Verlag, 2007, Lecture Notes in Computer Science (LNCS), 978-3-540-74799-4. ⟨10.1007/978-3-540-74800-7⟩ |
|
|
Human-Computer Interaction - INTERACT 2007: 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part IBaranauskas, Cecilia; Palanque, Philippe; Abascal, Julio; Barbosa, Simone D. J. 11th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2007), Sep 2007, Rio de Janeiro, Brazil. 4662 (Part 1), Springer-Verlag, 2007, Lecture Notes in Computer Science book series (LNCS), 978-3540747949. ⟨10.1007/978-3-540-74796-3⟩ |
|
|
Task Models and Diagrams for User Interface Design: 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007 ProceedingsWinckler, Marco Antonio; Johnson, Hilary; Palanque, Philippe. 6th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA 2007), Toulouse, France. 4849, Springer-Verlag, 2007, Lecture Notes in Computer Science book series (LNCS), 978-3-540-77222-4. ⟨10.1007/978-3-540-77222-4⟩ |
|
|
Engineering Human Computer Interaction and Interactive Systems : Joint Working Conferences EHCI-DSVIS 2004 Hamburg, Germany, July 11-13, 2004, Revised Selected PapersBastide, Rémi; Palanque, Philippe; Roth, Jörg. 9th IFIP Working Conference on Engineering for Human-Computer Interaction, Jointly with The 11th International Workshop on Design, Specification and Verification of Interactive Systems, Jul 2004, Hamburg, Germany. 3425, Springer, 2005, Lecture Notes in Computer Science (LNCS), 978-3-540-26097-4. ⟨10.1007/b136790⟩ |
TAMODIA '04: Proceedings of the 3rd annual conference on Task models and diagramsSlavik, Pavel; Palanque, Philippe; Winckler, Marco Antonio. 3rd International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA 2004), Nov 2004, Prague, Czech Republic. ACM : Association for Computing Machinery, 2004, 978-1-59593-000-2. ⟨10.1145/1045446⟩ |
|
|
|
Human Error, Safety and Systems Development: IFIP 18th World Computer Congress TC13 / WG13.5 7th Working Conference on Human Error, Safety and Systems Development 22–27 August 2004 Toulouse, FrancePalanque, Philippe; Johnson, Chris. IFIP 18th World Computer Congress TC13 / WG13.5 and 7th Working Conference on Human Error, Safety and Systems Development (HESSD 2004), 152, Springer New York, NY, XVIII, 322 p., 2004, IFIP Advances in Information and Communication Technology book series, 978-1-4419-5487-9. ⟨10.1007/b98984⟩ |
|
|
People and Computers XVII - Designing for Society: Proceedings of HCI 2003O'Neill, Eamonn; Palanque, Philippe; Johnson, Peter. 17th annual Human Computer Interaction Conference, Sep 2003, Bath, United Kingdom. Springer Verlag, 2003, 978-1-85233-766-7. ⟨10.1007/978-1-4471-3754-2⟩ |
Principles of Task Analysis and Modeling: Understanding Activity, Modeling Tasks, and Analyzing ModelsJean Vanderdonckt; Philippe Palanque; Marco Winckler. Handbook of Human Computer Interaction, Springer International Publishing, pp.1-40, 2022, 978-3-319-27648-9. ⟨10.1007/978-3-319-27648-9_57-1⟩ |
|
|
|
A Classification of Faults Covering the Human-Computer Interaction LoopComputer 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⟩ |
A-RCRAFT Framework for Analysing Automation: Application to SAE J3016 Levels of Driving AutomationCristina Olaverri-Monreal, Fernando García-Fernández, Rosaldo J. F. Rossetti. Human Factors in Intelligent Vehicles, River Publishers, 2020, 9788770222037 |
|
Performance Evaluation of Interactive Systems with Interactive Cooperative Objects ModelsAntti Oulasvirta, Per Ola Kristensson, Xiaojun Bi, Andrew Howes. Computational Interaction, Oxford University Press, 2018, 9780198799610 |
|
|
|
State of the Art on Formal Methods for Interactive SystemsWeyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction., 1, Springer International Publishing, pp.3--55, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_1⟩ |
|
|
Topics of Formal Methods in HCIWeyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.57--64, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_2⟩ |
Dealing with Faults During Operations: Beyond Classical Use of Formal MethodsWeyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.549--575, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_20⟩ |
|
|
|
Case StudiesWeyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.89--121, 2017, 978-3319518374 |
|
|
Trends and GapsWeyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.65--88, 2017, Human–Computer Interaction Series, 978-3319518374 |
|
|
Web Augmentation as a Promising Technology for End User DevelopmentFabio Paternò; Volker Wulf. New Perspectives in End-User Development, Springer, pp.433-459, 2017, 978-3-319-60290-5. ⟨10.1007/978-3-319-60291-2_17⟩ |
Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development EnvironmentWeyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.465--504, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_17⟩ |
|
|
|
Designing and Assessing Interactive Systems Using Task ModelsKronbauer, Arthur; Mattos, Ecivaldo; Sampaio, Andreia Libório; Boscarioli, Clodis. Book of Tutorials of the 14th Brazilian Symposium on Human Factors in Computing Systems (IHC 2015), Salvador Brazil, November 3-6, 2, Brazilian Computing Society, pp.29--58, 2015 |
|
|
Models as Representations for Supporting the Development of e-ProceduresUsability in Government Systems: User Experience Design for Citizens and Public Servants, 3 (1 : Chapter 19 : Models as Abstract Representations for supporting the development of e-Procedures), MDPI AG, Switzerland, pp.1-3, 2012, 978-0-12-391063-9. ⟨10.3390/admsci3010001⟩ |
A Formal Model-Based Approach for Designing Interruptions-Tolerant Advanced User InterfacesHussmann, Heinrich; Meixner, Gerrit; Zuehlke, Detlef. Model-Driven Development of Advanced User Interfaces, 340, Springer, pp.143-170, 2011, Studies in Computational Intelligence book series (SCI), 978-3-642-14561-2. ⟨10.1007/978-3-642-14562-9_8⟩ |
|
Formal Description Techniques for Human-Machine Interfaces - Model-Based Approaches for the Design and Evaluation of Dependable Usable Interactive SystemsGuy A. Boy. The Handbook of Human-Machine Interaction : A Human-Centered Approach, CRC Press, 2011, 978-1315557380. ⟨10.1201/9781315557380-12⟩ |
|
Task Models and System Models as a Bridge between HCI and Sofware EngineeringSeffah, Ahmed; Vanderdonckt, Jean; Desmarais, Michel C. Human-Centered Software Engineering Software Engineering Models, Patterns and Architectures for HCI, Chapter 17, Springer, pp.357-385, 2009, Human-Computer Interaction Series book series (HCIS), 978-1-84800-907-3. ⟨10.1007/978-1-84800-907-3_17⟩ |
|
Model-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive ApplicationsLaw, Effie; Hvannberg Ebba; Cockton Gilbert; Vanderdonckt, Jean. Maturing Usability: Quality in Software, Interaction and Quality, Springer, pp.96-122, 2008, Human-Computer Interaction Series book series (HCIS), ⟨10.1007/978-1-84628-941-5_5⟩ |
|
From DREAM to Realitiy: Specificities of Interactive Systems Development with respect to Rationale ManagementAllen H. Dutoit; Raymond McCall; Ivan Mistrík; Barbara Paech. Rationale Management in Software Engineering, Springer-Verlag, pp.155-172, 2007, 978-3-540-30998-7 |
|
Design Rationale for Increasing Profitability of Interactive Systems DevelopmentGhaoui, Claude. Encyclopedia of Human Computer Interaction, Idea Group Reference, pp.1-6, 2006, 978-1591405627 |
|
Tool Support for Interactive Prototyping of Safety Critical Interactive ApplicationsClaude Ghaoui. Encyclopedia of Human Computer Interaction, Idea Group Reference Pub, pp.603-608, 2005, 1-59140-562-9 |
|
Notations en IHM pour une modélisation synergique des tâches et du systèmeBoy, Guy. Ingénierie cognitive - IHM et cognition, 2ème partie : Développement centré sur l'homme., Hermès, 2003, Traité des sciences cognitives, 978-2746205710 |
AutomationXP 2021: Automation Experience at the Workplace 2021Workshop on Automation Experience at the Workplace, co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2021), Yokohama (virtual), Japan. CEUR Workshop Proceedings, 2905, pp.1-180, 2021, ISSN: 1613-0073 |
|
Human-Centered Software Engineering - 7th IFIP WG 13.2 International Working Conference, HCSE 2018Bogdan, Cristian; Kuusinen, Kati; Larusdottir, Marta; Palanque, Philippe; Winckler, Marco Antonio. 7th IFIP WG 13.2 International Working Conference - HCSE 2018, Sep 2018, Nice Sophia Antipolis, France. Lecture Notes in Computer Science, 11262, 2019, Human-Centered Software Engineering, 978-3030059088 |
|
|
|
Human-Computer Interaction - INTERACT 2015 - 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part I à IVAbascal, Julio; Barbosa, Simone D. J.; Fetter, Mirko; Gross, Tom; Palanque, Philippe; Winckler, Marco Antonio. 15th IFIP TC.13 International Conference on Human-Computer Interaction (INTERACT 2015), Sep 2015, Bamberg, Germany. Lecture Notes in Computer Science, 9297 à 9299, 2015, Lecture Notes in Computer Science book series (LNCS) - IFIP-LNCS Volumes, ⟨10.1007/978-3-319-22701-6⟩ |
|
|
Human-Centered Software EngineeringSpringer International Publishing, LNCS-11262, 2019, Lecture Notes in Computer Science, 978-3-030-05908-8. ⟨10.1007/978-3-030-05909-5⟩ |
The Handbook of Formal Methods in Human-Computer InteractionWeyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. Springer International Publishing, 2017, Human–Computer Interaction Series, 978-3319518374 |
|
|
|
Human-Centered and Error-Resilient Systems DevelopmentSpringer International Publishing, LNCS-9856, 2016, Lecture Notes in Computer Science (LNCS), 978-3-319-44901-2. ⟨10.1007/978-3-319-44902-9⟩ |
|
|
Human-Computer Interaction – INTERACT 2015LNCS-9297, 2015, Lecture Notes in Computer Science, 978-3-319-22667-5. ⟨10.1007/978-3-319-22668-2⟩ |
|
|
Human-Computer Interaction – INTERACT 2015LNCS-9299, 2015, Lecture Notes in Computer Science, 978-3-319-22722-1. ⟨10.1007/978-3-319-22723-8⟩ |
|
|
Human-Computer Interaction – INTERACT 2015LNCS-9298, 2015, Lecture Notes in Computer Science, 978-3-319-22697-2. ⟨10.1007/978-3-319-22698-9⟩ |
|
|
Human-Computer Interaction – INTERACT 2015LNCS-9296, 2015, Lecture Notes in Computer Science, 978-3-319-22700-9. ⟨10.1007/978-3-319-22701-6⟩ |
|
|
Human-Computer Interaction – INTERACT 2011, Part III: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, ProceedingsPedro Campos; Nicholas Graham; Joaquim Jorge; Nuno Nunes; Philippe Palanque; Marco Antonio Winckler. Springer, LNCS-6948, 2011, Lecture Notes in Computer Science book series (LNCS), 978-3-642-23773-7. ⟨10.1007/978-3-642-23765-2⟩ |
|
|
Human-Computer Interaction – INTERACT 2011, Part ISpringer, LNCS-6946, 2011, Lecture Notes in Computer Science book series (LNCS), 978-3-642-23773-7. ⟨10.1007/978-3-642-23774-4⟩ |
|
|
Human-Computer Interaction – INTERACT 2011, Part IISpringer, LNCS-6947, 2011, Lecture Notes in Computer Science, 978-3-642-23770-6. ⟨10.1007/978-3-642-23771-3⟩ |
|
|
Human-Computer Interaction – INTERACT 2011, Part IVSpringer, LNCS-6949, 2011, Lecture Notes in Computer Science book series (LNCS), 978-3-642-23767-6. ⟨10.1007/978-3-642-23768-3⟩ |
Mobile Context-Aware Applications for Ubiquitous Computing (J.UCS Special Issue)Lozano, María D.; Gallud, Jose A.; Palanque, Philippe. John Wiley and Sons, 16 (15), pp.1927-2139, 2010, Journal of Universal Computer Science, Special Issue, 978-3-85125-159-3 |
|
|
Exploiting Tasks Descriptions to Assess and Ensure Effectiveness during the programming of interactive Java softwareTutoriels of 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2018), 2018 |
|
|
HAMSTERS : un environnement d’édition et de simulation de modèles de tâches26ème Conférence francophone sur l'Interaction Homme-Machine (IHM 2014), Oct 2014, Lille, France. pp.5-6, 2014 |
Clinical Application Design: Task Modeling with Failure in Mind (poster)World Congress on Internet in Medicine (MedNet 2006), Oct 2006, Toronto, Canada. eHealthNews.eu, pp.(electronic medium), 2006 |
|
MAUSE: Network of Usability ExcellenceBaltic Conference Series HCI 2005, Sep 2005, Edinburgh, Scotland, United Kingdom. 2005 |
Report on the requirements for careers kits identifying the content of the Kits[Research Report] Rapport de recherche D3.2, IRIT : Institut de Recherche Informatique de Toulouse. 2013 |
|
Report on skills, knowledge and background of Career Advisors and counsellors in most European countries[Research Report] Rapport de recherche D3.1, IRIT : Institut de Recherche Informatique de Toulouse. 2013 |