Dr Rimvydas Rukšėnas

Home page

Interaction, Media and Communication (IMC) Group

Logic and Semantics Group

Department of Computer Science

Queen Mary, University of London

Submitted for publication:

  1. R. Rukšėnas, P. Curzon and A. Blandford (submitted) Verification-guided modelling of salience and cognitive load. Formal Aspects of Computing.

Refereed journals and conference papers:

  1. R. Rukšėnas, P. Curzon and A. Blandford (in press) Modelling rational user behaviour as games between an Angel and a Demon. In: Proc. Software Engineering and Formal Methods (SEFM 2008), IEEE Computer Society Press.
  2. R. Rukšėnas, P. Curzon and A. Blandford (2008) Modelling and analysing cognitive causes of security breaches. Innovations in Systems and Software Engineering 4(2), pp 143-160. DOI 10.1007/s11334-008-0050-7.
  3. J. Back, A. Blandford, P. Curzon and R. Rukšėnas (in press) Explaining mode and omission errors: a model of cognitive salience. Human Factors: Journal of HFES.
  4. R. Rukšėnas, J. Back, P. Curzon and A. Blandford (2008) Formal modelling of salience and cognitive load. In: Proc. Formal Methods for Interactive Systems (FMIS 2007), vol. 208 of Electronic Notes in Theoretical Computer Science, pp 57-75. DOI 10.1016/j.entcs.2008.03.107.
  5. R. Rukšėnas, P. Curzon, A. Blandford and J. Back (2008) Combining human error verification and timing analysis. In: Proc. Engineering Interactive Systems 2007, vol. 4940 of Lecture Notes in Computer Science, Springer.
  6. P. Curzon, R. Rukšėnas and A. Blandford (2007) An approach to formal verification of human-computer interaction. Formal Aspects of Computing 19(4), pp 513-550. DOI 10.1007/s00165-007-0035-6.
  7. R. Rukšėnas, P. Curzon and A. Blandford (2007) Detecting cognitive causes of confidentiality leaks. In: Proc. Formal Methods for Interactive Systems (FMIS 2006), vol. 183 of Electronic Notes in Theoretical Computer Science, pp 21-38. DOI 10.1016/j.entcs.2007.01.059.
  8. R. Rukšėnas, P. Curzon, J. Back, A. Blandford and J. Back (2007) Formal modelling of cognitive interpretation. In: Proc. Interactive Systems: Design, Specification and Verification, vol. 4323 of Lecture Notes in Computer Science, pp 123-136, Springer. DOI 10.1007/978-3-540-69554-7_10.
  9. A. Blandford, J. Back, P. Curzon, S. Li and R. Rukšėnas (2006) Reasoning about human error by modeling cognition and interaction. In: Proc. Resilience Engineering Symposium, Les Presses Mines Paris, pp 36-43.
  10. R. Rukšėnas (2004) A rigorous environment for the development of concurrent systems. Nordic Journal of Computing 11(2), pp 165-193.
  11. R. Rukšėnas and J. von Wright (1998) A tool for data refinement. In: Proceedings of Theorem Proving in Higher Order Logics: 11th International Conference, vol. 1479 of Lecture Notes in Computer Science, pp 423-441, Springer. DOI 10.1007/BFb0055150.
  12. J. Plosila, R. Rukšėnas and K. Sere (1998) Action system synthesis of delay-insensitive circuits. In: International Refinement Workshop & Formal Methods Pacific '98, Springer Series in Discrete Mathematics and Theoretical Computer Science, pp 286-305, Springer.
  13. M. J. Butler, J. Grundy, T. Långbacka, R. Rukšėnas and J. von Wright (1997) The Refinement Calculator: proof support for program refinement. In: Formal Methods Pacific '97, Springer Series in Discrete Mathematics and Theoretical Computer Science, pp 40-61, Springer.
  14. T. Långbacka, R. Rukšėnas and J. von Wright (1995) TkWinHOL: A tool for window inference in HOL. In: Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, vol. 971 of Lecture Notes in Computer Science, pp 245-260, Springer. DOI 10.1007/3-540-60275-5_69.

Dissertation:

R. Rukšėnas (2004) Formal Development of Concurrent Components. D. Phil. thesis, Turku Centre for Computer Science, Turku, Finland.

Non-refereed conference papers and technical reports:

  1. P. Curzon, R. Rukšėnas, J. Back and A. Blandford (2008) Verifying systems to reduce human error. In: Proc. Tools and Techniques for Verification of System Infrastructure: A Festschrift in Honour of Professor Michael J.C. Gordon FRS, The Royal Society, page 32.
  2. R. Rukšėnas (2003) A rigorous environment for component-oriented development of action systems. TUCS Technical Report 572.
  3. R. Rukšėnas (2003) Component-oriented development of action systems. TUCS Technical Report 544.
  4. R. Rukšėnas (2000) Refinement tool in the synthesis of asynchronous circuits. In: FM-TOOLS 2000: The 4th Workshop on Tools for System Design and Verification, Ulmer Informatik-Berichte, pp 157-162.
  5. R. Rukšėnas (1999) Refining towards delay-insensitive circuits in HOL. TUCS Technical Report 251.
  6. J. Plosila, R. Rukšėnas and K. Sere (1997) Action systems synthesis of DI circuits. TUCS Technical Report 149.
  7. R. Rukšėnas and J. von Wright (1997) A tool for data refinement. TUCS Technical Report 119.
  8. J. Plosila, R. Rukšėnas and K. Sere (1996) Delay-insensitive circuits and action systems. TUCS Technical Report 60.
  9. R. Rukšėnas and K. Sere (1996) Handshaking expansion as action system refinement. TUCS Technical Report 55.
  10. T. Långbacka, R. Rukšėnas and J. von Wright (1995) TkWinHOL: a tool for doing window inference in HOL. Reports on Computer Science & Mathematics, Åbo Akademi University, Ser. A, No. 160, April 1995.
  11. M. Butler, E. Hedman, P. Nilsson, R. Rukšėnas, M. Waldén and Y. Zhao (1994) Specification of a program derivation editor. Reports on Computer Science & Mathematics, Åbo Akademi University, Ser. A, No. 157.
  12. R. Rukšėnas, K. Sere and Y. Zhao (1994) On the formal derivation of a FEAL microprocessor. In: Proc. of the 6th Nordic Workshop on Programming Theory, pp 332-345.
  13. M. Matskin, H.-M. Haav, A. Kalja, R. Rukšėnas and H. Perkmann (1992) Object-oriented data models and methods of computations. Research Report CS 47/92, Institute of Cybernetics, Estonian Academy of Sciences.
  14. M.Matskin, R. Rukšėnas and M. Koov (1991) Cognitive graphics. Research Report CS 33/91, Institute of Cybernetics, Estonian Academy of Sciences.

 

This page was last modified 30 July, 2008.