Rimvydas Ruksenas

According to our database1, Rimvydas Ruksenas authored at least 22 papers between 1995 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

2016
Modelling information resources and their salience in medical device design.
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.
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.
ISSE, 2015

2014
Combining human error verification and timing analysis: a case study on an infusion pump.
Formal Asp. Comput., 2014

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

Integrating Formal Predictions of Interactive System Behaviour with User Evaluation.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

2011
Abstract Models and Cognitive Mismatch in Formal Verification.
ECEASST, 2011

On formalising interactive number entry on infusion pumps.
ECEASST, 2011

Capturing the distinction between task and device errors in a formal model of user behaviour.
ECEASST, 2011

Towards a formal framework for reasoning about the resilience of dynamic interactive systems.
Proceedings of the 13th European Workshop on Dependable Computing, 2011

2009
Verification-guided modelling of salience and cognitive load.
Formal Asp. Comput., 2009

2008
Modelling and analysing cognitive causes of security breaches.
ISSE, 2008

Formal Modelling of Salience and Cognitive Load.
Electr. Notes Theor. Comput. Sci., 2008

Modelling Rational User Behaviour as Games between an Angel and a Demon.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

2007
An approach to formal verification of human-computer interaction.
Formal Asp. Comput., 2007

Detecting Cognitive Causes of Confidentiality Leaks.
Electr. Notes Theor. Comput. Sci., 2007

Combining Human Error Verification and Timing Analysis.
Proceedings of the Engineering Interactive Systems - EIS 2007 Joint Working Conferences, 2007

2006
Formal Modelling of Cognitive Interpretation.
Proceedings of the Interactive Systems. Design, 2006

2004
A Rigourous Environment for Development of Concurrent Systems.
Nord. J. Comput., 2004

1998
A Tool for Data Refinement.
Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

1995
TkWinHOL: A Tool for Window Inference in HOL.
Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995


  Loading...