dblp.uni-trier.dewww.uni-trier.de

Simon Connelly

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
5EEAntonio 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
4EESimon Connelly, Peter A. Lindsay, Marcus Gallagher: An agent based approach to examining shared situation awareness. ICECCS 2007: 138-147
2005
3EEAntonio Cerone, Peter A. Lindsay, Simon Connelly: Formal Analysis of Human-computer Interaction using Model-checking. SEFM 2005: 352-362
2002
2EEPeter A. Lindsay, Simon Connelly: Modelling Erroneous Operator Behaviours for an Air-Traffic Control Task. AUIC 2002: 43-54
2001
1EESimon Connelly, Jay Burmeistery, Anthony MacDonald, Andrew Hussey: Extending and Evaluating a Pattern Language for Safety-Critical User Interfaces. SCS 2001: 39-50

Coauthor Index

1Jay Burmeistery [1]
2Antonio Cerone [3] [5]
3Marcus Gallagher [4]
4Andrew Hussey [1]
5Peter A. Lindsay [2] [3] [4] [5]
6Anthony MacDonald [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)