Philippe A. Palanque
Orcid: 0000-0002-5381-971XAffiliations:
- Université Toulouse III - Paul Sabatier, France
According to our database1,
Philippe A. Palanque
authored at least 275 papers
between 1990 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on irit.fr
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
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
Taking into Account Human Error when Assessing the Impact of Dependability on Usability.
Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024
A Systematic Task and Knowledge-Based Process to Tune Cybersecurity Training to User Learning Groups: Application to Email Phishing Attacks.
Proceedings of the Human Aspects of Information Security and Assurance, 2024
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
Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023
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
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
Proceedings of the Workshop Proceedings of the 19th International Conference on Intelligent Environments (IE2023), 2023
Engineering AI-Similar Designs: Should I Engineer My Interactive System with AI Technologies?
Proceedings of the Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium, 2023
Proceedings of the Companion Proceedings of the 2023 ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2023
MUMR-MIODMIT: A Generic Architecture Extending Standard Interactive Systems Architecture to Address Engineering Issues for Rehabilitation.
Proceedings of the Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium, 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
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
Proc. ACM Hum. Comput. Interact., 2022
Engineering Annotations: A Generic Framework For Gluing Design Artefacts in Models of Interactive Systems.
CoRR, 2022
Proceedings of the 18th International Conference on Wireless and Mobile Computing, 2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022
Proceedings of the Human-Centered Software Engineering, 2022
Proceedings of the Short Paper Proceedings of the 5th European Tangible Interaction Studio, 2022
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
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
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
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
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
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
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
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
Proceedings of the Human-Computer Interaction - INTERACT 2021 - 18th IFIP TC 13 International Conference, Bari, Italy, August 30, 2021
Proceedings of the ICMI '21: International Conference on Multimodal Interaction, 2021
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
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
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
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
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
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
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020
2019
Proc. ACM Hum. Comput. Interact., 2019
Proc. ACM Hum. Comput. Interact., 2019
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
Proceedings of the Human-Computer Interaction - INTERACT 2019, 2019
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
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
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
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
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
Proceedings of the Human-Centered Software Engineering, 2018
Proceedings of the Human-Centered Software Engineering, 2018
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
Proceedings of the Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems, 2018
2017
Proc. ACM Hum. Comput. Interact., 2017
Proceedings of the 19th International Conference on Human-Computer Interaction with Mobile Devices and Services, 2017
Proceedings of the Human-Computer Interaction - INTERACT 2017, 2017
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
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
Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017
Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017
Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017
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
Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017
Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017
Proceedings of the New Perspectives in End-User Development., 2017
2016
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
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
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016
Proceedings of the 2016 CHI Conference on Human Factors in 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
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
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
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
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
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
Proceedings of the 9th Latin American Web Congress, 2014
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
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
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013
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
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
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
Proceedings of the International Conference on Application and Theory of Automation in Command and Control Systems, 2013
2012
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
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2012
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
Proceedings of the Human-Computer Interaction - INTERACT 2011, 2011
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
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
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
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
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
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
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
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
Proceedings of the Human-Computer Interaction, 2007
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
Reliab. Eng. Syst. Saf., 2006
An approach integrating two complementary model-based environments for the construction of multimodal interactive applications.
Interact. Comput., 2006
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
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
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
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
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
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
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
ACM SIGSOFT Softw. Eng. Notes, 2001
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
Proceedings of the Interactive Systems: Design, 2001
Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001
Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001
2000
Concurr. Pract. Exp., 2000
Proceedings of the Tools for Working with Guidelines, 2000
Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000
Proceedings of the 22nd International Conference on on Software Engineering, 2000
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
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
Proceedings of the ECOOP'99, 1999
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
Proceedings of the Application and Theory of Petri Nets 1999, 1999
1998
Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems.
Proceedings of the Design, 1998
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
ACM SIGCHI Bull., 1996
ACM SIGCHI Bull., 1996
Proceedings of the Design, 1996
Proceedings of the Design, 1996
A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems.
Proceedings of the Design, 1996
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
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
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