FMIS 2007
2nd International Workshop on
Formal Methods for Interactive Systems

 

 

 
Lancaster, UK, 4 September 2007
 
Organizers
Contact
  • fmis2007 AT dcs.qmul.ac.uk

The papers below were presented at FMIS 2007. The detailed programme is available as a pdf. The preproceedings are available as a Queen Mary, University of London, Department of Computer Science technical report.

The final post-proceedings for the workshop which included all full papers were published by Elsevier in: Electronic Notes in Theoretical Computer Science, Volume 208, 14 April 2008, Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007) DOI 10.1016/j.entcs.2008.03.103

A selection of the papers from the workshop were revised and extended and the best are published in a special issue of the journal, Formal Aspects of Computer Science.

FULL PRESENTATION PAPERS

Li Su, Howard Bowman and Philip Barnard. Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks. DOI: 10.1016/j.entcs.2008.03.109

A revised and extended version of this paper is published in Formal Aspects of Computer Science as "Process algebraic modelling of attentional capture and human electrophysiology in interactive systems" DOI: 10.1007/s00165-008-0094-3

Judy Bowen and Steve Reeves. Refinement for User Interface Designs. DOI: 10.1016/j.entcs.2008.03.104

A revised and extended version of this paper is published in Formal Aspects of Computer Science as "Refinement for user interface designs" DOI: 10.1007/s00165-008-0095-2

Michael Westergaard. A Game-theoretic Approach to Behavioural Visualisation DOI: 10.1016/j.entcs.2008.03.110

Rimvydas Ruksenas, Paul Curzon, Jonathan Back and Ann Blandford. Formal Modelling of Salience and Cognitive Load DOI: 10.1016/j.entcs.2008.03.107

A revised and extended version of this paper is published in Formal Aspects of Computer Science as "Verification-guided modelling of salience and cognitive load" DOI: 10.1007/s00165-008-0102-7

Michael Harrison, Christian Kray and Jose Creissac Campos. Exploring an option space to engineer a ubiquitous computing system DOI: 10.1016/j.entcs.2008.03.106

Alan Dix, Masitah Ghazali and Devina Ramduny-Ellis. Modelling Devices for Natural Interaction DOI: 10.1016/j.entcs.2008.03.105

A revised and extended version of this paper is published in Formal Aspects of Computer Science as "Physigrams: modelling devices for natural interaction" DOI: 10.1007/s00165-008-0099-y

Jose L. Silva, Jose Creissac Campos and Ana Paiva. Model-based user interface testing with Spec Explorer and ConcurTaskTrees DOI: 10.1016/j.entcs.2008.03.108

SHORT PRESENTATION PAPERS:

Russell Boyatt and Jane Sinclair. A "Lightweight Formal Methods" Perspective on Investigating Aspects of Interactive Systems. Available in the workshop pre-proceedings.

Siraj Shaikh, Paddy Krishnan and Antonio Cerone. A formal approach to human error recovery Available in the workshop pre-proceedings.

Thomas Anung Basuki. Model Checking Interface Design to Reduce User Errors Available in the workshop pre-proceedings.

A revised and extended version of this paper is published in Formal Aspects of Computer Science as "Model-checking user behaviour using interacting components" DOI: 10.1007/s00165-008-0101-8

Harold Thimbleby. Using the Fitts Law with state transition systems to find optimal task timings Available in the workshop pre-proceedings.


Last update: August 30, 2007