Harold Thimbleby
AuthID: R-00H-4BC
1
TITLE: PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems
AUTHORS: Paolo Masci ; Patrick Oladimeji; Piergiuseppe Mallozzi; Paul Curzon; Harold Thimbleby;
PUBLISHED: 2016, SOURCE: EAI Endorsed Trans. Collaborative Computing, VOLUME: 2, ISSUE: 7
AUTHORS: Paolo Masci ; Patrick Oladimeji; Piergiuseppe Mallozzi; Paul Curzon; Harold Thimbleby;
PUBLISHED: 2016, SOURCE: EAI Endorsed Trans. Collaborative Computing, VOLUME: 2, ISSUE: 7
INDEXED IN: 
DBLP 
CrossRef
DBLP CrossRef2
TITLE: Issues in number entry user interface styles: Recommendations for mitigation
AUTHORS: Harold Thimbleby; Patrick Oladimeji; Paolo Masci ; Paul Curzon;
PUBLISHED: 2016, SOURCE: EAI Endorsed Trans. Creative Technologies, VOLUME: 3, ISSUE: 8
AUTHORS: Harold Thimbleby; Patrick Oladimeji; Paolo Masci ; Paul Curzon;
PUBLISHED: 2016, SOURCE: EAI Endorsed Trans. Creative Technologies, VOLUME: 3, ISSUE: 8
INDEXED IN: DBLP CrossRef
DBLP CrossRef3
TITLE: The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps Full Text
AUTHORS: Paolo Masci ; Rimvydas Ruksenas; Patrick Oladimeji; Abigail Cauchi; Andy Gimblett; Karen Yunqiu Li; Paul Curzon; Harold W. Thimbleby;
PUBLISHED: 2015, SOURCE: ISSE, VOLUME: 11, ISSUE: 2
AUTHORS: Paolo Masci ; Rimvydas Ruksenas; Patrick Oladimeji; Abigail Cauchi; Andy Gimblett; Karen Yunqiu Li; Paul Curzon; Harold W. Thimbleby;
PUBLISHED: 2015, SOURCE: ISSE, VOLUME: 11, ISSUE: 2
4
TITLE: PVSio-web 2.0: Joining PVS to HCI
AUTHORS: Paolo Masci ; Patrick Oladimeji; Yi Zhang; Paul L. Jones; Paul Curzon; Harold W. Thimbleby;
PUBLISHED: 2015, SOURCE: 27th International Conference on Computer Aided Verification, CAV 2015 in Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, VOLUME: 9206
AUTHORS: Paolo Masci ; Patrick Oladimeji; Yi Zhang; Paul L. Jones; Paul Curzon; Harold W. Thimbleby;
PUBLISHED: 2015, SOURCE: 27th International Conference on Computer Aided Verification, CAV 2015 in Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, VOLUME: 9206
5
TITLE: Formal Verification of Medical Device User Interfaces Using PVS
AUTHORS: Paolo Masci ; Yi Zhang; Paul L. Jones; Paul Curzon; Harold W. Thimbleby;
PUBLISHED: 2014, SOURCE: 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 in Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, VOLUME: 8411
AUTHORS: Paolo Masci ; Yi Zhang; Paul L. Jones; Paul Curzon; Harold W. Thimbleby;
PUBLISHED: 2014, SOURCE: 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 in Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, VOLUME: 8411
6
TITLE: Combining PVSio with Stateflow
AUTHORS: Paolo Masci ; Yi Zhang; Paul L. Jones; Patrick Oladimeji; Enrico D'Urso; Cinzia Bernardeschi; Paul Curzon; Harold Thimbleby;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium, NFM 2014 in NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, VOLUME: 8430
AUTHORS: Paolo Masci ; Yi Zhang; Paul L. Jones; Patrick Oladimeji; Enrico D'Urso; Cinzia Bernardeschi; Paul Curzon; Harold Thimbleby;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium, NFM 2014 in NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, VOLUME: 8430
7
TITLE: A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software
AUTHORS: Paolo Masci ; Yi Zhang; Paul L. Jones; Harold Thimbleby; Paul Curzon;
PUBLISHED: 2014, SOURCE: 5th Medical Cyber-Physical Systems Workshop:Medical Device Interoperability, Safety, and Security Assurance, MCPS 2014 in 5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, Berlin, Germany, April 14, 2014, VOLUME: 36
AUTHORS: Paolo Masci ; Yi Zhang; Paul L. Jones; Harold Thimbleby; Paul Curzon;
PUBLISHED: 2014, SOURCE: 5th Medical Cyber-Physical Systems Workshop:Medical Device Interoperability, Safety, and Security Assurance, MCPS 2014 in 5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, Berlin, Germany, April 14, 2014, VOLUME: 36
INDEXED IN: 
Scopus DBLP
Scopus DBLP8
TITLE: Using PVSio-web to Demonstrate Software Issues in Medical User Interfaces
AUTHORS: Paolo Masci ; Patrick Oladimeji; Paul Curzon; Harold Thimbleby;
PUBLISHED: 2014, SOURCE: Software Engineering in Health Care - 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers, VOLUME: 9062
AUTHORS: Paolo Masci ; Patrick Oladimeji; Paul Curzon; Harold Thimbleby;
PUBLISHED: 2014, SOURCE: Software Engineering in Health Care - 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers, VOLUME: 9062
INDEXED IN: DBLP CrossRef
DBLP CrossRef9
TITLE: Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS
AUTHORS: Paolo Masci ; Anaheed Ayoub; Paul Curzon; Insup Lee; Oleg Sokolsky; Harold W. Thimbleby;
PUBLISHED: 2013, SOURCE: 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013 in Computer Safety, Reliability, and Security - 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings, VOLUME: 8153
AUTHORS: Paolo Masci ; Anaheed Ayoub; Paul Curzon; Insup Lee; Oleg Sokolsky; Harold W. Thimbleby;
PUBLISHED: 2013, SOURCE: 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013 in Computer Safety, Reliability, and Security - 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings, VOLUME: 8153
10
TITLE: Towards Dependable Number Entry for Medical Devices PDF
AUTHORS: Abigail Cauchi; Paul Curzon; Parisa Eslambolchilar; Andy Gimblett; Huayi Huang; Paul Lee; Yunqiu Li; Paolo Masci ; Patrick Oladimeji; Rimvydas Ruksenas; Harold Thimbleby;
PUBLISHED: 2011, SOURCE: 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care, EICS4Med 2011 - Co-located with the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2011 in Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011), Pisa, Italy, June 13, 2011, VOLUME: 727
AUTHORS: Abigail Cauchi; Paul Curzon; Parisa Eslambolchilar; Andy Gimblett; Huayi Huang; Paul Lee; Yunqiu Li; Paolo Masci ; Patrick Oladimeji; Rimvydas Ruksenas; Harold Thimbleby;
PUBLISHED: 2011, SOURCE: 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care, EICS4Med 2011 - Co-located with the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2011 in Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011), Pisa, Italy, June 13, 2011, VOLUME: 727
INDEXED IN: Scopus DBLP
Scopus DBLP