TkWinHOL: A Tool for Window Inference in HOL. - Thomas Långbacka; Rimvydas Ruksenas; Joakim von Wright (TPHOLs, 1995)

A Tool for Data Refinement. - Rimvydas Ruksenas; Joakim von Wright (TPHOLs, 1998)

A Rigourous Environment for Development of Concurrent Systems. - Rimvydas Ruksenas (Nord. J. Comput., 2004)

Formal Modelling of Cognitive Interpretation. - Rimvydas Ruksenas; Paul Curzon; Jonathan Back; Ann Blandford (DSV-IS, 2006)

Detecting Cognitive Causes of Confidentiality Leaks. - Rimvydas Ruksenas; Paul Curzon; Ann Blandford (FMIS@ICFEM, 2006)

Combining Human Error Verification and Timing Analysis. - Rimvydas Ruksenas; Paul Curzon; Ann Blandford; Jonathan Back (EHCI/DS-VIS, 2007)

Formal Modelling of Salience and Cognitive Load. - Rimvydas Ruksenas; Jonathan Back; Paul Curzon; Ann Blandford (FMIS@BCS HCI, 2007)

An approach to formal verification of human-computer interaction. - Paul Curzon; Rimvydas Ruksenas; Ann Blandford (Formal Aspects Comput., 2007)

Modelling Rational User Behaviour as Games between an Angel and a Demon. - Rimvydas Ruksenas; Paul Curzon; Ann Blandford (SEFM, 2008)

Modelling and analysing cognitive causes of security breaches. - Rimvydas Ruksenas; Paul Curzon; Ann Blandford (Innov. Syst. Softw. Eng., 2008)

Verification-guided modelling of salience and cognitive load. - Rimvydas Ruksenas; Jonathan Back; Paul Curzon; Ann Blandford (Formal Aspects Comput., 2009)

Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps. - Ann Blandford; Abigail Cauchi; Paul Curzon; Parisa Eslambolchilar; Dominic Furniss; Andy Gimblett; Huayi Huang; Paul Lee; Yunqiu Li; Paolo Masci 001; Patrick Oladimeji; Atish Rajkomar; et al. (EICS4Med, 2011)

Towards Dependable Number Entry for Medical Devices. - Abigail Cauchi; Paul Curzon; Parisa Eslambolchilar; Andy Gimblett; Huayi Huang; Paul Lee; Yunqiu Li; Paolo Masci 001; Patrick Oladimeji; Rimvydas Ruksenas; Harold Thimbleby (EICS4Med, 2011)

Towards a formal framework for reasoning about the resilience of dynamic interactive systems. - Paolo Masci 001; Paul Curzon; Huayi Huang; Rimvydas Ruksenas; Ann Blandford; Dominic Furniss; Atish Rajkomar (EWDC, 2011)

Capturing the distinction between task and device errors in a formal model of user behaviour. - Huayi Huang; Rimvydas Ruksenas; Maartje Ament; Paul Curzon; Anna Louise Cox; Ann Blandford; Duncan P. Brumby (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

On formalising interactive number entry on infusion pumps. - Paolo Masci 001; Rimvydas Ruksenas; Patrick Oladimeji; Abigail Cauchi; Andy Gimblett; Karen Yunqiu Li; Paul Curzon; Harold W. Thimbleby (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Abstract Models and Cognitive Mismatch in Formal Verification. - Rimvydas Ruksenas; Paul Curzon (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Integrating Formal Predictions of Interactive System Behaviour with User Evaluation. - Rimvydas Ruksenas; Paul Curzon; Michael D. Harrison (IFM, 2013)

Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. - Rimvydas Ruksenas; Paolo Masci 001; Michael D. Harrison; Paul Curzon (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Combining human error verification and timing analysis: a case study on an infusion pump. - Rimvydas Ruksenas; Paul Curzon; Ann Blandford; Jonathan Back (Formal Aspects Comput., 2014)

The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps. - Paolo Masci 001; Rimvydas Ruksenas; Patrick Oladimeji; Abigail Cauchi; Andy Gimblett; Karen Yunqiu Li; Paul Curzon; Harold W. Thimbleby (Innov. Syst. Softw. Eng., 2015)

Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. - Rimvydas Ruksenas; Paolo Masci 001; Paul Curzon (From Action Systems to Distributed Systems, 2016)

Modelling information resources and their salience in medical device design. - Michael D. Harrison; José Creissac Campos; Rimvydas Ruksenas; Paul Curzon (EICS, 2016)

Modelling the User. - Paul Curzon; Rimvydas Ruksenas (Handbook of Formal Methods in Human-Computer Interaction, 2017)