Publications List  

Massink M., Bracciali A., Latella D., Harrison M., (2010)  A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. In Proceedings of the 8th IEEE International Conference on Software Engineering And Formal Methods (SEFM2010). pp. 169-180. IEEE, 2010.

Massink M., Latella D., Bracciali A., Harrison M. (2010) A Process Algebraic Fluid Flow Model of Emergency Egress. CNR-ISTI Technical report 2010-TR012, 2010.

J. L. Silva, O. R. Ribeiro, J. M. Fernandes, J. C. Campos, and M. D: Harrison (2010) The APEX framework: prototyping of ubiquitous environments based on Petri nets In R. Bernhaupt, P. Forbrig, J. Gulliksen and M.K. Lárusdóttir, editors, Human-Centred Software Engineering, volume 6409 of Lecture Notes in Computer Science, pages 6-21. Springer.

J.L. Silva, O.R. Ribeiro, J.M. Fernandes, J.C. Campos, and M.D. Harrison (2010) Prototipagem rápida de ambientes ubíquos, In O. Mealha, J. Madeira, D. Tércio and B.S. Santos editors, 4a. Conferência Nacional em Interacção Humano-Computador (Interacção 2010), pp 121-128, GPCG (Portuguese chapter of Eurographics),  isbn = 978-972-98464-4-1.

Mieke Massink, Michael D. Harrison, Diego Latella (2010) Scalable analysis of collective behaviour in smart service systems. Sung Y. Shin, Sascha Ossowski, Michael Schumacher, Mathew J. Palakal, Chih-Cheng Hung (Eds.): Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010. ACM 2010, ISBN 978-1-60558-639-7 pp. 1173-1180

Harrison, M.D. and Massink, M. (2010) Modelling interactive experience, function and performance in ubiquitous systems
Electronic Notes in Theoretical Computer Science Vol. 261, pp 23-42 Elsevier B.V., 2010 ISSN 1571-0661
Notes : 10.1016/j.entcs.2010.01.004 Paper originally presented at the 4th International Workshop on the Practical Application of Stochastic Modelling (PASM 2009), Imperial College London, September 2009. 

Dittmar, A. and Harrison, M.D. (2010) Representations for an Iterative Resource Based Design Approach. Proceedings of the 2010 ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'10) ACM Press. pp. 135-144.

Silva, J.L., Campos, J.C. and Harrison, M.D. (2009) An Infrastructure for Experience Centered Agile Prototyping of Ambient Intelligence In EICS'09. Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, July 15-17, 2009, Pittsburgh, PA, USA Calvary, G., Graham, T.C. N. and Gray, P. (eds.) pp 79-84 ACM , 2009

Harrison, M.D., Massink, M. and Latella, D. (2009) Engineering Crowd Interaction within Smart Environments, editors, G. Calvary, T.C.N. Graham and P. Gray, Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, ACM Press, pp. 117-122.

Campos, J.C. and Harrison, M.D. (2009) Interaction engineering using the IVY tool, editors, G. Calvary, T.C.N. Graham and P. Gray, Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, ACM Press, pp. 35-44

Keith Cheverst, Chris Kray, Nick Taylor, Michael Harrison, Jurgen Wagner, Fathi Hamhoum (2008) Towards a location model for indoor navigation support through public displays and mobile devices. Workshop on mobile interaction with the real world (MIRW) at mobile HCI 2008, Amsterdam, the Netherlands

M. Massink, D. Latella, M.H. ter Beek, M. Harrison, and M. Loreti (2008) A Fluid Flow Approach to Usability Analysis of Multi-user Systems. In Engineering Interactive Systems 2008 - Proceedings of the 2nd Conference on Human-Centered Software Engineering (HCSE'08), Pisa, Italy (P. Forbrig and F. Paternò, eds.), Lecture Notes in Computer Science 5247, Springer-Verlag, Berlin, 166–180

Campos, J.C. & Harrison, M.D. (2008) Systematic analysis of control panel interfaces using formal tools. In T.C. Nicholas Graham and Philippe Palanque (editors) Interactive Systems: Design, Specification and Verification (DSVIS 2008) Springer Lecture Notes in Computer Science 5136 pp. 72-85.

Doherty, G., Campos, J.C. & Harrison, M.D. (2008) Resources for Situated Actions. In T.C. Nicholas Graham and Philippe Palanque (editors) Interactive Systems: Design, Specification and Verification (DSVIS 2008) Springer Lecture Notes in Computer Science 5136 pp. 194-207. Link to UPPAAL model.

Gilroy, S.W. & Harrison, M.D. (2008) SBML: a user interface mark-up language based on interaction style International Journal of Web Engineering and Technology (IJWET). Vol 4 No. 2. pp. 207-234.

Harrison, M.D., Campos, J.C. & Loer, K. (2008) Formal analysis of interactive systems: opportunities and weaknesses. In Cairns, P. and Cox, A. (eds) Research Methods in Human Computer Interaction. Cambridge University Press. pp. 88-111.

Harrison, M.D., Kray, C., Sun, Z and Zhang, H. (2008) Factoring user experience in the design of ambient and mobile systems. In Gulliksen, J.; Harning, M.B.; Palanque, P.; Veer, G.C. van der; Wesson, J. (Eds.) Engineering Interactive Systems Springer Lecture Notes in Computer Science. Vol. 4940. pp. 243-259

Campos, J.C. and Harrison, M.D. (2008) Considering context and users in interactive systems analysis. In Gulliksen, J.; Harning, M.B.; Palanque, P.; Veer, G.C. van der; Wesson, J. eds. Engineering Interactive Systems Springer Lecture Notes in Computer Science. Vol. 4940. pp. 193-209

Harrison, M.D., Kray, C. & Campos, J.C. (2008) Exploring an option space to engineer a ubiquitous computing system. Electronic Notes in Theoretical Computer Science. Vol 208C pp 41-55 DOI information: 10.1016/j.entcs.2008.03.106

Harrison, M.D., Campos, J.C., Doherty, G. & Loer, K. (2008) Connecting rigorous system analysis to experience centred design. In Effie Lai-Chong Law, Ebba Thora Hvannberg, Gilbert Cockton (eds) Maturing Usability: Quality in Software, Interaction and Value. Springer Human Computer Interaction Series. pp. 56-74.

Thimbleby, H.W. & Harrison, M.D. (2007) Names and Reference in User Interfaces. In D. Ramduny-Ellis & D. Rachovides. Proceedings The 21st British HCI Group Annual Conference University of Lancaster UK 3-7 September. Volume 2. BCS. pp. 107-110.

Sujan, M., Smith, S. & Harrison, M.D. (2006) Qualitative analysis of dependability argument structure. In D. Besnard, C. Gacek and C.B. Jones (ed). Structure for Dependability: Computer Based Systems from an Interdisciplinary Perspective Springer. pp. 269-285.

Loer, K. & Harrison, M.D. (2006) An Integrated Framework for the Analysis of Dependable Interactive Systems (IFADIS): its tool support and evaluation. Automated Software Engineering. Volume 13 Number 4. pp 469-496.

Sujan, M.A., Harrison, M.D., Steven, A., Pearson, P.H. & Vernon, S.J. (2006) Demonstration of safety in healthcare organisations, In Proceedings of the Computer Safety, Reliability and Security. 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006 Gorski, J. (ed.) Lecture Notes in Computer Science Volume 4166 pp. 219-232 Springer.

Sujan, M.A. & Harrison, M.D. (2006) Investigation of structural properties of hazard mitigation arguments, In Guedes, Soares and Zio (ed), Proceedings of the Safety and Reliability for Managing Risk (ESREL 2006), pp. 1869-1876 Taylor and Francis.

Smith, S.P. & Harrison, M.D. (2005) Measuring reuse in hazard analysis. Reliability Engineering and Safety Science Journal. Vol 89/1 pp 93-104

Loer, K. & Harrison, M.D. (2005) Analysing user confusion in context aware mobile applications. In proceedings Human-Computer Interaction - Interact 2005: IFIP TC13 International Conference Rome, Italy, September 2005. Springer Lecture Notes in Computer Science 3585 pages 184-197.

Gilroy, S.W. & Harrison, M.D. (2005) Using Interaction Style to Match the Ubiquitous User Interface to the Device-to-Hand. In Bastide, Palanque and Jörg (eds) Engineering Human Computer Interaction and Interactive Systems (Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13), Springer Lecture Notes in Computer Science Vol. 3425 pp. 325-345.

Hildebrandt, M., Loer, K.F., & Harrison, M.D. (2004). Time Design: Analysing Human Temporal Control Behaviour in Dynamic Real-Time Systems. In W. Thisse, P. Wieringa, M. Pantic & M. Ludema (Eds.), Proceedings of the 2004 IEEE International Conference on Systems, Man & Cybernetics (pp. 879-885).

Hildebrandt, M., & Harrison, M.D. (2004). PaintShop: A Microworld Experiment Investigating Temporal Decisions in a Supervisory Control Task. Proceedings of the Human Factors and Ergonomics Society 48th Annual Meeting (pp. 300-304).

S.P. Smith, M.D. Harrison and B.A. Schupp (2004) How explicit are the barriers to failure in safety arguments?, Computer Safety, Reliability, and Security (SAFECOMP'04), M. Heisel, P. Liggesmeyer and S. Wittmann (Eds), Lecture Notes in Computer Science Volume 3219: 325-337, Springer.

Loer, K., Hildebrandt, M. & Harrison, M. (2004) Analysing dynamic function scheduling decisions.In Johnson and Palanque (editors) Human Error, Safety and Systems Development. Kluwer Academic. pp. 45-60

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

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

S.P. Smith and M.D. Harrison (2003) Reuse in hazard analysis: Identification and support, Computer Safety, Reliability and Security (SAFECOMP'03), S. Anderson, M. Felici and B. Littlewood (Eds), Lecture Notes in Computer Science 2788: 382-395, Springer.

Hildebrandt, M., & Harrison, M.D. (2003). Putting time (back) into Dynamic Function Allocation. Proceedings of the Human Factors and Ergonomics Society 47th Annual Meeting (pp. 488-492).

Hildebrandt, M. and Harrison, M. (2002). Time-related trade-offs in dynamic function scheduling. In Johnson, C., editor, 21st European Annual Conference on Human Decision Making and Control, pages 89--95. GIST Technical Report G2002-1, Department of Computing Science, University of Glasgow, Scotland

Hildebrandt, M. and Harrison, M. (2002) The temporal dimension of dynamic function allocation. Proceedings 11th European Conference on Cognitive Ergonomics (ECCE 11). pp. 283-292.

Loer, K. and Harrison, M. (2002). Towards usable and relevant model checking techniques for the analysis of dependable interactive systems. In Emmerich, W. and Wile, D., editors, Proceedings of Automated Systems Engineering: ASE'02. IEEE Computer Society Press. pp. 223-226.

Smith, S.P. and Harrison, M.D. (2002) Improving Hazard Classification through reuse of descriptive arguments. In C. Gacek (ed) ICSR-7 Springer Lecture Notes in Computer Science 2319. pages 255-268.

Harrison, M., Johnson, P., and Wright, P. (2002).Automating functions in multi-agent control systems: supporting the decision process. In Redmill, F and Anderson, T. editors, Proceedings of the Tenth safety-critical system symposium, Southampton. Springer. pp. 93-106.

Loer, K. and Harrison, M. D. (2002) Eine Methodik zur Analyse hochzuverlassiger interaktiver Systeme, In Marzi, R., Karavezyris, V. , Erbe, H.-H., Timpe and K.-P.Bedienen editors Werkstatt Mensch-Maschine-Systeme (ZMMS Spektrum Band 13), VDI Verlag, Fortschritt-Berichte VDI, Reihe 22 No. 8. pp. 162-163.

Harrison, M., Johnson, P., and Wright, P. (2003). Relating the automation of functions in multi-agent control systems to a system engineering representation. In Handbook of Cognitive Task Design, Lawrence Erlbaum Associates pp.503-524.

Smith, S. P. and Harrison, M.D. (2002) Blending Descriptive and Numeric Analysis in Human Reliability Design. Interactive Systems: Design, Specification and Verification. P. Forbrig, B. Urban, J. Vanderdonckt and Q. Limbourg (Eds). Pg 223-237. Lecture Notes in Computer Science 2545. Springer-Verlag Berlin.

Smith, S.P. and Harrison, M.D. (2002) Augmenting descriptive scenario analysis for improvements in human reliability design, Applied Computing 2002: Proceedings of the 2002 ACM Symposium on Applied Computing. pg 739-743, ACM:USA.

Willans, J.C. and Harrison, M.D. (2001) A toolset supported approach for designing and testing virtual environment interaction techniques. International Journal of Human Computer Studies. 55(2) pp. 145-166.

Campos, J. and Harrison, M. (2001). Model checking interactor specifications. Automated Software Engineering, 8:275-310.

Johnson, P., Harrison, M., and Wright, P. (2001). An evaluation of two methods of function allocation. In People in Control, number 481 in Conference Publication, pages 178-183. IEE Press.

Willans, J.C. and Harrison, M.D. (2001). Prototyping pre-implementation designs of virtual environment behaviour. In M.R. Little and L. Nigay (editors) Engineering for Human Computer Interaction. Springer Lecture Notes in Computer Science 2254. pp. 91-108.

Loer, K. and Harrison, M. (2001). Formal interactive systems analysis and usability inspection methods: Two incompatible worlds? In Palanque, P. and Paterno, F., editors, 7th International Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 2000), volume 1946 of Lecture Notes in Computer Science, pages 169-190. Springer-Verlag.

Steven Pocock, Bob Fields, Michael Harrison, Peter Wright (2001) THEA - A Reference Guide University of York Technical Report

Pocock, S., Harrison, M., Wright, P., and Johnson, P. (2001). THEA: A technique for human error assessment early in design. In Hirose, M., editor, Human-Computer Interaction INTERACT'01 IFIP TC.13 International Conference on human computer interaction, pages 247-254. IOS Press.

Doherty, G.J., Campos, J.C. and Harrison, M.D. (2000) Representational Reasoning and Verification. Formal Aspects of Computing. 3:

Dearden, A., Harrison, M.D. & Wright, P.C. (2000) Allocation of function: scenarios, context and the economics of effort. University of York, International Journal of Human-Computer Studies, 52(2). pp 289-318.

Wright, P.C., Fields, R.E. and Harrison, M.D. (2000) Analyzing Human-Computer Interaction as Distributed Cognition: the resources model. Human Computer Interaction. 15(1) pp. 1-42.

Griffiths, A.D., Harrison, M.D. and Dearden, A.M. (1999) Case Based Reasoning Systems for Knowledge Mediation. in M. A. Sasse and C. Johnson (eds.), Proceedings of Interact 99, (Edinburgh), IOS Press. pp. 425-433.

Duke, D.J., Fields, R.E. & Harrison. M.D. (1999) A Case Study in the Specification and Analysis of Design Alternatives for a User Interface. Formal Aspects of Computing. 11: pages 107-131.

updated: November  10, 2010