Célia Martinie
Orcid: 0000-0001-7907-3170
According to our database1,
Célia Martinie
authored at least 88 papers
between 2010 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Increasing engagement and well-being of operators working with automation by integrating task models and gameful design.
Pers. Ubiquitous Comput., December, 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
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 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
On using the Task Models for Validation and Evolution of Usable Security Design Patterns.
Proceedings of the Human Aspects of Information Security and Assurance, 2023
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 Workshop on Engaging with Automation co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2022), 2022
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
Engineering Task-based Augmented Reality Guidance: Application to the Training of Aircraft Flight Procedures.
Interact. Comput., 2021
Proceedings of the PCI 2021: 25th Pan-Hellenic Conference on Informatics, Volos, Greece, November 26, 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
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
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
2020
Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools.
ACM Trans. Comput. Hum. Interact., 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
Model-Based Engineering of Critical Large Scale Socio-Technical Systems: Contributions and Future Directions.
, 2020
2019
Proc. ACM Hum. Comput. Interact., 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
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
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
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
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
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
TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2018
2017
Proc. ACM Hum. Comput. Interact., 2017
Proceedings of the Human-Computer Interaction - INTERACT 2017, 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 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
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
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
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
IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development.
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
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
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
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
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
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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
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
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 International Conference on Application and Theory of Automation in Command and Control Systems, 2013
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
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
Proceedings of the Human-Computer Interaction - INTERACT 2011, 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
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
DREAMER: a design rationale environment for argumentation, modeling and engineering requirements.
Proceedings of the 28th Annual International Conference on Design of Communication, 2010