http://www.dirc.org.uk/  
 
   
   
Overview
Research
Sites
People
    Listing
    Fellows
Publications
Events
Related Projects
   
 

Publications by Michael Harrison

http://www.adobe.com/products/acrobat/readermain.htmlThese are the DIRC publications by Michael Harrison. Items are sorted by type, and listed by year. Links are provided to abstracts and pdf's of the full papers where these are available.

Conference Proceedings


Interactive Systems: Design, Specification and Verification DSVIS 2005, Gilroy, S.W. and Harrison, M.D.
Springer, 2006


Conference Papers


Demonstration of safety in healthcare organisations , Sujan, M.A., Harrison, M.D., Steven, A., Pearson, P.H. and Vernon, S.J.
In Proceedings of the Computer safety, reliability and security, 25th International Conference SAFECOMP 2006, Gorski, J., pp. 219-232  2006
[ Abstract ]

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

Dynamic Coalitions: A position paper , Arief B., Bryans J.W., Fitzgerald J., Gamble C., Harrison M., Jefferson N., Jones C.B., Mozolevsky I., Peacock T., Ryan P.
In Proceedings of the The Fifth annual DIRC research conference, Mackie J., Rouncefield M., pp. 125-127  2005
pdf icon [ pdf ( 60 Kb ) ]

Using interaction style to match the ubiquitous user interface to the device-to-hand , Gilroy, S.W. and Harrison, M.D.
In Proceedings of the Engineering Human Computer Interaction and Interactive Systems: EHCI-DSVIS 2004, Bastide R., Palanque, P and Roth, J., pp. 325-345  2005
[ Abstract ]

Analysing user confusion in context aware mobile applications , Loer, K. and Harrison, M.D.
In Proceedings of the Human-Computer Interaction - INTERACT 2005, Costabile, M.F. and Paterno, F., pp. 184-197  2005

Analysing dynamic function scheduling decisions , Loer, K., Hildebrandt, M. and Harrison, M.D.
In Proceedings of the IFIP 13.5 Working Conference on Human Error, Safety and Systems Development, Johnson, C and Palanque, P., pp. 45-60  2004
pdf icon [ pdf ( 328 Kb ) ] [ Abstract ]

Integrating Model Checking with the Industrial Design of Interactive Systems , Loer, K. and Harrison, M. D.
In Proceedings of the ICSE'04 Workshop, Kazmann, R. and Bass, L. and John, B., pp. 9-16  2004
pdf icon [ pdf ( 325 Kb ) ] [ Abstract ]

Verifying user interface behaviour with model checking , Campos, J. , Harrison, M.D. and Loer, K.
In Proceedings of the 6th International Conference on Enterprise Information Systems, Augusto, J. C. and Ultes-Nitsche, U., pp. 87-96  2004
[ Abstract ]

How explicit are the barriers to failure in safety arguments? , Smith, S.P., Harrison, M.D. and Schupp, B.A.
In Proceedings of the SafeComp 2004, Heisel, M., Liggesmeyer, P. and Wittmann, S., pp. 325-337  2004
pdf icon [ pdf ( 159 Kb ) ] [ Abstract ]

Time Design: Analysing Human Temporal Control Behaviour in Dynamic Real-Time Systems , Hildebrandt, M., Loer, K.F. and Harrison, M.
In Proceedings of the IEEE 2004 International Conference on Systems, Man and Cybernetics, pp. 879-885  2004
pdf icon [ pdf ( 220 Kb ) ] [ Abstract ]

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

Putting time (back) into Dynamic Function Allocation , Hildebrandt, M. & Harrison, M.D.
In Proceedings of the 47th Annual Meeting of the Human Factors and Ergonomics Society, 2003
pdf icon [ pdf ( 29 Kb ) ] [ Abstract ]

Model-Based Formal Analysis of Temporal Aspects in Human-Computer Interaction , Loer, K. and Harrison, M. D.
In Proceedings of the HCI2003 Workshop on the Temporal Aspects of Tasks, 2003
pdf icon [ pdf ( 243 Kb ) ] [ Abstract ]

Reuse in Hazard Analysis: Identification and Support , Shamus P. Smith, Michael D. Harrison
In Proceedings of the Computer Safety, Reliability and Security (SAFECOMP 2003), Anderson, M. Felici, B. Littlewood, pp. 382-395  2003
pdf icon [ pdf ( 246 Kb ) ] [ Abstract ]

Using Interaction Style to Develop User Interfaces for Multiple Devices , Gilroy, S.W. and Harrison, M.D.
In Proceedings of the HCI 2003, 2003

Augmenting descriptive scenario analysis for improvements in human reliability design , Smith, S.P. and Harrison, M.D.
In Proceedings of the Applied Computing 2002: ACM Symposium on Applied Computing (SAC 2002), Madrid, Spain, 11-14 March, 2002, pp. 739-743  2002
pdf icon [ pdf ( 112 Kb ) ] [ Abstract ]

Time-related trade-offs in Dynamic Function Scheduling , Hildebrandt, M. & Harrison, M.
In Proceedings of the 21st European Annual Conference on Human Decision Making and Control, Glasgow, United Kingdom, July 15th-16th, Johnson, C. (ed), pp. 89-95  2002
pdf icon [ pdf ( 40 Kb ) ] [ Abstract ]

The temporal dimension of Dynamic Function Allocation , Hildebrandt, M. & Harrison, M.
In Proceedings of the 11th European Conference on Cognitive Ergonomics, Bagnara, S., Pozzi, S., Rizzo, A. and Wright, P., pp. 283-291  2002
pdf icon [ pdf ( 61 Kb ) ] [ Abstract ]

Blending Descriptive and Numeric Analysis in Human Reliability Design , Smith, S.P. and Harrison, M.D.
In Proceedings of the 9th International Workshop on Interactive Systems: Design, Specification, and Verification (DSV-IS 2002), Forbrig, P., Urban, B., Vanderdonckt, J. and Limbourg, Q. (eds.), pp. 223-237  2002
pdf icon [ pdf ( 188 Kb ) ] [ Abstract ]

Improving Hazard Classification Through the Reuse of Descriptive Arguments , Smith, S.P. and Harrison, M.D.
In Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools (ICSR-7), Gacek, C. (ed), pp. 255-268  2002
pdf icon [ pdf ( 257 Kb ) ] [ Abstract ]

Automating Functions in Multi-Agent Control Systems: Supporting the Decision Process , Harrison, M. and Johnson, P. and Wright, P.
In Proceedings of the Tenth Safety-Critical System Symposium, Redmill, F. and Anderson, T., pp. 93-106  2002

THEA: A technique for human error assessment early in design , Pocock, S. and Harrison, M.D. and Wright, P. and Johnson, P.D.
In Proceedings of the Human-Computer Interaction {INTERACT'01} {IFIP} {TC}.13 International Conference on human computer interaction, M. Hirose, pp. 247-254  2001


Journal Articles

An integrated framework for the analysis of dependable interactive systems (IFADIS): its tool support and evaluation., Loer, K. and Harrison, M.D.
Automated Software Engineering , Volume 13 , Issue 4 , pp. 469 , 2006

[ Abstract ]

Measuring reuse in hazard analysis, Smith, S.P. and Harrison, M.D.
Reliability Engineering and Safety Science Journal , Volume 89 , Issue 1 , pp. 93-104 , 2005

[ Abstract ]


Book Chapters


Qualitative Analysis of Dependability Argument Structure , Sujan, M.A., Smith, S.P. and Harrison, M.D.
In Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective , , pp. 269-285
Springer , 2006

Relating the Automation of Functions in Multiagent Control Systems to a System Engineering Representation , Harrison, M.D.and Johnson, P.D. and Wright, P.C.
In Handbook of Cognitive Task Design , , pp. 503-524
Laurence Erlbaum Associates , 2003


Technical Reports


Time-related trade-offs in Dynamic Function Scheduling , Hildebrandt, M. and Harrison, M.
G 2002-1 Department of Computing Science, University of Glasgow , 2002

 
Page Maintainer: webmaster@dirc.org.uk Credits      Project Members only Last Modified: 15 January, 2007