Michael Harrison

简介

Michael is Emeritus Professor at Newcastle. He is a visiting researcher at the University of Minho, Portugal and honorary professor at Swansea. His research focuses on the systematic analysis of the functional behaviour of interactive systems using a combination of model checking and automated theorem proving techniques.

代表成果

• Harrison MD, Masci P, Campos JC. Balancing the formal and the informal in user-centred design. Interacting with Computers 2021
• Campos JC, Fayollas C, Harrison MD, Martinie C, Masci P, Palanque P. Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. ACM Transactions of Computer-Human Interaction 2020
• Harrison MD, Freitas L, Drinnan M, Campos JC, Masci P, Di Maria C, Whitaker M. Formal Techniques in the Safety Analysis of Software Components of a new Dialysis Machine. Science of Computer Programming 2019
• Harrison MD, Masci P, Campos JC. Verification Templates for the Analysis of User Interface Software Design. IEEE Transactions on Software Engineering 2018
• Harrison MD, Masci P, Campos JC, Curzon P. Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices. IEEE Transactions on Human Machine Systems 2017
• Fayollas C, Martinie C, Palanque P, Masci P, Harrison MD, Campos JC, Rodrigues e Silva S. Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. Electronic Proceedings in Theoretical Computer Science (EPTCS) 2017
• Campos JC, Abade T, Silva JL, Harrison MD. Don’t go in there! using the APEX framework in the design of ambient assisted living systems. Journal of Ambient Intelligence and Humanized Computing 2017
• Campos JC, Sousa M, Alves MCB, Harrison MD. Formal verification of a space system's user interface with the IVY workbench. IEEE Transactions on Human-Machine Systems 2016
• Harrison MD, Campos JC, Masci P. Reusing models and properties in the analysis of similar interactive devices. Innovations in Systems and Software Engineering 2015
• Silva JL, Campos JC, Harrison MD. Prototyping and analysing ubiquitous computing environments using multiple layers. International Journal of Human-Computer Studies 2014