Displaying 605 out of 605 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.
- Books partsLDViz: a tool to assist the multidimensional exploration of SPARQL endpoints. WEBIST 2020/2021, LNBIP 469. WEBIST 2020/2021, LNBIP 469.
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 articlesEngineering Annotations to Support Analytical Provenance in Visual Exploration Processes. ICWE 2022 - 22nd International Conference of Web Engineering. p:1-16.
- 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 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 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.
- International conferences articlesChallenges for operationalizing XAI in Critical Interactive Systems. ACM CHI Workshop on Operationalizing Human-Centered Perspectives in Explainable AI (HCXAI @ CHI 2021).
- 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
- Books (monograph)Beyond Interactions. 17th IFIP Conference on Human-Computer Interaction (INTERACT 2019). Springer.
- International journals articlesA Glimpse into the Past, Present, and Future of Engineering Interactive Computing Systems. Proceedings of the ACM on Human-Computer Interaction. p:1-32.
- 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 articlesSecure Email - A Usability Study. International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC @ International Conference on Financial Cryptography and Data Security (FC 2020). FC 2020: Workshops, International Conference on Financial Cryptography and Data Security. p:36-46.
- 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 proceedingsEICS '20 Companion: Companion Proceedings of the 12th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. 12th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2020). ACM : Association for Computing Machinery, New York, NY, United States.
- Conferences proceedingsAVI '20: Proceedings of the International Conference on Advanced Visual Interfaces. International Conference on Advanced Visual Interfaces (AVI 2020). ACM : Association for Computing Machinery, New York, NY, United States.
- 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 articlesModel-Based Approach to Design and Develop Usable and Dependable Recommender Systems. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2018 (SIGCHI - EICS). ACM : Association for Computing Machinery.
- International conferences articlesInteractive System Testing: Beyond GUI Testing. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2018 (SIGCHI - EICS). vol:article 18. ACM SIGCHI.
- 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 articlesThe Future of Media Consumption: Results from a Comparative Study of Consumer Behaviour Changes in the Living Room. International Broadcasting Convention 2018 (IBC). IBC.
- 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 proceedingsGlobal Thoughts, Local Designs - INTERACT 2017 IFIP TC 13 Workshops. LNCS10774. Springer.
- 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 Comparative Study of Milestones for Featuring GUI Prototyping Tools. Journal of Software Engineering and Applications vol:106. p:564-589. Scientific Research Publishing.
- International journals articlesA Formal Ontology for Describing Interactive Behaviors and Supporting Automated Testing on User Interfaces. International Journal of Semantic Computing vol:1104. p:513-539. World Scientific.
- International journals articlesAn End User Development Approach for Mobile Web Augmentation. Mobile Information Systems vol:20172525367. p:1-28. Hindawi Publishing Corporation.
- International journals articlesA Model-based Approach for Describing Offline Navigation of Web Applications. Journal of Web Engineering vol:16. p:1-38. Rinton Press.
- 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 partsThe Goals Approach: Agile Enterprise Driven Software Development. Lecture Notes in Information Systems and Organizationvol:22. p:201-219. 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 articlesAuthenticating the TV User by Biometric Continous Measurements. International Broadcasting Convention 2017 (IBC). IBC.
- International conferences articlesUsing Speech to Search: Comparing Built-in and Ambient Speech Search in Terms of Privacy and User Experience. International Broadcasting Convention 2017 (IBC). IBC.
- 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 articlesA Scenario-Based Approach for Checking Consistency in User Interface Design Artifacts. Simposio Brasileiro de Fatores Humanos em Sistemas Computacionais 2017 (IHC). p:21-30. ACM : Association for Computing Machinery.
- 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 articlesClusterVis: visualizing nodes attributes in multivariate graphs. ACM Symposium on Applied Computing 2017 (SAC). p:174-179. ACM : Association for Computing Machinery.
- International conferences articlesSupporting Mobile Web Augmentation by End Users. International Conference on Web Engineering 2017 (ICWE). p:539-543. Springer.
- International conferences articlesFrom Search Engines to Augmented Search Services: An End-User Development Approach. International Conference on Web Engineering 2017 (ICWE). p:115-133. Springer.
- International conferences articlesEnd-user software engineering for the personal web: poster. International Conference on Software Engineering 2017. p:216-218. IEEE Computer Society.
- International conferences articlesA Behavior-Based Ontology for Supporting Automated Assessment of Interactive Systems. IEEE International Conference on Semantic Computing 2017. p:250-257. IEEE : Institute of Electrical and Electronics Engineers.
- 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.
- Conferences proceedings16th IFIP TC 13 International Conference on Human Computer Interaction (INTERACT). Springer.
- Conferences proceedingsProceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017. ACM : Association for Computing Machinery.
2016
- International journals articlesHuman-Computer Interaction and International Public Policymaking: A Framework for Understanding and Taking Future Actions. Foundations and Trends in Human-Computer Interaction vol:91. p:69-149. ACM : Association for Computing Machinery.
- International journals articlesAn Approach for Multi-Artifact Testing Through an Ontological Perspective for Behavior-Driven Development. Complex Systems Informatics and Modeling Quarterly vol:7. p:81-107.
- International journals articlesIdentification of UX dimensions for incident reporting systems with mobile applications in urban contexts: a longitudinal study. Cognition, Technology & Work vol:184. p:673-694. Springer.
- 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 Experience Evaluation Methods: Lessons Learned from an Interactive TV Case-Study. 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:351-358. Springer.
- 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 articlesDefinition of a Behavior-Driven Model for Requirements Specification and Testing of Interactive Systems. IEEE International Requirements Engineering conference 2016 (RE). p:444-449. IEEE : Institute of Electrical and Electronics Engineers.
- International conferences articlesFlexible distribution of existing Web interfaces: an architecture involving developers and end-users. Workshop on Distributed User Interfaces 2016 (DUI). LNCS9881. p:200-207. Springer.
- International conferences articlesTowards Automated Requirements Checking Throughout Development Processes of Interactive Systems. Workshop on Continuous Requirements Engineering 2016 (CRE). vol:1564. CEUR-WS : Workshop proceedings.
- International conferences articlesBridging Enterprise and Software Engineering Through an User-Centered Design Perspective. International Conference On Web Information Systems Engineering 2016. Lecture Notes in Computer Sciencevol:10042. p:349-357. Springer.
- International conferences articlesPANDA: prototyping using annotation and decision analysis. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2016 (SIGCHI - EICS). p:171-176. ACM : Association for Computing Machinery.
- International conferences articlesWeb Objects Ambient: an integrated platform supporting new kinds of Personal Web experiences. International Conference on Web Engineering 2016 (ICWE). LNCS9671. p:563-566. Springer.
- International conferences articlesPersonal Information Management in Educational Context: the importance of unification to information access. World Conference on Educational Media and Technology 2016 (EdMedia). p:69-74. Association for the Advancement of Computing in Education.
- International conferences articlesThe Goals Approach: Agile Enterprise Driven Software Development. International Conference on Information Systems Development 2016. p:247-259. AIS Electronic Library.
- International conferences articlesThe Goals Approach: Enterprise Model-Driven Agile Human-Centered Software Engineering. Human-Centered Software Engineering 2016 (HCSE). Lecture Notes in Computer Sciencevol:9856. p:261-280. Springer.
- International conferences articlesTesting Prototypes and Final User Interfaces Through an Ontological Perspective for Behavior-Driven Development. Human-Centered Software Engineering 2016 (HCSE). Lecture Notes in Computer Sciencevol:9856. p:86-107. Springer.
- International conferences articlesAbstracting and Structuring Web Contents for Supporting Personal Web Experiences. International Conference on Web Engineering 2016 (ICWE). LNCS9671. p:77-95. 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
- Books (monograph)Game User Experience Evaluation. Springer.
- International journals articlesInvestigating Attention Distribution Between the Television and Second Screen Applications - a Case Study with a Synchronised Second Screen Video Game. The Journal of the IET vol:7. p:15-21. IET : Institution of Engineering and Technology.
- International journals articlesUsability of accident and incident reports for evidence-based risk modeling - A case study on ship grounding reports. Elsevier's Safety Science vol:76. p:202-214. Elsevier.
- 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.
- International journals articlesIntroduction to this Special Issue on HCI and Games. Human-Computer Interaction vol:303-4. p:195-201. Taylor & Francis Online.
- Books partsDesigning and Assessing Interactive Systems Using Task Models. p:29-58. Brazilian Computing Society.
- Books partsEvaluating User Experience Factors using Experiments: Expressive Artificial Faces Embedded in Contexts. p:113-133. Springer.
- Books partsUser Experience Evaluation Methods in the Games Development Life Cycle. p:1-9. Springer.
- International conferences articlesModern approach for integrating safety events in a risk management process. Safety and Reliability of Complex Engineered Systems 2015. Taylor & Francis Group.
- International conferences articlesCreating an integrated risk picture for four modes of transport. Safety and Reliability of Complex Engineered Systems 2015. Taylor & Francis Group.
- 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 articlesUser Experience as a Parameter to Enhance Automation Acceptance: Lessons from Automating Articulatory Tasks. International Conference on Application and Theory of Automation in Command and Control Systems 2015 (ATACCS). ACM : Association for Computing Machinery.
- 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 articlesTV Interaction Beyond the Button Press - Exploring the Implications of Gesture, Pressure and Breath as Interaction Mechanisms for a TV User Interface. IFIP TC 13 International Conference on Human-Computer Interaction 2015 (INTERACT). Springer.
- International conferences articlesMore is More: Investigating Attention Distribution Between the Television and Second Screen Applications - a Case Study with a Synchronised Second Screen Video Game. International Broadcasting Convention 2015 (IBC). p:1-8. IBC.
- International conferences articlesUser Experience Centered Engineering: A Process Model Inspired by Games Development. IFIP TC 13.2. Workshop on UX Engineering at INTERACT 2015. p:7-14. Springer.
- International conferences articlesEngineering for User Experience: An Interactive TV Case Study. IFIP TC 13.2. Workshop on UX Engineering at INTERACT 2015. Springer.
- International conferences articlesUser Interface Adaptation Using Web Augmentation Techniques: Towards a Negotiated Approach. International Conference on Web Engineering 2015 (ICWE). LNCSvol:9114. p:147-164. Springer.
- 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 articlesA Review of Milestones in the History of GUI Prototyping Tools. Workshop on User Experience and User-Centered Development Processes 2015 (IFIP WG 13.2). INTERACT 2015 Adjunct Proceedingsvol:22. p:267-279. University of Bamberg Press.
- 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.
- Special issues of journalsEngineering the Web for Users, Developers and the Crowd. Journal of Web Engineering vol:5&614. Rinton 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.
- Books (monograph)User Experience Evaluation for Games and Entertainment, 2nd Edition. Human-Computer Interaction Seriesed:2. Springer.
- 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 articlesPublic policies and multilingualism in HCI. ACM Interactions vol:213. p:70-73. ACM : Association for Computing Machinery.
- International journals articlesPrototyping and analysing ubiquitous computing environments using multiple layers. International Journal of Human-Computer Studies vol:725. p:488-506. Elsevier.
- International journals articlesUser interface guidelines for the control of interactive television systems via smart phone applications. Behaviour and Information Technology vol:338. p:784-799. Taylor & Francis Group.
- 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 articlesGesture Interaction with a Bubble User Interface: Enhancing the User Experience. International Broadcasting Convention 2014 (IBC). p:1-8. IBC.
- 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 articlesSemantics of States and Transitions in statecharts-based markup languages: a comparative study between SWC and SCXML. Workshop on Engineering Interactive Computer Systems with SCXML 2014. p:28-32. Technical University of Darmstadt.
- 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 articlesThe bubble user interface: a tangible representation of information to enhance the user experience in IPTV systems. ACM conference on Designing Interactive Systems 2014 (DIS). p:85-88. ACM : Association for Computing Machinery.
- 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 articlesBringing Back the Analogue Feeling to TV User Interfaces - the Continuous Interaction Principle. Work in Progress Paper and Demo. International Conference on Tangible, Embedded and Embodied Interaction - Adjunct Proceedings. 2014 (TEI). ACM : Association for Computing Machinery.
- International conferences articlesGames and Entertainment Community SIG: Reaching beyond CHI (SIG). International Conference on Human-Computer Interaction 2014 (HCI). p:1123-1126. ACM : Association for Computing Machinery.
- International conferences articlesCHI 2014 Game Jam [4Research]: Game Jams as a Research Tool (Workshop). International Conference on Human-Computer Interaction 2014 (HCI). p:25-28. ACM : Association for Computing Machinery.
- 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 articlesThe accident of flight AF447 Rio-Paris: a case study for HCI research. Conférence Francophone sur l'Interaction Homme-Machine 2014 (IHM). p:60-69. ACM : Association for Computing Machinery.
- 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.
- Conferences proceedingsInternational Conference on Web Engineering (ICWE). LNCS8541. Springer.
- Conferences proceedingsHuman-Centered Software Engineering (HCSE). LNCS8742. Springer.
- Conferences articles without published proceedingsFrom Safety Indicators to Measuring Risk:the RiskGuided Transport Safety Agency. HCI Aero 2014 (Industrial track).
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 journals articlesIdentifying User Experience Dimensions for Mobile Incident Reporting in Urban Contexts. IEEE Transactions on Communications vol:562. p:40-82. IEEE : Institute of Electrical and Electronics Engineers.
- 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 articlesTangible Encoding of Temporal Data in Air Traffic Control. ACM International Conference on Human Factors in Computing Systems 2013 (ACM CHI). ACM : Association for Computing Machinery.
- International conferences articlesAssessing and Improving 3D Rotation Transition in Dense Visualizations. British Computer Society Human Computer Interaction Conference 2013. British Computer Society.
- International conferences articlesModelling of Automation Degradation: a Case Study. SESAR Innovation Days 2013. SESAR Work Package E.
- International conferences articlesA new perspective for the games and entertainment community. International Conference on Human-Computer Interaction 2013 (HCI). p:2489-2492. ACM : Association for Computing Machinery.
- International conferences articlesGame jam. International Conference on Human-Computer Interaction 2013 (HCI). p:3175-3178. ACM : Association for Computing Machinery.
- International conferences articlesEvaluating User Experience for Interactive Television: Towards the Development of a Domain-Specific User Experience Questionnaire. IFIP TC 13 International Conference on Human-Computer Interaction 2013 (INTERACT). LNCS8118. p:642-659. Springer.
- International conferences articlesEnhancing the User Experience of TV User Interfaces: The Continuous Interaction Principle. International Broadcasting Convention 2013 (IBC). Proceedings of International Broadcasting Convention Conference - IBC 2013. IBC.
- International conferences articlesIdentification of User Experience and Usability Dimensions for Second Screen Applications: Results from an Expert Evaluation Using Generic Task Models. International Broadcasting Convention 2013 (IBC). Proceedings of International Broadcasting Convention Conference - IBC 2013. IBC.
- 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 articlesAddressing dependability for interactive systems: application to interactive cockpits. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2013 (SIGCHI - EICS). p:163-166. ACM : Association for Computing Machinery.
- International conferences articlesA Model-based Approach for Test Cases Generation. IEEE Iberian Conference on Information Systems and Technologies 2013 (CISTI). p:213-218. IEEExplore digital library.
- 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 articlesTasks Model Composition: beyond data, representing user activities. Current Trends in Web Engineering - ICWE 2013 International Workshops (ICWE). LNCS8295. p:1-2. Springer.
- International conferences articlesMobile Applications for Incident Reporting Systems in Urban Contexts: lessons learned from an empirical study. European Conference on Cognitive Ergonomics 2013 (ECCE). p:29-38. ACM Digital Library.
- 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 articlesA Model-Based Approach for Supporting Offline Interaction with Web Sites Resilient to Interruptions. Current Trends in Web Engineering - ICWE 2013 International Workshops (ICWE). LNCS. p:156-171. Springer.
- 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 articlesMaking Distributed User Interfaces Interruption-Resistant: A Model-Based Approach. Workshop on Distributed User Interfaces 2013 (DUI). p:14-17. 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.
- International conferences articlesCharacterizing Incidents Reporting Systems across Applications Domains. HCI International 2013. LNCSvol:18004. p:521-530. Springer.
- International conferences articlesA Domain Specific Language for Orchestrating User Tasks Whilst Navigation Web Sites. International Conference on Web Engineering 2013 (ICWE). LNCS7977. p:224-232. Springer.
- International conferences articlesFlights in my Hands: Coherence Concerns in Designing Strip'TIC, a Tangible Space for Air Traffic Controllers. International Conference on Human-Computer Interaction 2013 (HCI). p:2175-2184. ACM Press.
- National conferences articlesCollaboration et tangibilité : de nouvelles perspectives pour le contrôle aérien. Conférence Francophone sur l'Interaction Homme-Machine 2013 (IHM). Archives ouvertes HAL.
- National conferences articlesExiste-t-il une différence entre langages visuels et textuels en termes de perception?. Conférence Francophone sur l'Interaction Homme-Machine 2013 (IHM). vol:IHM13. p:53-53. ACM : Association for Computing Machinery.
- National conferences articlesFormer les Futurs Concepteurs de Systèmes Homme-Machine Complexes. Conférence Francophone sur l'Interaction Homme-Machine 2013 (IHM). p:43-52. ACM : Association for Computing Machinery.
- National conferences articlesDesenvolvimento de Jogos Educativos na plataforma APEX: O Jogo da Asma. Interação 2013. p:90-97. Universidade de Trás-os-Montes e Alto Douro.
- Conferences proceedingsIFIP TC13 Conference on Human-Computer Interaction (INTERACT 2013). LNCS8120. Springer.
- Conferences proceedingsIFIP TC13 Conference on Human-Computer Interaction (INTERACT 2013). LNCS8119. Springer.
- Conferences proceedingsIFIP TC13 Conference on Human-Computer Interaction (INTERACT 2013). LNCS8118. Springer.
- Conferences proceedingsIFIP TC13 Conference on Human-Computer Interaction (INTERACT 2013). LNCS8117. Springer.
- 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
- International journals articlesHCI public policy activities in 2012. ACM Interactions vol:19. p:78-81. ACM : Association for Computing Machinery.
- International journals articlesGraph Bundling by Kernel Density Estimation. Computer Graphics Forum vol:31. p:865-874. Blackwell Publishing.
- International journals articlesVisual Scanning as a Reference Framework for Interactive Representation Design. Information Visualization vol:103. p:196-211. Palgrave Macmillan.
- Books partsModels as Representations for Supporting the Development of e-Procedures. p:301-315. Morgan Kaufmann Publishers.
- International conferences articlesLegible, are you sure?: an experimentation-based typographical design in safety-critical context. International Conference on Human-Computer Interaction 2012 (HCI). p:2287-2296. ACM : Association for Computing Machinery.
- International conferences articlesA Continuous Interaction Principle for Interactive Television. EuroiTV 2012. p:28-29. Fraunhofer FOKUS.
- International conferences articlesEnhancing Media Comsumption in the Living Room: Combining Smartphone Based Application with the 'Companion Box.' Demo. EuroiTV 2012. p:26-27. Fraunhofer FOKUS.
- 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 articlesGame user research. International Conference on Human-Computer Interaction 2012 (HCI). p:2679-2682. ACM : Association for Computing Machinery.
- International conferences articlesGames and entertainment community SIG: shaping the future. International Conference on Human-Computer Interaction 2012 (HCI). p:1173-1176. ACM : Association for Computing Machinery.
- International conferences articlesA set of recommendations for the control of IPTV-systems via smart phone based on the understanding of users practices and needs. International Interactive Conference on Interactive Television 2012 (EuroITV). p:143-152. ACM : Association for Computing Machinery.
- International conferences articlesActive progress bars: facilitating the switch to temporary activities. BCS HCI Group conference 2012. p:1963-1968. ACM : Association for Computing Machinery.
- International conferences articlesHistomages: fully synchronized views for image editing. ACM Symposium on User Interface Software and Technology 2012 (UIST). p:281-286. ACM : Association for Computing Machinery.
- 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 articlesIdentifying User eXperiencing factors along the development process: A case study. International Workshop on the Interplay between User Experience Evaluation and System Development 2012 (I-UxSED). p:37-42. Audio Visual Services - University of Leicester.
- 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 articlesChallenges for the Gamification of Incident Reporting Systems. Extended Proceedings of the 4th International Conference on Fun and Games 2012. ISBN: 978-2-917490-21-1. p:24-26. IRIT Press.
- 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 articlesA Model-Based Approach for Supporting Aspect-Oriented Development of Personal Information Management Systems. Workshop on Model-Driven and Agile Engineering for the Web 2012. LNCS7703. Springer.
- International conferences articlesSupporting Users Tasks with Personal Information Management and Web Forms Augmentation. International Conference on Web Engineering 2012 (ICWE). LNCS7387. p:268-282. Springer.
- International conferences articlesStrip'TIC: exploring augmented paper strips for air traffic controllers. Advanced Visual Interfaces 2012 (AVI). p:225-232. ACM : Association for Computing Machinery.
- 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 articlesEffective Automation in ATM: a new perspective on management and control of automated system. The First SESAR Innovation Days 2012. SESAR Work Package E.
- International conferences articlesEffective Automation in ATM: a new perspective on management and control of automated system. International Conference on Application and Theory of Automation in Command and Control Systems 2012 (ATACCS). p:158-161. IRIT.
- International conferences articlesSystem Performances under Automation Degradation (SPAD). The First SESAR Innovation Days 2012. SESAR Work Package E.
- International conferences articlesAugmenting the Scope of Interactions with Implicit and Explicit Structures. International Conference on Human-Computer Interaction 2012 (HCI). p:1937-1946. ACM : Association for Computing Machinery.
- 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 proceedingsExtended Proceedings of the 4th International Conference on Fun and Games. ISBN: 978-2-917490-21-1. IRIT Press.
- Conferences proceedings4th International Conference on Fun and Games. ICPSACM ISBN: 978-1-4503-1570-8. ACM : Association for Computing Machinery.
- Conferences proceedings4th International Conference on Human-Centered Software Engineering. LNCS7623. Springer.
- 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 articlesUsing Embodied Conversational Agents in Video Games to Investigate Emotional Facial Expressions. Journal of Entertainment Computing vol:21. p:29-37. IFIP.
- International journals articlesA Crowdsourced Approach for Concern-Sensitive Integration of Information across the Web. Journal of Web Engineering vol:104. p:289-351. Rinton Press.
- International journals articlesSecurity, privacy, and personalization: Informing next-generation interaction concepts for interactive TV systems. Computers in Entertainment vol:93, Article 17. p:1-33. ACM : Association for Computing Machinery.
- 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.
- International journals articlesSkeleton-based edge bundling for graph visualization. IEEE Transactions on Visualization and Computer Graphics vol:17. p:2364-2373. IEEE : Institute of Electrical and Electronics Engineers.
- International journals articlesMoleView: An Attribute and Structure-based Semantic Lens for Large Element-based Plots. IEEE Transactions on Visualization and Computer Graphics vol:17. p:2600-26009. IEEE : Institute of Electrical and Electronics Engineers.
- Books partsA Formal Model-Based Approach for Designing Interruptions-Tolerant Advanced User Interfaces. Studies in Computational Intelligencevol:Vol. 340. p:143-170. Springer.
- Books partsThe USUS Evaluation Framework for user-centered HRI. p:125-147. John Benjamins Publishing Company.
- Books partsEnvisioning Advanced User Interfaces for e-Government Applications: a Case Study. ISBN: 978-1-4419-7532-4. p:205-228. 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 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 articlesExperimenting and Improving Perception of 3D Rotation-Based Transitions between 2D Visualizations. IFIP TC 13 International Conference on Human-Computer Interaction 2011 (INTERACT). vol:6949/2011. p:531-534. Springer.
- International conferences articlesImproving Usability of Interactive Graphics Specification and Implementation with Picking Views and Inverse Transformations. Visual Languages and Human-Centric Computing 2011 (VL/HCC). p:153-160. IEEE : Institute of Electrical and Electronics Engineers.
- International conferences articlesAffective Game Dialogues: Using affect as an explicit input method in game dialogue systems. Advances in Computer Games 2011. p:101-110. Springer.
- International conferences articlesModeling animations for dependable interactive applications. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2011 (SIGCHI - EICS). ACM : Association for Computing Machinery.
- International conferences articlesBreaking myths: inferring interaction from infrared signals. EuroiTV 2011. p:137-140. ACM : Association for Computing Machinery.
- International conferences articlesGames and HCI: perspectives on intersections and opportunities. International Conference on Human-Computer Interaction 2011 (HCI). p:351-354. ACM SIGCHI.
- International conferences articlesGames and entertainment at CHI: towards forming a robust and ongoing community. ACM International Conference on Human Factors in Computing Systems 2011 (ACM CHI). p:439-442. ACM SIGCHI.
- International conferences articles5th Workshop on Software and Usability Engineering Cross-Pollination: Patterns, Usability and User Experience. IFIP TC 13 International Conference on Human-Computer Interaction 2011 (INTERACT). p:718-719. Springer.
- International conferences articlesTutorial: User Experience Evaluation in Games. IFIP TC 13 International Conference on Human-Computer Interaction 2011 (INTERACT). vol: 6949. p:716-717. Springer.
- International conferences articlesMethodological Challenges of UX Evaluation in the Living Room: Developing the IPTV-UX Questionnaire. IFIP's Working Group 13.2 Workshop on Software and Usability Engineering Cross-Pollination: Patterns, Usability and User Experience 2011 (PUX). p:51-61. CEUR-WS : Workshop proceedings.
- International conferences articlesEnhancing and Evaluating the User Experience of Interactive TV Systems and their Interaction Techniques. EuroITV 2011 - Adjunct Proceedings. p:43-46. Universidade Lusófona de Humanidades e Tecnologias.
- International conferences articlesProviding Feedback to UX Designers Using UX Evaluation Methods. Workshop on Designer Experience: Exploring Ways to Design in Experience at Conference on Human Factors in Computing Systems 2011 (CHI Workshop). Aalto University Strategic Usability Research Group.
- International conferences articlesMeasuring user experience in the living room: results from an ethnographically oriented field study indicating major evaluation factors. International Interactive Conference on Interactive Television 2011 (EuroITV). p:79-82. ACM : Association for Computing Machinery.
- International conferences articlesCombining interviews and scales in the multidimensional evaluation of user experience: a case study in 3D games. European Conference on Cognitive Ergonomics 2011 (ECCE). p:157-160. Universitätsdruckerei Rostock.
- International conferences articlesAn Approach and Tool Support for Assisting Users to Fill-in Web Forms with Personal Information. ACM International Conference on Design of Communication 2011 (ACM SIGDOC). p:195-202. ACM Digital Library.
- International conferences articlesPersonal Information Systems: User Views and Information Categorization. International Conference on Advances in Human-oriented and Personalized Mechanisms, Technologies, and Services 2011 (CENTRIC). p:40-47. IARIA.
- International conferences articlesA flexible architecture for Client-Side Adaptation. International Conference on Web Engineering 2011 (ICWE). p:327-331. Springer.
- International conferences articlesMobile Incident Reporting in Urban Contexts: Towards the Identification of Emerging User Interface Patterns. IFIP's Working Group 13.2 Workshop on Software and Usability Engineering Cross-Pollination: Patterns, Usability and User Experience 2011 (PUX). p:63-71. CEUR-WS : Workshop proceedings.
- International conferences articlesOverview of the Brazilian Computer Society's Council for Human-Computer Interaction (CEIHC). IFIP TC 13 International Conference on Human-Computer Interaction 2011 (INTERACT). LNCS6949. p:679-680. Springer.
- International conferences articlesA Tool Support for Web Applications Adaptation using Navigation History. IFIP TC 13 International Conference on Human-Computer Interaction 2011 (INTERACT). LNCS6949. p:337-344. Springer.
- International conferences articlesA Framework for Concern-Sensitive, Client-Side Adaptation. International Conference on Web Engineering 2011 (ICWE). LNCS6757. p:198-213. Springer.
- International conferences articlesActive progress bars: facilitating the switch to temporary activities. International Conference on Human-Computer Interaction 2011 (HCI). p:1963-1968. ACM : Association for Computing Machinery.
- International conferences articlesFrom Movement Tracks through Events to Places: Extracting and Characterizing Significant Places from Mobility Data. IEEE Conference on Visual Analytics Science and Technology 2011 (IEEE VAST). p:161-170. IEEE : Institute of Electrical and Electronics Engineers.
- 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 articlesHayaku: Designing and Optimizing Finely Tuned and Portable Interactive Graphics with a Graphical Compiler. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2011 (SIGCHI - EICS). p:117-126. ACM : Association for Computing Machinery.
- International conferences articlesSupporting Air Traffic Control Collaboration with a TableTop System. ACM Conference on Computer Supported Cooperative Work 2011 (CSCW). p:425-434. ACM : Association for Computing Machinery.
- 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.
- National conferences articlesUtilisation d'outils de Visual Data Mining pour l'exploration d'un ensemble de règles d'association. Conférence Francophone sur l'Interaction Homme-Machine 2011 (IHM). ACM : Association for Computing Machinery.
- National conferences articlesAmélioration du circuit visuel des contrôleurs aériens pour relier les données entre visualisations en utilisant des transitions animées. Conférence Francophone sur l'Interaction Homme-Machine 2011 (IHM). ACM : Association for Computing Machinery.
- National conferences articlesEdition Synchrone de Plusieurs Objets : Services et Interaction. Conférence Francophone sur l'Interaction Homme-Machine 2011 (IHM). ACM : Association for Computing Machinery.
- National conferences articlesEtude exploratoire du stylo électronique pour le Contrôle Aérien. Conférence Francophone sur l'Interaction Homme-Machine 2011 (IHM). ACM : Association for Computing Machinery.
- National conferences articlesProcessus de diagnostic de l'expérience d'usage d'applications interactives 3D: une étude de cas. Conférence de Psychologie Ergonomique 2011 (EPIQUE). p:325-332. Presses Universitaires de Nancy.
- National conferences articlesEnsino de IHC - Atualizando as Discussões sobre a Experiência Brasileira. Workshop sobre Educação em Computação 2011 (WEI). p:40-49. Sociedade Brasileira de Computação (SBC).
- 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.
- Conferences articles without published proceedingsVisualization of Uncertainty for Air Traffic Controllers. VisWeek Workshop on « Working with Uncertainty Workshop: Representation, Quantification, Propagation, Visualization, and Communication of Uncertainty 2011.
2010
- Books editionEvaluating User Experience in Games: Concepts and Methods. Human Computer Interaction Series. Springer.
- International journals articlesChallenges for the Development of User Interface Pattern Languages: A Case Study on the e-Government Domain. International Journal on WWW/INTERNET vol:Vol. 82. p:59-84. IADIS Digital Library.
- International journals articlesPTV: An End to End Perspective. Journal of Communications vol:55. p:358-373. Wiley.
- International journals articlesThe Future of IPTV: connected, mobile, personal and social. Multimedia Tools and Applications vol:march 2010. p:1-14. Springer-Verlag.
- International journals articlesL'Administration Électronique: The French Approach to E-Government. ACM Interactions vol:XVII6. p:52-55. ACM : Association for Computing Machinery.
- Books partsEvaluating User Experience Factors using Experiments: Expressive Artificial Faces Embedded in Contexts. p:165-186. Springer.
- Books partsEvaluating User Experience: Methods used in Entertainment. p:3-10. Springer.
- International conferences articlesMEDIA CONSUMPTION IS REVOLUTIONIZED? CROSS-MEDIA USAGE IN EUROPEAN HOUSEHOLDS. International Broadcasting Convention 2010 (IBC). vol:ISBN 978-0-9562331-1-0. IBC.
- International conferences articlesUX Evaluation for Multimodal Interaction in Games. Workshop Deng-VE at EICS 2010. Expertise Centre for Digital Media.
- International conferences articlesStudying Media Usage in the Living Room by Measuring Infrared Signals. Conference on Measuring Behavior 2010. p:352-355. ACM : Association for Computing Machinery.
- International conferences articlesDesigning Interactive Systems neither Interaction nor Interfaces. Congreso Internacional de Interaccion Persona-Ordenador 2010. p:5-13. ACM Digital Library.
- International conferences articlesA Methodological Adaptation for Heuristic Evaluation of HRI. IEEE International Symposium on Robot and Human Interactive Communication 2010 (RO-MAN). p:1-6. IEEE Computer Society - Conference Publishing Services.
- International conferences articlesA Descriptive Model of Visual Scanning. BEyond time and errors : novel evaLuation methods for Information Visualization 2010 (BELIV). ACM : Association for Computing Machinery.
- International conferences articlesAn automatic generation of metro-like maps to display Flight Routes for Air Traffic Controllers: structure and color optimization. Advanced Visual Interfaces 2010 (AVI). p:233-240. ACM : Association for Computing Machinery.
- 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 articlesClient-Side Adaptation: An Approach Based in Reutilization Using Transversal Models. International Conference on Web Engineering 2010 (ICWE). LNCSvol:6385. p:566-570. Staffordshire University.
- International conferences articlesCapture and Evolution of Web requirements using WebSpec. International Conference on Web Engineering 2010 (ICWE). LNCSvol: 6189. p:173-188. Springer-Verlag.
- 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 articlesUsing a Method Mix to Overcome Limitations in Studies of Technology Usage in the Home. Workshop on Methods for User Studies of Interactive Technologies at EuroITV 2010. University of Tampere.
- International conferences articlesEthnographic insights on security, privacy, and personalization aspects of user interaction in interactive TV. EuroiTV 2010. p:187-196. ACM : Association for Computing Machinery.
- International conferences articlesInteractive simplicity for iTV: minimizing keys for navigating content. EuroiTV 2010. p:137-140. ACM : Association for Computing Machinery.
- International conferences articlesInvestigating usability and user experience as possible entry barriers for touch interaction in the living room. EuroiTV 2010. p:145-154. 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 articlesIntegrating Internet-based services in IPTV: An Interaction Concept. Conférence Francophone sur l'Interaction Homme-Machine 2010 (IHM). p:233-236. ACM SIGCHI.
- National conferences articlesCross-Device Continuous Media Consumption: A Demonstration. Conférence Francophone sur l'Interaction Homme-Machine 2010 (IHM). p:217-220. ACM SIGCHI.
- 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.
- National conferences articlesMéthodes et outils de conception participative avec des utilisateurs non-voyants. Conférence Francophone sur l'Interaction Homme-Machine 2010 (IHM). p:65-72. ACM : Association for Computing Machinery.
- Special issues of journalsMobile Context-Aware Applications for Ubiquitous Computing. Journal of Universal Computer Science vol:1615. John Wiley and Sons.
- Conferences proceedingsHuman-Centred Software Engineering. LNCS6409. Springer.
- 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.
- Conferences proceedingsTópicos em Sistemas Colaborativos, Interativos, Multimídia, Web e Banco de Dados. I Edição dos minucursos conjuntos do SBSC, WebMedia, IHC e SBBD (S.W.I.B. 2010). ISBN: 857669249-2. Sociedade Brasileira de Computação (SBC).
- Conferences proceedings22ème Conférence Francophone sur l'Interaction Homme-Machine, IHM 2010. ACM SIGCHI SeriesISBN: 978-3-642-11749-7. ACM Digital Library.
- Conferences articles without published proceedingsSupporting Air Traffic Control Collaboration with a TableTop System. Forum sur l'interaction tactile et gestuelle 2010.
- Conferences articles without published proceedingsVisual analysis to support exploration of recorded UAV data. Humans Operating Unmanned Systems, HUMOUS 2010.
- Conferences articles without published proceedingsAccumulation as a tool for efficient visualization of geographical and temporal data. GeoVA(t) - Geospatial Visual Analytics: Focus on Time Interacting with temporal data. 2010.
- Conferences articles without published proceedingsExploration et gestion des connaissances des ressources en IHM. Communication informelle, IHM 2010.
- Conferences articles without published proceedingsUsability requirements for interaction-oriented development tools. 22nd Workshop of the Psychology of Programming Interest Group PPIG 2010.
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.
- International journals articlesFromDaDy: spreading data across views to support iterative exploration of aircraft trajectories. IEEE Transactions on Visualization and Computer Graphics vol:156. p:1017-1024. IEEE : Institute of Electrical and Electronics Engineers.
- International journals articlesLocal Communities & IPTV: Lessons Learned in an Early Design and Development Phase. Computers in Entertainment vol:73, Article 44. p:1-30. ACM : Association for Computing Machinery.
- Books partsUsability and User Experience Evaluation Methods. p:232-243. IGI Global.
- Books partsPersonalizing the TV Experience: Vocomedia - a Case Study from Interactive TV. p:149-160. IGI Global.
- Books partsDigital TV in Austria. p:5-12. VUBPRESS.
- Books partsMethods for Usability Evaluation of Multimodal Interfaces. p:454-466. IGI Global.
- Books partsMethods for involving users in the development of social interactive TV: Enhaning usability and user experience in non-tradtional environments. p:119-138. IGI Global.
- Books partsTask Models and System Models as a Bridge between HCI and Sofware Engineering. Human-Computer Interaction Series. p:357-385. Springer.
- International conferences articlesProfiling User Requirements for Multi-Target e-Government Applications: a case study. International Workshop on Design & Evaluation of e-Government Applications and Services 2009 (DEGAS). vol:492. p:9-16. CEUR-WS : Workshop proceedings.
- International conferences articlesBridging Software Evolution's Gap: The Multilayer Concept. Human Centered Design 2009 (HCD). long papervol:5619/2009. p:266-275. Springer.
- International conferences articlesUser Interface Patterns: a field study evaluation. IADIS e-Society 2009. ISBN: 978-072-8924-80-5. p:105-112. IADIS.
- International conferences articlesAre User Interface Pattern Languages Usable? A Report from the Trenches. IFIP TC 13 International Conference on Human-Computer Interaction 2009 (INTERACT). LNCSvol:25727. p:542-545. 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 articlesAdressing User Experience and Societal Impact in a User Study with a Humanoid Robot. Workshop on New Frontiers in Human-Robot Interaction at AISB 2009. p:149-157. The Society for the Study of Artificial Intelligence and Simulation of Behaviour.
- 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.
- International conferences articlesYsilex: a Friendly reading Interface for Dyslexics. IEEE International Conference on Information & Communication Technologies: from Theory to Applications 2009. long paper. p:0-0. IOS Press.
- National conferences articlesHayaku: maximiser le pouvoir d'expression du concepteur et l'efficacité de rendu de scènes graphiques interactives. Conférence Francophone sur l'Interaction Homme-Machine 2009 (IHM). p:325-328. ACM : Association for Computing Machinery.
- National conferences articlesGénération et placement de couleurs sur une vue de type métro. Conférence Francophone sur l'Interaction Homme-Machine 2009 (IHM). p:55-58. ACM : Association for Computing Machinery.
- National conferences articlesPIAFF: un outil d'aide à la saisie d'informations. Conférence Francophone sur l'Interaction Homme-Machine 2009 (IHM). p:355-358. ACM Digital Library.
- 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.
- National conferences articlesÉtude de l'impact d'une pré-visualisation des résultats d'un système de prédiction de caractères. Conférence Francophone sur l'Interaction Homme-Machine 2009 (IHM). p:235-238. ACM : Association for Computing Machinery.
- National conferences articlesOutils d'aide à la conception de rendus graphiques. Conférence Francophone sur l'Interaction Homme-Machine 2009 (IHM). p:303-312. ACM : Association for Computing Machinery.
- National conferences articlesReprésentations écologiques de données temporelles: exemples et apports. Conférence Francophone sur l'Interaction Homme-Machine 2009 (IHM). p:33-42. ACM : Association for Computing Machinery.
- National conferences articlesLe système KeyGlass. Journée d'Ergothérapie de Garches 2009. short paper. p:84-86. Association Nationale Française des Ergothérapeutes.
- Conferences proceedingsProceedings of the 2nd International Workshop on Design & Evaluation of e-Government Applications and Services (DEGAS'09). Vol. 492ISSN 1613-0073. CEUR-WS : Workshop proceedings.
- Conferences proceedingsTC13 IFIP INTERACT 2009. LNCS 5726 / 5727. Springer.
- Conferences proceedingsCOST294-MAUSE Closing Conference Proceedings : Maturation of Usability Evaluation Methods: Retrospect and Prospect (Final Reports of COST294-MAUSE Working Groups). ISBN 978-2-917490-06-8. IRIT Press.
- 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
- International journals articlesAnalyzing Tool Support for Inspecting Accessibility Guidelines during the Development Process of Web Sites. Journal of Web Engineering vol:74. p:281-298. Rinton Press.
- International journals articlesInteractive TV for the Home: An ethnographic study on users' requirements and experiences. International Journal of Human-Computer Interaction vol:242. p:174-196. Taylor & Francis Group.
- International journals articlesTrends in the Living Room and Beyond. Computers in Entertainment vol:52. ACM : Association for Computing Machinery.
- Books partsModel-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive Applications. Human-Computer Interaction Series. p:96-122. Springer.
- Books partsMethods for Usability Evaluation of Mobile Applications. p:742-755. IGI Global.
- International conferences articlesComparative Analysis of Tranformation Engines for User Interface Development. Workshop on Model Driven Development of Advanced User Interfaces 2008 (MDDAUI). vol:389ISSN 1613-0073. p:16-30. EURASIP.
- 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 articlesTowards a Library of Workflow User Interface Patterns. Design Specification and Verification of Interactive Systems 2008 (DSV-IS). LNCSvol:(Short paper)5136. p:92-101. Springer.
- International conferences articlesCascading Dialog Modeling with UsiXML. Design Specification and Verification of Interactive Systems 2008 (DSV-IS). LNCS5136. p:121-135. Springer.
- International conferences articlesMulti-level Dialog Modelling in Highly Interactive Web Interfaces. International Workshop on Web-Oriented Software Technologies 2008 (IWWOST). ISBN 978-80-227-2899-7. p:44-49. Springer-Verlag.
- International conferences articlesAn Ontology-Based Approach for Dealing with Web Guidelines. International Workshop on Web Usability and Accessibility 2008. LNCSvol:5176. p:132-141. Springer.
- International conferences articlesGraphic Rendering Considered as a Compilation Chain. Design Specification and Verification of Interactive Systems 2008 (DSV-IS). LNCS5136. p:267-280. Springer.
- International conferences articlesTowards Characterizing Visualizations. Design Specification and Verification of Interactive Systems 2008 (DSV-IS). LNCS5136. p:287-293. Springer-Verlag.
- International conferences articlesDesigning graphical elements for cognitively demanding activities: an account on fine-tuning for colors. Design Specification and Verification of Interactive Systems 2008 (DSV-IS). LNCS5136. p:136-148. Springer.
- 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 articlesModeling User Interfaces to Workflow Information Systems. IEEE International Conference on Autonomic and Autonomous Systems 2008. IEEE : Institute of Electrical and Electronics Engineers.
- 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 articlesOffline interoperability and cost reduction for operational procedures using meta-modeling technology. International Conference on Space Operations 2008 (SpaceOps). p:0-0. American Institute of Aeronautics and Astronautics (AIAA).
- 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 articlesA methodological variation for acceptance evaluation of Human-Robot Interaction in Public Places. IEEE International Symposium on Robot and Human Interactive Communication 2008 (RO-MAN). p:713-718. IEEE : Institute of Electrical and Electronics Engineers.
- International conferences articlesAn Ethnographic Study on Recommendations in the Living Room: Implications for Design of iTV Recommender Systems. EuroiTV 2008. vol:LNCS 5066. p:92-101. Springer.
- 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 proceedings8th Brazil Symposium on Human Factors on Computing Systems / VIII Simpósio Brasileiro de Fatores Humanos em Sistemas Computacionais (IHC 2008). ISBN: 978-85-7669-203-4. Sociedade Brasileira de Computação (SBC).
- 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.
- International journals articlesUsability and user experience of iTV services: lessions learned in an austrian field trial. Computers in Entertainment vol:52. ACM : Association for Computing Machinery.
- 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 articlesAccessibility Legislation and Codes of Practice: an Accessibility Study of Web Sites of French and Belgium Local Administrations. International Workshop on Design & Evaluation of e-Government Applications and Services 2007 (DEGAS). vol:285. p:19-22. CEUR-WS : Workshop proceedings.
- International conferences articlesFisheye Keyboard: Whole Keyboard Displayed on Small Device. ACM Symposium on User Interface Software and Technology - poster session 2007 (UIST). poster. p:65-66. ACM Press.
- International conferences articlesAnalyzing Tool Support for Inspecting Accessibility Guidelines during the Development Process of Web Sites. International Workshop on Web Usability and Accessibility 2007. vol:4832. p:470-480. Springer.
- 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 articlesTowards a universal catalogue of User Interface patterns for e-Government Web sites. International Conference of the European eGovernment Society 2007 (EGOV). p:227-232. Trauner Druck.
- International conferences articlesOrganizing user interface patterns for e-Government applications. Engineering Interactive Systems 2007 (EHCI-HCSE-DSVIS). ISBN 978-3-540-92697-9. p:601-619. 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:525-540. Springer-Verlag.
- International conferences articlesTrends in the living room and beyond. Amsterdam Colloquium on Formal Semantics 2007. p:146-155. ACM : Association for Computing Machinery.
- International conferences articlesPlayful Probing: Making Probing more Fun. IFIP TC 13 International Conference on Human-Computer Interaction 2007 (INTERACT). p:606-619. Springer.
- International conferences articlesImproving Users Comprehension of Changes with Animation and Sound: an Empirical Assessment. IFIP TC 13 International Conference on Human-Computer Interaction 2007 (INTERACT). p:207-220. Springer-Verlag.
- National conferences articlesExtension d'un modèle de visualisation pour la caractérisation d'interfaces graphiques dynamiques (article court). Conférence Francophone sur l'Interaction Homme-Machine 2007 (IHM). p:1-4. ACM : Association for Computing Machinery.
- National conferences articlesEffets des Paramètres Graphiques sur la Perception Visuelle : Expérimentations sur la Forme, la Surface, l'Orientation des Objets et la Définition des Ecrans. Conférence Francophone sur l'Interaction Homme-Machine 2007 (IHM). vol:397. p:23-30. ACM Press.
- National conferences articlesEvaluation expérimentale de Ysilex, un outil d'aide à la lecture pour les personnes dyslexiques. Congrès de la SOFMER (Société Française de Médecine Physique et de Réadaptation) 2007 (SOFMER). short paper. p:17. Société Française de Médecine Physique et de Réadaptation.
- Conferences proceedings6th International Workshop on TASk MOdels and DIAgrams (TAMODIA'2007). LNCS4849. Springer-Verlag.
- Conferences proceedingsAnais Estendidos do VII Simpósio sobre Fatores Humanos em Sistemas Computacionais (IHC 2006). Sociedade Brasileira de Computação.
- Conferences proceedingsProceedings of the 1st International Workshop on Design & Evaluation of e-Government Applications and Services (DEGAS'07). 285. CEUR-WS : Workshop proceedings.
- 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.
- Conferences proceedingsProceedings of the International Conference on Advances in Computer Entertainment Technology, ACE 2007. ACM : Association for Computing Machinery.
- Conferences proceedingsProceedings of the 4th International Symposium on Pervasive Gaming Applications. Shaker 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.
- National journals articlesConcevoir des applications graphiques interactives distribuées avec INDIGO. Revue d'Interaction Homme-Machine vol:72. p:247-274. Europia productions.
- 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 articlesExtending Automated Guidelines Inspection with an Ontology of User Interface of Web Applications. Workshop on Automated Specification and Verification of Web Systems 2006 (WWV). (Short paper). IEEE : Institute of Electrical and Electronics Engineers.
- International conferences articlesAutomating Guidelines Inspection: From Web site Specification to Deployment. Computer-Aided Design of User Interfaces 2006 (CADUI). p:0-0. Springer-Verlag.
- International conferences articlesModel-based support for specifying eService eGovernment applications. TAsk MOdels DIAgrams for UI design 2006 (TAMODIA). p:43-50. Springer-Verlag.
- International conferences articlesCitizens, Stakeholders and Designers: modeling for user diversity. Workshop on User involvement and representation in e-government projects 2006 (NordiCHI). SINTEF.
- International conferences articlesA Model-Driven Architecture for Logging Navigation. Workshop on Logging Traces of Web Activity 2006 (WWW). ACM : Association for Computing Machinery.
- 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.
- International conferences articlesArtistic Resizing: A Technique For Rich Scale-Sensitive Vector Graphics, UIST Reprise. International Conference on Computer Graphics and Interactive Techniques 2006 (GRAPHITE). p:6-6. ACM SIGGRAPH / IEEE.
- Conferences articles without published proceedingsAutomatisation de l'évaluation ergonomique durant la conception des applications Web. IHM 2006.
- Conferences articles without published proceedingsConception d'eServices dirigée par les modèles. IHM'06 (Rencontres Doctorales) 2006.
- Conferences articles without published proceedingsUne approche multi perspective pour la conception de systèmes interactifs critiques. Rencontres doctorales IHM 2006 la 18ème Conférence Francophone sur l'Interaction Homme-Machine.
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 articlesTowards a User-Centered Design of Web Applications based on a Task Model. International Workshop on Web-Oriented Software Technologies (IWWOST'2005). IEEE.
- 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 articlesSoftware Components: A Formal Semantics Based on Coloured Petri nets. FACS'05 - International Workshop on Formal Aspects of Component Software 2005. ENTCS.
- 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.
- International conferences articlesCombining SVG and models of interaction to build highly interactive user interfaces. International Conference on Space Operations 2005 (SpaceOps). South-East European Research Center (SEERC).
- International conferences articlesArtistic Resizing: A Technique For Rich Scale-Sensitive Vector Graphics. ACM Symposium on User Interface Software and Technology - poster session 2005 (UIST). p:201-210. ACM Press.
- National conferences articlesModélisation orientée tâche de la navigation d'un application Web: catalogue des thèses de l'AFIHM. 17émé Conférence Francophone sur l'Interaction Homme-Machine 2005. p:91-99. ACM : Association for Computing Machinery.
- National conferences articlesVOICE : une plate-forme vocale pour la formation au contrôle aérien. 17ème Conf. francophone sur l'Interaction Homme-Machine (IHM 2005). p:67-74. ACM Press.
- National conferences articlesINDIGO: une architecture pour la conception d'applications graphiques interactives distribuées. Conférence Francophone sur l'Interaction Homme-Machine 2005 (IHM). p:139-146. ACM Press.
- 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 articlesComponent-Based Behavioural Modelling with High-Level Petri Nets. MOCA '04 - Third Workshop on Modelling of Objects, Components and Agents 2004. p:37-46. DAIMI.
- 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.
- National conferences articlesVérification de règles ergonomiques sur un modèle de navigation des applications Web. Conférence Francophone sur l'Interaction Homme-Machine 2004 (IHM). p:259-262. ACM : Association for Computing Machinery.
- National conferences articlesUne architecture de dialogue basée sur un modèle pour les applications web. IHM 2004. p:251-254. ACM : Association for Computing Machinery.
- 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.
- Conferences articles without published proceedingsModèles Formels et Multimodalité. Colloque des doctorants de l'EDIT, EDIT' 03 2004.
- Conferences articles without published proceedingsA Formal Model of Component Behaviour. WiSME@UML 2004 - Workshop WS5 at the 7th International Conference on the UML.
- Conferences articles without published proceedingsUne approche centrée utilisateur des outils logiciels pour les techniques de description formelles: Application aux réseaux de Petri. Colloque des doctorants de l'EDIT, EDIT' 04 2004.
- Conferences articles without published proceedingsErreur humaine, modèles de tâches et description formelle pour la conception et l'évaluation des systèmes critiques et tolérant aux erreurs. Secondes Rencontres Jeunes Chercheurs en Interaction Homme-Machine (RJC-IHM) 2004.
- Conferences articles without published proceedingsLa conception rationalisée pour les systèmes interactifs. Rencontres Jeunes Chercheurs en Interaction Homme Machine, RJCIHM' 04 2004.
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 articlesTranscription and annotation of a apprenticeship corpus: application to the correction and self-correction strategies. ISCA Tutorial and Research Workshop on Error Handling in Spoken Dialogue Systems 2003. p:35-40. ISCA.
- 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.
- Conferences articles without published proceedingsDesign rationale pour la conception de systèmes interactifs. Colloque des doctorants de l'EDIT, EDIT' 03 2003.
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 articlesUsability issues in the evaluation of information visualization techniques. Advanced Visual Interfaces 2002 (AVI). (Poster). p:373-374. ACM SIGCHI.
- 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.