Quantitative Assessment for Organisational Security & Dependability, 2009 Second International Conference on Dependability, 2009. ,
DOI : 10.1109/DEPEND.2009.12
The Tropos Methodology, 2004. ,
DOI : 10.1007/1-4020-8058-1_7
An empirical study of requirements model understanding, Proceedings of the 2010 ACM Symposium on Applied Computing, SAC '10, 2010. ,
DOI : 10.1145/1774088.1774569
Task-model based assessment of automation levels: Application to space ground segments, 2011 IEEE International Conference on Systems, Man, and Cybernetics, pp.15-18, 2011. ,
DOI : 10.1109/ICSMC.2011.6084173
Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs (regular paper), 1st international Conference on Application and Theory of Automation in Command and Control Systems, 2011. ,
Resilience Engineering Approach to Safety Assessment: An Application of FRAM for the MSAW system, Proceedings of Eurocontrol Safety R&D Seminar, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00572933
A model for types and levels of human interaction with automation, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, vol.30, issue.3, pp.286-297, 2000. ,
DOI : 10.1109/3468.844354
ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models, Proc. of Interact'97, pp.362-369, 1997. ,
DOI : 10.1007/978-0-387-35175-9_58
Adaptive Routing and Conflict Management for Unmanned Aircraft Vehicles, IASTED Technology Conferences / 705: ARP / 706: RA / 707: NANA / 728: CompBIO, 2010. ,
DOI : 10.2316/P.2010.706-026