Volume 45: Formal Methods for Interactive Systems 2011

DOI: http://dx.doi.org/10.14279/tuj.eceasst.45

Table of Contents

Preface

Preface for FMIS 2011
Judy Bowen, Steve Reeves
PDF

Articles

Using Assurance Cases and Boolean Logic Driven Markov Processes to Formalise Cyber Security Concerns for Safety-Critical Interaction with Global Navigation Satellite Systems
Chris Johnson
PDF
Capturing the distinction between task and device errors in a formal model of user behaviour
Huayi Huang, Rimvydas Ruksenas, Maartje Ament, Paul Curzon, Anna Cox, Ann Blandford, Duncan Brumby
PDF
Modelling and analysing the interactive behaviour of an infusion pump
Jose Creissac Campos, Michael Harrison
PDF
Modelling Distributed Cognition Systems in PVS
Paolo Masci, Paul Curzon, Ann Blandford, Dominic Furniss
PDF
Formal Modeling and Analysis for Interactive Hybrid Systems
Ellen J Bass, Karen M Feigh, Elsa Gunter, John M Rushby
PDF
Abstract Models and Cognitive Mismatch in Formal Verification
Rimvydas Rukšėnas, Paul Curzon
PDF
Supporting Mobile Application Development with Model-Driven Emulation
Judy Bowen, Annika Hinze
PDF
Closure and Attention Activation in Human Automatic Behaviour: A Framework for the Formal Analysis of Interactive Systems
Antonio Cerone
PDF
A Process Algebraic Description of a Temporal Wireless Network Protocol
Colm Bhandal, Melanie Bouroche, Arthur Hughes
PDF
Dependable keyed data entry for interactive systems
Harold Thimbleby, Andy Gimblett
PDF
On formalising interactive number entry on infusion pumps
Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Yunqiu Li, Paul Curzon, Harold Thimbleby
PDF