Basic concepts and taxonomy of dependable and secure computing, IEEE Trans. on Dependable and Secure Computing, pp.11-33, 2004. ,
DOI : 10.1109/TDSC.2004.2
Petri Net Centered versus User Centered Petri Nets Tools. AWPN 2003 -10th Workshop on Algorithms and Tools for Petri Nets, 2003. ,
CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets, Proc. of ICATPN'2001: 22nd International Conference on Application and Theory of Petri Nets, pp.71-80, 2001. ,
DOI : 10.1007/3-540-45740-2_6
The model human processor: An engineering model of human performance, 1986. ,
Upside down As and algorithms ? computational formalisms and theory HCI Models Theories and Frameworks: Toward a Multidisciplinary Science, pp.381-429, 2003. ,
Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors, Proc. of IFIP TC 13 ,
DOI : 10.1007/978-3-319-22723-8_16
URL : https://hal.archives-ouvertes.fr/hal-01387758
Deleris Y: Interactive cockpits as critical applications: a model-based and a fault-tolerant approach, Int. Journal on Critical Component-Based Software, vol.4, issue.3, pp.202-226, 2013. ,
A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics, 2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing, pp.21-30 ,
DOI : 10.1109/PRDC.2014.11
Design principles for Interactive Software, 1996. ,
DOI : 10.1007/978-0-387-34912-1
Reliability assessment of spacecraft electronics, Annual Reliability and Maintainability Symp, pp.341-346, 1987. ,
The phenotype of erroneous actions Implications for HCI design, Human Computer Interaction and the Complex Systems, 1991. ,
Cognitive reliability and error analysis method (CREAM), 1998. ,
Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study, SAFECOMP, vol.2013, pp.216-227 ,
DOI : 10.1007/978-3-642-40793-2_20
URL : https://hal.archives-ouvertes.fr/hal-01223183
Task Model-Based Systematic Analysis of Both System Failures and Human Errors, IEEE Transactions on Human-Machine Systems, vol.46, issue.2 ,
DOI : 10.1109/THMS.2014.2365956
A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems, Proc. Int. Conf Comp. Safety, Rel. Security, pp.373-386, 2008. ,
DOI : 10.1007/978-3-540-87698-4_31
Autonomic fault mitigation in embedded systems, Engineering Applications of Artificial Intelligence, vol.17, issue.7 ,
DOI : 10.1016/S0952-1976(04)00116-2
Efficiency of transient bit-flips detection by software means: a complete study, Proceedings. 16th IEEE Symposium on Computer Arithmetic, pp.377-384 ,
DOI : 10.1109/DFTVS.2003.1250134
URL : https://hal.archives-ouvertes.fr/hal-00008193
Categorization of action slips., Psychological Review, vol.88, issue.1, 1981. ,
DOI : 10.1037/0033-295X.88.1.1
Identifying Phenotypes and Genotypes: A Case Study Evaluating an In-Car Navigation System. EHCI/DS-VIS, pp.227-242, 2007. ,
Preventing user errors by systematic analysis of deviations from the system task model, International Journal of Human-Computer Studies, vol.56, issue.2, pp.225-245, 2002. ,
DOI : 10.1006/ijhc.2001.0523
Theory of Safety-Related Violations of System Barriers, Cognition, Technology & Work, vol.4, issue.3, pp.171-179, 2002. ,
DOI : 10.1007/s101110200016
Skills, rules, and knowledge; signals, signs, and symbols, and other distinctions in human performance models, IEEE transactions: Systems, Man &Cybernetics, 1983. ,
DOI : 10.1109/TSMC.1983.6313160
Generic error modelling system: a cognitive framework for locating common human error forms. New technology and human error, p.86, 1987. ,
Human Error, 1990. ,
IC components reliability concerns for avionics endusers, Digital Avionics Systems Conference IEEE, pp.2-2, 2013. ,
Combining Human Error Verification and Timing Analysis. EHCI/DS-VIS, pp.18-35, 2007. ,
Handling human error. Expertise and technology: Cognition & human-computer cooperation, pp.195-212, 1995. ,
DRAM errors in the wild: a large-scale field study, ACM SIGMETRICS, pp.193-204, 2009. ,
Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification. International Workshop on Formal Methods for Interactive Systems, 2013. ,
Handbook of Human Reliability Analysis with Emphasis on Nuclear Power Plant Applications, Final report, NUREG/CR-1278. SAND80-0200. RX, AN. US Nuclear Regulatory Commission, 1983. ,
DOI : 10.2172/5752058
Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques, 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing, pp.164-173 ,
DOI : 10.1109/PRDC.2011.28
A data-based method for assessing and reducing human error to improve operational performance, Conference Record for 1988 IEEE Fourth Conference on Human Factors and Power Plants,, pp.436-450, 1988. ,
DOI : 10.1109/HFPP.1988.27540