Rimvydas Ruksenas

24 papers B 2Misc 1Journal 10Unranked 9
YearRankTypeTitle / Venue / Authors
2017 — ch.
Modelling the User.
Handbook of Formal Methods in Human-Computer Interaction
Paul Curzon, Rimvydas Ruksenas
2016 — ch.
Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach.
From Action Systems to Distributed Systems
Rimvydas Ruksenas, Paolo Masci, Paul Curzon
2016 Misc conf
Modelling information resources and their salience in medical device design.
EICS
Michael D. Harrison, José Creissac Campos, Rimvydas Ruksenas, Paul Curzon
2015 J jnl
The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps.
Innov. Syst. Softw. Eng.
Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby
2014 J jnl
Combining human error verification and timing analysis: a case study on an infusion pump.
Formal Aspects Comput.
Rimvydas Ruksenas, Paul Curzon, Ann Blandford, Jonathan Back
2013 J jnl
Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Rimvydas Ruksenas, Paolo Masci, Michael D. Harrison, Paul Curzon
2013 B conf
Integrating Formal Predictions of Interactive System Behaviour with User Evaluation.
IFM
Rimvydas Ruksenas, Paul Curzon, Michael D. Harrison
2011 J jnl
Abstract Models and Cognitive Mismatch in Formal Verification.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Rimvydas Ruksenas, Paul Curzon
2011 J jnl
Capturing the distinction between task and device errors in a formal model of user behaviour.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Huayi Huang, Rimvydas Ruksenas, Maartje Ament, Paul Curzon, Anna Louise Cox, Ann Blandford, Duncan P. Brumby
2011 — conf
Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps.
EICS4Med
Ann Blandford, Abigail Cauchi, Paul Curzon, Parisa Eslambolchilar, Dominic Furniss, Andy Gimblett, Huayi Huang, Paul Lee, Yunqiu Li, Paolo Masci, Patrick Oladimeji, Atish Rajkomar, Rimvydas Ruksenas, Harold Thimbleby
2011 J jnl
On formalising interactive number entry on infusion pumps.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby
2011 — conf
Towards Dependable Number Entry for Medical Devices.
EICS4Med
Abigail Cauchi, Paul Curzon, Parisa Eslambolchilar, Andy Gimblett, Huayi Huang, Paul Lee, Yunqiu Li, Paolo Masci, Patrick Oladimeji, Rimvydas Ruksenas, Harold Thimbleby
2011 — conf
Towards a formal framework for reasoning about the resilience of dynamic interactive systems.
EWDC
Paolo Masci, Paul Curzon, Huayi Huang, Rimvydas Ruksenas, Ann Blandford, Dominic Furniss, Atish Rajkomar
2009 J jnl
Verification-guided modelling of salience and cognitive load.
Formal Aspects Comput.
Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford
2008 B conf
Modelling Rational User Behaviour as Games between an Angel and a Demon.
SEFM
Rimvydas Ruksenas, Paul Curzon, Ann Blandford
2008 J jnl
Modelling and analysing cognitive causes of security breaches.
Innov. Syst. Softw. Eng.
Rimvydas Ruksenas, Paul Curzon, Ann Blandford
2007 J jnl
An approach to formal verification of human-computer interaction.
Formal Aspects Comput.
Paul Curzon, Rimvydas Ruksenas, Ann Blandford
2007 — conf
Combining Human Error Verification and Timing Analysis.
EHCI/DS-VIS
Rimvydas Ruksenas, Paul Curzon, Ann Blandford, Jonathan Back
2007 — conf
Formal Modelling of Salience and Cognitive Load.
FMIS@BCS HCI
Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford
2006 — conf
Detecting Cognitive Causes of Confidentiality Leaks.
FMIS@ICFEM
Rimvydas Ruksenas, Paul Curzon, Ann Blandford
2006 — conf
Formal Modelling of Cognitive Interpretation.
DSV-IS
Rimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann Blandford
2004 J jnl
A Rigourous Environment for Development of Concurrent Systems.
Nord. J. Comput.
Rimvydas Ruksenas
1998 — conf
A Tool for Data Refinement.
TPHOLs
Rimvydas Ruksenas, Joakim von Wright
1995 — conf
TkWinHOL: A Tool for Window Inference in HOL.
TPHOLs
Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright