Journal Articles
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.
SBML: a user interface mark-up language based on interaction style
International Journal of Web Engineering and Technology Vol. 4, Issue 2, pp 207-234
Inderscience Publishers, 2008
Exploring an option space to engineer a ubiquitous computing system
Electronic Notes in Theoretical Computer Science Vol. 208, pp 41-55
Elsevier B.V., 2008
Notes : doi: 10.1016/j.entcs.2008.03.106
Revised version of paper presented at the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007) Lancaster, UK, 4th September 2007.
An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation
Automated Software Engineering Vol. 13, Issue 4, pp 469-496
Springer Netherlands, 2006
Measuring reuse in hazard analysis
Reliability Engineering and System Safety Vol. 89, Issue 1, pp 93-104
Elsevier, 2005
Eine Methodik zur Analyse hochzuverl assiger interaktiver Systeme
Werkstatt Mensch-Maschine-Systeme (ZMMS Spektrum Band 13) Vol. 22, Issue 8, pp 162-163
VDI Verlag, Fortschritt-Berichte VDI, 2002
A toolset supported approach for designing and testing virtual environment interaction techniques.
International Journal of Human-Computer Studies Vol. 55, Issue 2, pp 145-165
Elsevier, 2001
Model checking interactor specifications
Automated Software Engineering Vol. 8, Issue 3/4, pp 275-310
Kluwer, 2001
Allocation of function: scenarios, context and the economics of effort.
International Journal of Human-Computer Studies Vol. 52, Issue 2, pp 289-318
Elsevier, 2000
Representational Reasoning and Verification
Formal Aspects of Computing Vol. 12, Issue 4, pp 260-277
Springer-Verlag, 2000
Analyzing Human-Computer Interaction as Distributed Cognition: the resources model.
Human-Computer Interaction Vol. 15, Issue 1, pp 1-41
Lawrence Erlbaum Associates, 2000
A Case Study in the Specification and Analysis of Design Alternatives for a User Interface
Formal Aspects of Computing Vol. 11, Issue 2, pp 107-131
Springer-Verlag, 1999
Accountability of work activity in high-consequence work systems: Human error in context
International Journal of Human-Computer Studies Vol. 47, Issue 6, pp 735-766
Academic Press, 1997
Impact and the Design of the Human-Machine Interface
IEEE Aerospace and Electronic Systems Magazine Vol. 12, Issue 2, pp 19-25
IEEE, 1997
Abstract Models for HCI
International Journal of Human-Computer Studies Vol. 46, Issue 1, pp 151-177
Academic Press, 1997
A Software Engineering Model for Case Memory Systems
Computer Journal Vol. 40, Issue 4, pp 167-182
Oxford University Press, 1997
Editorial: The formal specification of interactive systems
Software Engineering Journal Vol. 11, Issue 6, pp 322
Institution of Electrical Engineers, 1996
Mapping User Requirements to Implementations
Software Engineering Journal Vol. 10, Issue 1, pp 13-20
Institution of Electrical Engineers, 1995
Event Model of Human-System Interaction
Software Engineering Journal Vol. 10, Issue 1, pp 3-12
Institution of Electrical Engineers, 1995
Using Interaction Framework to guide the design of interactive systems
International Journal of Human-Computer Studies Vol. 43, Issue 1, pp 101-130
Academic Press, 1995
Abstract Interaction Objects
Computer Graphics Forum Vol. 12, Issue 3, pp C-25 - C-36
Blackwell Publishers, 1993
Using temporal logic to support the specification and prototyping of interactive control systems
International Journal of Man-Machine Studies Vol. 37, Issue 3, pp 357-385
Academic Press, 1992
Books and Chapters
Computer Safety, Reliability, and Security. 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008
Harrison, M. D. and Sujan, M.-A. (eds.)
Lecture Notes in Computer Science, 5219
Springer-Verlag, 2008, ISBN 978-3-540-87697-7
Formal analysis of interactive systems: opportunities and weaknesses
In Research Methods for Human-Computer Interaction,
Cairns, P.and Cox, A.L. (eds.), pp 88-111
Cambridge University Press, 2008, ISBN 978-0-521-87012-2
Connecting Rigorous System Analysis to Experience-Centered Design
In Maturing Usability: Quality in Software, Interaction and Value ,
Law, E.L-C., Hvannberg, E.T. and Cockton, G. (eds.), pp 56-74
Human-Computer Interaction,
Springer, 2008, ISBN 978-1-84628-940-8
Interactive Systems: Design Specification and Verification. 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers
Gilroy, S.W. and Harrison, M.D. (eds)
Springer, 2006, ISBN 3-540-34145-5
Qualitative analysis of dependability argument structure.
In Structure for Dependability: Computer Based Systems from an Interdisciplinary Perspective,
Besnard, D., Gacek, C. and Jones, C.B. (eds), pp 269-287
Springer, 2006, ISBN 1-84628-110-5
Analysing dynamic function scheduling decisions
In Human Error, Safety and Systems Development,
Johnson, C.W. and Palanque, P. (eds), pp 45-60
IFIP, 152
Kluwer Academic, 2004, ISBN 1-4020-8152-9
Relating the automation of functions in multiagent control systems to a system engineering representation
In Handbook of Cognitive Task Design,
Hollnagel, E.(ed), pp 503-524
Lawrence Erlbaum Associates, 2003, ISBN 0-8058-4003-6
Conference Papers
Scalable Analysis of Collective Behaviour in Smart Service Systems
In Applied Computing 2010. The 25th annual ACM Symposium on Applied Computing, Sierre, Switzerland, March 22-26, 2010
Shin, D. (ed.)
pp 1173-1180
ACM, 2010
Engineering Crowd Interaction within Smart Environments
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 117-122
ACM , 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
Interaction Engineering Using the IVY Tool
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 35-44
ACM , 2009
A Fluid Flow Approach to Usability Analysis of Multi-user Systems
In Engineering Interactive Systems 2008. Second Conference on Human-Centered Software Engineering, HCSE 2008 and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008
Forbrig, P. and Paternò, F. (eds.)
Lecture Notes in Computer Science, 5247, pp 166–180
Springer, 2008
Resources for Situated Actions
In Interactive Systems: Design, Specification and Verification. 15th International Workshop, DS-VIS 2008, Kingston, Canada, July 16-18, 2008
Graham, T.C.N. and Palanque, P. (eds.)
Lecture Notes In Computer Science, 5136, pp 194-207
Springer, 2008
Systematic analysis of control panel interfaces using formal tools
In Interactive Systems: Design, Specification and Verification. 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008
Graham, T.C.N. and Palanque, P. (eds.)
Lecture Notes in Computer Science, 5136, pp 72-85
Springer, 2008
Factoring user experience into the design of ambient and mobile systems
In Engineering Interactive Systems. EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007
Gulliksen, J., Harning, M.B., Palanque, P. et al. (eds.)
Lecture Notes in Computer Science, 4940, pp 243-259
Springer, 2008
Notes : DOI 10.1007/978-3-540-92698-6_15
Considering context and users in interactive systems analysis
In Engineering Interactive Systems. EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007
Gulliksen, J., Harning, M.B., Palanque, P. et al. (eds.)
Lecture Notes in Computer Science, 4940, pp 193-209
Springer, 2008
Notes : DOI 10.1007/978-3-540-92698-6_12
Exploring an option space to engineer a ubiquitous computing system
In The Pre-proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007), Lancaster, UK, 4 September 2007
Curzon, P. and Cerone, A. (eds.)
pp 67-82
Queen Mary, University of London, Department of Computer Science, 2007
Notes : Pre-proceedings of FMIS 2007 available as Queen Mary, University of London, Department of Computer Science, Technical report RR-07-08.
Revised version of paper published in Electronic Notes in Theoretical Computer Science, vol. 208, pp.41-55, Elsevier, 2008.
Names and Reference in User Interfaces
In People and Computers XXI. HCI...but not as we know it. Proceedings of HCI 2007. The 21st British HCI Group Annual Conference, University of Lancaster, UK, 3-7 September 2007
Rachovides, D. and Ramduny-Ellis, D. (eds.)
2, pp 107-110
British Computer Society, 2007
Connecting rigorous system analysis to experience centred design in ambient and mobile systems
In Workshop on Software Engineering Challenges for Ubiquitous Computing, June 1st - 2nd 2006, Lancaster University
Kortuem, G. (ed.)
Lancaster University, 2006
Notes : SEUC 2006 Workshop , Session no. 5, paper no. 2. 2 pp.
Investigation of structural properties of hazard mitigation arguments
In Safety and Reliability for Managing Risk. Proceedings of the 15th European Safety and Reliability Conference (ESREL 2006), Estoril, Portugal, 18-22 September 2006
Guedes Soares, C. and Zio, E. (eds.)
3, pp 1869-1876
Taylor & Francis Group, 2006
Demonstration of safety in healthcare organisations
In Computer Safety, Reliability and Security. 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006
Gorski, J. (ed.)
Lecture Notes in Computer Science, 4166, pp 219-232
Springer, 2006
Analysing user confusion in context aware mobile applications
In Human-Computer-Interaction - INTERACT 2005: IFIP TC13 International Conference, Rome, Italy, September 12-16, 2005
Costabile, M.F. and Paterno, F. (eds.)
Lecture Notes in Computer Science, 3585, pp 184-197
Springer, 2005
Using interaction style to match the ubiquitous user interface to the device-to-hand
In Engineering Human Computer Interaction and Interactive Systems (Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004)
Bastide, R, Palanque, P. and Joerg, J. (eds.)
Lecture Notes in Computer Science, 3425, pp 325-345
Springer, 2005
PaintShop: a Microworld Experiment Investigating Temporal Decisions in a Supervisory Control Task
In Human Factors and Ergonomics Society 48th Annual Meeting, New Orleans, 2004
pp 300-304
Human Factors and Ergonomics Society, 2004
How explicit are the barriers to failure in safety arguments?
In Computer Safety, Reliability and Security, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004
Heisel, M., Liggesmeyer, P. and Wittmann, S. (eds)
Lecture Notes in Computer Science, 3219, pp 325-337
Springer, 2004
Time Design: Analysing Human Temporal Control Behaviour in Dynamic Real-Time Systems
In 2004 IEEE International Conference on Systems, Man and Cybernetics, October 10-13, the Hague, the Netherlands
Thisse, W., Wieringa, P. and Pantic, M. et al (eds)
pp 879-885
IEEE, 2004
Reuse in hazard analysis: Idenfication and support
In Computer Safety, Reliability and Security. 22nd International Conference (SAFECOMP 2003), Edinburgh, UK
Anderson, S., Felici, M. and Littlewood, B. (eds)
Lecture Notes in Computer Science, 2788, pp 382-395
Springer, 2003
Putting Time (back) into Dynamic Function Allocation
In Human Factors and Ergonomics Society 47th Annual Meeting, Denver, 2003
pp 488-492
Human Factors and Ergonomics Society, 2003
Improving Hazard Classification through the Reuse of Descriptive Arguments
In Software Reuse: Methods, Techniques,and Tools, ICSR-7, Austin, Tx, April 15-19, 2002
Gacek, C. (ed)
Lecture Notes in Computer Science, 2319, pp 255-268
Springer, 2002
Towards usable and relevant model checking techniques for the analysis of dependable interactive systems
In 17th IEEE International Conference on Automated Systems Engineering: ASE 2002
Emmerich, W. and Wile, D. (eds)
pp 223-226
IEEE Computer Society Press, 2002
Automating functions in multi-agent control systems: supporting the decision process
In Components of System Safety. Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002
Redmill, F. and Anderson, T. (eds)
pp 93-106
Springer, 2002
Blending Descriptive and Numeric Analysis in Human Reliability Design
In Interactive Systems: Design, Specification and Verification. 9th International Workshop, DSV-IS 2002
Forbrig, P., Urban, B., Vanderdonckt, J. et al (eds)
Lecture Notes in Computer Science, 2545, pp 223-237
Springer-Verlag, 2002
The temporal dimension of dynamic function allocation
In 11th European Conference on Cognitive Ergonomics (ECCE 11), Catania, Sicily, 8-11 September 2002
pp 283-292
European Association of Cognitive Ergonomics, 2002
Augmenting descriptive scenario analysis for improvements in human reliability design
In SAC '02. 2002 ACM Symposium on Applied Computing, Madrid, Spain, March 11-14, 2002
pp 739-743
ACM, 2002
THEA: A technique for human error assessment early in design.
In Human Computer Interaction - INTERACT'01, IFIP TC.13 International Conference,Tokyo, July 2001
Hirose, M. (ed)
pp 247-254
IOS Press, 2001
An evaluation of two function allocation methods
In Human Interfaces in Control Rooms, Cockpits and Command Centres. 2nd International Conference on People in Control, Manchester, UK, June 2001
IEE Conference Publication, 481, pp 178-183
IEE Press, 2001
Formal interactive systems analysis and usability inspection methods: Two incompatible worlds?
In Interactive Systems. Design, Specification and Verification. 7th International Workshop, DSV-IS 2000
Palanque, P. and Paterno, F. (eds)
Lecture Notes in Computer Science, 1946, pp 169-190
Springer-Verlag, 2001
Prototyping pre-implementation designs of virtual environment behaviour.
In Engineering for Human-Computer Interaction. 8th IFIP International Conference, EHCI 2001
Little, M.R. and Nigay, L. (eds)
Lecture Notes in Computer Science, 2254, pp 91-108
Springer, 2001
Case Based Reasoning Systems for Knowledge Mediation.
In Human-Computer Interaction - Interact '99, Edinburgh
Sasse, M.A. and Johnson, C. (eds)
pp 425-433
IOS Press, 1999
The role of verification in interactive systems design
In Design, Specification and Verification of Interactive Systems’98. Proceedings of the Eurographics Workshop in Abingdon, UK, June 3-5, 1998
Markopoulos, P. and Johnson, P. (eds.)
pp 155-170
Springer, 1998
Integrating joint behaviour and dialogue description
In Design, Specification and Verification of Interactive Systems’98 . Proceedings of the Eurographics Workshop in Abingdon, UK, June 3-5, 1998
Markopoulos, P. and Johnson, P. (eds.)
pp 293-308
Springer, 1998
Locating the scene: The particular and the general in contexts for ambulance control
In GROUP'97. Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work: The Integration Challenge, November 16-19, 1997, Phoenix, Arizona, USA
Hayne, S.C. and Prinz, W. (eds.)
pp 101-110
ACM , 1997
Objectives, strategies and resources as design drivers.
In Human-Computer Interaction. Interact 97: IFIP TC13 International Conference on Human-Computer Interaction, 14th-18th July 1997, Sydney, Australia
Howard, S., Hammond, J. and Lindgaard, G. (eds.)
IFIP Conference Proceedings, 96, pp 164-171
Chapman and Hall, 1997
Using executable interactor specifications to explore the impact of operator interaction errors
In SAFECOMP 97. The 16th International Conference on Computer Safety, Reliability and Security, York, UK, September 7-10, 1997
Daniel, P. (ed.)
pp 138-147
Springer, 1997
A representational approach to the specification of presentations
In Design, Specification, and Verification of Interactive Systems’97. Proceedings of the Eurographics Workshop in Grenada, Spain, June 4-6, 1997
Harrison, M.D. and Torres, J.C. (eds.)
pp 273-290
Springer, 1997
Formally verifying interactive systems: a review
In Design, Specification, and Verification of Interactive Systems’97. Proceedings of the Eurographics Workshop in Grenada, Spain, June 4-6, 1997
Harrison, M.D. and Torres , J.C. (eds.)
pp 109-124
Springer, 1997
Risk Analysis, impact and interaction modelling
In Design Specification and Verification of Interactive Systems '96. Proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996
Bodart, F, and Vanderdonckt, J. (eds.)
pp 229-247
Springer, 1996
The user context and formal specification in interactive system design
In BCS-FACS Workshop on Formal Aspects of the Human Computer Interface. Proceedings ... Sheffield Hallam University, 10-12 September 1996
Roast, C.R. and Siddiqi, J.I. (eds.)
Electronic Workshops in Computing, pp 1-12
Springer in collaboration with the British Computer Society, 1996
Notes : Invited paper. Available online via BCS site.
Distributed information resources: a new approach to interaction modelling
In Cognition and the worksystem. Proceedings of the 8th European conference on cognitive ergonomics, September 10th-13th 1996, Grenada, Spain
Green, T., Canas, J. and Warren, C. (eds.)
pp 5-10
European Association of Cognitive Ergonomics, 1996
Notes : ECCE-8
Impact as a Human Factor in Interactive System Design
In Safety-Critical Systems: the Convergence of High Tech and Human Factors. Proceedings of the Fourth Safety-critical Systems Symposium, Leeds, UK, 6-8 February 1996
Redmill, F. and Anderson, T. (eds.)
pp 184-199
Springer, 1996
Conference Proceedings
Interactive Systems: Design, Specification and Verification. 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15 2005
Gilroy, S.W. and Harrison, M.D. (eds.)
Lecture Notes in Computer Science, 3941
Springer, 2006
Notes : Revised papers
School Technical Reports
CS-TR No 980 Time as a dimension in the design and analysis of interactive systems
School of Computing Science, Newcastle University, Aug 2006
[Abstract]CS-TR No 876 Analysing and modelling context in mobile systems to support design
School of Computing Science, Newcastle University, Nov 2004
[Abstract]CS-TR No 873 A framework and supporting tool for the model-based analysis for dependable interactive systems in the context of industrial design
School of Computing Science, Newcastle University, Nov 2004
[Abstract]Other Technical Reports
Time-related trade-offs in dynamic function scheduling. .
G2002-1, Department of Computing Science, University of Glasgow, Scotland., 2002
Notes : In Johnson, C. (ed), 21st European Annual Conference on Human Decision Making and Control, pp. 89-95. GIST Technical Report G2002-1.
THEA - A Reference Guide
YCS-2001-336, University of York, Dept. of Computer Science, 2001
