Article

Galea, Edwin R. ORCID: 0000-0002-0001-6665 , Finney, Kate M., Dixon, Andrew J., Siddiqui, Asim ORCID: 0000-0003-1090-871X and Cooney, David P. ORCID: 0000-0002-2341-0315 (2006) Aircraft accident statistics and knowledge database: analyzing passenger behavior in aviation accidents. Journal of Aircraft, 43 (5). pp. 1272-1281. ISSN 0021-8669 (Print), 1533-3868 (Online) (doi:https://doi.org/10.2514/1.19388)

Galea, E.R. ORCID: 0000-0002-0001-6665 , Finney, K.M., Dixon, A.J.P., Siddiqui, A. ORCID: 0000-0003-1090-871X and Cooney, D.P. ORCID: 0000-0002-2341-0315 (2006) An analysis of exit availability, exit usage and passenger exit selection behaviour exhibited during actual aviation accidents. The Aeronautical Journal, 110 (1106). ISSN 0001-9240

Galea, E.R ORCID: 0000-0002-0001-6665 , Finney, K.M., Dixon, A.J.P., Siddiqui, A. ORCID: 0000-0003-1090-871X and Cooney, D.P. ORCID: 0000-0002-2341-0315 (2003) An analysis of human behaviour during aircraft evacuation situations using the AASK v3.0 database. The Aeronautical Journal, 107 (1070). pp. 219-231. ISSN 0001-9240

Finney, K., Fenton, N. and Fedorec, A. (1999) Effects of structure on the comprehensibility of formal specifications. IEE Proceedings Software, 146 (4). pp. 193-202. ISSN 1462-5970 (doi:https://doi.org/10.1049/ip-sen:19990600)

Finney, Kate, Rennolls, Keith and Fedorec, Alex (1998) Measuring the comprehensibility of Z specifications. Journal of Systems and Software, 42 (1). pp. 3-15. ISSN 0164-1212 (doi:https://doi.org/10.1016/S0164-1212(98)00003-X)

Finney, Kate and Fenton, Norman (1996) Evaluating the effectiveness of Z: The claims made about CICS and where we go from here. Journal of Systems Software, 35 (3). pp. 209-216. ISSN 0164-1212 (doi:https://doi.org/10.1016/S0164-1212(96)00122-7)

Finney, Kate (1996) Mathematical notation in formal specification: Too difficult for the masses? [Correspondence]. IEEE Transactions on Software Engineering, 22 (2). pp. 158-159. ISSN 0098-5589 (doi:https://doi.org/10.1109/32.485225)

Book Section

Finney, Kate M. and Fedorec, Alex M. (1996) An empirical study of specification readability. In: Dean, C. Neville and Hinchey, Michael G., (eds.) Teaching and Learning Formal Methods. Academic Press International Series in Formal Methods . Academic Press, pp. 117-130. ISBN 9780123490407

Conference Proceedings

Galea, Edwin Richard ORCID: 0000-0002-0001-6665 , Blackshields, Darren ORCID: 0000-0001-8940-0024 , Lawrence, Peter J. ORCID: 0000-0002-0269-0231 , Finney, Kate and Cooney, David ORCID: 0000-0002-2341-0315 (2013) The development and validation of a rail car evacuation. In: Conference Proceedings: Interflam 2013: 13th International Fire Science and Engineering Conference. Interscience Communications, Greenwich, London, UK, pp. 1023-1034. ISBN 9780955654893

Galea, E.R. ORCID: 0000-0002-0001-6665 , Finney, K.M., Dixon, A.J.P., Cooney, D.P. ORCID: 0000-0002-2341-0315 and Siddiqui, A. ORCID: 0000-0003-1090-871X (2003) The AASK Database V3.0: a database of human experience during aircraft evacuation incidents. In: Fire Safety Science - Proceedings of the Seventh International Symposium. IAFSS Symposiums (7). International Association for Fire Safety Science, Greenwich, London, UK, pp. 865-876. ISBN 0954534808 ISSN 1817-4299 (doi:https://doi.org/10.3801/IAFSS.FSS.7-865)

Conference or Conference Paper

Galea, E.R. ORCID: 0000-0002-0001-6665 , Finney, K.M., Dixon, A.J.P, Siddiqui, A. ORCID: 0000-0003-1090-871X and Cooney, D.P. ORCID: 0000-0002-2341-0315 (2004) The AASK database V4.0: aircraft accident statistics and knowledge. A database to record human experience of evacuation in aviation accidents. In: Fourth Triennial International Fire and Cabin Safety Research Conference, 15–19 Nov 2004, Lisbon, Portugal.

Monograph

Galea, E. R. ORCID: 0000-0002-0001-6665 , Blackshields, D. ORCID: 0000-0001-8940-0024 , Finney, K. and Cooney, D. P. ORCID: 0000-0002-2341-0315 (2014) Passenger train emergency systems: development of prototype railEXODUS software for U.S. passenger rail car egress. Technical Report. Fire Safety Engineering Group (FSEG).

Galea, E. R. ORCID: 0000-0002-0001-6665 , Finney, K. M., Dixon, A. J. P., Siddiqui, A. ORCID: 0000-0003-1090-871X and Cooney, D. P. ORCID: 0000-0002-2341-0315 (2008) CAA paper 2006/01: a database to record human experience of evacuation in aviation accidents: the aircraft accident statistics and knowledge database (AASK). Project Report. Civil Aviation Authority, London, UK.

Galea, Edwin R. ORCID: 0000-0002-0001-6665 , Cooney, David P. ORCID: 0000-0002-2341-0315 , Dixon, Andrew J., Finney, Kate M. and Siddiqui, Asim ORCID: 0000-0003-1090-871X (2003) The AASK database: Aircraft Accident Statistics and Knowledge. Technical Report. UK Civil Aviation Authority (CAA), London, UK.