
Philippe PALANQUE
384
Documents
Publications
Publications
|
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
Communication dans un congrès
hal-04751768
v1
|
|
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⟩
Communication dans un congrès
hal-04790773
v1
|
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⟩
Communication dans un congrès
hal-04696952
v1
|
|
|
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⟩
Communication dans un congrès
hal-04726218
v1
|
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⟩
Communication dans un congrès
hal-04696954
v1
|
|
|
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, IFIP Work Group 11.12, Jul 2024, Skövde, Sweden. pp.165-179, ⟨10.1007/978-3-031-72559-3_12⟩
Communication dans un congrès
hal-04727127
v1
|
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⟩
Communication dans un congrès
hal-04790786
v1
|
|
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⟩
Communication dans un congrès
hal-04316116
v1
|
|
|
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⟩
Communication dans un congrès
inserm-04095980
v1
|
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⟩
Communication dans un congrès
hal-04426794
v1
|
|
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⟩
Communication dans un congrès
hal-04316076
v1
|
|
|
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⟩
Communication dans un congrès
hal-04151435
v1
|
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⟩
Communication dans un congrès
hal-04316101
v1
|
|
|
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⟩
Communication dans un congrès
hal-04316131
v1
|
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⟩
Communication dans un congrès
hal-04191536
v1
|
|
|
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⟩
Communication dans un congrès
hal-04790777
v1
|
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⟩
Communication dans un congrès
hal-04316086
v1
|
|
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⟩
Communication dans un congrès
hal-04316070
v1
|
|
|
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
Communication dans un congrès
hal-03703922
v1
|
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⟩
Communication dans un congrès
hal-03855026
v1
|
|
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
Communication dans un congrès
hal-03780438
v1
|
|
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⟩
Communication dans un congrès
hal-03641769
v1
|
|
|
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⟩
Communication dans un congrès
hal-03855035
v1
|
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⟩
Communication dans un congrès
hal-03772286
v1
|
|
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⟩
Communication dans un congrès
hal-03857747
v1
|
|
|
The RCRAFT Framework as a Mean to Structure Requirements for Trustable AutomationEICS workshop, Jun 2022, Eindhoven, Netherlands
Communication dans un congrès
hal-05024431
v1
|
|
Re-envisioning Interaction in the (General) Aviation Cockpit through Tangibles5th European Tangible Interaction Studio (ETIS 2022), Nov 2022, Toulouse, France
Communication dans un congrès
hal-04316193
v1
|
|
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⟩
Communication dans un congrès
hal-03855027
v1
|
|
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⟩
Communication dans un congrès
hal-03862889
v1
|
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⟩
Communication dans un congrès
hal-04338764
v1
|
|
|
Operator-centered and model-based design for critical HMIS3rd Ground-Based Space Facilities Symposium (GBSF 2022), Dec 2022, Marseille, France. pp.1-9
Communication dans un congrès
hal-03905124
v1
|
|
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⟩
Communication dans un congrès
hal-03855009
v1
|
|
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
Communication dans un congrès
hal-03811274
v1
|
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⟩
Communication dans un congrès
hal-03857754
v1
|
|
|
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⟩
Communication dans un congrès
hal-03612380
v1
|
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⟩
Communication dans un congrès
hal-03854927
v1
|
|
|
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⟩
Communication dans un congrès
hal-03641764
v1
|
|
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⟩
Communication dans un congrès
hal-03487118
v2
|
|
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⟩
Communication dans un congrès
hal-03376237
v1
|
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⟩
Communication dans un congrès
hal-03376233
v1
|
|
|
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⟩
Communication dans un congrès
hal-03857803
v2
|
|
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⟩
Communication dans un congrès
hal-03376240
v1
|
|
Automation Experience at the WorkplaceConference on Human Factors in Computing Systems (CHI 2021), May 2021, Yokohama, Japan. pp.1-6, ⟨10.1145/3411763.3441332⟩
Communication dans un congrès
hal-03376232
v1
|
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⟩
Communication dans un congrès
hal-03857734
v1
|
|
|
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
Communication dans un congrès
hal-03376276
v1
|
|
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⟩
Communication dans un congrès
hal-03376236
v1
|
|
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⟩
Communication dans un congrès
hal-03376253
v1
|
|
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⟩
Communication dans un congrès
hal-03099196
v1
|
|
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⟩
Communication dans un congrès
hal-03099199
v1
|
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
Communication dans un congrès
hal-02999148
v1
|
|
|
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⟩
Communication dans un congrès
hal-03079809
v1
|
|
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⟩
Communication dans un congrès
hal-03099193
v1
|
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⟩
Communication dans un congrès
hal-02931902
v1
|
|
|
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⟩
Communication dans un congrès
hal-03079818
v1
|
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⟩
Communication dans un congrès
hal-03857854
v1
|
|
|
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⟩
Communication dans un congrès
hal-02942303
v1
|
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⟩
Communication dans un congrès
hal-03099192
v1
|
|
|
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⟩
Communication dans un congrès
hal-03857822
v1
|
|
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⟩
Communication dans un congrès
hal-02942767
v1
|
|
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
Communication dans un congrès
hal-03099228
v1
|
|
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⟩
Communication dans un congrès
hal-03188820
v1
|
|
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
Communication dans un congrès
hal-03857851
v1
|
|
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
Communication dans un congrès
hal-02450862
v1
|
|
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⟩
Communication dans un congrès
hal-02877685
v1
|
|
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⟩
Communication dans un congrès
hal-03857839
v1
|
|
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
Communication dans un congrès
hal-03012559
v1
|
|
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⟩
Communication dans un congrès
hal-02089260
v1
|
|
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⟩
Communication dans un congrès
hal-02435352
v1
|
|
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⟩
Communication dans un congrès
hal-02264626
v1
|
|
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
Communication dans un congrès
hal-02436127
v1
|
|
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⟩
Communication dans un congrès
hal-02270703
v1
|
|
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⟩
Communication dans un congrès
hal-02089252
v1
|
|
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⟩
Communication dans un congrès
hal-03003823
v1
|
|
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⟩
Communication dans un congrès
hal-02881970
v1
|
|
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⟩
Communication dans un congrès
hal-02892786
v1
|
|
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⟩
Communication dans un congrès
hal-02878649
v1
|
|
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
Communication dans un congrès
hal-02494116
v1
|
|
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⟩
Communication dans un congrès
hal-02089262
v1
|
|
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
Communication dans un congrès
hal-02879313
v1
|
|
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
Communication dans un congrès
hal-02983159
v1
|
|
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
Communication dans un congrès
hal-02983160
v1
|
|
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
Communication dans un congrès
hal-03634998
v1
|
|
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⟩
Communication dans un congrès
hal-02181965
v1
|
|
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⟩
Communication dans un congrès
hal-01821411
v1
|
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
Communication dans un congrès
hal-02983158
v1
|
|
|
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⟩
Communication dans un congrès
hal-03623020
v1
|
|
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⟩
Communication dans un congrès
hal-01821420
v1
|
|
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
Communication dans un congrès
hal-02486116
v1
|
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
Communication dans un congrès
hal-03112697
v1
|
|
|
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
Communication dans un congrès
hal-02486107
v1
|
|
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⟩
Communication dans un congrès
hal-02748859
v2
|
|
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⟩
Communication dans un congrès
hal-01757338
v1
|
|
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⟩
Communication dans un congrès
hal-02878791
v1
|
|
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⟩
Communication dans un congrès
hal-02875050
v1
|
|
Turbulent Touch: Touchscreen Input for Cockpit Flight DisplaysInternational Conference for Human-Computer Interaction (CHI 2017), May 2017, Denver, Colorado, United States. pp.6742-6753
Communication dans un congrès
hal-02649024
v1
|
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
Communication dans un congrès
hal-03128348
v1
|
|
|
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
Communication dans un congrès
hal-01680275
v1
|
|
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
Communication dans un congrès
hal-04109418
v1
|
|
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⟩
Communication dans un congrès
hal-01647709
v1
|
|
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⟩
Communication dans un congrès
hal-01493786
v1
|
|
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
Communication dans un congrès
hal-02442019
v1
|
|
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
Communication dans un congrès
hal-01493791
v1
|
|
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⟩
Communication dans un congrès
hal-04109595
v1
|
|
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⟩
Communication dans un congrès
hal-02603527
v2
|
|
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
Communication dans un congrès
hal-01782561
v1
|
|
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⟩
Communication dans un congrès
hal-04109570
v1
|
|
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
Communication dans un congrès
hal-02603671
v1
|
|
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
Communication dans un congrès
hal-02603674
v1
|
|
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⟩
Communication dans un congrès
hal-03209328
v1
|
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
Communication dans un congrès
hal-03209332
v1
|
|
|
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⟩
Communication dans un congrès
hal-01387758
v1
|
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
Communication dans un congrès
hal-03209331
v1
|
|
|
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⟩
Communication dans un congrès
hal-01371784
v1
|
|
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
Communication dans un congrès
hal-01534807
v1
|
Modeling and Analysis of Human Error Based on Tasks Descriptions: Connecting Research Knowledge with PracticeHuman Dependability Workshop (HUDEP 2015), Oct 2015, Darmstadt, Germany
Communication dans un congrès
hal-03209330
v1
|
|
|
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⟩
Communication dans un congrès
hal-01343048
v1
|
|
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⟩
Communication dans un congrès
hal-01610829
v1
|
|
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
Communication dans un congrès
hal-01334722
v1
|
|
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
Communication dans un congrès
hal-01534806
v1
|
|
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⟩
Communication dans un congrès
hal-03209329
v1
|
|
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⟩
Communication dans un congrès
hal-01610848
v1
|
|
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
Communication dans un congrès
hal-01334684
v1
|
|
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⟩
Communication dans un congrès
hal-04079370
v1
|
|
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
Communication dans un congrès
hal-03209327
v1
|
|
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⟩
Communication dans un congrès
hal-04079374
v1
|
|
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
Communication dans un congrès
hal-02272197
v1
|
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⟩
Communication dans un congrès
hal-03224128
v1
|
|
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⟩
Communication dans un congrès
hal-03263710
v1
|
|
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⟩
Communication dans un congrès
hal-03266925
v1
|
|
|
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), Association Francophone d'Interaction Homme-Machine, Oct 2014, Lille, France. pp.80-90
Communication dans un congrès
hal-01090399
v1
|
|
A Fault-Tolerant Architecture for Resilient Interactive Systems26è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⟩
Communication dans un congrès
hal-03263716
v1
|
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
Communication dans un congrès
hal-03252263
v1
|
|
|
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⟩
Communication dans un congrès
hal-01141437
v1
|
|
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⟩
Communication dans un congrès
hal-01405071
v1
|
|
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⟩
Communication dans un congrès
hal-04080721
v1
|
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⟩
Communication dans un congrès
hal-03263715
v1
|
|
|
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
Communication dans un congrès
hal-01145209
v1
|
|
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⟩
Communication dans un congrès
hal-04080938
v1
|
System Level Integrated Failure Analysis3rd Human Dependability Workshop (HUDEP 2013), Nov 2013, Oberpfaffenhofen, Germany
Communication dans un congrès
hal-03644327
v1
|
|
|
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⟩
Communication dans un congrès
hal-01223183
v1
|
|
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
Communication dans un congrès
hal-01178580
v1
|
|
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
Communication dans un congrès
hal-01231775
v1
|
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
Communication dans un congrès
hal-03644318
v1
|
|
|
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⟩
Communication dans un congrès
hal-04083401
v1
|
|
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⟩
Communication dans un congrès
hal-04083635
v1
|
|
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
Communication dans un congrès
hal-04083614
v1
|
|
É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
Communication dans un congrès
hal-00881102
v1
|
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⟩
Communication dans un congrès
hal-03644323
v1
|
|
|
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⟩
Communication dans un congrès
hal-01178577
v1
|
|
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⟩
Communication dans un congrès
hal-01166951
v1
|
|
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⟩
Communication dans un congrès
hal-04083399
v1
|
|
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
Communication dans un congrès
hal-04083623
v1
|
|
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⟩
Communication dans un congrès
hal-04083405
v1
|
Predicting and Mitigating Human Error Through Detailed Descriptions of Operators' Tasks3rd Human Dependability Workshop (HUDEP 2013), Nov 2013, Oberpfaffenhofen, Germany
Communication dans un congrès
hal-03644326
v1
|
|
|
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⟩
Communication dans un congrès
hal-01556811
v1
|
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)
Communication dans un congrès
hal-03644338
v1
|
|
|
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
Communication dans un congrès
hal-03644333
v1
|
|
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
Communication dans un congrès
hal-02189909
v1
|
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
Communication dans un congrès
hal-03644330
v1
|
|
|
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
Communication dans un congrès
hal-03644340
v1
|
System Performances under Automation Degradation (SPAD)First SESAR Innovation Days 2011, Nov 2011, Toulouse, France
Communication dans un congrès
hal-03644328
v1
|
|
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⟩
Communication dans un congrès
hal-03653369
v1
|
|
|
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⟩
Communication dans un congrès
hal-03647155
v1
|
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
Communication dans un congrès
hal-03647153
v1
|
|
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⟩
Communication dans un congrès
hal-03644331
v1
|
|
|
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
Communication dans un congrès
hal-00776470
v1
|
|
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
Communication dans un congrès
hal-03644335
v1
|
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⟩
Communication dans un congrès
hal-03647154
v1
|
|
|
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⟩
Communication dans un congrès
hal-01556835
v1
|
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)
Communication dans un congrès
hal-03644339
v1
|
|
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)
Communication dans un congrès
hal-03644337
v1
|
|
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
Communication dans un congrès
hal-03644334
v1
|
|
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
Communication dans un congrès
hal-03644329
v1
|
|
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
Communication dans un congrès
hal-03644336
v1
|
|
|
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
Communication dans un congrès
hal-00776429
v1
|
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⟩
Communication dans un congrès
hal-03647160
v1
|
|
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
Communication dans un congrès
hal-03651205
v1
|
|
|
Usability Evaluation: Commonalities and Discrepancies in Games and Safety Critical SystemsEuropean Workshop on HCI Design and Evaluation, Mar 2011, Limassol, Cyprus. pp.45--53
Communication dans un congrès
hal-03647161
v1
|
SIG: Engineering Automation in Interactive Critical Systemsthe 2011 annual conference extended abstracts, May 2011, Vancouver, United States. pp.69, ⟨10.1145/1979742.1979524⟩
Communication dans un congrès
hal-03649531
v1
|
|
|
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)
Communication dans un congrès
hal-03651207
v1
|
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⟩
Communication dans un congrès
hal-03647157
v1
|
|
|
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⟩
Communication dans un congrès
hal-01591816
v1
|
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⟩
Communication dans un congrès
hal-03647166
v1
|
|
|
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
Communication dans un congrès
hal-03647163
v1
|
|
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
Communication dans un congrès
hal-03647159
v1
|
Self-Checking Widgets for Interactive Cockpits13th European Workshop on Dependable Computing (EWDC 2011), May 2011, Pisa, Italy. pp.34-42, ⟨10.1145/1978582.1978592⟩
Communication dans un congrès
hal-03647164
v1
|
|
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⟩
Communication dans un congrès
hal-03651208
v1
|
|
|
System Performance under Automation Degradation (WP-E project SPAD)First SESAR Innovation Days, Nov 2011, Toulouse, France
Communication dans un congrès
hal-00660440
v1
|
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
Communication dans un congrès
hal-03651206
v1
|
|
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⟩
Communication dans un congrès
hal-03647158
v1
|
|
|
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
Communication dans un congrès
hal-03651211
v1
|
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
Communication dans un congrès
hal-03651221
v1
|
|
|
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⟩
Communication dans un congrès
hal-01022256
v1
|
|
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⟩
Communication dans un congrès
hal-03651209
v1
|
|
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⟩
Communication dans un congrès
hal-03651216
v1
|
|
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
Communication dans un congrès
hal-03651212
v1
|
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
Communication dans un congrès
hal-03651220
v1
|
|
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
Communication dans un congrès
hal-03651219
v1
|
|
|
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
Communication dans un congrès
hal-03651215
v1
|
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
Communication dans un congrès
hal-03651210
v1
|
|
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⟩
Communication dans un congrès
hal-03653366
v1
|
|
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⟩
Communication dans un congrès
istex
hal-03653357
v1
|
|
|
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⟩
Communication dans un congrès
hal-03653361
v1
|
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
Communication dans un congrès
hal-03653367
v1
|
|
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)
Communication dans un congrès
hal-03653358
v1
|
|
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
Communication dans un congrès
hal-03653368
v1
|
|
|
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⟩
Communication dans un congrès
hal-03653360
v1
|
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⟩
Communication dans un congrès
hal-03653364
v1
|
|
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⟩
Communication dans un congrès
hal-00953686
v1
|
|
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⟩
Communication dans un congrès
hal-03653363
v1
|
|
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
Communication dans un congrès
hal-03653359
v1
|
|
|
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⟩
Communication dans un congrès
hal-03653362
v1
|
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
Communication dans un congrès
hal-03653370
v1
|
|
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⟩
Communication dans un congrès
hal-03653373
v1
|
|
|
The FAERUS Project: Formal Analysis of Evolving Resilient Usable Systems7th European Dependable Computing Conference (EDCC 2008), May 2008, Kaunaas, Lithuania. pp.11-14
Communication dans un congrès
hal-03662269
v1
|
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⟩
Communication dans un congrès
hal-03653371
v1
|
|
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⟩
Communication dans un congrès
istex
hal-03653374
v1
|
|
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⟩
Communication dans un congrès
istex
hal-03653372
v1
|
|
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)
Communication dans un congrès
hal-03653375
v1
|
|
|
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⟩
Communication dans un congrès
hal-03662274
v1
|
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⟩
Communication dans un congrès
hal-03662276
v1
|
|
|
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⟩
Communication dans un congrès
hal-03662285
v1
|
|
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⟩
Communication dans un congrès
hal-03662281
v1
|
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⟩
Communication dans un congrès
hal-03662279
v1
|
|
|
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⟩
Communication dans un congrès
hal-01021985
v1
|
|
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⟩
Communication dans un congrès
hal-03662278
v1
|
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
Communication dans un congrès
hal-03662289
v1
|
|
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
Communication dans un congrès
hal-03662286
v1
|
|
|
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⟩
Communication dans un congrès
hal-01021771
v1
|
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⟩
Communication dans un congrès
hal-03663640
v1
|
|
|
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⟩
Communication dans un congrès
hal-03663642
v1
|
|
Analysis of Communication Breakdowns for eHealth Systems Design (poster)6th Nordic Conference on eHealth and Telemedicine 2006, Aug 2006, Helsinki, Finland. pp.212-213
Communication dans un congrès
hal-03662290
v1
|
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
Communication dans un congrès
hal-03662288
v1
|
|
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
Communication dans un congrès
hal-03663653
v1
|
|
|
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⟩
Communication dans un congrès
hal-03663658
v1
|
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, Nevada, France. pp.CDRom
Communication dans un congrès
hal-03663646
v1
|
|
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
Communication dans un congrès
hal-03663650
v1
|
|
|
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⟩
Communication dans un congrès
hal-03663652
v1
|
|
A Task Pattern Approach to Incorporate User Deviation in Task Models1st ADVISES Young Researchers Workshop (Advises 2005), Jan 2005, Liege, Belgium. pp.1-8
Communication dans un congrès
hal-03664725
v1
|
|
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⟩
Communication dans un congrès
hal-03663655
v1
|
|
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
Communication dans un congrès
hal-03663644
v1
|
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
Communication dans un congrès
hal-03663645
v1
|
|
|
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⟩
Communication dans un congrès
hal-03663651
v1
|
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
Communication dans un congrès
hal-03663649
v1
|
|
|
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⟩
Communication dans un congrès
hal-03664727
v1
|
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⟩
Communication dans un congrès
hal-03664728
v1
|
|
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⟩
Communication dans un congrès
hal-03664729
v1
|
|
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⟩
Communication dans un congrès
hal-03664734
v1
|
|
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
Communication dans un congrès
hal-03664726
v1
|
|
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⟩
Communication dans un congrès
hal-03664733
v1
|
|
|
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⟩
Communication dans un congrès
hal-03664732
v1
|
|
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
Communication dans un congrès
hal-03664731
v1
|
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
Communication dans un congrès
hal-03664739
v1
|
|
|
Petri Net Centered versus User Centered Petri Nets Tools10th Workshop on Algorithms and Tools for. Petri Nets (AWPN 2003), Sep 2003, Eichstätt, Germany
Communication dans un congrès
hal-03664736
v1
|
|
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
Communication dans un congrès
hal-03664744
v1
|
|
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
Communication dans un congrès
hal-03664741
v1
|
|
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⟩
Communication dans un congrès
hal-03664737
v1
|
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
Communication dans un congrès
hal-03664742
v1
|
|
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
Communication dans un congrès
hal-03664738
v1
|
|
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⟩
Communication dans un congrès
hal-03664743
v1
|
|
|
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
Communication dans un congrès
hal-03667071
v1
|
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⟩
Communication dans un congrès
hal-03667066
v1
|
|
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
Communication dans un congrès
hal-03667074
v1
|
|
|
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⟩
Communication dans un congrès
hal-03667067
v1
|
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
Communication dans un congrès
hal-03667075
v1
|
|
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
Communication dans un congrès
hal-03667069
v1
|
|
|
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⟩
Communication dans un congrès
hal-03667082
v1
|
|
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⟩
Communication dans un congrès
hal-03667070
v1
|
|
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
Communication dans un congrès
hal-03667068
v1
|
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
Communication dans un congrès
hal-03667083
v1
|
|
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
Communication dans un congrès
hal-03667080
v1
|
|
|
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
Communication dans un congrès
hal-03667078
v1
|
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
Communication dans un congrès
hal-03667077
v1
|
|
|
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⟩
Communication dans un congrès
hal-03667081
v1
|
|
A Framework for Organizing Web Usability Guidelines6th Conference on Human Factors and the Web (HF Web 2000), Jun 2000, Austin, United States
Communication dans un congrès
hal-01319628
v1
|
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
Communication dans un congrès
hal-03667084
v1
|
|
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
Communication dans un congrès
hal-03667085
v1
|
|
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
Communication dans un congrès
hal-02430968
v1
|
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⟩
Proceedings/Recueil des communications
hal-04678911
v1
|
|
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⟩
Proceedings/Recueil des communications
hal-04183902
v1
|
|
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
Proceedings/Recueil des communications
hal-04316322
v1
|
|
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/Recueil des communications
hal-03376247
v1
|
|
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/Recueil des communications
hal-03099224
v1
|
|
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
Proceedings/Recueil des communications
hal-03023428
v1
|
|
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
Proceedings/Recueil des communications
hal-03209345
v1
|
|
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⟩
Proceedings/Recueil des communications
hal-03644319
v1
|
|
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/Recueil des communications
hal-03647151
v1
|
|
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
Proceedings/Recueil des communications
hal-03651203
v1
|
|
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
Proceedings/Recueil des communications
hal-03647168
v1
|
|
|
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⟩
Proceedings/Recueil des communications
hal-03651202
v1
|
|
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⟩
Proceedings/Recueil des communications
hal-03651217
v1
|
|
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⟩
Proceedings/Recueil des communications
hal-03651218
v1
|
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
Proceedings/Recueil des communications
hal-03653365
v1
|
|
|
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⟩
Proceedings/Recueil des communications
hal-03662270
v1
|
|
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⟩
Proceedings/Recueil des communications
hal-03662271
v1
|
|
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⟩
Proceedings/Recueil des communications
hal-03662284
v1
|
|
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⟩
Proceedings/Recueil des communications
hal-03662283
v1
|
|
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⟩
Proceedings/Recueil des communications
hal-03662282
v1
|
|
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⟩
Proceedings/Recueil des communications
hal-03663648
v1
|
|
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⟩
Proceedings/Recueil des communications
hal-03664735
v1
|
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⟩
Proceedings/Recueil des communications
hal-03664730
v1
|
|
|
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⟩
Proceedings/Recueil des communications
hal-03667065
v1
|
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⟩
Chapitre d'ouvrage
hal-03862234
v1
|
|
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
Chapitre d'ouvrage
hal-02939069
v1
|
|
|
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⟩
Chapitre d'ouvrage
hal-03099205
v1
|
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
Chapitre d'ouvrage
hal-02939168
v1
|
|
|
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⟩
Chapitre d'ouvrage
hal-03131905
v1
|
|
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⟩
Chapitre d'ouvrage
hal-03120285
v1
|
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⟩
Chapitre d'ouvrage
hal-03131879
v1
|
|
|
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⟩
Chapitre d'ouvrage
hal-02138443
v1
|
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⟩
Chapitre d'ouvrage
hal-03131880
v1
|
|
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
Chapitre d'ouvrage
hal-03131883
v1
|
|
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
Chapitre d'ouvrage
hal-03131884
v1
|
|
|
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
Chapitre d'ouvrage
hal-03209324
v1
|
|
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⟩
Chapitre d'ouvrage
hal-02911555
v1
|
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⟩
Chapitre d'ouvrage
hal-03647156
v1
|
|
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⟩
Chapitre d'ouvrage
istex
hal-03651204
v1
|
|
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⟩
Chapitre d'ouvrage
hal-03653356
v1
|
|
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⟩
Chapitre d'ouvrage
hal-03662268
v1
|
|
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
Chapitre d'ouvrage
hal-03662272
v1
|
|
Design Rationale for Increasing Profitability of Interactive Systems DevelopmentGhaoui, Claude. Encyclopedia of Human Computer Interaction, Idea Group Reference, pp.1-6, 2006, 978-1591405627
Chapitre d'ouvrage
hal-03663643
v1
|
|
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
Chapitre d'ouvrage
hal-03663647
v1
|
|
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
Chapitre d'ouvrage
hal-03667064
v1
|
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
N°spécial de revue/special issue
hal-03376245
v1
|
|
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
N°spécial de revue/special issue
hal-03012558
v1
|
|
|
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⟩
N°spécial de revue/special issue
hal-03193133
v1
|
|
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⟩
Ouvrages
hal-02270716
v1
|
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
Ouvrages
hal-03131881
v1
|
|
|
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⟩
Ouvrages
hal-01647710
v1
|
|
Human-Computer Interaction – INTERACT 2015LNCS-9296, 2015, Lecture Notes in Computer Science, 978-3-319-22700-9. ⟨10.1007/978-3-319-22701-6⟩
Ouvrages
hal-01599654
v1
|
|
Human-Computer Interaction – INTERACT 2015LNCS-9297, 2015, Lecture Notes in Computer Science, 978-3-319-22667-5. ⟨10.1007/978-3-319-22668-2⟩
Ouvrages
hal-01599894
v1
|
|
Human-Computer Interaction – INTERACT 2015LNCS-9299, 2015, Lecture Notes in Computer Science, 978-3-319-22722-1. ⟨10.1007/978-3-319-22723-8⟩
Ouvrages
hal-01610767
v1
|
|
Human-Computer Interaction – INTERACT 2015LNCS-9298, 2015, Lecture Notes in Computer Science, 978-3-319-22697-2. ⟨10.1007/978-3-319-22698-9⟩
Ouvrages
hal-01609409
v1
|
|
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⟩
Ouvrages
hal-01597099
v1
|
|
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⟩
Ouvrages
hal-01590548
v1
|
|
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⟩
Ouvrages
hal-01591820
v1
|
|
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⟩
Ouvrages
hal-01590866
v1
|
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
Ouvrages
hal-03651222
v1
|
|
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
Autre publication scientifique
hal-04338194
v1
|
|
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
Poster de conférence
hal-01089607
v1
|
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
Poster de conférence
hal-03663639
v1
|
|
MAUSE: Network of Usability ExcellenceBaltic Conference Series HCI 2005, Sep 2005, Edinburgh, Scotland, United Kingdom. 2005
Poster de conférence
hal-03663656
v1
|
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
Rapport
(rapport de recherche)
hal-03644322
v1
|
|
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
Rapport
(rapport de recherche)
hal-03644320
v1
|
Chargement...
Chargement...