Vol. 69 (2014): Formal Methods for Interactive Systems 2013

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

Published: 2015-04-05

Preface

Preface to the proceedings of FMIS 2013

Judy Bowen, Steve Reeves
- PDF

Articles

Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification

José-Luis Silva, Camille Fayollas, Arnaud Hamon, Philippe palanque, Célia Martiinie, Eric Barboni
- PDF
Automated theorem proving for the systematic analysis of an infusion pump

Michael Harrison, Paolo Masci, Jose Campos, Paul Curzon
- PDF
PVSio-web: a tool for rapid prototyping device user interfaces in PVS

Patrick Oladimeji, Paolo Masci, Paul Curzon, Harold Thimbleby
- PDF
Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach

Rimvydas Rukšėnas, Paolo Masci, Michael Harrison, Paul Curzon
- PDF
Lightweight Interaction Modeling in Evolutionary Prototyping

Anke Dittmar, Reik Schachtschneider
- PDF
Stochastic Modelling and Analysis of Driver Behaviour

Antonio Cerone, Yishi Zhao
- PDF