Publications of Celia MARTINIE DE ALMEIDA
Analysing and Demonstrating Tool-Supported Customizable Task Notations
Proceedings of the ACM on Human-Computer Interaction , 2019, 3 (12), pp.1-26. ⟨10.1145/3331154⟩
Engineering Issues Related to the Development of a Recommender System in a Critical Context: Application to Interactive Cockpits
International Journal of Human-Computer Studies, 2019, 121, pp.122-141. ⟨10.1016/j.ijhcs.2018.05.001⟩
A more intelligent test case generation approach through task models manipulation
Proceedings of the ACM on Human-Computer Interaction , 2017, 1 (EICS, article 9), pp.1-20. ⟨10.1145/3095811⟩
A Multi-Formalism Approach for Model-Based Dynamic Distribution of User Interfaces of Critical Interactive Systems
In : International Journal of Human-Computer Studies, Elsevier, Vol. 2013.08, (on line), September 2013.
Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach
In : Elsevier’s Safety Science, Elsevier, Special issue Reliability Engineering and System Safety, Vol. 96, pp. 38-52, January 2011.
Revisiting system’s pages in engine indication and alerting system for flight crew using the DSCU architecture and the OQCR system generic state description
INCOSE International Conference on Human System Integration (INCOSE HSI 2019), Sep 2019, Biarritz, France. pp.1-9
Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems
12th IEEE International Conference on Cyber Physical and Social Computing (CPSCom-2019), Jul 2019, Atlanta, United States. pp.0, ⟨10.1109/iThings/GreenCom/CPSCom/SmartData.2019.00132⟩
On the Importance of Supporting Multiple Stakeholders Points of View for the Testing of Interactive Systems
1st Workshop on Research and Practice Challenges for Engineering Interactive Systems while Integrating Multiple Stakeholders Viewpoints (EISM 2019), ACM SIGCHI, Jun 2019, Valencia, Spain. pp.113–121
Enriching Task Models with Usability and User Experience Evaluation Data
7th International Conference on Human-Centred Software Engineering (HCSE 2018), Sep 2018, Sophia Antipolis, France. pp.146-163, ⟨10.1007/978-3-030-05909-5_9⟩
Rationalizing the Need of Architecture-Driven Testing of Interactive Systems
7th International Working Conference on Human-Centered Software Engineering (HCSE 2018), Sep 2018, Sophia Antipolis, France. pp.164-186, ⟨10.1007/978-3-030-05909-5_10⟩
Using Task Descriptions with Explicit Representation of Allocation of Functions, Authority and Responsibility to Design and Assess Automation
5th IFIP Working Conference on Human Work Interaction Design (HWID), Aug 2018, Espoo, Finland. pp.36-56, ⟨10.1007/978-3-030-05297-3_3⟩
Specific Task Modeling for Cyber Physical Systems
Workshop on Heterogeneous Models and Modeling Approaches for Engineering of Interactive Systems, hold in conjunction with the 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2018), Jun 2018, Paris, France
A Generic Software and Hardware Architecture for Hybrid Interactive Systems
Workshop on Heterogeneous Models and Modeling Approaches for Engineering of Interactive Systems @ EICS 2018, Jun 2018, Paris, France
TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications
ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2018), Jun 2018, Paris, France. pp.1-7
Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems (CHI 2018)
ACM Conference on Human Factors in Computing Systems (CHI 2018), ACM SIGCHI : Special Interest Group on Computer-Human Interaction, Apr 2018, Montréal, Canada. pp.1-4, ⟨10.1145/3170427.3170652⟩
Explicit representation of function allocation and authority sharing (initiative and responsibility) (CHI 2018 Workshop – Interacting with Autonomous Vehicles: Learning from other Domains, Montréal, Canada, 22/04/2018-22/04/2018)
Workshop “Interacting with Autonomous Vehicles: Learning from other Domains” – ACM CHI Conference on Human Factors in Computing Systems – CHI 2018, Apr 2018, Montréal, Canada. pp.1-5
Safety-Critical Automation : Aircrafts, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives (HUDEP 2017)
5th Human Dependability Workshop: “Towards Human Centered Design in the whole system lifecycle” (HUDEP 2017), EAAP : European Association for Aviation Psychology, Nov 2017, Noordwijk, Netherlands
A List of Pre-Requisites to Make Recommender Systems Deployable in Critical Context
2nd Workshop on Engineering Computer-Human Interaction in Recommender Systems co-located with the 9th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EnCHIReS @ EICS 2017), Jun 2017, Lisbonne, Portugal. pp.42-55
Automation: danger or opportunity? Designing and assessing automation for interactive systems (CHI 2017)
CHI Conference on Human Factors in Computing Systems (CHI 2017), ACM SIGCHI: ACM Special Interest Group on Computer-Human Interaction, May 2017, Denver, Colorado, United States. pp.1257-1260, ⟨10.1145/3027063.3027115⟩
What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender Systems
Workshop on Engineering Computer-Human Interaction in Recommender Systems (EnCHIReS 2016), Jun 2016, Bruxelles, Belgium. pp.14-25
From Aircrafts Interactive Cockpits to Autonomous Vehicles: Are Design Principles Transferable ?
34th Conference on Human Factors in Computing Systems Workshop: HCI and Autonomous Vehicles (Workshop CHI 2016), May 2016, San Jose, United States. pp.1-4
Retour 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)
GT Modèles de Tâches – 27ème Conférence Francophone sur l’interaction Homme-Machine – IHM 2015, Association Francophone d’Interaction Homme-Machine (AFIHM), Oct 2015, Toulouse, France
Modeling and Analysis of Human Error Based on Tasks Descriptions: Connecting Research Knowledge with Practice (Human Dependability Workshop (HUDEP 2015)
Human Dependability Workshop (HUDEP 2015), Oct 2015, Darmstadt, Germany
Accounting 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 @ INTERACT 2015, IFIP : International Federation for Information Processing, Sep 2015, Bamberg, Germany. pp.101–116
Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces
4th Workshop on Distributed User Interfaces and Multimodal Interaction (DIU 2014), Jul 2014, Toulouse, France. pp.27-30, ⟨10.1145/2677356.2677662⟩
An approach for assessing the impact of dependability on usability: application to interactive cockpits.
European Dependable Computing Conference, May 2014, Newcastle upon Tyne, UK, United Kingdom. pp.198–209, ⟨10.1109/EDCC.2014.17⟩
Predicting and Mitigating Human Error Through Detailed Descriptions of Operators’ Tasks
In : HUDEP, Oberpfaffenhofen, Allemagne, 13/11/13-14/11/13.
Modelling of Automation Degradation: a Case Study (regular paper)
In : SESAR Innovation Days, Stockholm, Suède, 26/11/13-28/11/13, SESAR Work Package E, (on line), November 2013.
V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems Through Model Checking of Formal Description of Dialog (regular paper)
In : IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2013), Las Vegas, Nevada, Etats-Unis, 21/07/13-26/07/13, Springer, LNCS, pp. 290-299, July 2013.
Extending Procedural Task Models by Explicit and Systematic Integration of Objects, Knowledge and Information (regular paper)
In : European Conference on Cognitive Ergonomics (ECCE 2013), Toulouse, France, 26/08/13-28/08/13, ACM : Association for Computing Machinery, ECCE ’13 23, pp. 1-10, October 2013.
Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification (regular paper)
In : International Workshop on Formal Methods for Interactive Systems (FMIS 2013), London, 24/06/13, Electronic Communications of the EASST, (electronic medium), June 2013.
Understanding functional resonance through a federation of models: preliminary findings of an avionics case study (regular paper)
In : International Conference on Computer Safety, Reliability and Security (SAFECOMP 2013), Toulouse, France, 24/09/13-27/09/13, Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche (Eds.), Springer-Verlag, pp. 216-227, September 2013.
Model-based dynamic distribution of user interfaces of critical interactive systems (regular paper)
In : International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2013), Naples, Italy, 28/05/13-30/05/13, ACM : Association for Computing Machinery, pp. 66-75, 2013.
Tuning an HCI Curriculum for Master Students to Address Interactive Critical Systems Aspects (regular paper)
In : HCI International, LAS VEGAS Nevada USA, 21/07/13-26/07/13, Vol. Lecture Notes Computer Sc 8004, Kurosu Masaaki (Eds.), Springer USA, Human-Centred Design Approaches, Methods, Tools, and Environments ISBN 978-3-642-39231-3, pp. 51-60, August 2013.
A framework for modeling the consequences of the propagation of automation degradation: application to air traffic control systems (regular paper)
In : SESAR Innovation Days, Braunschweig, 27/11/12-29/11/12, Eurocontrol, (on line), December 2012.
Designing and Engineering Interactive Critical Systems Using Contributions from Gaming Research and Practice (short paper)
In : Workshop on Safety-Critical Systems and Video Games: Contradictions and Commonalities. In conjunction with 4th International Conference on Fun and Games (Fun&Games2012), Toulouse, 04/09/12-06/09/12, ACM Digital Library, (on line), September 2012.
Un processus de développement outillé pour l’exploitation systématique des bénéfices offerts par une conception des systèmes interactifs centrée tâches. (regular paper)
In : Conférence Francophone sur l’Interaction Homme-Machine (IHM 2012), Biarritz, 17/10/12-19/10/12, ACM Digital Library, (on line), October 2012.
Systematic Approaches to Training Encompassing Operators mission and Interaction Techniques (short paper)
In : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2012), Brussels, 12/09/12-14/09/12, ACM Digital Library, (on line), September 2012.
A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments (regular paper)
In : Human-Centered Software Engineering (HCSE 2012), Toulouse, 29/10/12-31/10/12, Winckler Marco, Forbrig Peter , Bernhaupt Regina (Eds.), Springer, LNCS 7623, pp. 112-134, October 2012.
A Design Process for Exhibiting Design Choices and Trade-offs in (potentially) Conflicting User Interface Guidelines (regular paper)
In : Human-Centered Software Engineering (HCSE 2012), Toulouse, France, 29/10/12-31/10/12, Marco Winckler, Peter Forbrig, Regina Bernhaupt (Eds.), Springer, LNCS 7623, pp. 53-71, October 2012.
Interactive Cockpits Applications: Modelling and Validation using a Petri-net based Formalism (regular paper)
In : European Congress on Embedded Real-Time Software (ERTS 2012), Toulouse, France, 01/02/12-03/02/12, ERTS : Embedded Real Time Sofware and Systems, (electronic medium), February 2012.
Some Issues with Interaction Design and Implementation in the Context of Autonomous Interactive Critical Systems (regular paper)
In : ACM International Conference on Human Factors in Computer Science (Workshop on End-user Interactions with Intelligent and Autonomous Systems), Austin, Texas, 05/05/12-10/05/12, ACM Digital Library, pp. 25-30, 2012.
Using Complementary ModelS-Based Approaches for Representing and Analysing ATM Systems’ Variability (regular paper)
In : International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2012), London, UK, 28/05/12-31/05/12, ACM Digital Library, (electronic medium), 2012.
A Systematic Approach to Training for Ground Segment using Tasks and Scenarios: Application to PICARD satellite (regular paper)
In : International Conference on Space Operations (SpaceOps 2012), Stockholm, Sweden, 11/06/12-15/06/12, American Institute of Aeronautics and Astronautics (AIAA), (electronic medium), 2012.
A Tool-Supported Training Framework for Improving Operators: Dependability Confronted with Faults and Errors (regular paper)
In : Safety and Reliability for managing Risk (ESREL 2012), Helsinki, Finland, 25/06/12-29/06/12, Taylor & Francis Group, pp. 25-36, 2012.
Pourquoi et comment exploiter la modélisation des tâches opérateurs dans les systèmes critiques: Application à la déclaration dincidents et à lopération des systèmes de commande et contrôles
In : Journée scientifique RTRA – FHAE (Facteurs Humains pour la Sécurité Aéronautique), Toulouse, 13/03/12-13/03/12.
System Performances under Automation Degradation (SPAD) (regular paper)
In : The First SESAR Innovation Days, Toulouse, France, 29/11/11-01/12/11, SESAR Work Package E, (on line), 2012.
UsiXML Concrete Behaviour with a Formal Description Technique for Interactive Systems (regular paper)
In : IFIP WG 2.7/13.4 Workshop on User Interface Description Languages (UIDL 2011), Lisbonne, Portugal, 06/09/11-06/09/11, Adrien Coyette, David Faure, Juan Gonzalez, Jean Vanderdonckt (Eds.), Thales Research and Technology, (electronic medium), 2011.
A Multi-Models Based Development Process for Critical Interactive Systems Integrating Formal and Informal Approaches
In : IFIP WG 2.7/13.4 Workshop on Combining Models and Design for interactive systems (ComDeisMoto 2011), Lisbonne, Portugal, 06/09/11-06/09/11.
Contextual Help for Supporting Critical Systems’ Operators: Application to Space Ground Segments
In : Workshop on Activity Context Representation, San Francisco, 07/08/11-08/08/11.
A Model-Based and Systematic Approach to Design and Assess the Level of Automation of Large Interactive Critical Systems (student paper)
In : International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2011), Barcelone, 26/05/11-27/05/11, IRIT Press, (electronic medium), 2011.
Task-Model Based Assessment of Automation Levels: Application to Space Ground Segments (regular paper)
In : IEEE International Conference on Systems, Man and Cybernetics, Anchorage, 09/10/11-12/10/11, IEEE Computer Society – Conference Publishing Services, pp. 3267-3273, October 2011.
Structuring and Composition Mechanisms to Address Scalability Issues in Task Models (regular paper)
In : IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2011), Lisboa, 05/09/11-09/09/11, Springer-Verlag, pp. 134-152, 2011.
Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs (regular paper)
In : International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2011), Barcelone, 26/05/11-27/05/11, IRIT Press, (electronic medium), 2011.
A Tool Supported Model-based Approach for Engineering Usability Evaluation of Interaction Techniques (regular paper)
In : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2011), Pise, Italie, 13/06/11-16/06/11, ACM Press, pp. 21-30, 2011.
Model-Based Training: An Approach Supporting Operability of Critical Interactive Systems: Application to Satellite Ground Segments (regular paper)
In : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2011), Pise, Italie, 13/06/11-16/06/11, Springer-Verlag, pp. 589-609, June 2011.
DREAMER: a Design Rationale Environment for Argumentation, Modeling and Engineering Requirements (regular paper)
In : ACM International Conference on Design of Communication (ACM SIGDOC 2010), Sao Paulo, Brésil, 26/09/10-29/09/10, Junia C. Anacleto, Renata Fortes M. Pontin, Carlos J. Costa (Eds.), ACM : Association for Computing Machinery, pp. 73-80, September 2010.
Embedding Requirements in Design Rationale to Deal Explicitely with User eXperience and Usability in an intensive Model-Based Development Approach (regular paper)
In : Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2010), Atlanta Georgia USA, 10/04/10, Vol. 617, Jan Van den Bergh, Stefan Sauer, Kai Breiner, Heinrich Hußmann, Gerrit Meixner (Eds.), CEUR-WS : Workshop proceedings, pp. 29-32, July 2010.
A formal approach supporting effective and efficient training program for improving operators reliability (regular paper)
In : Safety and Reliability for managing Risk (ESREL 2010), Rhodes Grece, 05/09/10-09/09/10, Taylor & Francis Group, pp. 234-243, 2010.
Dealing with Faults During Operations: Beyond Classical Use of Formal Methods
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.549–575, 2017, Human–Computer Interaction Series book series (HCIS), Human–Computer Interaction Series book series (HCIS). ⟨10.1007/978-3-319-51838-1_20⟩
Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.465–504, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_17⟩
Designing and Assessing Interactive Systems Using Task Models
Kronbauer, Arthur; Mattos, Ecivaldo; Sampaio, Andreia Libório; Boscarioli, Clodis. Book of Tutorials of the 14th Brazilian Symposium on Human Factors in Computing Systems (IHC 2015), Salvador Brazil, November 3-6, 2, Brazilian Computing Society, pp.29–58, 2015
A Formal Model-Based Approach for Designing Interruptions-Tolerant Advanced User Interfaces
In : Model-Driven Development of Advanced User Interfaces. Heinrich Hussmann, Gerrit Meixner, Detlef Zuehlke (Eds.) , Springer, pp. 143-170, Vol. Vol. 340, Studies in Computational Intelligence, 2011.
Formal Description Techniques for Human-Machine Interfaces – Model-Based Approaches for the Design and Evaluation of Dependable Usable Interactive Systems
In : Handbook of Human-Machine Interaction, A Human-Centered Approach. Guy A. Boy (Eds.) , Ashgate Publishing, (on line), April 2011.
Une approche à base de modèles synergiques pour la prise en compte simultanée de l’utilisabilité, la fiabilité et l’opérabilité des systèmes interactifs critiques
Master’s Thesis, Université Paul Sabatier, December 2011.
Properties verification of interactive systems by tool-supported analysis of its formal specification
Diffusion scientifique. April 2013.