An approach to formal verification of human-computer interaction von CURZON, Paul, RUKSENAS, Rimvydas, BLANDFORD, Ann

Volltext

Combining human error verification and timing analysis: a case study on an infusion pump von Rukšėnas, Rimvydas, Curzon, Paul, Blandford, Ann, Back, Jonathan

Volltext

Verification-guided modelling of salience and cognitive load von Rukšėnas, Rimvydas, Back, Jonathan, Curzon, Paul, Blandford, Ann

Volltext

The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps von Masci, Paolo, Rukšėnas, Rimvydas, Oladimeji, Patrick, Cauchi, Abigail, Gimblett, Andy, Li, Yunqiu, Curzon, Paul, Thimbleby, Harold

Volltext

Modelling and analysing cognitive causes of security breaches von Rukšėnas, Rimvydas, Curzon, Paul, Blandford, Ann

Volltext

Formal Modelling of Cognitive Interpretation von Rukšėnas, Rimvydas, Curzon, Paul, Back, Jonathan, Blandford, Ann

Volltext

Combining Human Error Verification and Timing Analysis von Rukšėnas, Rimvydas, Curzon, Paul, Blandford, Ann, Back, Jonathan

Volltext

TkWinHOL: A tool for Window Inference in HOL von Långbacka, Thomas, Rukšėnas, Rimvydas, von Wright, Joakim

Volltext

A tool for data refinement von Rukšėnas, Rimvydas, von Wright, Joakim

Volltext

Verification-guided modelling of salience and cognitive load: Extended papers from the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007), Lancaster,... von RUKSENAS, Rimvydas, BACK, Jonathan, CURZON, Paul, BLANDFORD, Ann

Volltext

Modelling Rational User Behaviour as Games between an Angel and a Demon von Rukienas, R., Curzon, P., Blandford, A.

Volltext