Simon Connelly

According to our database, Simon Connelly authored at least 5 papers between 2001 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

Formal analysis of human operator behavioural patterns in interactive surveillance systems.

Antonio Cerone, Simon Connelly, Peter A. Lindsay

Softw. Syst. Model., 2008

2007

An agent based approach to examining shared situation awareness.

Simon Connelly, Peter A. Lindsay, Marcus Gallagher

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

2005

Formal Analysis of Human-computer Interaction using Model-checking.

Antonio Cerone, Peter A. Lindsay, Simon Connelly

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

2002

Modelling Erroneous Operator Behaviours for an Air-Traffic Control Task.

Peter A. Lindsay, Simon Connelly

Proceedings of the User Interfaces 2002, 2002

2001

Extending and Evaluating a Pattern Language for Safety-Critical User Interfaces.

Simon Connelly, Jay Burmeister, Anthony MacDonald, Andrew Hussey

Proceedings of the Safety Critical Systems and Software 2001, 2001