Michael D. Harrison
Orcid: 0000-0002-5567-9650
According to our database1,
Michael D. Harrison
authored at least 147 papers
between 1976 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2021
Interact. Comput., 2021
Proceedings of the Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30, 2021
Proving Display Conformance and Action Consistency: The Example of an Integrated Clinical Environment.
Proceedings of the Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30, 2021
2020
Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools.
ACM Trans. Comput. Hum. Interact., 2020
2019
IEEE Trans. Software Eng., 2019
Formal techniques in the safety analysis of software components of a new dialysis machine.
Sci. Comput. Program., 2019
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
Proceedings of the Joint Proceedings HCI Engineering 2019, 2019
2018
Proceedings of the Software Technologies: Applications and Foundations, 2018
2017
Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices.
IEEE Trans. Hum. Mach. Syst., 2017
Don't go in there! using the APEX framework in the design of ambient assisted living systems.
J. Ambient Intell. Humaniz. Comput., 2017
Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017
Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017
Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017
2016
IEEE Trans. Hum. Mach. Syst., 2016
EAI Endorsed Trans. Creative Technol., 2016
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web.
Proceedings of the Third Workshop on Formal Integrated Development Environment, 2016
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016
2015
Innov. Syst. Softw. Eng., 2015
Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes.
Proceedings of the Ambient Assisted Living. ICT-Based Solutions in Real Life Situations, 2015
2014
Int. J. Hum. Comput. Stud., 2014
Int. J. Hum. Comput. Stud., 2014
EAI Endorsed Trans. Ambient Syst., 2014
Rapid development of first person serious games using the APEX platform: the asthma game.
Proceedings of the Symposium on Applied Computing, 2014
Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014
Proceedings of the 2014 AAAI Spring Symposia, 2014
2013
Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013
Proceedings of the IEEE International Conference on Healthcare Informatics, 2013
Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2013
Proceedings of the 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, 2013
2012
Formal Aspects Comput., 2012
Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012
Proceedings of the NASA Formal Methods, 2012
Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2012
2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Proceedings of the 2011 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2011
2010
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010
Proceedings of the Human-Centred Software Engineering - Third International Conference, 2010
Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2010
2009
Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling, 2009
Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009
Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009
Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009
Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009
2008
Proceedings of the Maturing Usability - Quality in Software, Interaction and Value, 2008
Int. J. Web Eng. Technol., 2008
Proceedings of the Engineering Interactive Systems, 2008
Towards a location model for indoor navigation support through public displays and mobile devices.
Proceedings of the Mobile Interaction with the Real World 2008, 2008
Proceedings of the Interactive Systems. Design, 2008
2007
Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems, 2007
Proceedings of the Engineering Interactive Systems - EIS 2007 Joint Working Conferences, 2007
Proceedings of the Engineering Interactive Systems - EIS 2007 Joint Working Conferences, 2007
Proceedings of the 21st British HCI Group Annual Conference on HCI 2007: HCI...but not as we know it, 2007
2006
An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation.
Autom. Softw. Eng., 2006
Proceedings of the Computer Safety, 2006
2005
Proceedings of the Human-Computer Interaction, 2005
2004
Verifying user interface behaviour with model checking.
Proceedings of the Verification and Validation of Enterprise Information Systems, 2004
Time design: analysing human temporal control behaviour in dynamic real-time systems.
Proceedings of the IEEE International Conference on Systems, 2004
Proceedings of the Computer Safety, 2004
Proceedings of the Human Error, 2004
Using Interaction Style to Match the Ubiquitous User Interface to the Device-to-Hand.
Proceedings of the Engineering Human Computer Interaction and Interactive Systems, 2004
Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004
2003
Proceedings of the Computer Safety, 2003
Proceedings of ICSE 2003 Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction, 2003
2002
Automating functions in multi-agent control systems: supporting the decision process.
Proceedings of the Components of System Safety, 2002
Augmenting descriptive scenario analysis for improvements in human reliability design.
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002
Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems.
Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002
Proceedings of the Software Reuse: Methods, 2002
Proceedings of the Interactive Systems. Design, 2002
2001
A toolset supported approach for designing and testing virtual environment interaction techniques.
Int. J. Hum. Comput. Stud., 2001
Int. J. Hum. Comput. Stud., 2001
THEA: A Technique for Human Error Assessment Early in Design.
Proceedings of the Human-Computer Interaction INTERACT '01: IFIP TC13 International Conference on Human-Computer Interaction, 2001
Proceedings of the Engineering for Human-Computer Interaction, 2001
2000
Int. J. Hum. Comput. Stud., 2000
Hum. Comput. Interact., 2000
Proceedings of the 6th Eurographics Workshop on Virtual Environments, 2000
Proceedings of the Interactive Systems: Design, 2000
Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds?
Proceedings of the Interactive Systems: Design, 2000
1999
A Case Study in the Specification and Analysis of Design Alternatives for a User Interface.
Formal Aspects Comput., 1999
Case-based Reasoning Systems for Knowledge Mediation.
Proceedings of the Human-Computer Interaction INTERACT '99: IFIP TC13 International Conference on Human-Computer Interaction, 1999
Using Scenarios to Envisage the Impact of CBR on Decision-Making Processes.
Proceedings of the Challenges for Case-Based Reasoning, 1999
Proceedings of the Design, 1999
1998
Proceedings of the Design, 1998
Proceedings of the Design, 1998
1997
Accountability of work activity in high-consequence work systems: human error in context.
Int. J. Hum. Comput. Stud., 1997
Using Executable Interactor Specifications to Explore the Impact of Operator Interaction Errors.
Proceedings of the 16th International Conference on Computer Safety, 1997
Techniques for the design of human error tolerant systems.
Proceedings of the Human-Computer Interaction, 1997
Objectives, strategies and resources as design drivers.
Proceedings of the Human-Computer Interaction, 1997
Locating the scene: the particular and the general in contexts for ambulance control.
Proceedings of GROUP'97, 1997
Proceedings of the Design, 1997
1996
Proceedings of the Safety-Critical Systems: The Convergence of High Tech and Human Factors, 1996
Proceedings of the Design, 1996
1995
Int. J. Hum. Comput. Stud., 1995
Proceedings of the Second IEEE International Symposium on Requirements Engineering, March 27, 1995
A requirements space for group-work systems.
Proceedings of the Human-Computer Interaction, 1995
1994
Proceedings of the First IEEE International Conference on Requirements Engineering, 1994
Proceedings of the Software Engineering and Human-Computer Interaction, 1994
Proceedings of the Software Engineering and Human-Computer Interaction, 1994
Proceedings of the Software Engineering and Human-Computer Interaction, 1994
Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994
User Centred System Modelling using the Template Model.
Proceedings of the Design, 1994
Modelling Interactive Systems and Providing Task Relevant Information.
Proceedings of the Design, 1994
Working Group Discussions: Role of Formalisms.
Proceedings of the Design, 1994
Modelling Interactive Systems and Providing Task Relevant Information.
Proceedings of the Design, 1994
Folding Human Factors into Rigorous Development.
Proceedings of the Design, 1994
Modelling Interaction Properties for Interactive Case Memories.
Proceedings of the Design, 1994
Proceedings of the Workshop on Advanced Visual Interfaces, 1994
1993
Text-Based On-Line Conferencing: A Conceptual and Empirical Analysis Using a Minimal Prototype.
Hum. Comput. Interact., 1993
Proceedings of IEEE International Symposium on Requirements Engineering, 1993
1992
Using Temporal Logic to Support the Specification and Prototyping of Interactive Control Systems.
Int. J. Man Mach. Stud., 1992
A Model for the Option Space of Interactive System.
Proceedings of the Engineering for Human-Computer Interaction, 1992
HCI: Whose Problem Is It Anyway?
Proceedings of the Engineering for Human-Computer Interaction, 1992
1991
ACM SIGCHI Bull., 1991
Proceedings of the 12th European Computer Graphics Conference and Exhibition, 1991
Proceedings of the Conference on Human Factors in Computing Systems, 1991
1990
New approaches to theory in HCI: How should we judge their acceptability?
Proceedings of the Human-Computer Interaction, 1990
Pattern recognition and interaction models.
Proceedings of the Human-Computer Interaction, 1990
Prelog - a System for Presenting and Rendering Logic Specifications of Interactive Systems.
Proceedings of the 11th European Computer Graphics Conference and Exhibition, 1990
Proceedings of the Conference on Human Factors in Computing Systems, 1990
1988
Proceedings of the Visualization in Human-Computer Interaction, 1988
1987
Proceedings of the ESEC '87, 1987
1978
1976
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976