Browse by all authors Browse By Author ID - Simon Connelly

Browse Results (7 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Connelly, Simon, Lindsay, Peter, Neal, Andrew and Humphreys, Mike (2001) A Formal Model Of Cognitive Processes For An Air Traffic Control Task. SVRC Tech Report 01-31, Software Verification Research Centre, School of Information Technology, The University Of Queensland. 586 470
Connelly, S., Lindsay, P. A. and Gallagher, M. (2007). An agent based approach to examining shared situation awareness. In: B. Werner, Engineering Complex Computer Systems 2007. 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), Auckland, New Zealand, (138-147). 11-14 July 2007. doi:10.1109/ICECCS.2007.14 105   0 Cited 0 times in Scopus0 0
Connelly, S. F., Burmeister, J. M., Macdonald, A. J. and Hussey, A. P. (2001) Extending and evaluating a pattern language for safety critical user interfaces Brisbane: Software Verification Research Cen, Univ of Qld 31  
Connelly, Simon, Burmeister, Jay, MacDonald, Anthony and Hussey, Andrew (2001) Extending and Evaluating a Pattern Language for Safety-Critical User Interfaces. Technical Report no. 01-01, Software Verification Research Centre, School of Information Technology, The University Of Queensland. 371 563
Cerone, Antonio, Connelly, Simon and Lindsay, Peter (2008) Formal analysis of human operator behavioural patterns in interactive surveillance systems. Software and Systems Modeling, 7 3: 273-286. doi:10.1007/s10270-007-0072-x 60   1 Cited 1 times in Scopus1 0
Lindsay, P. A. and Connelly, S. F. (2001) Modelling erroneous operator behaviours for an air-traffic control task Brisbane: Software Verification Research Cen. Univ of Qld 32  
Lindsay, P. and Connelly, Simon (2001) Modelling Erroneous Operator Behaviours for an Air-Traffic Control Task. Technical Report no. 01-35, Software Verification Research Centre, School of Information Technology, The University of Queensland. 389 397