Simon Connelly (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 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)

3 Antonio Cerone, Peter A. Lindsay, Simon Connelly: Formal Analysis of Human-computer Interaction using Model-checking. SEFM 2005: 352-362

Selection of 2 from 5 records - Simon Connelly has 6 coauthors

5		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)
3		Antonio Cerone, Peter A. Lindsay, Simon Connelly: Formal Analysis of Human-computer Interaction using Model-checking. SEFM 2005: 352-362