Philippe A. Palanque

Orcid: 0000-0002-5381-971X

Affiliations:
  • Université Toulouse III - Paul Sabatier, France


According to our database1, Philippe A. Palanque authored at least 271 papers between 1990 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Systematic Process to Engineer Dependable Integration of Frame-based Input Devices in a Multimodal Input Chain: Application to Rehabilitation in Healthcare.
Proc. ACM Hum. Comput. Interact., 2024

Second Workshop on Engineering Interactive Systems Embedding AI Technologies.
Proceedings of the Companion Proceedings of the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2024

50 years of Research in Engineering Interactive Computing Systems: the CCL 1974 to EICS 2024 journey.
Proceedings of the Companion Proceedings of the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2024

2023
Increasing engagement and well-being of operators working with automation by integrating task models and gameful design.
Pers. Ubiquitous Comput., December, 2023

F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID.
J. Softw. Evol. Process., July, 2023

Engineering Rehabilitation: Blending Two Tool-supported Approaches to Close the Loop from Tasks-based Rehabilitation to Exercises and Back Again.
Proc. ACM Hum. Comput. Interact., June, 2023

Formal domain-driven system development in Event-B: Application to interactive critical systems.
J. Syst. Archit., February, 2023

AMAN Case Study.
Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

Task Models as a Mean to Identify and Justify Automations in Development Tasks.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

7th International Workshop on Human Factors in Modeling / Modeling of Human Factors (HuFaMo 2023).
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

A Multi-perspective Panel on User-Centred Transparency, Explainability, and Controllability in Automations.
Proceedings of the Human-Computer Interaction - INTERACT 2023 - 19th IFIP TC13 International Conference, York, UK, August 28, 2023

From One to Many, from Onsite to Remote: Control Rooms as Diverse Contexts of Use.
Proceedings of the Design for Equality and Justice - INTERACT 2023 IFIP TC 13 Workshops, York, UK, August 28, 2023

On Land, at Sea, and in the Air: Human-Computer Interaction in Safety-Critical Spaces of Control - IFIP WG 13.5 Workshop at INTERACT 2023.
Proceedings of the Human-Computer Interaction - INTERACT 2023 - 19th IFIP TC13 International Conference, York, UK, August 28, 2023

I Perform My Work with My Body Too: Integrating Body Representations in and with Task Models.
Proceedings of the Human-Computer Interaction - INTERACT 2023 - 19th IFIP TC13 International Conference, York, UK, August 28, 2023

ADL Monitoring of Elderly People in Smart Homes Based on Task Models.
Proceedings of the Workshop Proceedings of the 19th International Conference on Intelligent Environments (IE2023), 2023

Engineering Interactive Systems Embedding AI Technologies.
Proceedings of the Companion Proceedings of the 2023 ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2023

Going Beyond Usability and UX: Adding Dependability, Safety and Security to Interactive Systems and Interactive Technologies.
Proceedings of the Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

Intervening, Teaming, Delegating: Creating Engaging Automation Experiences.
Proceedings of the Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

2022
Engineering Annotations: A Generic Framework for Gluing Design Artefacts of Interactive Systems.
Proc. ACM Hum. Comput. Interact., 2022

Engineering Operations-based Training.
Proc. ACM Hum. Comput. Interact., 2022

Engineering Interactive Computing Systems 2022: Editorial Introduction.
Proc. ACM Hum. Comput. Interact., 2022

HCI for general aviation: current state and research challenges.
Interactions, 2022

Engineering Annotations: A Generic Framework For Gluing Design Artefacts in Models of Interactive Systems.
CoRR, 2022

A task-model based approach for detecting ADL-related anomalies.
Proceedings of the 18th International Conference on Wireless and Mobile Computing, 2022

Mining human factors general trends from +100k UML class diagrams.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

Models-Based Analysis of Both User and Attacker Tasks: Application to EEVEHAC.
Proceedings of the Human-Centered Software Engineering, 2022

Re-envisioning Interaction in the (General) Aviation Cockpit through Tangibles.
Proceedings of the Short Paper Proceedings of the 5th European Tangible Interaction Studio, 2022

Engineering Awareness in Interfaces: Focus on Automation and Visualization.
Proceedings of the EICS '22: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Sophia Antipolis, France, June 21, 2022

How to Design and Assess Automation for Interactive Applications and Interaction Techniques.
Proceedings of the CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022, 2022

Task Models Based Gameful Design as a Mean to Increase Engagement with Automation.
Proceedings of the Workshop on Engaging with Automation co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2022), 2022

Engaging with Automation: Understanding and Designing for Operation, Appropriation, and Behaviour Change.
Proceedings of the CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022, 2022

HCI and worker well-being in manufacturing industry.
Proceedings of the AVI 2022: International Conference on Advanced Visual Interfaces, Frascati, Rome, Italy, June 6, 2022

Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours.
Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021
Designing and Engineering Interactive Computing Systems.
Proc. ACM Hum. Comput. Interact., 2021

Engineering Model-Based Software Testing of WIMP Interactive Applications: A Process based on Formal Models and the SQUAMATA Tool.
Proc. ACM Hum. Comput. Interact., 2021

On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications.
Interact. Comput., 2021

Model-based Engineering of Feedforward Usability Function for GUI Widgets.
Interact. Comput., 2021

Engineering Task-based Augmented Reality Guidance: Application to the Training of Aircraft Flight Procedures.
Interact. Comput., 2021

Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems.
Interact. Comput., 2021

Leveraging Event-B Theories for Handling Domain Knowledge in Design Models.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021

The Curriculum for Education in Engineering Interactive Systems at the Master in HCI of the University Toulouse III - Paul Sabatier.
Proceedings of the Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30, 2021

POISE: A Framework for Designing Perfect Interactive Systems with and for Imperfect People.
Proceedings of the Human-Computer Interaction - INTERACT 2021 - 18th IFIP TC 13 International Conference, Bari, Italy, August 30, 2021

Control Rooms from a Human-Computer Interaction Perspective.
Proceedings of the Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30, 2021

Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues - IFIP WG 13.5 Workshop at INTERACT 2021.
Proceedings of the Human-Computer Interaction - INTERACT 2021 - 18th IFIP TC 13 International Conference, Bari, Italy, August 30, 2021

A Generic Framework for Structuring Configuration Management for Socio-technical System: Application to Control Rooms.
Proceedings of the Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30, 2021

Teaching HCI Engineering: Four Case Studies.
Proceedings of the Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30, 2021

UX for Some and Usability for Others: Issues of Blending Multi-user and Multi-property in Control Centers.
Proceedings of the Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30, 2021

Should I Add Recommendations to My Warning System? The RCRAFT Framework Can Answer This and Other Questions About Supporting the Assessment of Automation Designs.
Proceedings of the Human-Computer Interaction - INTERACT 2021 - 18th IFIP TC 13 International Conference, Bari, Italy, August 30, 2021

HCI-E<sup>2</sup>: HCI Engineering Education - For Developers, Designers and More.
Proceedings of the Human-Computer Interaction - INTERACT 2021 - 18th IFIP TC 13 International Conference, Bari, Italy, August 30, 2021

Dependability and Safety: Two Clouds in the Blue Sky of Multimodal Interaction.
Proceedings of the ICMI '21: International Conference on Multimodal Interaction, 2021

Standard Conformance-by-Construction with Event-B.
Proceedings of the Formal Methods for Industrial Critical Systems, 2021

Introductory Course on Automation and its Use for Interactive Systems Design and Engineering.
Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

From Human-Human Computer Mediated Communication to Human-Automation Collaboration in the Light of Large Civil Aircraft Workplace.
Proceedings of the Workshop on Automation Experience at the Workplace, 2021

Automation Experience at the Workplace.
Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

2020
Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools.
ACM Trans. Comput. Hum. Interact., 2020

A Classification of Faults Covering the Human-Computer Interaction Loop.
Proceedings of the Computer Safety, Reliability, and Security, 2020

User Tasks Description: a Retrospective, Recent Contributions and some Research Challenges.
Proceedings of the 17th International Conference on Human-Computer Interaction, 2020

Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

A Generic Multimodels-Based Approach for the Analysis of Usability and Security of Authentication Mechanisms.
Proceedings of the Human-Centered Software Engineering, 2020

A Generic Visualization Approach Supporting Task-Based Evaluation of Usability and User Experience.
Proceedings of the Human-Centered Software Engineering, 2020

Task models based engineering of interactive systems.
Proceedings of the EICS '20: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2020

A-RCRAFT: a Generic Framework for Automation Analysis and Design: Application to Automotive, Tactile in vehicle Interactions.
Proceedings of the Workshop on Automation Experience across Domains, 2020

Automation Experience across Domains: Designing for Intelligibility, Interventions, Interplay and Integrity.
Proceedings of the Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems, 2020

Designing Safety Critical Interactions: Hunting Down Human Error.
Proceedings of the Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems, 2020

Ten Objectives and Ten Rules for Designing Automations in Interaction Techniques, User Interfaces and Interactive Systems.
Proceedings of the AVI '20: International Conference on Advanced Visual Interfaces, Island of Ischia, Italy, September 28, 2020

An Integrated Framework for the Formal Analysis of Critical Interactive Systems.
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019
Analysing and Demonstrating Tool-Supported Customizable Task Notations.
Proc. ACM Hum. Comput. Interact., 2019

Fortunettes: Feedforward about the Future State of GUI Widgets.
Proc. ACM Hum. Comput. Interact., 2019

The new SIGCHI EC's values and strategic initiatives.
Interactions, 2019

Design and evaluation of braced touch for touchscreen input stabilisation.
Int. J. Hum. Comput. Stud., 2019

Engineering issues related to the development of a recommender system in a critical context: Application to interactive cockpits.
Int. J. Hum. Comput. Stud., 2019

Brace Touch: A Dependable, Turbulence-Tolerant, Multi-touch Interaction Technique for Interactive Cockpits.
Proceedings of the Computer Safety, Reliability, and Security, 2019

Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems.
Proceedings of the 2019 International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2019

Introduction to Automation and to Its Potential for Interactive Systems Design.
Proceedings of the Human-Computer Interaction - INTERACT 2019, 2019

User Experience in an Automated World.
Proceedings of the Human-Computer Interaction - INTERACT 2019, 2019

Deep System Knowledge Required: Revisiting UCD Contribution in the Design of Complex Command and Control Systems.
Proceedings of the Human-Computer Interaction - INTERACT 2019, 2019

Characterizing Sets of Systems: Representation and Analysis of Across-Systems Properties.
Proceedings of the Beyond Interactions, 2019

Handling Security, Usability, User Experience and Reliability in User-Centered Development Processes - IFIP WG 13.2 and WG 13.5 Workshop at INTERACT 2019.
Proceedings of the Human-Computer Interaction - INTERACT 2019, 2019

Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2019

Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

A Roadmap and Some Directions Towards the Engineering of Interactive Systems Deployable in Safety Critical Contexts.
Proceedings of the Joint Proceedings HCI Engineering 2019, 2019

An Attempt to Fathom the Role of Annotations in User-Centered Design Process.
Proceedings of the Joint Proceedings HCI Engineering 2019, 2019

Trends on engineering interactive systems: an overview of works presented in workshops at EICS 2019.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2019

On the Importance of Supporting Multiple Stakeholders Points of View for the Testing of Interactive Systems.
Proceedings of the Joint Proceedings HCI Engineering 2019, 2019

2018
The evolution of SIGCHI conferences and the future of CHI.
Interactions, 2018

Engaging Automation at Work - A Literature Review.
Proceedings of the Human Work Interaction Design. Designing Engaging Automation, 2018

Using Task Descriptions with Explicit Representation of Allocation of Functions, Authority and Responsibility to Design and Assess Automation.
Proceedings of the Human Work Interaction Design. Designing Engaging Automation, 2018

MIODMIT: A Generic Architecture for Dynamic Multimodal Interactive Systems.
Proceedings of the Human-Centered Software Engineering, 2018

Rationalizing the Need of Architecture-Driven Testing of Interactive Systems.
Proceedings of the Human-Centered Software Engineering, 2018

Enriching Task Models with Usability and User Experience Evaluation Data.
Proceedings of the Human-Centered Software Engineering, 2018

Engineering Automations: From a Human Factor Perspective to Design, Implementation and Validation Challenges.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2018

TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2018

Interacting with Autonomous Vehicles: Learning from other Domains.
Proceedings of the Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

2017
A More Intelligent Test Case Generation Approach through Task Models Manipulation.
Proc. ACM Hum. Comput. Interact., 2017

Making the field of computing more inclusive.
Commun. ACM, 2017

Mobile interaction with and in autonomous vehicles.
Proceedings of the 19th International Conference on Human-Computer Interaction with Mobile Devices and Services, 2017

Designing and Assessing Interactive Systems Using Task Models.
Proceedings of the Human-Computer Interaction - INTERACT 2017, 2017

Similarity as a Design Driver for User Interfaces of Dependable Critical Systems.
Proceedings of the Global Thoughts, Local Designs, 2017

QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems.
Proceedings of the Global Thoughts, Local Designs, 2017

A List of Pre-Requisites to Make Recommender Systems Deployable in Critical Context.
Proceedings of the Second Workshop on Engineering Computer-Human Interaction in Recommender Systems co-located with the 9th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2017), 2017

Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems.
Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

Turbulent Touch: Touchscreen Input for Cockpit Flight Displays.
Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

Case Studies.
Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

State of the Art on Formal Methods for Interactive Systems.
Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

Dealing with Faults During Operations: Beyond Classical Use of Formal Methods.
Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment.
Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

Trends and Gaps.
Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

Topics of Formal Methods in HCI.
Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

Web Augmentation as a Promising Technology for End User Development.
Proceedings of the New Perspectives in End-User Development., 2017

2016
Task Model-Based Systematic Analysis of Both System Failures and Human Errors.
IEEE Trans. Hum. Mach. Syst., 2016

Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web.
Proceedings of the Third Workshop on Formal Integrated Development Environment, 2016

Embedding explicit representation of cyber-physical elements in task models.
Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

Complementary Tools and Techniques for Supporting Fitness-for-Purpose of Interactive Critical Systems.
Proceedings of the Human-Centered and Error-Resilient Systems Development, 2016

User-Test Results Injection into Task-Based Design Process for the Assessment and Improvement of Both Usability and User Experience.
Proceedings of the Human-Centered and Error-Resilient Systems Development, 2016

A three-fold approach towards increased assurance levels for interactive systems: a flight control unit case study.
Proceedings of the International Conference on Human-Computer Interaction in Aerospace, 2016

What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender Systems.
Proceedings of the Workshop on Engineering Computer-Human Interaction in Recommender Systems co-located with the eight ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016

Engineering mixed-criticality interactive applications.
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016

Systematic automation of scenario-based testing of user interfaces.
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016

Multiple Views on Safety-Critical Automation: Aircrafts, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives.
Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems, 2016

2015
A Generic Approach for Assessing Compatibility Between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit.
i-com, 2015

Design, Development and Evaluation Challenges for Future Mobile User Interfaces in Safety-Critical Contexts.
Proceedings of the 2015 Workshop on Future Mobile User Interfaces, 2015

Usability Aspects of the Inside-in Approach for Ancillary Search Tasks on the Web.
Proceedings of the Human-Computer Interaction - INTERACT 2015, 2015

IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development.
Proceedings of the Human-Computer Interaction - INTERACT 2015, 2015

Role of Conferences in Shaping the Field of HCI.
Proceedings of the Human-Computer Interaction - INTERACT 2015, 2015

Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors.
Proceedings of the Human-Computer Interaction - INTERACT 2015, 2015

Dependable multi-touch interactions in safety critical industrial contexts: Application to aeronautics.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Workshop on formal methods in human computer interaction.
Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2015

A generic tool-supported framework for coupling task models and interactive applications.
Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2015

Designing and Assessing Interactive Systems Using Task Models.
Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems, 2015

Concept Maps for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems.
Proceedings of the 5th International Conference on Application and Theory of Automation in Command and Control Systems, 2015

Transparent Automation for Assessing and Designing better Interactions between Operators and Partly-Autonomous Interactive Systems.
Proceedings of the 5th International Conference on Application and Theory of Automation in Command and Control Systems, 2015

2014
Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language.
Sci. Comput. Program., 2014

A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems.
Int. J. Hum. Comput. Stud., 2014

An approach for supporting distributed user interface orchestration over the Web.
Int. J. Hum. Comput. Stud., 2014

A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics.
Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

Inside-In Search: An Alternative for Performing Ancillary Search Tasks on the Web.
Proceedings of the 9th Latin American Web Congress, 2014

A fault-tolerant architecture for resilient interactive systems.
Proceedings of the 26th Conference on l'Interaction Homme-Machine, 2014

Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces.
Proceedings of the 2014 Workshop on Distributed User Interfaces and Multimodal Interaction, 2014

Rapid Task-Models Development Using Sub-models, Sub-routines and Generic Components.
Proceedings of the Human-Centered Software Engineering, 2014

Multi-models-based engineering of collaborative systems: application to collision avoidance operations for spacecraft.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2014

Formal modelling of dynamic instantiation of input devices and interaction techniques: application to multi-touch interactions.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2014

Notation and a Layered Architecture to Model Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions.
Proceedings of the Workshop on Engineering Gestures for Multimodal Interfaces Co-located with the 6th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2014

An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits.
Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

Fine Grain Modeling of Task Deviations for Assessing Qualitatively the Impact of Both System Failures and Human Error on Operator Performance.
Proceedings of the 2014 AAAI Spring Symposia, 2014

2013
Interactive cockpits as critical applications: a model-based and a fault-tolerant approach.
Int. J. Crit. Comput. Based Syst., 2013

Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

A generic framework for executable gestural interaction models.
Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

PetriNect: A tool for executable modeling of gestural interaction.
Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study.
Proceedings of the Computer Safety, Reliability, and Security, 2013

Proposta de um framework para visualização de dados agregados por similaridade para auxiliar consultas durante a navegação na web.
Proceedings of the Simpósio Brasileiro sobre Fatores Humanos em Sistemas Computacionais, 2013

Tuning an HCI Curriculum for Master Students to Address Interactive Critical Systems Aspects.
Proceedings of the Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments, 2013

V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems through Model Checking of Formal Description of Dialog.
Proceedings of the Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments, 2013

Formal description of multi-touch interactions.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2013

Supportive User Interfaces and Task Migratability in Smart Environments.
Proceedings of the Distributed User Interfaces: Models, Methods and Tools, 2013

Extending procedural task models by systematic explicit integration of objects, knowledge and information.
Proceedings of the European Conference on Cognitive Ergonomics 2013, 2013

The role of engineering work in CHI.
Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013

Workshop on engaging the human-computer interaction community with public policymaking internationally.
Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013

Model-based dynamic distribution of user interfaces of critical interactive systems.
Proceedings of the International Conference on Application and Theory of Automation in Command and Control Systems, 2013

2012
Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach.
Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012

A Design Process for Exhibiting Design Choices and Trade-Offs in (Potentially) Conflicting User Interface Guidelines.
Proceedings of the Human-Centered Software Engineering - 4th International Conference, 2012

A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments.
Proceedings of the Human-Centered Software Engineering - 4th International Conference, 2012

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âches.
Proceedings of the Ergonomie et Interaction Homme-Machine, 2012

Engineering animations in user interfaces.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2012

Invited engineering community SIG: the role of engineering work in CHI.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2012

Using complementary models-based approaches for representing and analysing ATM systems' variability.
Proceedings of the International Conference on Application and Theory of Automation in Command and Control Systems, 2012

2011
A Formal Model-Based Approach for Designing Interruptions-Tolerant Advanced User Interfaces.
Proceedings of the Model-Driven Development of Advanced User Interfaces, 2011

Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach.
Reliab. Eng. Syst. Saf., 2011

Task-model based assessment of automation levels: Application to space ground segments.
Proceedings of the IEEE International Conference on Systems, 2011

Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques.
Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011

Structuring and Composition Mechanisms to Address Scalability Issues in Task Models.
Proceedings of the Human-Computer Interaction - INTERACT 2011, 2011

Self-checking widgets for interactive cockpits.
Proceedings of the 13th European Workshop on Dependable Computing, 2011

A model-based approach for supporting engineering usability evaluation of interaction techniques.
Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2011

Model-based training: an approach supporting operability of critical interactive systems.
Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2011

Engineering automation in interactive critical systems.
Proceedings of the International Conference on Human Factors in Computing Systems, 2011

Exploiting gaming research and practice for engineering interactive critical systems.
Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems, 2011

Formal tasks and systems models as a tool for specifying and assessing automation designs.
Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems, 2011

2010
Mobile Context-Aware Applications for Ubiquitous Computing.
J. Univers. Comput. Sci., 2010

DREAMER: a design rationale environment for argumentation, modeling and engineering requirements.
Proceedings of the 28th Annual International Conference on Design of Communication, 2010

Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction.
Proceedings of the Conference Internationale Francophone sur I'Interaction Homme-Machine, 2010

Beyond modelling: an integrated environment supporting co-execution of tasks and systems models.
Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2010

2009
Task Models and System Models as A Bridge Between Hci and Software Engineering.
Proceedings of the Human-Centered Software Engineering, 2009

ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability.
ACM Trans. Comput. Hum. Interact., 2009

Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach.
Proceedings of the Human-Computer Interaction, 2009

Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs.
Proceedings of the 21st International Conference of the Association Francophone d'Interaction Homme-Machine, 2009

Fusion engines for multimodal input: a survey.
Proceedings of the 11th International Conference on Multimodal Interfaces, 2009

Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces.
Proceedings of the 11th International Conference on Multimodal Interfaces, 2009

High-Fidelity Prototyping of Interactive Systems Can Be Formal Too.
Proceedings of the Human-Computer Interaction. New Trends, 13th International Conference, 2009

A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems.
Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009

The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)?
Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009

2008
Tailoring Usability into Agile Software Development Projects.
Proceedings of the Maturing Usability - Quality in Software, Interaction and Value, 2008

A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems.
Proceedings of the Computer Safety, 2008

An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces.
Proceedings of the Interactive Systems. Design, 2008

2007
Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare.
Proceedings of the HCI and Usability for Medicine and Health Care, 2007

On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing.
Proceedings of the Task Models and Diagrams for User Interface Design, 2007

A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661.
Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

DREAM & TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of Choices for Safety Critical Interactive Systems.
Proceedings of the Human-Computer Interaction, 2007

Usability Study of Multi-modal Interfaces Using Eye-Tracking.
Proceedings of the Human-Computer Interaction, 2007

Improving Modularity of Interactive Software with the MDPC Architecture.
Proceedings of the Engineering Interactive Systems - EIS 2007 Joint Working Conferences, 2007

Beyond usability for safety critical systems: how to be sure (safe, usable, reliable, and evolvable)?
Proceedings of the Extended Abstracts Proceedings of the 2007 Conference on Human Factors in Computing Systems, 2007

2006
Multidisciplinary perspective on accident investigation.
Reliab. Eng. Syst. Saf., 2006

An approach integrating two complementary model-based environments for the construction of multimodal interactive applications.
Interact. Comput., 2006

Usability and Computer Games: Working Group Report.
Proceedings of the Interactive Systems. Design, 2006

Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification.
Proceedings of the Interactive Systems. Design, 2006

2005
What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?
Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005

Extending the Boundaries of Model-Based Development to Account for Errors.
Proceedings of the MDDAUI '05, 2005

A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications.
Proceedings of the Human-Computer Interaction, 2005

Towards the Maturation of IT Usability Evaluation (MAUSE).
Proceedings of the Human-Computer Interaction, 2005

Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems.
Proceedings of the Interactive Systems, 2005

2004
Tasks and scenario-based evaluation of information visualization techniques.
Proceedings of the Task Models and Diagrams for User Interface Design: Proceedings of the Third International Workshop on Task Models and Diagrams for User Interface Design - TAMODIA 2004, November 15, 2004

Task Patterns for Taking Into Account in an Efficient and Systematic Way Both Standard and Erroneous User Behaviours.
Proceedings of the Human Error, 2004

A model-based approach for real-time embedded multimodal systems in military aircrafts.
Proceedings of the 6th International Conference on Multimodal Interfaces, 2004

Very-High-Fidelity Prototyping for Both Presentation and Dialogue Parts of Multimodal Interactive Systems.
Proceedings of the Engineering Human Computer Interaction and Interactive Systems, 2004

Safety-critical interaction: usability in incidents and accidents.
Proceedings of the Extended abstracts of the 2004 Conference on Human Factors in Computing Systems, 2004

SWCEDITOR: a Model-Based Tool for Interactive Modelling of Web Navigation.
Proceedings of the Computer-Aided Design of User Interfaces IV, 2004

2003
A tool-supported design framework for safety critical interactive systems.
Interact. Comput., 2003

A Model-Based Approach for Engineering Multimodal Interactive Systems.
Proceedings of the Human-Computer Interaction INTERACT '03: IFIP TC13 International Conference on Human-Computer Interaction, 2003

Formal description of a multimodal interaction technique in an immersive virtual reality application.
Proceedings of the 15th French-speaking conference on human-computer interaction on 15eme Conference Francophone sur l'Interaction Homme-Machine, 2003

Who does what with whom in Web Development?
Proceedings of the Human-Computer Interaction: Universal Access in HCI: Inclusive Design in the Information Society, 2003

User-Centered Point of View to End-User Development.
Proceedings of the Human-Computer Interaction: Universal Access in HCI: Inclusive Design in the Information Society, 2003

StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications.
Proceedings of the Interactive Systems. Design, 2003

2002
Task-Based Assessment of Web Navigation Design.
Proceedings of the Task Models and Diagrams for User Interface Design: Proceedings of the First International Workshop on Task Models and Diagrams for User Interface Design, 2002

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 navigation.
Proceedings of the 14th French-speaking conference on Human-computer interaction, 2002

Analyse de performance et modéles de Tâches comme support â la conception rationnelle des systèmes interactifs.
Proceedings of the 14th French-speaking conference on Human-computer interaction, 2002

Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems.
Proceedings of the Interactive Systems. Design, 2002

A model-based tool for interactive prototyping of highly interactive applications.
Proceedings of the Extended abstracts of the 2002 Conference on Human Factors in Computing Systems, 2002

Model-Based Interactive Prototyping of Highly Interactive Applications.
Proceedings of the Computer-Aided Design of User Interfaces III, 2002

2001
Design, specification, and verification of interactive systems.
ACM SIGSOFT Softw. Eng. Notes, 2001

A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications.
Proceedings of the 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 2001

Towards a general guidance and support tool for usability optimization.
Proceedings of the Universal Access In HCI: Towards an Information Society for All, 2001

A Tool Suite for Integrating Task and System Models through Scenarios.
Proceedings of the Interactive Systems: Design, 2001

Modeling a Groupware Editing Tool with Cooperative Objects.
Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

A Cooperative Petri Net Editor.
Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

2000
A formal notation and tool for the engineering of CORBA systems.
Concurr. Pract. Exp., 2000

Transferring Knowledge of User Interfaces Guidelines to the Web.
Proceedings of the Tools for Working with Guidelines, 2000

Formal specification of CORBA services: experience and lessons learned.
Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

Design, specification, and verification of interactive systems (workshop session).
Proceedings of the 22nd International Conference on on Software Engineering, 2000

A Formal Specification of the CORBA Event Service.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

Structuring Interactive Systems Specifications for Executability and Prototypability.
Proceedings of the Interactive Systems: Design, 2000

1999
A Visual and Formal Glue between Application and Interaction.
J. Vis. Lang. Comput., 1999

Introduction to the special issue on interface issues and designs for safety-critical interactive systems: when there is no room for user error.
ACM Trans. Comput. Hum. Interact., 1999

Embedding Ergonomic Rules as Generic Requirements in a Formal Development Process of Interactive Software.
Proceedings of the Human-Computer Interaction INTERACT '99: IFIP TC13 International Conference on Human-Computer Interaction, 1999

An Extensible Architecture to Support the Structuring and the efficient Exploitation of Ergonomic Rules.
Proceedings of the Human-Computer Interaction: Ergonomics and User Interfaces, 1999

Formal Specification and Prototyping of CORBA Systems.
Proceedings of the ECOOP'99, 1999

Formal Support for the Engineering of CORBA-based Distributed Object Systems.
Proceedings of the International Symposium on Distributed Objects and Applications, 1999

A Generic Framework based on Ergonomics Rules for Computer Aided Design of User Interface.
Proceedings of the Computer-Aided Design of User Interfaces II, 1999

Petri Net Based Behavioural Specification of CORBA Systems.
Proceedings of the Application and Theory of Petri Nets 1999, 1999

1998
Designing user interfaces for safety critical systems.
ACM SIGCHI Bull., 1998

Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems.
Proceedings of the Design, 1998

Designing user interfaces for safety critical systems.
Proceedings of the CHI 98 Conference Summary on Human Factors in Computing Systems, 1998

1997
Synergistic Modelling of Tasks, Users and Systems using Formal Specification Techniques.
Interact. Comput., 1997

Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems.
Proceedings of the Human-Computer Interaction, 1997

Formal transducers: Models of devices and building bricks for the design of highly interactive systems.
Proceedings of the Design, 1997

A Making-Movies Metaphor for Structuring Software Components in Highly Interactive Applications.
Proceedings of the People and Computers XII, Proceedings of HCI '97, 1997

1996
Formal methods in computer human interaction: comparison, benefits, open questions.
ACM SIGCHI Bull., 1996

Time modelling in Petri nets for the design of interaction active.
ACM SIGCHI Bull., 1996

Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO.
Proceedings of the Design, 1996

Monolingual, Articulated Modeling of Users, Devices, and Interfaces.
Proceedings of the Design, 1996

A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems.
Proceedings of the Design, 1996

Formal methods in computer human interaction: comparison, benefits, open questions.
Proceedings of the Conference on Human Factors in Computing Systems: Common Ground, 1996

Implementation Techniques for Petri Net Based Specifications of Human-Computer Dialogues.
Proceedings of the Computer-Aided Design of User Interfaces I, 1996

1995
Visual Construction of Highly Interactive Applications.
Proceedings of the Visual Database Systems 3, 1995

Verification of an interactive software by analysis of its formal specification.
Proceedings of the Human-Computer Interaction, 1995

Whizz'Ed: a visual environment for building highly interactive software.
Proceedings of the Human-Computer Interaction, 1995

Validating interactive system design through the verification of formal task and system models.
Proceedings of the Engineering for Human-Computer Interaction, 1995

Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism.
Proceedings of the People and Computers X, 1995

A Petri Net based Environment for the Design of Event-driven Interfaces.
Proceedings of the Application and Theory of Petri Nets 1995, 1995

1994
Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism.
Proceedings of the Design, 1994

1993
Contextual Help for Free with Formal Dialogue Design.
Proceedings of the Human-Computer Interaction: Software and Hardware Interfaces, 1993

Design of User-Driven Interfaces Using Petri Nets and Objects
Proceedings of the Advanced Information Systems Engineering, 1993

1990
Petri net objects for the design, validation and prototyping of user-driven interfaces.
Proceedings of the Human-Computer Interaction, 1990


  Loading...