Rimvydas Ruksenas

According to our database, Rimvydas Ruksenas authored at least 24 papers between 1995 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Modelling the User.

Paul Curzon, Rimvydas Ruksenas

Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

2016

Modelling information resources and their salience in medical device design.

Michael D. Harrison, José Creissac Campos, Rimvydas Ruksenas, Paul Curzon

Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016

Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach.

Rimvydas Ruksenas, Paolo Masci, Paul Curzon

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015

The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps.

Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby

Innov. Syst. Softw. Eng., 2015

2014

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

2013

Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach.

Rimvydas Ruksenas, Paolo Masci, Michael D. Harrison, Paul Curzon

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

Integrating Formal Predictions of Interactive System Behaviour with User Evaluation.

Rimvydas Ruksenas, Paul Curzon, Michael D. Harrison

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

2011

Abstract Models and Cognitive Mismatch in Formal Verification.

Rimvydas Ruksenas, Paul Curzon

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

On formalising interactive number entry on infusion pumps.

Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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

Towards a formal framework for reasoning about the resilience of dynamic interactive systems.

Paolo Masci, Paul Curzon, Huayi Huang, Rimvydas Ruksenas, Ann Blandford, Dominic Furniss, Atish Rajkomar

Proceedings of the 13th European Workshop on Dependable Computing, 2011

Towards Dependable Number Entry for Medical Devices.

Abigail Cauchi, Paul Curzon, Parisa Eslambolchilar, Andy Gimblett, Huayi Huang, Paul Lee, Yunqiu Li, Paolo Masci, Patrick Oladimeji, Rimvydas Ruksenas, Harold Thimbleby

Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011), 2011

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, Patrick Oladimeji, Atish Rajkomar, Rimvydas Ruksenas, Harold Thimbleby

Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011), 2011

2009

Verification-guided modelling of salience and cognitive load.

Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford

Formal Aspects Comput., 2009

2008

Modelling and analysing cognitive causes of security breaches.

Rimvydas Ruksenas, Paul Curzon, Ann Blandford

Innov. Syst. Softw. Eng., 2008

Modelling Rational User Behaviour as Games between an Angel and a Demon.

Rimvydas Ruksenas, Paul Curzon, Ann Blandford

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

2007

An approach to formal verification of human-computer interaction.

Paul Curzon, Rimvydas Ruksenas, Ann Blandford

Formal Aspects Comput., 2007

Formal Modelling of Salience and Cognitive Load.

Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford

Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems, 2007

Combining Human Error Verification and Timing Analysis.

Rimvydas Ruksenas, Paul Curzon, Ann Blandford, Jonathan Back

Proceedings of the Engineering Interactive Systems - EIS 2007 Joint Working Conferences, 2007

2006

Detecting Cognitive Causes of Confidentiality Leaks.

Rimvydas Ruksenas, Paul Curzon, Ann Blandford

Proceedings of the First International Workshop on Formal Methods for Interactive Systems, 2006

Formal Modelling of Cognitive Interpretation.

Rimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann Blandford

Proceedings of the Interactive Systems. Design, 2006

2004

A Rigourous Environment for Development of Concurrent Systems.

Rimvydas Ruksenas

Nord. J. Comput., 2004

1998

A Tool for Data Refinement.

Rimvydas Ruksenas, Joakim von Wright

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

1995

TkWinHOL: A Tool for Window Inference in HOL.

Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995