Rimvydas Ruksenas

Publication Activity (10 Years)

Years Active: 1995-2016
Publications (10 Years): 1

Top Topics

Interactive Systems

Design Guidelines

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Formal Aspects Comput.

Innov. Syst. Softw. Eng.

Publications

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