BibTeX records: Simon Connelly

• > Home > Persons > Simon Connelly

@article{DBLP:journals/sosym/CeroneCL08,
  author       = {Antonio Cerone and
                  Simon Connelly and
                  Peter A. Lindsay},
  title        = {Formal analysis of human operator behavioural patterns in interactive
                  surveillance systems},
  journal      = {Softw. Syst. Model.},
  volume       = {7},
  number       = {3},
  pages        = {273--286},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10270-007-0072-x},
  doi          = {10.1007/S10270-007-0072-X},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/CeroneCL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/ConnellyLG07,
  author       = {Simon Connelly and
                  Peter A. Lindsay and
                  Marcus Gallagher},
  title        = {An agent based approach to examining shared situation awareness},
  booktitle    = {12th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2007), 10-14 July 2007, Auckland, New Zealand},
  pages        = {138--147},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICECCS.2007.14},
  doi          = {10.1109/ICECCS.2007.14},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/ConnellyLG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/CeroneLC05,
  author       = {Antonio Cerone and
                  Peter A. Lindsay and
                  Simon Connelly},
  editor       = {Bernhard K. Aichernig and
                  Bernhard Beckert},
  title        = {Formal Analysis of Human-computer Interaction using Model-checking},
  booktitle    = {Third {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2005), 7-9 September 2005, Koblenz, Germany},
  pages        = {352--362},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/SEFM.2005.19},
  doi          = {10.1109/SEFM.2005.19},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/CeroneLC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/auic/LindsayC02,
  author       = {Peter A. Lindsay and
                  Simon Connelly},
  editor       = {John C. Grundy and
                  Paul R. Calder},
  title        = {Modelling Erroneous Operator Behaviours for an Air-Traffic Control
                  Task},
  booktitle    = {User Interfaces 2002, Third Australasian User Interface Conference
                  (AUIC2002), Monash University, Melbourne, Victoria, Australia, January/February
                  2002},
  series       = {{CRPIT}},
  volume       = {7},
  pages        = {43--54},
  publisher    = {Australian Computer Society},
  year         = {2002},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV7Lindsay.html},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/auic/LindsayC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scs/ConnellyBMH01,
  author       = {Simon Connelly and
                  Jay Burmeister and
                  Anthony MacDonald and
                  Andrew Hussey},
  editor       = {Peter A. Lindsay},
  title        = {Extending and Evaluating a Pattern Language for Safety-Critical User
                  Interfaces},
  booktitle    = {Safety Critical Systems and Software 2001, Sixth Australian Workshop
                  on Safety-Related Programmable Systems, (SCS2001), St Lucia, Queensland,
                  Australia, 6 July 2001},
  series       = {{CRPIT}},
  volume       = {3},
  pages        = {39--50},
  publisher    = {Australian Computer Society},
  year         = {2001},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV3Connelly.html},
  timestamp    = {Thu, 25 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scs/ConnellyBMH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}