Electronic Communications of the EASSTTable of Contents
Preface
| Preface for FMIS 2011 | |
| Judy Bowen, Steve Reeves |
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 |
| 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 |
| Modelling and analysing the interactive behaviour of an infusion pump | |
| Jose Creissac Campos, Michael Harrison |
| Modelling Distributed Cognition Systems in PVS | |
| Paolo Masci, Paul Curzon, Ann Blandford, Dominic Furniss |
| Formal Modeling and Analysis for Interactive Hybrid Systems | |
| Ellen J Bass, Karen M Feigh, Elsa Gunter, John M Rushby |
| Abstract Models and Cognitive Mismatch in Formal Verification | |
| Rimvydas Rukšėnas, Paul Curzon |
| Supporting Mobile Application Development with Model-Driven Emulation | |
| Judy Bowen, Annika Hinze |
| Closure and Attention Activation in Human Automatic Behaviour: A Framework for the Formal Analysis of Interactive Systems | |
| Antonio Cerone |
| A Process Algebraic Description of a Temporal Wireless Network Protocol | |
| Colm Bhandal, Melanie Bouroche, Arthur Hughes |
| Dependable keyed data entry for interactive systems | |
| Harold Thimbleby, Andy Gimblett |
| On formalising interactive number entry on infusion pumps | |
| Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Yunqiu Li, Paul Curzon, Harold Thimbleby |
ISSN: 1863-2122