| 2008 |
|---|
| 5 | EE | Antonio Cerone,
Simon Connelly,
Peter A. Lindsay:
Formal analysis of human operator behavioural patterns in interactive surveillance systems.
Software and System Modeling 7(3): 273-286 (2008) |
| 2007 |
|---|
| 4 | EE | Simon Connelly,
Peter A. Lindsay,
Marcus Gallagher:
An agent based approach to examining shared situation awareness.
ICECCS 2007: 138-147 |
| 2005 |
|---|
| 3 | EE | Antonio Cerone,
Peter A. Lindsay,
Simon Connelly:
Formal Analysis of Human-computer Interaction using Model-checking.
SEFM 2005: 352-362 |
| 2002 |
|---|
| 2 | EE | Peter A. Lindsay,
Simon Connelly:
Modelling Erroneous Operator Behaviours for an Air-Traffic Control Task.
AUIC 2002: 43-54 |
| 2001 |
|---|
| 1 | EE | Simon Connelly,
Jay Burmeistery,
Anthony MacDonald,
Andrew Hussey:
Extending and Evaluating a Pattern Language for Safety-Critical User Interfaces.
SCS 2001: 39-50 |
