Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

BibTeX records: Rimvydas Ruksenas

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Rimvydas Ruksenas

download as .bib file

@incollection{DBLP:books/sp/17/CurzonR17,
  author       = {Paul Curzon and
                  Rimvydas Ruksenas},
  editor       = {Benjamin Weyers and
                  Judy Bowen and
                  Alan J. Dix and
                  Philippe A. Palanque},
  title        = {Modelling the User},
  booktitle    = {The Handbook of Formal Methods in Human-Computer Interaction},
  pages        = {211--245},
  publisher    = {Springer International Publishing},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-51838-1\_8},
  doi          = {10.1007/978-3-319-51838-1\_8},
  timestamp    = {Tue, 02 Jun 2020 16:56:41 +0200},
  biburl       = {https://dblp.org/rec/books/sp/17/CurzonR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eics/HarrisonCRC16,
  author       = {Michael D. Harrison and
                  Jos{\'{e}} Creissac Campos and
                  Rimvydas Ruksenas and
                  Paul Curzon},
  editor       = {Kris Luyten and
                  Philippe A. Palanque},
  title        = {Modelling information resources and their salience in medical device
                  design},
  booktitle    = {Proceedings of the 8th {ACM} {SIGCHI} Symposium on Engineering Interactive
                  Computing Systems, {EICS} 2016, Brussels, Belgium, June 21-24, 2016},
  pages        = {194--203},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2933242.2933250},
  doi          = {10.1145/2933242.2933250},
  timestamp    = {Sat, 09 Apr 2022 12:33:56 +0200},
  biburl       = {https://dblp.org/rec/conf/eics/HarrisonCRC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/crc/p/RuksenasMC16,
  author       = {Rimvydas Ruksenas and
                  Paolo Masci and
                  Paul Curzon},
  editor       = {Luigia Petre and
                  Emil Sekerinski},
  title        = {Developing and Verifying User Interface Requirements for Infusion
                  Pumps: {A} Refinement Approach},
  booktitle    = {From Action Systems to Distributed Systems - The Refinement Approach},
  pages        = {215--230},
  publisher    = {Chapman and Hall/CRC},
  year         = {2016},
  url          = {https://doi.org/10.1201/b20053-21},
  doi          = {10.1201/B20053-21},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/crc/p/RuksenasMC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isse/MasciROCGLCT15,
  author       = {Paolo Masci and
                  Rimvydas Ruksenas and
                  Patrick Oladimeji and
                  Abigail Cauchi and
                  Andy Gimblett and
                  Karen Yunqiu Li and
                  Paul Curzon and
                  Harold W. Thimbleby},
  title        = {The benefits of formalising design guidelines: a case study on the
                  predictability of drug infusion pumps},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {11},
  number       = {2},
  pages        = {73--93},
  year         = {2015},
  url          = {https://doi.org/10.1007/s11334-013-0200-4},
  doi          = {10.1007/S11334-013-0200-4},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isse/MasciROCGLCT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/RuksenasCBB14,
  author       = {Rimvydas Ruksenas and
                  Paul Curzon and
                  Ann Blandford and
                  Jonathan Back},
  title        = {Combining human error verification and timing analysis: a case study
                  on an infusion pump},
  journal      = {Formal Aspects Comput.},
  volume       = {26},
  number       = {5},
  pages        = {1033--1076},
  year         = {2014},
  url          = {https://doi.org/10.1007/s00165-013-0288-1},
  doi          = {10.1007/S00165-013-0288-1},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/RuksenasCBB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/RuksenasMHC13,
  author       = {Rimvydas Ruksenas and
                  Paolo Masci and
                  Michael D. Harrison and
                  Paul Curzon},
  title        = {Developing and Verifying User Interface Requirements for Infusion
                  Pumps: {A} Refinement Approach},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {69},
  year         = {2013},
  url          = {https://doi.org/10.14279/tuj.eceasst.69.964},
  doi          = {10.14279/TUJ.ECEASST.69.964},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/RuksenasMHC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/RuksenasCH13,
  author       = {Rimvydas Ruksenas and
                  Paul Curzon and
                  Michael D. Harrison},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Integrating Formal Predictions of Interactive System Behaviour with
                  User Evaluation},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {238--252},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_17},
  doi          = {10.1007/978-3-642-38613-8\_17},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/RuksenasCH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/HuangRACCBB11,
  author       = {Huayi Huang and
                  Rimvydas Ruksenas and
                  Maartje Ament and
                  Paul Curzon and
                  Anna Louise Cox and
                  Ann Blandford and
                  Duncan P. Brumby},
  title        = {Capturing the distinction between task and device errors in a formal
                  model of user behaviour},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {45},
  year         = {2011},
  url          = {https://doi.org/10.14279/tuj.eceasst.45.656},
  doi          = {10.14279/TUJ.ECEASST.45.656},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eceasst/HuangRACCBB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/MasciROCGLCT11,
  author       = {Paolo Masci and
                  Rimvydas Ruksenas and
                  Patrick Oladimeji and
                  Abigail Cauchi and
                  Andy Gimblett and
                  Karen Yunqiu Li and
                  Paul Curzon and
                  Harold W. Thimbleby},
  title        = {On formalising interactive number entry on infusion pumps},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {45},
  year         = {2011},
  url          = {https://doi.org/10.14279/tuj.eceasst.45.654},
  doi          = {10.14279/TUJ.ECEASST.45.654},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/MasciROCGLCT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/RuksenasC11,
  author       = {Rimvydas Ruksenas and
                  Paul Curzon},
  title        = {Abstract Models and Cognitive Mismatch in Formal Verification},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {45},
  year         = {2011},
  url          = {https://doi.org/10.14279/tuj.eceasst.45.655},
  doi          = {10.14279/TUJ.ECEASST.45.655},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/RuksenasC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eics/CauchiCEGHLLMOR11,
  author       = {Abigail Cauchi and
                  Paul Curzon and
                  Parisa Eslambolchilar and
                  Andy Gimblett and
                  Huayi Huang and
                  Paul Lee and
                  Yunqiu Li and
                  Paolo Masci and
                  Patrick Oladimeji and
                  Rimvydas Ruksenas and
                  Harold Thimbleby},
  editor       = {Ann Blandford and
                  Giuseppe De Pietro and
                  Luigi Gallo and
                  Andy Gimblett and
                  Patrick Oladimeji and
                  Harold W. Thimbleby},
  title        = {Towards Dependable Number Entry for Medical Devices},
  booktitle    = {Proceedings of the 1st International Workshop on Engineering Interactive
                  Computing Systems for Medicine and Health Care (EICS4Med 2011), Pisa,
                  Italy, June 13, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {727},
  pages        = {53--58},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-727/eics4med10.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:31 +0100},
  biburl       = {https://dblp.org/rec/conf/eics/CauchiCEGHLLMOR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eics/BlandfordCCEFGH11,
  author       = {Ann Blandford and
                  Abigail Cauchi and
                  Paul Curzon and
                  Parisa Eslambolchilar and
                  Dominic Furniss and
                  Andy Gimblett and
                  Huayi Huang and
                  Paul Lee and
                  Yunqiu Li and
                  Paolo Masci and
                  Patrick Oladimeji and
                  Atish Rajkomar and
                  Rimvydas Ruksenas and
                  Harold Thimbleby},
  editor       = {Ann Blandford and
                  Giuseppe De Pietro and
                  Luigi Gallo and
                  Andy Gimblett and
                  Patrick Oladimeji and
                  Harold W. Thimbleby},
  title        = {Comparing Actual Practice and User Manuals: {A} Case Study Based on
                  Programmable Infusion Pumps},
  booktitle    = {Proceedings of the 1st International Workshop on Engineering Interactive
                  Computing Systems for Medicine and Health Care (EICS4Med 2011), Pisa,
                  Italy, June 13, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {727},
  pages        = {59--64},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-727/eics4med11.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eics/BlandfordCCEFGH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ewdc/MasciCHRBFR11,
  author       = {Paolo Masci and
                  Paul Curzon and
                  Huayi Huang and
                  Rimvydas Ruksenas and
                  Ann Blandford and
                  Dominic Furniss and
                  Atish Rajkomar},
  editor       = {Felicita Di Giandomenico},
  title        = {Towards a formal framework for reasoning about the resilience of dynamic
                  interactive systems},
  booktitle    = {Proceedings of the 13th European Workshop on Dependable Computing,
                  {EWDC} '11, Pisa, Italy, May 11-12, 2011},
  pages        = {109--110},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1978582.1978606},
  doi          = {10.1145/1978582.1978606},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ewdc/MasciCHRBFR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/RuksenasBCB09,
  author       = {Rimvydas Ruksenas and
                  Jonathan Back and
                  Paul Curzon and
                  Ann Blandford},
  title        = {Verification-guided modelling of salience and cognitive load},
  journal      = {Formal Aspects Comput.},
  volume       = {21},
  number       = {6},
  pages        = {541--569},
  year         = {2009},
  url          = {https://doi.org/10.1007/s00165-008-0102-7},
  doi          = {10.1007/S00165-008-0102-7},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/RuksenasBCB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isse/RuksenasCB08,
  author       = {Rimvydas Ruksenas and
                  Paul Curzon and
                  Ann Blandford},
  title        = {Modelling and analysing cognitive causes of security breaches},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {4},
  number       = {2},
  pages        = {143--160},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11334-008-0050-7},
  doi          = {10.1007/S11334-008-0050-7},
  timestamp    = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isse/RuksenasCB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/RuksenasCB08,
  author       = {Rimvydas Ruksenas and
                  Paul Curzon and
                  Ann Blandford},
  editor       = {Antonio Cerone and
                  Stefan Gruner},
  title        = {Modelling Rational User Behaviour as Games between an Angel and a
                  Demon},
  booktitle    = {Sixth {IEEE} International Conference on Software Engineering and
                  Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November
                  2008},
  pages        = {355--364},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/SEFM.2008.43},
  doi          = {10.1109/SEFM.2008.43},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/RuksenasCB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/CurzonRB07,
  author       = {Paul Curzon and
                  Rimvydas Ruksenas and
                  Ann Blandford},
  title        = {An approach to formal verification of human-computer interaction},
  journal      = {Formal Aspects Comput.},
  volume       = {19},
  number       = {4},
  pages        = {513--550},
  year         = {2007},
  url          = {https://doi.org/10.1007/s00165-007-0035-6},
  doi          = {10.1007/S00165-007-0035-6},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/CurzonRB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ehci/RuksenasCBB07,
  author       = {Rimvydas Ruksenas and
                  Paul Curzon and
                  Ann Blandford and
                  Jonathan Back},
  editor       = {Jan Gulliksen and
                  Morten Borup Harning and
                  Philippe A. Palanque and
                  Gerrit C. van der Veer and
                  Janet Wesson},
  title        = {Combining Human Error Verification and Timing Analysis},
  booktitle    = {Engineering Interactive Systems - {EIS} 2007 Joint Working Conferences,
                  {EHCI} 2007, {DSV-IS} 2007, {HCSE} 2007, Salamanca, Spain, March 22-24,
                  2007. Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4940},
  pages        = {18--35},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-92698-6\_2},
  doi          = {10.1007/978-3-540-92698-6\_2},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ehci/RuksenasCBB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/RuksenasBCB08,
  author       = {Rimvydas Ruksenas and
                  Jonathan Back and
                  Paul Curzon and
                  Ann Blandford},
  editor       = {Antonio Cerone and
                  Paul Curzon},
  title        = {Formal Modelling of Salience and Cognitive Load},
  booktitle    = {Proceedings of the 2nd International Workshop on Formal Methods for
                  Interactive Systems, FMIS@BCS {HCI} 2007, Lancaster, UK, September
                  4, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {208},
  pages        = {57--75},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.03.107},
  doi          = {10.1016/J.ENTCS.2008.03.107},
  timestamp    = {Mon, 13 Feb 2023 14:12:08 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/RuksenasBCB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsvis/RuksenasCBB06,
  author       = {Rimvydas Ruksenas and
                  Paul Curzon and
                  Jonathan Back and
                  Ann Blandford},
  editor       = {Gavin J. Doherty and
                  Ann Blandford},
  title        = {Formal Modelling of Cognitive Interpretation},
  booktitle    = {Interactive Systems. Design, Specification, and Verification, 13th
                  International Workshop, {DSVIS} 2006, Dublin, Ireland, July 26-28,
                  2006. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4323},
  pages        = {123--136},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-69554-7\_10},
  doi          = {10.1007/978-3-540-69554-7\_10},
  timestamp    = {Sun, 02 Jun 2019 21:16:06 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/RuksenasCBB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/RuksenasCB07,
  author       = {Rimvydas Ruksenas and
                  Paul Curzon and
                  Ann Blandford},
  editor       = {Antonio Cerone and
                  Paul Curzon},
  title        = {Detecting Cognitive Causes of Confidentiality Leaks},
  booktitle    = {Proceedings of the First International Workshop on Formal Methods
                  for Interactive Systems, FMIS@ICFEM 2006, Macao, October 31, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {183},
  pages        = {21--38},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.01.059},
  doi          = {10.1016/J.ENTCS.2007.01.059},
  timestamp    = {Tue, 24 Jan 2023 13:55:33 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/RuksenasCB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/njc/Ruksenas04,
  author       = {Rimvydas Ruksenas},
  title        = {A Rigourous Environment for Development of Concurrent Systems},
  journal      = {Nord. J. Comput.},
  volume       = {11},
  number       = {2},
  pages        = {165--193},
  year         = {2004},
  timestamp    = {Wed, 03 May 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/njc/Ruksenas04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/RuksenasW98,
  author       = {Rimvydas Ruksenas and
                  Joakim von Wright},
  editor       = {Jim Grundy and
                  Malcolm C. Newey},
  title        = {A Tool for Data Refinement},
  booktitle    = {Theorem Proving in Higher Order Logics, 11th International Conference,
                  TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1479},
  pages        = {423--441},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055150},
  doi          = {10.1007/BFB0055150},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/RuksenasW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/LangbackaRW95,
  author       = {Thomas L{\aa}ngbacka and
                  Rimvydas Ruksenas and
                  Joakim von Wright},
  editor       = {E. Thomas Schubert and
                  Phillip J. Windley and
                  Jim Alves{-}Foss},
  title        = {TkWinHOL: {A} Tool for Window Inference in {HOL}},
  booktitle    = {Higher Order Logic Theorem Proving and Its Applications, 8th International
                  Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {971},
  pages        = {245--260},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60275-5\_69},
  doi          = {10.1007/3-540-60275-5\_69},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/LangbackaRW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

a service of

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.