Simon Connelly

Publication Activity (10 Years)

Years Active: 2001-2008
Publications (10 Years): 0

Publications

Antonio Cerone, Simon Connelly, Peter A. Lindsay
Formal analysis of human operator behavioural patterns in interactive surveillance systems. Softw. Syst. Model. 7 (3) (2008)
Simon Connelly, Peter A. Lindsay, Marcus Gallagher
An agent based approach to examining shared situation awareness. ICECCS (2007)
Antonio Cerone, Peter A. Lindsay, Simon Connelly
Formal Analysis of Human-computer Interaction using Model-checking. SEFM (2005)
Peter A. Lindsay, Simon Connelly
Modelling Erroneous Operator Behaviours for an Air-Traffic Control Task. AUIC (2002)
Simon Connelly, Jay Burmeister, Anthony MacDonald, Andrew Hussey
Extending and Evaluating a Pattern Language for Safety-Critical User Interfaces. SCS (2001)