Handbook of Ambient Assisted Living, 2012. ,
Principles of Model Checking, 2008. ,
Layered Analysis of Security Ceremonies, In: Information Security and Privacy. IFIP AICT, vol.376, pp.273-286, 2012. ,
DOI : 10.1007/978-3-642-30436-1_23
International standards for HCI and usability, International Journal of Human-Computer Studies, vol.55, issue.4, pp.533-552, 2001. ,
DOI : 10.1006/ijhc.2001.0483
Using formal verification to evaluate humanautomation interaction, IEEE Trans. Sys, vol.43, issue.3, pp.488-503, 2013. ,
DOI : 10.1109/tsmca.2012.2210406
Behavioral Game Theory: Experiments in Strategic Interaction, 2003. ,
An approach to formal verification of human???computer interaction, Formal Aspects of Computing, vol.54, issue.3, pp.513-550, 2007. ,
DOI : 10.1007/s00165-007-0035-6
Ceremony design and analysis. Cryptology ePrint Archive Rep, p.399, 2007. ,
Handbook of Sustainable Travel, 2014. ,
DOI : 10.1007/978-94-007-7034-8
Heuristics and biases: The psychology of intuitive judgment, 2002. ,
DOI : 10.1017/CBO9780511808098
Dynamic Logic, 2000. ,
Probabilistic modeling of humans in security ceremonies, QASA. LNCS, pp.277-292, 2014. ,
A LOGIC FOR UNCERTAIN PROBABILITIES, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, vol.09, issue.03, pp.279-212, 2001. ,
DOI : 10.1142/S0218488501000831
A survey of trust and reputation systems for online service provision, Decision Support Systems, vol.43, issue.2, pp.618-644, 2007. ,
DOI : 10.1016/j.dss.2005.05.019
Evaluation by moments, past and future, Choices, Values and Frames, p.693, 2000. ,
A perspective on judgment and choice: Mapping bounded rationality., American Psychologist, vol.58, issue.9, pp.697-720, 2003. ,
DOI : 10.1037/0003-066X.58.9.697
Anomalies: Utility Maximization and Experienced Utility, Journal of Economic Perspectives, vol.20, issue.1, pp.221-234, 2006. ,
DOI : 10.1257/089533006776526076
Unified Theories of Cognition, 1990. ,
Satisfaction: A Behavioral Perspective on Consumer, 2010. ,
Affective Forecasting: Predicting and Experiencing Satisfaction With Public Transportation1, Journal of Applied Social Psychology, vol.78, issue.8, pp.1926-1946, 2011. ,
DOI : 10.1111/j.1559-1816.2011.00789.x
Counteracting the focusing illusion: Effects of defocusing on car users??? predicted satisfaction with public transport, Journal of Environmental Psychology, vol.32, issue.1, pp.30-36, 2012. ,
DOI : 10.1016/j.jenvp.2011.10.004
Artificial Intelligence: Foundations of Computational Agents, 2010. ,
DOI : 10.1017/CBO9780511794797
Interaction Design: Beyond Human-Computer Interaction, 2011. ,
Verification-guided modelling of salience and cognitive load. Formal Asp, Comput, vol.21, issue.6, pp.541-569, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00534920
Modelling and analysing cognitive causes of security breaches, Innovations in Systems and Software Engineering, vol.4, issue.3, pp.143-160, 2008. ,
DOI : 10.1007/s11334-008-0050-7
Reason in Human Affairs, 1983. ,
Models of Bounded Rationality: Empirically Grounded Economic Reason, 1997. ,
Two Systems of Reasoning, pp.379-396 ,
DOI : 10.1017/CBO9780511808098.024
Modal and Temporal properties of processes, 2001. ,
DOI : 10.1007/978-1-4757-3550-5
Nudge: Improving Decisions about Health, Wealth, and Happiness, 2008. ,
The psychology of security, Communications of the ACM, vol.51, issue.4, pp.34-40, 2008. ,
DOI : 10.1145/1330311.1330320
Affective Forecasting, Current Directions in Psychological Science, vol.88, issue.3, pp.345-411, 2003. ,
DOI : 10.1037/0022-3514.78.5.821