Displaying 132 out of 132 publications (Excluding: Ph.D Theses, Habilitation Theses)
2024
- International journals articlesTowards MBSE engineering dedicated to socio-technical interactive systems. CEAS Space Journal.
2023
- International journals articlesIncreasing engagement and well-being of operators working with automation by integrating task models and gameful design. Personal and Ubiquitous Computing. p:1--28.
- International journals articlesEngineering Rehabilitation: Blending Two Tool-supported Approaches to Close the Loop from Tasks-based Rehabilitation to Exercises and Back Again. Proceedings of the ACM on Human-Computer Interaction. p:1-23.
- International conferences articlesTask Models as a Mean to Identify and Justify Automations in Development Tasks. 26th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2023). p:757-764. IEEE.
- International conferences articlesOn using the Task Models for Validation and Evolution of Usable Security Design Patterns. 17th IFIP WG 11.12 International Symposium on Human Aspects of Information Security and Assurance. p:405-417. Springer Nature Switzerland.
- International conferences articlesI Perform My Work with My Body Too: Integrating Body Representations in and with Task Models. 19th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2023). p:482-503. Springer Nature Switzerland.
- International conferences articlesADL Monitoring of Elderly People in Smart Homes Based on Task Models. Workshop @ 19th International Conference on Intelligent Environments (IE 2023). p:216 - 225. IOS Press.
2022
- International journals articlesApproche à base de modèles pour l’ingénierie des systèmes interactifs. Les Techniques de l'Ingenieur.
- International journals articlesEngineering Operations-based Training. Proceedings of the ACM on Human-Computer Interaction. p:1-25.
- Books partsPrinciples of Task Analysis and Modeling: Understanding Activity, Modeling Tasks, and Analyzing Models. Handbook of Human Computer Interaction. Handbook of Human Computer Interaction. p:1-40. Springer International Publishing.
- International conferences articlesOperator-centered and model-based design for critical HMIS. 3rd Ground-Based Space Facilities Symposium (GBSF 2022). p:1-9.
- International conferences articlesA task-model based approach for detecting ADL-related anomalies. 10th International Workshop on e-Health Pervasive Wireless Applications and Service @ WiMob 2022. p:57-62. IEEE.
- International conferences articlesMining human factors general trends from +100k UML class diagrams. 25th International Conference on Model Driven Engineering Languages and Systems (MODELS 2022). p:913-922. ACM.
- International conferences articlesUsability and User Experience are not Enough: Gaps to Fill to Design for and Assess Well-Being and Engagement. VIII Iberoamerican Conference on Human-Computer Interaction 2022. p:1-14.
- International conferences articlesModels-Based Analysis of Both User and Attacker Tasks: Application to EEVEHAC. 9th IFIP WG 13.2 International Working Conference on Human-Centered Software Engineering (HCSE 2022). p:70-89. Springer International Publishing.
- International conferences articlesTask Models Based Gameful Design as a Mean to Increase Engagement with Automation. Workshop on Engaging with Automation (AutomationXP 2022) co-located CHI 2022. CEUR-WS.org.
2021
- International journals articlesEngineering Model-Based Software Testing of WIMP Interactive Applications: A Process based on Formal Models and the SQUAMATA Tool. Proceedings of the ACM on Human-Computer Interaction. p:1-30.
- International journals articlesEngineering Task-based Augmented Reality Guidance: Application to the Training of Aircraft Flight Procedures. Interacting with Computers. p:iwab007.
- International conferences articlesA Generic Framework for Structuring Configuration Management for Socio-technical System: Application to Control Rooms. IFIP WG 13.5 Workshop: Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues (WS07) @ INTERACT 2021. p:290-301. Springer.
- International conferences articlesThe Curriculum for Education in Engineering Interactive Systems at the Master in HCI of the University Toulouse III - Paul Sabatier. IFIP WG 2.7/13.4 and WG 13.1 joint workshops on HCI Engineering Education – for developers, designers and more (WS12. HCI-E^2) @ INTERACT 2021. p:211-220. Springer International Publishing.
- International conferences articlesUX for Some and Usability for Others: Issues of Blending Multi-user and Multi-property in Control Centers. IFIP WG 13.5 Workshop on Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues (WS07) @ INTERACT 2021. p:357-367. Springer International Publishing.
- International conferences articlesTeaching HCI Engineering: Four Case Studies. IFIP WG 2.7/13.4 and WG 13.1 joint workshop on HCI Engineering Education – for developers, designers and more (HCI-E2) @ INTERACT 2021. p:195-210. Springer International Publishing.
- International conferences articlesInteractive Systems: a Unique Place for Human‐Hardware‐Software Integration and their Vulnerability to Human‐Made and Natural Faults. International Symposium on Human System Integration (INCOSE 2021). p:224-233. International Council on Systems Engineering (INCOSE).
- International conferences articlesModelling Human Tasks to Enhance Threat Identification in Critical Maritime Systems. 25th Pan-Hellenic Conference on Informatics (PCI 2021). p:375-380. ACM: Association for Computing Machinery, New York.
- International conferences articlesFrom Human-Human Computer Mediated Communication to Human-Automation Collaboration in the light of Large Civil Aircraft Workplace. Workshop on Automation Experience at the Workplace, AutomationXP 2021, co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2021). CEUR Workshop Proceedings.
- International conferences articlesShould I Add Recommendations to My Warning System? The RCRAFT Framework Can Answer This and Other Questions About Supporting the Assessment of Automation Designs. 18th IFIP Conference on Human-Computer Interaction (INTERACT 2021). p:405-429. Springer International Publishing.
- International conferences articlesChallenges for operationalizing XAI in Critical Interactive Systems. ACM CHI Workshop on Operationalizing Human-Centered Perspectives in Explainable AI (HCXAI @ CHI 2021).
2020
- International journals articlesSupporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. ACM Transactions on Computer-Human Interaction. p:1-48.
- Books partsA-RCRAFT Framework for Analysing Automation: Application to SAE J3016 Levels of Driving Automation. Human Factors in Intelligent Vehicles. Human Factors in Intelligent Vehicles. River Publishers.
- International conferences articlesA-RCRAFT: a Generic Framework for Automation Analysis and Design: Application to Automotive, Tactile in vehicle Interactions. Workshop on Automation Experience across Domains co-located with the ACM Conference on Human Factors in Computing Systems 2020. CEUR-WS.org.
- International conferences articlesA Generic Multimodels-Based Approach for the Analysis of Usability and Security of Authentication Mechanisms. HCSE 2020 - 8th International Conference on Human-Centered Software Engineering - IFIP WG 13.2 International Working Conference. p:61-83. Springer.
- International conferences articlesA Generic Visualization Approach Supporting Task-Based Evaluation of Usability and User Experience. 8th International Conference on Human-Centered Software Engineering - IFIP WG 13.2 International Working Conference, HCSE 2020. p:24-44. Springer.
- International conferences articlesTask models based engineering of interactive systems. 13th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2020). p:1-2. ACM: Association for Computing Machinery.
2019
- International journals articlesEngineering Issues Related to the Development of a Recommender System in a Critical Context: Application to Interactive Cockpits. International Journal of Human-Computer Studies. p:122-141.
- International journals articlesAnalysing and Demonstrating Tool-Supported Customizable Task Notations. Proceedings of the ACM on Human-Computer Interaction. p:1-26.
- International conferences articlesA Roadmap and Some Directions Towards the Engineering of Interactive Systems Deployable in Safety Critical Contexts. 2nd Workshop on Charting the Way towards Methods and Tools for Advanced Interactive Systems @ ACM EICS 2019. p:39-45. CEUR-WS.org.
- International conferences articlesCharacterizing Sets of Systems: Representation and Analysis of Across-Systems Properties. 17th IFIP Conference on Human-Computer Interaction (INTERACT 2019). p:84-96. Springer International Publishing.
- International conferences articlesOn the Importance of Supporting Multiple Stakeholders Points of View for the Testing of Interactive Systems. 1st Workshop on Research and Practice Challenges for Engineering Interactive Systems while Integrating Multiple Stakeholders Viewpoints (EISM 2019). p:113--121. CEUR-WS : Workshop proceedings.
- International conferences articlesDivide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems. 12th IEEE International Conference on Cyber Physical and Social Computing (CPSCom 2019).
- International conferences articlesIntroduction to Automation and to Its Potential for Interactive Systems Design. 17th IFIP Conference on Human-Computer Interaction (INTERACT 2019). p:523-526. Springer International Publishing.
- International conferences articlesRevisiting system's pages in engine indication and alerting system for flight crew using the DSCU architecture and the OQCR system generic state description. INCOSE International Conference on Human System Integration (INCOSE HSI 2019). p:1-9.
- International conferences articlesDeep System Knowledge Required: Revisiting UCD Contribution in the Design of Complex Command and Control Systems. 17th IFIP Conference on Human-Computer Interaction (INTERACT 2019). p:699-720. Springer International Publishing.
2018
- Books partsPerformance Evaluation of Interactive Systems with Interactive Cooperative Objects Models. Computational Interaction. Computational Interaction. Oxford University Press.
- International conferences articlesTOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications. ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2018). p:1-7. ACM.
- International conferences articlesSpecific Task Modeling for Cyber Physical Systems. Workshop on Heterogeneous Models and Modeling Approaches for Engineering of Interactive Systems,in conjunction with the 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2018).
- International conferences articlesA Generic Software and Hardware Architecture for Hybrid Interactive Systems. Workshop on Heterogeneous Models and Modeling Approaches for Engineering of Interactive Systems @ EICS 2018.
- International conferences articlesExplicit representation of function allocation and authority sharing (initiative and responsibility). Workshop "Interacting with Autonomous Vehicles: Learning from other Domains" - ACM CHI Conference on Human Factors in Computing Systems - CHI 2018. p:1-5.
- International conferences articlesAutomation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems (CHI 2018). ACM Conference on Human Factors in Computing Systems (CHI 2018). p:1-4. ACM: Association for Computing Machinery, New York.
- International conferences articlesRationalizing the Need of Architecture-Driven Testing of Interactive Systems. 7th International Working Conference on Human-Centered Software Engineering (HCSE 2018). p:164-186. Springer International Publishing.
- International conferences articlesUsing Task Descriptions with Explicit Representation of Allocation of Functions, Authority and Responsibility to Design and Assess Automation. 5th IFIP Working Conference on Human Work Interaction Design (HWID). p:36-56. Springer International Publishing.
- International conferences articlesEnriching Task Models with Usability and User Experience Evaluation Data. 7th International Conference on Human-Centred Software Engineering (HCSE 2018). p:146-163. Springer International Publishing.
2017
- International journals articlesA More Intelligent Test Case Generation Approach through Task Models Manipulation. Proceedings of the ACM on Human-Computer Interaction vol:19. p:1-20. ACM SIGCHI.
- Books partsExploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment. p:465-504. Springer.
- Books partsDealing with Faults During Operations: Beyond Classical Use of Formal Methods. p:549-575. Springer.
- International conferences articlesA List of Pre-Requisites to Make Recommender Systems Deployable in Critical Context. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2017 (SIGCHI - EICS). CEUR Workshop Proceedingsvol:1945. p:42-55. CEUR-WS : Workshop proceedings.
- International conferences articlesQBP Notation for Explicit Representation of Properties, their Refinement and their Potential Conflicts: Application to Interactive Systems. Workshop on Dealing with Conflicting User Interface Properties in User-Centered Development Processes at INTERACT 2017. p:91-105. Springer.
- International conferences articlesAutomation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems. ACM International Conference on Human Factors in Computing Systems 2017 (ACM CHI). p:1257-1260. ACM : Association for Computing Machinery.
- International conferences articlesDesigning and Assessing Interactive Systems Using Task Models. IFIP TC 13 International Conference on Human-Computer Interaction 2017 (INTERACT). p:383-386. Springer-Verlag.
- International conferences articlesEvaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. Workshop on Formal Integrated Development Environment 2017 (F-IDE). Open Publishing Association.
- Conferences proceedingsProceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017. ACM : Association for Computing Machinery.
2016
- International journals articlesTask Model-Based Systematic Analysis of Both System Failures and Human Errors. IEEE Transactions on Human-Machine Systems vol:462. p:243-254. IEEE : Institute of Electrical and Electronics Engineers.
- International conferences articlesFrom Aircrafts Interactive Cockpits to Autonomous Vehicles: Are Design Principles Transferable ?. Conference on Human Factors in Computing Systems - Workshop: HCI and Autonomous Vehicles 2016 (CHI Workshop). ACM SIGCHI.
- International conferences articlesEmbedding explicit representation of cyber-physical elements in task models. IEEE International Conference on Systems, Man and Cybernetics 2016. p:1969-1974. IEEE Systems, Man, and Cybernetics Society.
- International conferences articlesUser-Test Results Injection into Task-Based Design Process for the Assessment and Improvement of Both Usability and User Experience. International Working Conference on Human-Centred Software Engineering International Working Conference on Human Error, Safety, and System Development 2016 (HCSE+HESSD). 0302-9743vol:9856. p:56-72. Springer.
- International conferences articlesWhat Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender Systems. EncWorkshop on Engineering Computer-Human Interaction in Recommender Systems 2016 (EnCHIReS). CEUR-WS : Workshop proceedings.
- International conferences articlesComplementary Tools and Techniques for Supporting Fitness-for-Purpose of Interactive Critical Systems. International Working Conference on Human-Centred Software Engineering International Working Conference on Human Error, Safety, and System Development 2016 (HCSE+HESSD). Springer.
- International conferences articlesMultiple Views on Safety-Critical Automation: Aircrafts, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives. ACM International Conference on Human Factors in Computing Systems 2016 (ACM CHI). ACM Digital Library.
- International conferences articlesDesigning and Assessing Interactive Systems Using Task Models. ACM International Conference on Human Factors in Computing Systems 2016 (ACM CHI). ACM Digital Library.
- International conferences articlesSystematic automation of scenario-based testing of user interfaces. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2016 (SIGCHI - EICS). p:138-148. ACM Digital Library.
- International conferences articlesEngineering mixed-criticality interactive applications. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2016 (SIGCHI - EICS). p:108-119. ACM Digital Library.
- International conferences articlesTask Models for Supporting Function Allocation between Operators and Autonomous Systems: Application to Collision Avoidance Operations for Spacecraft. AAAI 2015 Spring Symposium on Intelligent systems for supporting distributed human teamwork 2016. AAAI Press.
2015
- International journals articlesA Generic Approach for Assessing Compatibility between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit. i-com vol:143. p:170-191. de Gruyter.
- Books partsDesigning and Assessing Interactive Systems Using Task Models. p:29-58. Brazilian Computing Society.
- International conferences articlesTransparent Automation for Assessing and Designing better Interactions between Operators and Partly-Autonomous Interactive Systems. International Conference on Application and Theory of Automation in Command and Control Systems 2015 (ATACCS). ACM Digital Library.
- International conferences articlesAUTOM AT ICS: Research activities on Automation. International Conference on Application and Theory of Automation in Command and Control Systems 2015 (ATACCS). ACM Digital Library.
- International conferences articlesConcept Maps as a Glue for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems. International Conference on Application and Theory of Automation in Command and Control Systems 2015 (ATACCS). ACM Digital Library.
- International conferences articlesDesigning and Assessing Interactive Systems Using Task Models. International Conference on Human-Computer Interaction 2015 (HCI). p:2465-2466. ACM : Association for Computing Machinery.
- International conferences articlesIFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development. IFIP TC 13 International Conference on Human-Computer Interaction 2015 (INTERACT). p:663-664. Springer.
- International conferences articlesAccounting for Organisational faults in Task Model Based Systematic Analysis of System Failures and Human Errors. IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development 2015. p:101-116. University of Bamberg Press.
- International conferences articlesA User-Centered View on Formal Methods: Interactive Support for Validation and Verification. Workshop on Formal Methods in Human Computer Interaction 2015 (FoMHCI). p:24-29. RWTH Aachen University.
- International conferences articlesBeyond Formal Methods for Critical Interactive Systems: Dealing with Faults at Runtime. Workshop on Formal Methods in Human Computer Interaction 2015 (FoMHCI). p:19-23. RWTH Aachen University.
- International conferences articlesEnhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors. IFIP TC 13 International Conference on Human-Computer Interaction 2015 (INTERACT). Springer-Verlag.
- International conferences articlesA Generic Tool-Supported Framework for Coupling Task Models and Interactive Applications. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2015 (SIGCHI - EICS). ACM Press.
- International conferences articlesDesigning and Assessing Interactive Systems Using Task Models. Conference on Human Factors in Computing Systems - Special Interest Group on Computer-Human Interaction 2015 (CHI - SIGCHI). ACM Press.
- International conferences articlesDesign, Development and Evaluation Challenges for Future Mobile User Interfaces in Safety-Critical Contexts. Workshop on Future Mobile User Interfaces. 13th International Conference on Mobile Systems, Applications and Services 2015. ACM Press.
- Conferences proceedings5th International Conference on Application and Theory of Automation in Command and Control Systems. ACM Digital Library.
- Conferences articles without published proceedingsRetour d'expérience sur l'enseignement de la modélisation des taches au Master Interaction Homme-Machine de Toulouse. GT Modèles de Tâches - IHM 2015.
- Conferences articles without published proceedingsModeling and Analysis of Human Error Based on Tasks Descriptions: Connecting Research Knowledge with Practice. Human Dependability Workshop (HUDEP 2015).
2014
- International journals articlesBridging the Gap between a Behavioural Formal Description Technique and User Interface description language: Enhancing ICO with a Graphical User Interface markup language. Science of Computer Programming vol:86. p:3-29. Elsevier.
- International conferences articlesFault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces. Workshop on Distributed User Interfaces 2014 (DUI). ACM : Association for Computing Machinery.
- International conferences articlesRapid Task-Models Development Using Sub-models, Sub-routines and Generic Components. Human-Centered Software Engineering 2014 (HCSE). p:144-163. Springer.
- International conferences articlesGame Jam 4 Investigating Design Issues with (partly) autonomous systems. GameJam workshop at ACM Conference on Human Computer Interaction 2014 (CHI Workshop). Games Jam web site.
- International conferences articlesMulti-Models-Based Engineering of Collaborative Systems: Application to Collision Avoidance Operations for Spacecrafts. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2014 (SIGCHI - EICS). ACM Digital Library.
- International conferences articlesAn approach for assessing the impact of dependability on usability: application to interactive cockpits. European Dependable Computing Conference 2014 (EDCC). p:198-209. IEEE : Institute of Electrical and Electronics Engineers.
- International conferences articlesFine Grain Modeling of Task Deviations for Assessing Qualitatively the Impact of Both System Failures and Human Error on Operator Performance. AAAI 2014 Symposium on Formal Verification on Human-Machine Systems. AAAI Press.
- National conferences articlesHAMSTERS : un environnement d'édition et de simulation de modèles de tâches (Démo). Conférence Francophone sur l'Interaction Homme-Machine 2014 (IHM). ACM Digital Library.
2013
- International journals articlesA Multi-Formalism Approach for Model-Based Dynamic Distribution of User Interfaces of Critical Interactive Systems. International Journal of Human-Computer Studies vol:2013.08. Elsevier.
- International conferences articlesModelling of Automation Degradation: a Case Study. SESAR Innovation Days 2013. SESAR Work Package E.
- International conferences articlesV&V of Lexical, Syntactic and Semantic Properties for Interactive Systems Through Model Checking of Formal Description of Dialog. IFIP TC 13 International Conference on Human-Computer Interaction 2013 (INTERACT). LNCS. p:290-299. Springer.
- International conferences articlesExtending Procedural Task Models by Explicit and Systematic Integration of Objects, Knowledge and Information. European Conference on Cognitive Ergonomics 2013 (ECCE). ECCE '1323. p:1-10. ACM : Association for Computing Machinery.
- International conferences articlesAnalysis of WIMP and Post WIMP Interactive Systems based on Formal Specification. International Workshop on Formal Methods for Interactive Systems 2013 (FMIS). Electronic Communications of the EASST.
- International conferences articlesUnderstanding functional resonance through a federation of models: preliminary findings of an avionics case study. International Conference on Computer Safety, Reliability and Security 2013 (SAFECOMP). p:216-227. Springer-Verlag.
- International conferences articlesModel-based dynamic distribution of user interfaces of critical interactive systems. International Conference on Application and Theory of Automation in Command and Control Systems 2013 (ATACCS). p:66-75. ACM : Association for Computing Machinery.
- Conferences articles without published proceedingsPredicting and Mitigating Human Error Through Detailed Descriptions of Operators' Tasks. HUDEP 2013.
2012
- International conferences articlesA framework for modeling the consequences of the propagation of automation degradation: application to air traffic control systems. SESAR Innovation Days 2012. Eurocontrol.
- International conferences articlesDesigning and Engineering Interactive Critical Systems Using Contributions from Gaming Research and Practice. Workshop on Safety-Critical Systems and Video Games: Contradictions and Commonalities. In conjunction with 4th International Conference on Fun and Games (Fun&Games2012). ACM Digital Library.
- International conferences articlesSystematic Approaches to Training Encompassing Operators' mission and Interaction Techniques. International Conference on Human-Computer Interaction in Aeronautics 2012 (HCI'Aero). ACM Digital Library.
- International conferences articlesA Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments. Human-Centered Software Engineering 2012 (HCSE). LNCS7623. p:112-134. Springer.
- International conferences articlesA Design Process for Exhibiting Design Choices and Trade-offs in (potentially) Conflicting User Interface Guidelines. Human-Centered Software Engineering 2012 (HCSE). LNCS7623. p:53-71. Springer.
- International conferences articlesInteractive Cockpits Applications: Modelling and Validation using a Petri-net based Formalism. European Congress on Embedded Real-Time Software 2012 (ERTS). ERTS : Embedded Real Time Sofware and Systems.
- International conferences articlesSome Issues with Interaction Design and Implementation in the Context of Autonomous Interactive Critical Systems. ACM International Conference on Human Factors in Computer Science (Workshop on End-user Interactions with Intelligent and Autonomous Systems) 2012. p:25-30. ACM Digital Library.
- International conferences articlesUsing Complementary ModelS-Based Approaches for Representing and Analysing ATM Systems' Variability. International Conference on Application and Theory of Automation in Command and Control Systems 2012 (ATACCS). ACM Digital Library.
- International conferences articlesA Systematic Approach to Training for Ground Segment using Tasks and Scenarios: Application to PICARD satellite. International Conference on Space Operations 2012 (SpaceOps). American Institute of Aeronautics and Astronautics (AIAA).
- International conferences articlesA Tool-Supported Training Framework for Improving Operators: Dependability Confronted with Faults and Errors. Safety and Reliability for managing Risk 2012 (ESREL). p:25-36. Taylor & Francis Group.
- International conferences articlesSystem Performances under Automation Degradation (SPAD). The First SESAR Innovation Days 2012. SESAR Work Package E.
- National conferences articlesUn 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. Conférence Francophone sur l'Interaction Homme-Machine 2012 (IHM). ACM Digital Library.
- Conferences articles without published proceedingsPourquoi et comment exploiter la modélisation des tâches opérateurs dans les systèmes critiques: Application à la déclaration d'incidents et à l'opération des systèmes de commande et contrôles. Journée scientifique RTRA - FHAE (Facteurs Humains pour la Sécurité Aéronautique) 2012.
2011
- International journals articlesDesigning for resilience to hardware failures in interactive systems: A model and simulation-based approach. Elsevier's Safety Science vol:96. p:38-52. Elsevier.
- Books partsA Formal Model-Based Approach for Designing Interruptions-Tolerant Advanced User Interfaces. Studies in Computational Intelligencevol:Vol. 340. p:143-170. Springer.
- Books partsFormal Description Techniques for Human-Machine Interfaces - Model-Based Approaches for the Design and Evaluation of Dependable Usable Interactive Systems. Ashgate Publishing.
- International conferences articlesUsiXML Concrete Behaviour with a Formal Description Technique for Interactive Systems. IFIP WG 2.7/13.4 Workshop on User Interface Description Languages 2011 (UIDL). Thales Research and Technology.
- International conferences articlesA Model-Based and Systematic Approach to Design and Assess the Level of Automation of Large Interactive Critical Systems. International Conference on Application and Theory of Automation in Command and Control Systems 2011 (ATACCS). IRIT Press.
- International conferences articlesTask-Model Based Assessment of Automation Levels: Application to Space Ground Segments. IEEE International Conference on Systems, Man and Cybernetics 2011. p:3267-3273. IEEE Computer Society - Conference Publishing Services.
- International conferences articlesStructuring and Composition Mechanisms to Address Scalability Issues in Task Models. IFIP TC 13 International Conference on Human-Computer Interaction 2011 (INTERACT). p:134-152. Springer-Verlag.
- International conferences articlesFormal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs. International Conference on Application and Theory of Automation in Command and Control Systems 2011 (ATACCS). IRIT Press.
- International conferences articlesA Tool Supported Model-based Approach for Engineering Usability Evaluation of Interaction Techniques. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2011 (SIGCHI - EICS). p:21-30. ACM Press.
- International conferences articlesModel-Based Training: An Approach Supporting Operability of Critical Interactive Systems: Application to Satellite Ground Segments. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2011 (SIGCHI - EICS). p:589-609. Springer-Verlag.
- Conferences articles without published proceedingsA Multi-Models Based Development Process for Critical Interactive Systems Integrating Formal and Informal Approaches. IFIP WG 2.7/13.4 Workshop on Combining Models and Design for interactive systems (ComDeisMoto 2011).
- Conferences articles without published proceedingsContextual Help for Supporting Critical Systems' Operators: Application to Space Ground Segments. Workshop on Activity Context Representation 2011.
2010
- International conferences articlesDREAMER: a Design Rationale Environment for Argumentation, Modeling and Engineering Requirements. ACM International Conference on Design of Communication 2010 (ACM SIGDOC). p:73-80. ACM : Association for Computing Machinery.
- International conferences articlesEmbedding Requirements in Design Rationale to Deal Explicitely with User eXperience and Usability in an "intensive" Model-Based Development Approach. Workshop on Model Driven Development of Advanced User Interfaces 2010 (MDDAUI). vol:617. p:29-32. CEUR-WS : Workshop proceedings.
- International conferences articlesA formal approach supporting effective and efficient training program for improving operators reliability. Safety and Reliability for managing Risk 2010 (ESREL). p:234-243. Taylor & Francis Group.