[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
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.
Demonstrating that medical devices satisfy user related safety requirements download
M.D. Harrison and P. Masci and J.C. Campos and P. Curzon (forthcoming) In Proceedings of the 4th International Symposium on Foundations of Health Information Engineering and Systems with 6th International Workshop on Software Engineering in Healthcare (FHIES/SEHC 2014).
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