Displaying 330 out of 330 publications (Excluding: Ph.D Theses, Habilitation Theses)
2023
- International journals articlesFormal domain-driven system development in Event-B: Application to interactive critical systems. Journal of Systems Architecture. p:102798.
2022
- International journals articlesHCI for general aviation: current state and research challenges. Interactions. p:60-65.
- International journals articlesEngineering Operations-based Training. Proceedings of the ACM on Human-Computer Interaction. p:1-25.
- International journals articlesEngineering Annotations: A Generic Framework For Gluing Design Artefacts in Models of Interactive Systems. Proceedings of the ACM on Human-Computer Interaction.
- International journals articlesF3FLUID: A formal framework for developing safety‐critical interactive systems in FLUID. Journal of Software: Evolution and Process.
- 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.
- Books partsUX for Some and Usability for Others: Issues of Blending Multi-user and Multi-property in Control Centers. Sense, Feel, Design : INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 – September 3, 2021, Revised Selected Papers. Sense, Feel, Design : INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 – September 3, 2021, Revised Selected Papers. p:357-367. Springer International Publishing.
- Books partsTeaching HCI Engineering: Four Case Studies. Sense, Feel, Design : INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 – September 3, 2021, Revised Selected Papers. Sense, Feel, Design : INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 – September 3, 2021, Revised Selected Papers. p:195-210. Springer International Publishing.
- Books partsA Generic Framework for Structuring Configuration Management for Socio-technical System: Application to Control Rooms. Sense, Feel, Design: INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 – September 3, 2021, Revised Selected Papers. Sense, Feel, Design: INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 – September 3, 2021, Revised Selected Papers. p:290-301. 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 articlesUser Tasks Description: a Retrospective, Recent Contributions and some Research Challenges @ RoCHI 2020. 17th International Conference on Human–Computer Interaction (RoCHI 2020). p:1-4. MatrixRom publishing, Bucarest.
- 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 articlesEngineering Awareness in Interfaces: Focus on Automation and Visualization. 14th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2022). p:54-58. ACM: Association for Computing Machinery.
- International conferences articlesHow to Design and Assess Automation for Interactive Applications and Interaction Techniques (Extended Abstract). ACM Conference on Human Factors in Computing Systems (CHI 2022). p:1-3. ACM: Association for Computing Machinery.
- International conferences articlesEngaging with Automation: Understanding and Designing for Operation, Appropriation, and Behaviour Change (Extended Abstract). Conference on Human Factors in Computing Systems (CHI 2022). p:1-6. ACM: Association for Computing Machinery.
- International conferences articlesHCI and worker well-being in manufacturing industry. International Conference on Advanced Visual Interfaces (AVI 2022). p:1-2. ACM: Association for Computing Machinery.
- 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 articlesAutomationXP 2021: Automation Experience at the Workplace 2021. Workshop on Automation Experience at the Workplace, co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2021). CEUR Workshop Proceedings. p:1-180. CEUR-WS.org.
- 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 articlesDesigning and Engineering Interactive Computing Systems. Proceedings of the ACM on Human-Computer Interaction. p:1-4.
- International journals articlesModel-based Engineering of Feedforward Usability Function for GUI Widgets. Interacting with Computers. p:73-91.
- International journals articlesHeterogeneous Models and Modelling Approaches for Engineering of Interactive Systems. Interacting with Computers. p:1-2.
- International journals articlesOn the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications. Interacting with Computers.
- International journals articlesEngineering Task-based Augmented Reality Guidance: Application to the Training of Aircraft Flight Procedures. Interacting with Computers. p:iwab007.
- International conferences articlesLeveraging Event-B Theories for Handling Domain Knowledge in Design Models. 7th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2021). p:40-58. 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 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 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 conferences articlesDependability and Safety: Two Clouds in the Blue Sky of Multimodal Interaction. 23rd ACM International Conference on Multimodal Interaction (ICMI 2021). p:781-787. ACM: Association for Computing Machinery.
- 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 articlesStandard Conformance-by-Construction with Event-B. FMICS 2021 - 26th International Conference on Formal Methods for Industrial Critical Systems. Formal Methods for Industrial Critical Systems. 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings. p:126-146. Springer International Publishing.
- 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 TC 13 International Conference on Human-Computer Interaction (INTERACT 2021). Human-Computer Interaction – INTERACT 2021. p:405-429. Springer International Publishing.
- International conferences articlesHCI-E²: HCI Engineering Education: For Developers, Designers and More. 18th IFIP TC 13 International Conference on Human-Computer-Interaction (INTERACT 2021). Workshop on HCI Engineering Education. p:542-547. Springer International Publishing.
- International conferences articlesControl Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues. IFIP WG 13.5 Workshop @18th IFIP TC 13 International Conference on Human-Computer-Interaction (INTERACT 2021). Human-Computer-Interaction – INTERACT 2021. p:542-547. Springer International Publishing.
- International conferences articlesPOISE: A Framework for Designing Perfect Interactive Systems with and for Imperfect People. 18th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2021). Human-Computer Interaction – INTERACT 2021. p:39-59. Springer International Publishing.
- International conferences articlesIntroductory Course on Automation and its Use for Interactive Systems Design and Engineering. Conference on Human Factors in Computing Systems (CHI 2021). p:1-4. ACM: Association for Computing Machinery.
- International conferences articlesAutomation Experience at the Workplace. Conference on Human Factors in Computing Systems (CHI 2021). p:1-6. ACM.
- Conferences proceedingsEICS '21: Companion of the 2021 ACM SIGCHI Symposium on Engineering Interactive Computing Systems. ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2021). ACM: Association for Computing Machinery, New York.
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 Classification of Faults Covering the Human-Computer Interaction Loop. Computer Safety, Reliability, and Security 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings. Computer Safety, Reliability, and Security 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings. p:434-448.
- 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 articlesModel-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets. IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2020). p:95-104. IEEE.
- International conferences articlesAutomation Experience across Domains: Designing for Intelligibility, Interventions, Interplay and Integrity. CHI Conference on Human Factors in Computing Systems (CHI 2020). p:1-8. ACM.
- International conferences articlesDesigning Safety Critical Interactions: Hunting Down Human Error. CHI Conference on Human Factors in Computing Systems (CHI 2020). p:1-7. ACM : Association for Computing Machinery, New York, NY, United States.
- International conferences articlesTen Objectives and Ten Rules for Designing Automations in Interaction Techniques, User Interfaces and Interactive Systems. International Conference on Advanced Visual Interfaces (AVI 2020). p:1-10. ACM.
- 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 articlesAn Integrated Framework for the Formal Analysis of Critical Interactive Systems. The 27th Asia-Pacific Software Engineering Conference. p:10. IEEE.
- 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.
- Conferences proceedingsProceedings of the Workshop on Automation Experience across Domains co-located with the ACM Conference on Human Factors in Computing Systems. Workshop on Automation Experience across Domains co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2020). CEUR Workshop Proceedings: Free Open-Access Proceedings for Scientific Conferences and Workshops, RWTH Aachen University.
2019
- International journals articlesFortunettes: Feedforward about the Future State of GUI Widgets. Proceedings of the ACM on Human-Computer Interaction vol:320. ACM SIGCHI.
- International journals articlesAnalysing and Demonstrating Tool-Supported Customizable Task Notations. Proceedings of the ACM on Human-Computer Interaction vol:312. ACM SIGCHI.
- International journals articlesDesign and evaluation of braced touch for touchscreen input stabilisation. International Journal of Human-Computer Studies vol:122. p:21-37. Elsevier.
- International journals articlesThe new SIGCHI EC's values and strategic initiatives. ACM Interactions vol:261. p:84-85. ACM : Association for Computing Machinery.
- 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 vol:121. p:122-141. Elsevier.
- International conferences articlesFormal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. International Workshop on Formal Techniques for Safety-Critical Systems 2019 (FTSCS). Communications in Computer and Information Science. Springer.
- International conferences articlesModel-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-nets. International Workshop on Formal Methods for Interactive Systems 2019 (FMIS). Springer.
- International conferences articlesOn the Importance of Supporting Multiple Stakeholders Points of View for the Testing of Interactive Systems. Workshop on Research and Practice Challenges for Engineering Interactive Systems while Integrating Multiple Stakeholders Viewpoints 2019 (EISMS). p:113-121. CEUR-WS : Workshop proceedings.
- International conferences articlesDeep System Knowledge Required: Revisiting UCD Contribution in the Design of Complex Command and Control Systems. IFIP TC 13 International Conference on Human-Computer Interaction 2019 (INTERACT). Springer.
- International conferences articlesBrace Touch: a Dependable, Turbulence-Tolerant, Multi-Touch Interaction Technique for Interactive Cockpits. International Conference on Computer Safety, Reliability and Security 2019 (SAFECOMP). LNCS. p:53-68. Springer-Verlag.
- International conferences articlesDivide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems. IEEE International Conference on Cyber Physical and Social Computing 2019 (CPSCom). IEEE : Institute of Electrical and Electronics Engineers.
- 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 2019 (INCOSE HSI). INCOSE : International Council on Systems Engineering.
- Conferences proceedingsHuman-Centered Software Engineering - 7th IFIP WG 13.2 International Working Conference, HCSE 2018. Lecture Notes in Computer Science11262. Springer.
2018
- International journals articlesThe Evolution of SIGCHI conferences and the future of CHI. ACM Interactions vol:255. p:84-85. ACM : Association for Computing Machinery.
- Books partsPerformance Evaluation of Interactive Systems with Interactive Cooperative Objects Models. p:249-283. Oxford University Press.
- International conferences articlesInteracting with Autonomous Vehicles: Learning from other Domains. ACM International Conference on Human Factors in Computing Systems 2018 (ACM CHI). vol:Extended AbstractsNo. W30. ACM : Association for Computing Machinery.
- International conferences articlesEngineering Automations: From a Human Factor Perspective to Design, Implementation and Validation Challenges. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2018 (SIGCHI - EICS). Académie des Sciences.
- International conferences articlesEngaging Automation at Work - A Literature Review. IFIP WG 13.6 Working Conference Human Work Interaction Design 2018 (HWID). IFIP Advances in Informatio and Communication Technologyvol:544. p:158-172. Springer.
- International conferences articlesMIODMIT: A Generic Architecture for Dynamic Multimodal Interactive Systems. Human-Centered Software Engineering 2018 (HCSE). Lecture Notes in Computer Sciencevol:11262. p:109-129. Springer.
- International conferences articlesUsing Task Descriptions with Explicit Representation of Allocation of Functions, Authority and Responsibility to Design and Assess Automation. IFIP WG 13.6 Working Conference Human Work Interaction Design 2018 (HWID). IFIP Advances in Information and Communication Technologyvol:544ISBN 978-3-030-05297-3. p:36-56. Springer.
- International conferences articlesEnriching Task Models with Usability and User Experience Evaluation Data. Human-Centered Software Engineering 2018 (HCSE). Lecture Notes in Computer Sciencevol:11262ISBN 978-3-030-05908-8. p:146-163. Springer.
- International conferences articlesRationalizing the Need of Architecture-Driven Testing of Interactive Systems. Human-Centered Software Engineering 2018 (HCSE). Lecture Notes in Computer Sciencevol:11262ISBN 978-3-030-05908-8. p:164-186. Springer.
- International conferences articlesAutomation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems. ACM International Conference on Human Factors in Computing Systems 2018 (ACM CHI). ACM : Association for Computing Machinery.
- International conferences articlesTOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2018 (SIGCHI - EICS). p:1-7. ACM : Association for Computing Machinery.
- Conferences proceedings15th International Conference on Human Computer Interaction. Matrix Rom.
- Conferences articles without published proceedingsSpecific Task Modeling for Cyber Physical Systems. EICS 2018 - Workshop on Heterogeneous Models and Modeling Approaches for Engineering of Interactive Systems.
- Conferences articles without published proceedingsA Generic Software and Hardware Architecture for Hybrid Interactive Systems. EICS 2018 - Workshop on Heterogeneous Models and Modeling Approaches for Engineering of Interactive Systems.
- Conferences articles without published proceedingsExplicit representation of function allocation and authority sharing (initiative and responsibility). CHI 2018 Workshop - Interacting with Autonomous Vehicles: Learning from other Domains.
2017
- Books editionThe Handbook of Formal Methods in Human-Computer Interaction. vol:ISBN 978-3-319-51837-4. Springer.
- 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.
- International journals articlesMaking the Field of Computing More Inclusive. Communications of the ACM vol:603. p:50-59. ACM : Association for Computing Machinery.
- Books partsWeb Augmentation as a Promising Technology for End User Development. p:433-459. Springer.
- Books partsTopics of Formal Methods in HCI. p:57-64. Springer.
- Books partsTrends and Gaps. p:65-88. Springer.
- Books partsCase Studies. p:89-121. Springer.
- 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 articlesSimilarity as a Design Driver for User Interfaces of Dependable Critical Systems. Workshop on Dealing with Conflicting User Interface Properties in User-Centered Development Processes at INTERACT 2017. p:114-122. Springer.
- 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 articlesMobile interaction with and in autonomous vehicles. International Conference on Human-Computer Interaction with Mobile Devices and Services 2017 (MobileHCI). p:1-6. ACM : Association for Computing Machinery.
- 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 articlesTurbulent Touch: Touchscreen Input for Cockpit Flight Displays. International Conference on Human-Computer Interaction 2017 (HCI). ACM : Association for Computing Machinery.
- 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.
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 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 articlesA Three-fold Approach towards Increased Assurance Levels for Interactive Systems: A Flight Control Unit Case Study. International Conference on Human-Computer Interaction in Aeronautics 2016 (HCI'Aero). ACM Digital Library.
- 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.
- Conferences proceedingsJoint Working Conference 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016. LNCS9856. Springer.
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 articlesWorkshop on formal methods in human computer interaction. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2015 (SIGCHI - EICS). p:294-295. 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 articlesRole of Conferences in Shaping the Field of HCI. IFIP TC 13 International Conference on Human-Computer Interaction 2015 (INTERACT). p:637-639. Springer.
- International conferences articlesDependable multi-touch interactions in safety critical industrial contexts: Application to aeronautics. IEEE International Conference on Industrial Informatics 2015 (INDIN). p:980-987. IEEE : Institute of Electrical and Electronics Engineers.
- 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 articlesUsability aspects of the inside-in approach for ancillary search tasks on the web. IFIP TC 13 International Conference on Human-Computer Interaction 2015 (INTERACT). LNCSvol:9297. p:207-226. Springer.
- 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 proceedingsIFIP TC13 Conference on Human-Computer Interaction (INTERACT 2015). LNCS9299. Springer.
- Conferences proceedingsIFIP TC13 Conference on Human-Computer Interaction (INTERACT 2015). LNCS9298. Springer.
- Conferences proceedingsIFIP TC13 Conference on Human-Computer Interaction (INTERACT 2015). LNCS9297. Springer.
- Conferences proceedingsIFIP TC13 Conference on Human-Computer Interaction (INTERACT 2015). LNCS9296. Springer.
- Conferences articles without published proceedingsEngineering Interaction Techniques in the Context of Critical Systems: are Usability and User Experience more important than Dependability and Safety as claimed by the HCI community?. 7th Indian Conference on Human-Computer Interaction (INDIA HCI 2015).
- 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
- Books (monograph)A Notation and a Layered Architecture to Model Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions. vol:1190. CEUR-WS : Workshop proceedings.
- International journals articlesAn Approach for Supporting Distributed User Interface Orchestration over the Web. International Journal of Human-Computer Studies vol:711. p:53-76. Elsevier.
- 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 articlesA Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics. Pacific Rim International Symposium on Dependable Computing 2014 (PRDC). p:21-30. IEEE : Institute of Electrical and Electronics Engineers.
- International conferences articlesInside-In Search: An Alternative for Performing Ancillary Search Tasks on the Web. Latin American Web Congress 2014 (LA-WEB). p:91-99. IEEE : Institute of Electrical and Electronics Engineers.
- 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 articlesFormal Modelling of Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2014 (SIGCHI - EICS). p:173-178. ACM : Association for Computing Machinery.
- 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 articlesA Fault-Tolerant Software Architecture and its Formal Specification for Embedded, Real-Time Interactive Systems. European Conference on Embedded Real Time Software and Systems 2014 (ERTS). ERTS : Embedded Real Time Sofware and Systems.
- 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 articlesA fault-tolerant architecture for resilient interactive systems. Conférence Francophone sur l'Interaction Homme-Machine 2014 (IHM). p:80-90. ACM : Association for Computing Machinery.
- 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 journals articlesInteractive Cockpits as Critical Applications: a Model-Based and a Fault-Tolerant Approach. International Journal of Critical Computer-Based Systems vol:43. p:202-226. Inderscience Publishers.
- International conferences articlesPetriNect: A tool for executable modeling of gestural interaction. Visual Languages and Human-Centric Computing 2013 (VL/HCC). p:197-198. IEEE : Institute of Electrical and Electronics Engineers.
- International conferences articlesA generic framework for executable gestural interaction models. Visual Languages and Human-Centric Computing 2013 (VL/HCC). p:35-38. IEEE : Institute of Electrical and Electronics Engineers.
- 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 articlesFormal description of multi-touch interactions. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2013 (SIGCHI - EICS). p:207-216. ACM : Association for Computing Machinery.
- 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.
- International conferences articlesProposta de um Framework para Visualização de Dados Agregados por Similaridade para Auxiliar Consultas durante a Navegação na Web. Simposio Brasileiro de Fatores Humanos em Sistemas Computacionais 2013 (IHC). p:148-157. Sociedade Brasileira de Computação (SBC).
- International conferences articlesSupportive User Interfaces and Task Migratability in Smart Environments. Workshop on Distributed User Interfaces 2013 (DUI). p:42-45. University of Castilla - La Mancha.
- International conferences articlesWorkshop on engaging the human-computer interaction community with public policymaking internationally. ACM International Conference on Human Factors in Computing Systems 2013 (ACM CHI). p:3279-3282. ACM Digital Library.
- Conferences proceedings3rd International Conference on Application and Theory of Automation in Command and Control Systems. IRIT Press.
- Conferences articles without published proceedingsSystem Level Integrated Failure Analysis. HUDEP 2013.
- Conferences articles without published proceedingsPredicting and Mitigating Human Error Through Detailed Descriptions of Operators' Tasks. HUDEP 2013.
- Conferences articles without published proceedingsThe Need for Synchronous Communication to Enhance Collaboration and Cooperation between Industry and Academia. Workshop on Education and Training of Engineers and Researchers in Aeronautics, "Bridging the gap between policy, industry and academia" in conjunction with the ATM World Congress 2013.
2012
- Books partsModels as Representations for Supporting the Development of e-Procedures. p:301-315. Morgan Kaufmann Publishers.
- 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 articlesFault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach. Software Engineering for Resilient Systems 2012 (SERENE). p:32-46. Springer-Verlag.
- 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 articlesPosition Paper: Modelling Interactive Critical Systems using Interactive Cooperative Objects Formalism. Workshop on Formal Methods in Human-Machine Interaction 2012 (Formal H). Formal H : workshop on Formal Methods in Human-Machine Interaction.
- International conferences articlesTask Models as a Central Artifact for Designing, Building and Operating Safe, Usable and Reliable Interactive and (partly-)Autonomous Applications. European Conference on Cognitive Ergonomics 2012 (ECCE). ACM : Association for Computing Machinery.
- International conferences articlesAutomation in command and control systems: what should be remembered and what should be forgotten when designing Safe, Usable, Reliable and Enjoyable intelligent vehicles. Workshop on Human Factors for Intellignet Vehicles 2012 (HFIV).
- 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 articlesA Tool-supported Development Process for Bringing Touch Interactions into Interactive Cockpits for Controlling Embedded Critical Systems. International Conference on Human-Computer Interaction in Aeronautics 2012 (HCI'Aero). ACM Digital Library.
- International conferences articlesEngineering Animations in User Interfaces. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2012 (SIGCHI - EICS). p:25-36. ACM Press.
- 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 proceedingsATACCS'2012: 2nd International Conference on Application and Theory of Automation in Command and Control Systems. IRIT.
- Conferences articles without published proceedingsChallenges for Master Programs on Human-Computer Interaction (HCI): experience report of the M2IHM. Workshop on HCI: Web and Graphics Curricula at WWW 2012.
- 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 articlesSelf-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques. Pacific Rim International Symposium on Dependable Computing 2011 (PRDC). p:164-173. IEEE : Institute of Electrical and Electronics Engineers.
- 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 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 articlesSelf-Checking Widgets for Interactive Cockpits. European Workshop on Dependable Computing 2011. p:34-42. ACM Digital Library.
- International conferences articlesIntegrating Gaming Research and Practice in the Design of User Interface of (partly)-Autonomous Safety-Critical Systems. International Conference on Application and Theory of Automation in Command and Control Systems 2011 (ATACCS). p:23-30. ACM Digital Library.
- International conferences articlesUsability Evaluation: Commonalities and Discrepancies in Games and Safety Critical Systems. European Workshop on HCI Design and Evaluation 2011. p:45-53. ACM Digital Library.
- International conferences articlesEngineering Automation in Interactive Critical Systems. International Conference on Human-Computer Interaction 2011 (HCI). p:1345-1349. ACM Digital Library.
- 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 proceedings1st International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS'2011). ISBN: 978-2-917490-14-3. IRIT Press.
- Conferences proceedingsIFIP TC13 Conference on Human-Computer Interaction (INTERACT 2011). LNCS6949. Springer.
- Conferences proceedingsIFIP TC13 Conference on Human-Computer Interaction (INTERACT 2011). LNCS6946. Springer.
- Conferences proceedingsIFIP TC13 Conference on Human-Computer Interaction (INTERACT 2011). LNCS6948. Springer.
- Conferences proceedingsIFIP TC13 Conference on Human-Computer Interaction (INTERACT 2011). LNCS6947. Springer.
- 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 articlesDesigning Interactive Systems neither Interaction nor Interfaces. Congreso Internacional de Interaccion Persona-Ordenador 2010. p:5-13. ACM Digital Library.
- International conferences articlesAn Approach for Assessing both Usability and Dependability of Interactive Systems: Application to Interactive Cockpits. International Conference on Human-Computer Interaction in Aeronautics 2010 (HCI'Aero). p:120-130. ACM Digital Library.
- 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 articlesModel-Based Usability Evaluation and Analysis of Interactive Techniques. Workshop on Model Driven Development of Advanced User Interfaces 2010 (MDDAUI). vol:617. p:21-24. 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.
- International conferences articlesBeyond Modelling: An Integrated Environment Supporting Co-Execution of Tasks and Systems Models. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2010 (SIGCHI - EICS). p:143-152. ACM SIGCHI.
- National conferences articlesDéfis pour les Approches Formelles pour l'Ingénierie des Systèmes Interactifs. Journées Francophones MODÈLES FORMELS de l'INTERACTION 2010 (MFI). p:5-9.
- National conferences articlesUne approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction. ACM ISBN : 978-1-4503-0410-8. p:81-88. ACM Digital Library.
- National conferences articlesDesafios para Programas de Mestrado em Interação Humano-Computador (IHC): a experiência do M2IHM. Simpósio de Fatores Humanos em Sistemas Computacionais 2010 (IHC). ISSN 2178-7700vol:II. p:71-74. Sociedade Brasileira de Computação.
- Special issues of journalsMobile Context-Aware Applications for Ubiquitous Computing. Journal of Universal Computer Science vol:1615. John Wiley and Sons.
- Conferences proceedingsTask Models and Diagrams for User Interface Design (TAMODIA 2009). LNCS5963. Springer-Verlag.
- Conferences proceedings7th IFIP WG 13.5 Working Conference Human Error, Safety and Systems Development (HESSD 2009). LNCS5962. Springer-Verlag.
2009
- International journals articlesICOs: a Model-Based User Interface Description Technique dedicated to Interactive Systems Addressing Usability, Reliability and Scalability. Transactions on Computer-Human Interaction vol:164. p:1-56. ACM SIGCHI.
- Books partsTask Models and System Models as a Bridge between HCI and Sofware Engineering. Human-Computer Interaction Series. p:357-385. Springer.
- International conferences articlesFormal Description Techniques to Support the Design, Construction and Evaluation of Fusion Engines for SURE (Safe Usable, Reliable and Evolvable) Multimodal Interfaces. International Conference on Multimodal Interfaces and Workshop on Machine Learning for Multi-modal Interaction 2009 (ICMI-MLMI 2009). p:135-142. ACM : Association for Computing Machinery.
- International conferences articlesFusion Engines for Multimodal Interfaces: a survey. International Conference on Multimodal Interfaces and Workshop on Machine Learning for Multi-modal Interaction 2009 (ICMI-MLMI 2009). p:111-118. ACM : Association for Computing Machinery.
- International conferences articlesGaining assurance in a voter-verifiable voting system. International Conference on Dependability 2009 (DEPEND). DOI 10.1109/DEPEND.2009.2. p:99-104. IEEE Computer Society.
- International conferences articlesA Formal Approach Supporting the Comparative Predic-tive Assessment of the Interruption-Tolerance of Interactive Systems. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2009 (SIGCHI - EICS). p:211-220. ACM Press.
- International conferences articlesResilience of Interaction Techniques to Interrupts: A Formal Model-based Approach. IFIP TC 13 International Conference on Human-Computer Interaction 2009 (INTERACT). LNCSvol:15726. p:494-509. Springer-Verlag.
- International conferences articlesAssessing the usability of open verifiable e-voting systems: a trial with the system Prêt à Voter. International Conference on eGovernment & eGovernance 2009 (ICE-GOVE). vol:1ISBN 975-6339-00-0. p:281-296. Turksat (International Satellite and Cable Operator).
- International conferences articlesAn operator-centered, model-based framework for ground segment design, supporting training and operations. Ground System Architectures Workshop 2009 (GSAW). The Aerospace Corporation.
- International conferences articlesHigh-Fidelity Prototyping of Interactive Systems can be Formal too. HCI International 2009. p:21-30. Springer-Verlag.
- National conferences articlesUne Approche Formelle pour l'Evaluation de la Tolérance aux Interruptions des Système Interactifs. Conférence Francophone sur l'Interaction Homme-Machine 2009 (IHM). p:141-150. ACM Digital Library.
- Conferences proceedingsTC13 IFIP INTERACT 2009. LNCS 5726 / 5727. Springer.
- Conferences articles without published proceedingsBeyond bi-polinisation: embedding Safety Engineering and Reliability Engineering along with Usability and Software Engineering. EVAL-workshop at INTERACT 2009.
2008
- Books partsModel-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive Applications. Human-Computer Interaction Series. p:96-122. Springer.
- International conferences articlesAROVE-v: Assessing the resilience of open verifiable E-voting systems. European Dependable Computing Conference 2008 (EDCC). (Fast Abstract)ISBN 978-0-7695-3666-8/09. IEEE Computer Society.
- International conferences articlesUsability Service Continuation through Reconfiguration of Input and Output Devices in Safety Critical Interactive Systems. International Conference on Computer Safety, Reliability and Security 2008 (SAFECOMP). vol:LNCS. p:0-0. Springer-Verlag.
- International conferences articlesAn Architecture and a Formal Description Technique for User Interaction Reconfiguration of Safety Critical Interactive Systems. Design Specification and Verification of Interactive Systems 2008 (DSV-IS). vol:LNCS. p:0-0. Springer-Verlag.
- International conferences articlesBeyond usability for safety critical systems: How to be SURE (safe, usable, reliable, and evolvable)?. ACM International Conference on Human Factors in Computing Systems 2008 (ACM CHI). p:2133-2136. ACM : Association for Computing Machinery.
- International conferences articlesDealing with Reliability and Evolvability in Description Techniques for Next Generation User Interfaces. ACM International Conference on Human Factors in Computing Systems 2008 (ACM CHI). ACM : Association for Computing Machinery.
- International conferences articlesA Model-Based Approach Centred on Operational Procedures for the Development of Reliable and Usable Ground Segment Systems. AIAA International Conference on Space Operations 2008 (SpaceOps). p:0-0. American Institute of Aeronautics and Astronautics (AIAA).
- International conferences articlesFormal Modelling of Incidents and Accidents as a Means for Enriching Training Material for Satellite Control Operations. Safety and Reliability for managing Risk 2008 (ESREL). p:0-0. Taylor & Francis Group.
- International conferences articlesThe FAERUS Project: Formal Analysis of Evolving Resilient Usable Systems. European Dependable Computing Conference 2008 (EDCC). p:0-0. IEEE Computer Society.
- Conferences proceedingsDSV-IS 2008 15th International conference on Design, Specification,and Verification of Interactive Systems. Springer-Verlag.
- Conferences proceedings14th International conference DSV-IS 2007 (Design Specification and Verification of Interactive Systems) & EIS 2007 (Engineering Interactive Systems). Lecture Notes in Computer Science4940. Springer-Verlag.
2007
- International journals articlesFormal socio-technical barrier modelling for safety-critical interactive systems design. Elsevier's Safety Science vol:455. p:545-565. Elsevier.
- Books partsFrom DREAM to Realitiy: Specificities of Interactive Systems Development with respect to Rationale Management. p:155-172. Springer-Verlag.
- International conferences articlesUsability Study of Multi-Modal Interfaces using Eye-Tracking. IFIP TC 13 International Conference on Human-Computer Interaction 2007 (INTERACT). LNCSvol:24663. p:412-424. Springer-Verlag.
- International conferences articlesDREAM-TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of Choices for Safety Critical Interactive Systems. IFIP TC 13 International Conference on Human-Computer Interaction 2007 (INTERACT). p:0-0. Springer-Verlag.
- International conferences articlesModel-based Framework for Addressing Diversity, Usability and Reliability for Safety Critical Interactive Systems. IET International Conference on System Safety 2007. p:0-0. IEEE : Institute of Electrical and Electronics Engineers.
- International conferences articlesImproving modularity of interactive software with the MDPC architecture. Engineering Interactive Systems 2007 (EHCI-HCSE-DSVIS). p:321-338. Springer-Verlag.
- International conferences articlesOn the Benefit of Synergistic Model-based Approach for Safety Critical Interactive System Testing. TAsk MOdels DIAgrams for UI design 2007 (TAMODIA). p:0-0. Springer-Verlag.
- International conferences articlesA Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC Specification 661. IEEE International Symposium on Industrial Embedded Systems 2007 (SIES). 1-4244-0840-7. p:250-257. IEEE : Institute of Electrical and Electronics Engineers.
- International conferences articlesImproving Interactive Systems Usability using Formal Description Techniques: Application to HealthCare. Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society 2007 (USAB). p:21-40. Springer.
- International conferences articlesDREAM & TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of Choices for Safety Critical Interactive Systems. IFIP TC 13 International Conference on Human-Computer Interaction 2007 (INTERACT). p:525-540. Springer-Verlag.
- Conferences proceedings6th International Workshop on TASk MOdels and DIAgrams (TAMODIA'2007). LNCS4849. Springer-Verlag.
- Conferences proceedingsINTERACT 2007 11th IFIP TC 13 International Conference (Part II). Lecture Notes in Computer Science4662. Springer-Verlag.
- Conferences proceedingsINTERACT 2007 11th IFIP TC 13 International Conference (Part I). Lecture Notes in Computer Science4663. Springer-Verlag.
2006
- International journals articlesWhat Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?. Electronic Notes in Theoretical Computer Science vol:1572. p:207-211. Elsevier.
- International journals articlesAn Approach Integrating two Complementary Model-based Environments for the Construction of Multimodal Interactive Applications. Interacting with Computers vol:185. p:910-941. Elsevier.
- International conferences articlesSupporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri net Based Formal Specification. International Conference on Space Operations 2006 (SpaceOps). p:0-0. American Institute of Aeronautics and Astronautics (AIAA).
- International conferences articlesModel-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. Design Specification and Verification of Interactive Systems 2006 (DSV-IS). LNCS. p:25-38. Springer-Verlag.
- International conferences articlesClinical Application Design: Task Modeling with Failure in Mind (poster). World Congress on Internet in Medicine 2006 (MedNet). eHealthNews.eu.
- International conferences articlesAnalysis of Communication Breakdowns for eHealth Systems Design.(poster). Nordic Conference on eHealth and Telemedicine 2006 (NCeHT). STAKES.
- International conferences articlesSoftware hazards and barriers for informing the design of safety-critical interactive systems. Safety and Reliability for managing Risk 2006 (ESREL). p:1381-1388. Taylor & Francis Group.
- International conferences articlesAddressing Issues Raised by the Exploitation of Formal Specification Techniques for Interactive Cockpit Applications. International Conference on Human-Computer Interaction in Aeronautics 2006 (HCI'Aero). Cépaduès.
- International conferences articlesA Barrier-Approach to Inform Model-Based Design of Safety-Critical Interactive Systems. International Symposium of the ISSA Research Section Design process and human factors integration: Optimising company performances 2006. International Social Security Association (ISSA).
- International conferences articlesTesting Interactive Software: a Challenge for Usability and Reliability. ACM Conference on Human Factors in Computing Systems - Special Interest Group on Testing Interactive Software 2006 (CHI - SIGTIS). p:748-751. ACM : Association for Computing Machinery.
2005
- International journals articlesMultidisciplinary perspective on accident investigation. Special edition of Elsevier's Reliability Engineering and System Safety journal vol:9112. p:1502-1520. Elsevier.
- Books partsTool Support for Interactive Prototyping of Safety Critical Interactive Applications. Idea Group Reference Pub.
- Books partsDesign Rationale for Increasing Profitability of Interactive Systems Development. p:15. Idea Group Reference.
- International conferences articlesCOST 294: A Usability Research Community. Interact 2005. p:1012-1015. Lecture Notes in Computer Science, Springer Verlag.
- International conferences articlesTowards the Maturation of IT Usability Evaluation (MAUSE). Interact 2005. p:1134-1137. Lecture Notes in Computer Science, Springer Verlag.
- International conferences articlesMAUSE: Network of Usability Excellence. BCS HCI 2005. p:283-286. Springer Verlag.
- International conferences articlesA Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications. IFIP TC 13 International Conference on Human-Computer Interaction 2005 (INTERACT). p:170-183. Springer-Verlag.
- International conferences articlesRedesigning an Interactive Safety-Critical System to Prevent an Accident from Reoccurring. 24th European Annual Conference on Human Decision Making and Manual Control. (EAM) 2005. xx.
- International conferences articlesIncident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems. International Workshop on Design, Specification and Verification of Interactive Systems 2005 (DSVIS). p:123-139. Springer-Verlag.
- International conferences articlesWhat Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?. First International Workshop on Automated Specification and Verification of Web Sites (WWV'2005). p:33-36. LNCS.
- International conferences articlesCan we Rationalise the Design and Construction of Air Traffic Management Systems. HCI International 2005. TBD.
- International conferences articlesSupporting Intuition through Formal Specification of the User Interface for Military Aircraft Cockpit. HCI International 2005. TBD.
- International conferences articlesComplexity of Design in Safety Critical Interactive Systems:Gathering, Refining, Formalizing Multi-Type and Multi-Source Information while Ensuring Consistency, Reliability, Efficiency and Error-Tolerance. 2nd Workshop on Complexity in Design and Engineering 2005. p:45-58. GIST Technical Report G2005-1.
- Conferences proceedingsJoint EHCI-DSVIS 2004 conference proceedings. Springer, Lecture Notes in Computer Science n° 3425.
- Conferences articles without published proceedingsA Task Pattern Approach to Incorporate User Deviation in Task Models. Proceedings of the first ADVISES Young Researchers Workshop 2005.
- Conferences articles without published proceedingsExtending the Boundaries of Model-Based Development to Account for Errors. Model Driven Development of Advanced User Interfaces, Workshop at MoDELS/UML'2005, ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems.
- Conferences articles without published proceedingsWhat User Interface Tools are needed for Safety Critical Interactive Systems?. CHI 2005 Workshop : The Future of User Interface Design Tools.
2004
- International conferences articlesMultimodal and 3D Graphic Man Machine Interfaces to improve Operations. SpaceOps'2004 - Eighth International Conference on Space Operations. Canadian Space Agency.
- International conferences articlesA Model-Based Approach for Real-Time Embedded Multimodal Systems in Military Aircrafts. ICMI 2004 - Sixth International Conference on Multimodal Interfaces. p:243-250. ACM Press.
- International conferences articlesVery-High-Fidelity Prototyping for both Presentation and Dialogue Parts of Multimodal Interactive Systems. IFIP Working Conference on Engineering for Human-Computer Interaction (jointly with the 11th International Workshop on Design, Specification and Verification of Interactive Systems) 2004 (EHCI-DSVIS). LNCS3425. p:185-206. Springer.
- International conferences articlesA Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC 661 Specification. International Conference on Human-Computer Interaction in Aeronautics 2004 (HCI'Aero). EURISCO International.
- International conferences articlesTasks and Scenario-based Evaluation of Information Visualization Techniques. 3rd International Workshop on Task Models and Diagrams for User Interface Design - TAMODIA¿2004. p:165-172. ACM SIGCHI.
- International conferences articlesSWCEditor: A Model-based Tool for interactive Modelling of Web Navigation. CADUI 2004 5th International Conference on Computer-Aided Design of User Interfaces. p:55-56. Kluwer Academic Publisher.
- International conferences articlesTask Patterns For Taking Into Account In An Efficient And Systematic Way Both Standard And Erroneous User Behaviours. IFIP 13.5 Working Conference on Human Error, Safety and Systems Development (HESSD) 2004. p:109-130. Kluwer Academic Publisher.
- International conferences articlesComprehensive Handling of Temporal Issues in Tasks Models: What is needed and How to Support it?. Workshop of The Temporal Aspects Of Work For HCI, CHI 2004.-April 24-29, 2004. p:6. ACM.
- Conferences proceedingsHuman Error, Safety and Systems Development 2004. Proceedings of HESSD 2004. Kluer Academics. ISBN 1-4030-8152-9.
- Conferences proceedings3rd International Workshop on Task Models and Diagrams for User Interface Design - TAMODIA 2004. ACM SIGCHI.
2003
- International journals articlesA tool-supported design framework for safety critical interactive systems. Interacting with Computers vol:153. p:309-328. Elsevier.
- Books partsNotations en IHM pour une modélisation synergique des tâches et du système. Hermès.
- International conferences articlesA Model-Based Approach for Engineering Multimodal Interactive. INTERACT'2003 : Ninth IFIP TC13 International Conference on Human-Computer Interaction. p:543-550. IOS Press.
- International conferences articlesDescription Formelle d¿une Technique d¿Interaction Multimodale dans une Application de Réalité Virtuelle Immersive. IHM'2003 : 15th French Speaking conference on human-computer interaction. p:150-157. ACM Press.
- International conferences articlesUsando Modelagem Formal para Especificar Interação em Ambientes Virtuais: Por que?. VI Symposium on Virtual Reality 2003. p:81-92. SBC - Brazilian Computer Society.
- International conferences articlesSynergistic Use of Visualisation Technique and Web Navigation Model for Information Space Exploration. 10th International Conference on Human-Computer Interaction ¿ HCI International¿2003. p:1091-1095. Lawrence Erlbaum Associates.
- International conferences articlesAutomatic Generation of Interactive Systems: Why A Task Model is not Enough. HCI International¿2003 - 10th International Conference on Human-Computer Interaction. p:198-202. Lawrence Erlbaum Associates.
- International conferences articlesA Formal Description Technique Dedicated to Navigation Modelling of Web Applications. International Workshop on Design, Specification and Verification of Interactive Systems - DSVIS'2003. p:61-76. LNCS.
- International conferences articlesPetri Net Centered versus User Centered Petri Nets Tools. AWPN 2003 - 10th Workshop Algorithms and Tools for Petri Nets. ---.
- International conferences articlesStateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications. Design Specification and Verification of Interactive Systems 2003 (DSV-IS). p:61-67. Springer-Verlag.
- Conferences proceedingsPeople and Computers XVII - Designing for Society Proceedings of HCI 2003. Springer Verlag. ISBN 1-85233-766-4.
- Conferences articles without published proceedingsUML for Interactive Systems: What is Missing. INTERACT 2003 - Workshop on Software Engineering and HCI.
2002
- International conferences articlesReconciling Safety and Usability Concerns through Formal Specification-based Development Process. International Conference on Human-Computer Interaction in Aeronautics 2002 (HCI'Aero). p:23-29. EURISCO International.
- International conferences articlesModel-Based Interactive Prototyping of Highly Interactive Applications. CADUI'2002 - 4th International Conference on Computer-Aided Design of User Interfaces. Kluwer.
- International conferences articlesA Model Based Tool for Interactive Prototyping of Highly Interactive Applications. CHI'2002 - ACM Conference on Human Factors in Computing Systems. ACM Press.
- International conferences articlesA Generic Formal Description Technique for Fusion Mechanisms of Multimodal Interactive Systems. Workshop on Multimodal Resources and Multimodal Systems Evaluation, THIRD INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, LREC2002. p:63-70. ELRA.
- International conferences articlesTask-Based Assessment of Web Navigation Design. First International Workshop in Task Models and Diagrams for User Interface Design - TAMODIA'2002. p:161-169. ACM SIGCHI.
- International conferences articlesPerformance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems. DSV-IS 2002 - 9th International Workshop, Design Specification and Verification of Interactive Systems. p:208-222. Springer, Lecture notes in Computer Science 2545.
- National conferences articlesUne 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. 14th Conférence Francophone sur l'Interaction Homme-Machine - IHM'2002. p:153-160. AFIHM.
- National conferences articlesEvaluation de Performance et Modèles de Tâches comme Support à la Conception Rationnelle des Systèmes Interactifs. 14ème conférence francophone en Interaction Homme Machine, IHM 2002. p:17-24. ACM Press.
- Conferences articles without published proceedingsAutomatic Evaluation for the Web: How Improve Navigation Guidelines. Workshop on Automated Testing in ACM Conference on Computer-Human Interaction - CHI¿2002.
2001
- International conferences articlesDesigning Navigation for Web Interfaces. Annual Conference of the BCS-HCI Group jointly with Annual Conference of AFIHM 2001 (IHM-HCI). (Short paper). p:43-46. Cépaduès Editions.
- International conferences articlesA Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. RSP'01 - 12th IEEE International Workshop on Rapid System Prototyping 2001. IEEE.
- International conferences articlesA Tool Suite for Integrating Task and System Models Through Scenarios. DSV-IS'2001 - 8th Eurographics workshop on Design, Specification and Verification of Interactive Systems. Springer, Lecture Notes in Computer Science 2220.
- International conferences articlesTowards a General Guidance and Support Tool for Usability Optimization. International Conference on Universal Access in Human-Computer ¿ UAHCI¿2001. Lawrence Erlbaum Associates.
- International conferences articlesUsability Evaluation Methods: What is still missing for the Web?. 8th International Conference on HCI International 2001. Lawrence Erlbaum Associates.
- National conferences articlesAvaliação da Navegação de Interfaces Web a partir de Modelos. IV Simpósio sobre Fatores Humanos em Sistemas Computacionais ¿ IHC¿2001. SBC.
2000
- International conferences articlesIntegrating Prototyping and Formal Methods as a means for Reconciling Usability and Safety. Workshop on Safety and Usability Concerns in Aeronautics - IFIP WG 13.5 - Workshop within HCI-Aero 2000. p:41-47. European Institute of Cognitive Science and Engineering.
1999
- National conferences articlesExploitation des notations de Design Rationale pour une conception justifiée des applications interactives. Conférence Francophone sur l'Interaction Homme-Machine 1999 (IHM). Cépaduès.