[HASLab]  [UM][EEng]
HASLab's GIP page
About

Work on applying formal verification tools to the analysis of the safety and usability of medical devices.

People
Publications
Demonstrating that medical devices satisfy user related safety requirements
M.D. Harrison and P. Masci and J.C. Campos and P. Curzon (2017) In Software Engineering in Healthcare (FHIES/SEHC 2014), volume 9062 of Lecture Notes in Computer Science, pages 113-128. Springer.
Templates as heuristics for proving properties of medical devices
M. Harrison and J.C. Campos and P. Masci and P. Curzon (2015) In 5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming healthcare through innovations in mobile and wireless technologies". ACM.
Layers, resources and property templates in the specification and analysis of two interactive systems download
J.C. Campos and P. Masci and P. Curzon and M.D. Harrison (2015) In Proceedings of the Workshop on Formal Methods in Human Computer Interaction (FoMHCI) 2015, pages 38-43. Universitätsbibliothek, RWTH Aachen University.
Reusing models and properties in the analysis of similar interactive devices download from RepositoriUM
M.D. Harrison and J.C. Campos and P. Masci (2015) Innovations in Systems and Software Engineering, 11(2):95-111, June.
Analysing interactive devices based on information resource constraints download from RepositoriUM
J.C. Campos and G. Doherty and M.D. Harrison (2014) International Journal of Human-Computer Studies, 72(3):284-297, March.
Automated theorem proving for the systematic analysis of interactive systems download from RepositoriUM
M.D. Harrison and P. Masci and J.C. Campos and P. Curzon (2013) Electronic Communications of the EASST, 69 (ISSN: 1863-2122) .
Modelling and analysing the interactive behaviour of an infusion pump download from RepositoriUM
J.C. Campos and M.D. Harrison (2011) Electronic Communications of the EASST, 45 (ISSN: 1863-2122) .
Interaction engineering using the IVY tool download from RepositoriUM download
J. C. Campos and M. D. Harrison (2009) In ACM Symposium on Engineering Interactive Computing Systems (EICS 2009), pages 35-44. ACM.
jfc © 2015