Michael D. Harrison

Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison, Jane Hillston: Scalable context-dependent analysis of emergency egress models. Formal Asp. Comput. 24(2): 267-302 (2012)

José Luís Silva, José Creissac Campos, Michael D. Harrison: Formal analysis of ubiquitous computing environments through the APEX framework. EICS 2012: 131-140

Paolo Masci, Huayi Huang, Paul Curzon, Michael D. Harrison: Using PVS to Investigate Incidents through the Lens of Distributed Cognition. NASA Formal Methods 2012: 273-278

Paolo Masci, Dominic Furniss, Paul Curzon, Michael D. Harrison, Ann Blandford: Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain. SERENE 2012: 150-164

Simone Diniz Junqueira Barbosa, José Creissac Campos, Rick Kazman, Philippe A. Palanque, Michael D. Harrison, Steve Reeves (Eds.): ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12, Copenhagen, Denmark - June 25 - 28, 2012. ACM 2012, isbn 978-1-4503-1168-7

José Creissac Campos, Michael D. Harrison: Modelling and analysing the interactive behaviour of an infusion pump. ECEASST 45 (2011)

Michael D. Harrison, Mieke Massink: Modelling Interactive Experience, Function and Performance in Ubiquitous Systems. Electr. Notes Theor. Comput. Sci. 261: 23-42 (2010)

Anke Dittmar, Michael D. Harrison: Representations for an iterative resource-based design approach. EICS 2010: 135-144

José Luís Silva, Óscar R. Ribeiro, João M. Fernandes, José Creissac Campos, Michael D. Harrison: The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets. HCSE 2010: 6-21

Mieke Massink, Michael D. Harrison, Diego Latella: Scalable analysis of collective behaviour in smart service systems. SAC 2010: 1173-1180

Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison: A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. SEFM 2010: 169-180

Michael D. Harrison, Mieke Massink: Preface. ECEASST 22 (2009)

José Creissac Campos, Michael D. Harrison: Interaction engineering using the IVY tool. EICS 2009: 35-44

Michael D. Harrison: Bridging the gulf between interaction engineering and human reliability assessment. EICS 2009: 67-68

José Luís Silva, José Creissac Campos, Michael D. Harrison: An infrastructure for experience centered agile prototyping of ambient intelligence. EICS 2009: 79-84

Michael D. Harrison, Mieke Massink, Diego Latella: Engineering crowd interaction within smart environments. EICS 2009: 117-122

Michael D. Harrison, Christian Kray, José Creissac Campos: Exploring an Option Space to Engineer a Ubiquitous Computing System. Electr. Notes Theor. Comput. Sci. 208: 41-55 (2008)

Michael D. Harrison, José Creissac Campos: Analysing Human Aspects of Safety-Critical Software. ERCIM News 2008(75) (2008)

Stephen W. Gilroy, Michael D. Harrison: SBML: a user interface mark-up language based on interaction style. Int. J. Web Eng. Technol. 4(2): 207-234 (2008)

José Creissac Campos, Michael D. Harrison: Systematic Analysis of Control Panel Interfaces Using Formal Tools. DSV-IS 2008: 72-85

Gavin J. Doherty, José Creissac Campos, Michael D. Harrison: Resources for Situated Actions. DSV-IS 2008: 194-207

Christian Kray, Keith Cheverst, Michael D. Harrison, Fathi Hamhoum, Jürgen Wagner: Towards a location model for indoor navigation support through public displays and mobile devices. MIRW 2008: 83-92

Mieke Massink, Diego Latella, Maurice H. ter Beek, Michael D. Harrison, Michele Loreti: A Fluid Flow Approach to Usability Analysis of Multi-user Systems. TAMODIA/HCSE 2008: 166-180

Michael D. Harrison, José Creissac Campos, Gavin J. Doherty, Karsten Loer: Connecting Rigorous System Analysis to Experience-Centered Design. Maturing Usability 2008: 56-74

Michael D. Harrison, Mark-Alexander Sujan (Eds.): Computer Safety, Reliability, and Security, 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings. Lecture Notes in Computer Science 5219, Springer 2008, isbn 978-3-540-87697-7

Harold W. Thimbleby, Michael D. Harrison: Names and reference in user interfaces. BCS HCI (2) 2007: 107-110

José Creissac Campos, Michael D. Harrison: Considering Context and Users in Interactive Systems Analysis. EHCI/DS-VIS 2007: 193-209

Michael D. Harrison, Christian Kray, Zhiyu Sun, Huqiu Zhang: Factoring User Experience into the Design of Ambient and Mobile Systems. EHCI/DS-VIS 2007: 243-259

Karsten Loer, Michael D. Harrison: An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation. Autom. Softw. Eng. 13(4): 469-496 (2006)

Mark A. Sujan, Michael D. Harrison, Alison Steven, Pauline H. Pearson, Susan J. Vernon: Demonstration of Safety in Healthcare Organisations. SAFECOMP 2006: 219-232

Stephen W. Gilroy, Michael D. Harrison (Eds.): Interactive Systems, Design, Specification, and Verification, 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers. Lecture Notes in Computer Science 3941, Springer 2006, isbn 3-540-34145-5

Shamus P. Smith, Michael D. Harrison: Measuring reuse in hazard analysis. Rel. Eng. & Sys. Safety 89(1): 93-104 (2005)

Karsten Loer, Michael D. Harrison: Analysing User Confusion in Context Aware Mobile Applications. INTERACT 2005: 184-197

Michael D. Harrison, Lorenzo Strigini: Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability. DSN 2004: 899

Stephen W. Gilroy, Michael D. Harrison: Using Interaction Style to Match the Ubiquitous User Interface to the Device-to-Hand. EHCI/DS-VIS 2004: 325-345

Karsten Loer, Michael Hildebrandt, Michael D. Harrison: Analysing Dynamic Function Scheduling Decisions. Human Error, Safety and Systems Development 2004: 45-60

Shamus P. Smith, Michael D. Harrison, Bastiaan A. Schupp: How Explicit Are the Barriers to Failure in Safety Arguments? SAFECOMP 2004: 325-338

Michael Hildebrandt, Karsten Loer, Michael D. Harrison: Time design: analysing human temporal control behaviour in dynamic real-time systems. SMC (1) 2004: 879-885

José Creissac Campos, Michael D. Harrison, Karsten Loer: Verifying user interface behaviour with model checking. VVEIS 2004: 87-96

José Creissac Campos, Michael D. Harrison: From HCI to Software Engineering and Back. ICSE Workshop on SE-HCI 2003: 49-56

Shamus P. Smith, Michael D. Harrison: Reuse in Hazard Analysis: Identification and Support. SAFECOMP 2003: 382-395

Shamus P. Smith, Michael D. Harrison: Blending Descriptive and Numeric Analysis in Human Reliability Design. DSV-IS 2002: 223-237

Shamus P. Smith, Michael D. Harrison: Improving Hazard Classification through the Reuse of Descriptive Arguments. ICSR 2002: 255-268

Karsten Loer, Michael D. Harrison: Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems. ASE 2002: 223-226

Shamus P. Smith, Michael D. Harrison: Augmenting descriptive scenario analysis for improvements in human reliability design. SAC 2002: 739-743

Michael D. Harrison, P. D. Johnson, Peter C. Wright: Automating functions in multi-agent control systems: supporting the decision process. SSS 2002: 93-106

José Creissac Campos, Michael D. Harrison: Model Checking Interactor Specifications. Autom. Softw. Eng. 8(3-4): 275-310 (2001)

Shamus P. Smith, Michael D. Harrison: Editorial: User centred design and implementation of virtual environments. Int. J. Hum.-Comput. Stud. 55(2): 109-114 (2001)

James S. Willans, Michael D. Harrison: A toolset supported approach for designing and testing virtual environment interaction techniques. Int. J. Hum.-Comput. Stud. 55(2): 145-165 (2001)

James S. Willans, Michael D. Harrison: Prototyping Pre-implementation Designs of Virtual Environment Behaviour. EHCI 2001: 91-108

Gavin J. Doherty, José Creissac Campos, Michael D. Harrison: Representational Reasoning and Verification. Formal Asp. Comput. 12(4): 260-277 (2000)

Andy Dearden, Michael D. Harrison, Peter C. Wright: Allocation of function: scenarios, context and the economics of effort. Int. J. Hum.-Comput. Stud. 52(2): 289-318 (2000)

James S. Willans, Michael D. Harrison: Verifying the Behaviour of Virtual Environment World Objects. DSV-IS 2000: 65-77

Karsten Loer, Michael D. Harrison: Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds? DSV-IS 2000: 169-190

David J. Duke, Bob Fields, Michael D. Harrison: A Case Study in the Specification and Analysis of Design Alternatives for a User Interface. Formal Asp. Comput. 11(2): 107-131 (1999)

José Creissac Campos, Michael D. Harrison: Modelling and Analysing Connectivity in an Audio-Visual Communications System. DSV-IS 1999: 167-188

Anthony D. Griffiths, Michael D. Harrison, Andrew M. Dearden: Using Scenarios to Envisage the Impact of CBR on Decision-Making Processes. ICCBR Workshops 1999: 15-24

Michael D. Harrison: Desert Island Reading. Autom. Softw. Eng. 5(3): 373-375 (1998)

José Creissac Campos, Michael D. Harrison: The Role of Verification in Interactive Systems Design. DSV-IS 1998: 155-170

Gavin J. Doherty, Michael D. Harrison: Integrating Joint Behaviour and Dialogue Description. DSV-IS 1998: 293-308

Michael D. Harrison: Working Group 1 Report. DSV-IS 1998: 312-315

Andrew M. Dearden, Michael D. Harrison: A Software Engineering Model for Case Memory System. Comput. J. 40(4): 167-182 (1997)

Andrew M. Dearden, Michael D. Harrison: Abstract models for HCI. Int. J. Hum.-Comput. Stud. 46(1): 151-177 (1997)

John C. McCarthy, Patrick G. T. Healey, Peter C. Wright, Michael D. Harrison: Accountability of work activity in high-consequence work systems: human error in context. Int. J. Hum.-Comput. Stud. 47(6): 735-766 (1997)

José Creissac Campos, Michael D. Harrison: Formally verifying interactive systems: A review. DSV-IS 1997: 109-124

Gavin J. Doherty, Michael D. Harrison: A representational approach to the specification of presentations. DSV-IS 1997: 273-290

John C. McCarthy, Peter C. Wright, Patrick G. T. Healey, Andrew M. Dearden, Michael D. Harrison: Locating the scene: the particular and the general in contexts for ambulance control. GROUP 1997: 101-110

Bob Fields, Peter C. Wright, Michael D. Harrison: Objectives, strategies and resources as design drivers. INTERACT 1997: 164-171

Peter C. Wright, Bob Fields, Andrew M. Dearden, Michael D. Harrison: Techniques for the design of human error tolerant systems. INTERACT 1997: 665-666

Michael D. Harrison, Juan Carlos Torres (Eds.): Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain. Springer 1997, isbn 3-211-83055-3

Andrew M. Dearden, Michael D. Harrison: Risk Analysis, Impact and Interaction Modelling. DSV-IS 1996: 229-247

Nicholas A. Merriam, Michael D. Harrison: Evaluating the Interfaces of Three Theorem Proving Assistants. DSV-IS 1996: 330-346

Ann Blandford, Philip J. Barnard, Michael D. Harrison: Using Interaction Framework to guide the design of interactive systems. Int. J. Hum.-Comput. Stud. 43(1): 101-130 (1995)

David J. Duke, Michael D. Harrison: Interaction and Task Requirements. DSV-IS 1995: 54-75

Chris Bramwell, Bob Fields, Michael D. Harrison: Exploring Design Options Rationally. DSV-IS 1995: 134-148

Michael D. Harrison: Reports from Working Groups: Role of Verification. DSV-IS 1995: 342-344

John C. McCarthy, Peter C. Wright, Michael D. Harrison: A requirements space for group-work systems. INTERACT 1995: 283-288

Bob Fields, Peter C. Wright, Michael D. Harrison: A task centered approach to analysing human error tolerance requirements. RE 1995: 18-26

David J. Duke, Giorgio P. Faconti, Michael D. Harrison, Fabio Paternò: Unifying Views of Interactors. Advanced Visual Interfaces 1994: 143-152

Michael D. Harrison: Working Group Discussions: Role of Formalisms. DSV-IS 1994: 57-60

Bob Fields, Michael D. Harrison, Peter C. Wright: Modelling Interactive Systems and Providing Task Relevant Information. DSV-IS 1994: 253-266

Michael D. Harrison, Ann Blandford, Philip J. Barnard: Modelling Interactive Systems and Providing Task Relevant Information. DSV-IS 1994: 267-277

Andrew M. Dearden, Michael D. Harrison: Modelling Interaction Properties for Interactive Case Memories. DSV-IS 1994: 301-316

David J. Duke, Michael D. Harrison: Folding Human Factors into Rigorous Development. DSV-IS 1994: 333-347

Chris R. Roast, Michael D. Harrison: User Centred System Modelling using the Template Model. DSV-IS 1994: 401-412

David J. Duke, Michael D. Harrison: A Theory of Presentations. FME 1994: 271-290

Michael D. Harrison, David J. Duke: A Review of Formalisms for Describing Interactive Behaviour. ICSE Workshop on SE-HCI 1994: 49-75

David J. Duke, Michael D. Harrison: From Formal Models to Formal Methods. ICSE Workshop on SE-HCI 1994: 159-173

Bob Fields, Peter C. Wright, Michael D. Harrison: Applying Formal Methods for Human Error Tolerant Design. ICSE Workshop on SE-HCI 1994: 185-195

David J. Duke, Michael D. Harrison: Abstract Interaction Objects. Comput. Graph. Forum 12(3): 25-36 (1993)

C. W. Johnson, Michael D. Harrison: Using Temporal Logic to Support the Specification and Prototyping of Interactive Control Systems. International Journal of Man-Machine Studies 37(3): 357-385 (1992)

Michael D. Harrison: A Model for the Option Space of Interactive System. Engineering for Human-Computer Interaction 1992: 155-170

Gilbert Cockton, Michael D. Harrison, Barbara H. Kwasnik, Robin R. Penner, Rob Procter: HCI: Whose Problem Is It Anyway? Engineering for Human-Computer Interaction 1992: 397-403

Nick Hammond, Philip J. Barnard, Joëlle Coutaz, Michael D. Harrison, Allan MacLean, Richard M. Young: Modelling user, system design: results of a scenarios matrix exercise. CHI 1991: 377-380

Michael D. Harrison, Andrew F. Monk: Human computer interaction group, University of York, U.K. (lab review). CHI 1990: 85-86

Janet Finlay, Michael D. Harrison: Pattern recognition and interaction models. INTERACT 1990: 149-154

Andrew F. Monk, John Carroll, Michael D. Harrison, John Long, Richard M. Young: New approaches to theory in HCI: How should we judge their acceptability? INTERACT 1990: 1055-1058

Michael D. Harrison, Alan J. Dix: Modelling the relationship between state and display in interactive systems. Informatics and Psychology Workshop 1988: 241-249

Alan J. Dix, Michael D. Harrison, Colin Runciman, Harold W. Thimbleby: Interaction Models and the Principled Design of Interactive Systems. ESEC 1987: 118-126