default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRimvydas Ruksenas
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
[p2]Paul Curzon, Rimvydas Ruksenas:
Modelling the User. Handbook of Formal Methods in Human-Computer Interaction 2017: 211-245- 2016
- [c12]Michael D. Harrison, José Creissac Campos
, Rimvydas Ruksenas, Paul Curzon:
Modelling information resources and their salience in medical device design. EICS 2016: 194-203 - [p1]Rimvydas Ruksenas, Paolo Masci, Paul Curzon:
Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. From Action Systems to Distributed Systems 2016: 215-230 - 2015
- [j10]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): 73-93 (2015) - 2014
- [j9]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): 1033-1076 (2014) - 2013
- [j8]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) - [c11]Rimvydas Ruksenas, Paul Curzon, Michael D. Harrison:
Integrating Formal Predictions of Interactive System Behaviour with User Evaluation. IFM 2013: 238-252 - 2011
- [j7]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) - [j6]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) - [j5]Rimvydas Ruksenas, Paul Curzon:
Abstract Models and Cognitive Mismatch in Formal Verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011) - [c10]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: 53-58 - [c9]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: 59-64 - [c8]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: 109-110
2000 – 2009
- 2009
- [j4]Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford:
Verification-guided modelling of salience and cognitive load. Formal Aspects Comput. 21(6): 541-569 (2009) - 2008
- [j3]Rimvydas Ruksenas, Paul Curzon, Ann Blandford:
Modelling and analysing cognitive causes of security breaches. Innov. Syst. Softw. Eng. 4(2): 143-160 (2008) - [c7]Rimvydas Ruksenas, Paul Curzon, Ann Blandford:
Modelling Rational User Behaviour as Games between an Angel and a Demon. SEFM 2008: 355-364 - 2007
- [j2]Paul Curzon, Rimvydas Ruksenas, Ann Blandford:
An approach to formal verification of human-computer interaction. Formal Aspects Comput. 19(4): 513-550 (2007) - [c6]Rimvydas Ruksenas, Paul Curzon, Ann Blandford, Jonathan Back:
Combining Human Error Verification and Timing Analysis. EHCI/DS-VIS 2007: 18-35 - [c5]Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford:
Formal Modelling of Salience and Cognitive Load. FMIS@BCS HCI 2007: 57-75 - 2006
- [c4]Rimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann Blandford:
Formal Modelling of Cognitive Interpretation. DSV-IS 2006: 123-136 - [c3]Rimvydas Ruksenas, Paul Curzon, Ann Blandford:
Detecting Cognitive Causes of Confidentiality Leaks. FMIS@ICFEM 2006: 21-38 - 2004
- [j1]Rimvydas Ruksenas:
A Rigourous Environment for Development of Concurrent Systems. Nord. J. Comput. 11(2): 165-193 (2004)
1990 – 1999
- 1998
- [c2]Rimvydas Ruksenas, Joakim von Wright:
A Tool for Data Refinement. TPHOLs 1998: 423-441 - 1995
- [c1]Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright:
TkWinHOL: A Tool for Window Inference in HOL. TPHOLs 1995: 245-260
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
