Vol. 45 (2011): Formal Methods for Interactive Systems 2011

DOI: https://doi.org/10.14279/tuj.eceasst.45

Published: 2011-12-06

Articles

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
A Process Algebraic Description of a Temporal Wireless Network Protocol

Colm Bhandal, Melanie Bouroche, Arthur Hughes
- PDF
Supporting Mobile Application Development with Model-Driven Emulation

Judy Bowen, Annika Hinze
- PDF
Formal Modeling and Analysis for Interactive Hybrid Systems

Ellen Bass, Karen Feigh, Elsa Gunter, John Rushby
- PDF
Modelling and analysing the interactive behaviour of an infusion pump

Jose Campos, Michael Harrison
- PDF
Dependable keyed data entry for interactive systems

Harold Thimbleby, Andy Gimblett
- PDF
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
Closure and Attention Activation in Human Automatic Behaviour: A Framework for the Formal Analysis of Interactive Systems

Antonio Cerone
- PDF
Abstract Models and Cognitive Mismatch in Formal Verification

Rimvydas Rukšėnas, Paul Curzon
- PDF
Modelling Distributed Cognition Systems in PVS

Paolo Masci, Paul Curzon, Ann Blandford, Dominic Furniss
- 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

Preface

Preface for FMIS 2011

Judy Bowen, Steve Reeves
- PDF