Karsten Loer

Time design: analysing human temporal control behaviour in dynamic real-time systems

Michael Hildebrandt, Karsten Loer, Michael D. Harrison, 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).

Analysing User Confusion in Context Aware Mobile Applications

Karsten Loer, Michael D. Harrison, M. Harrison, 2005, INTERACT.

Analysing dynamic function scheduling decisions Position statement for CHI2004 workshop on 'Time Design'

Michael Hildebrandt, Karsten Loer, Michael D. Harrison, 2004 .

Model-based automated analysis for dependable interactive systems

Karsten Loer, K. Loer, 2003 .

Connecting Rigorous System Analysis to Experience-Centered Design

Karsten Loer, Michael D. Harrison, José Creissac Campos, 2008, Maturing Usability.

Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds?

Karsten Loer, Michael D. Harrison, M. Harrison, 2000, DSV-IS.

Verifying user interface behaviour with model checking

Karsten Loer, Michael D. Harrison, José Creissac Campos, 2016, VVEIS.

Analysing Dynamic Function Scheduling Decisions

Michael Hildebrandt, Karsten Loer, Michael D. Harrison, 2004, Human Error, Safety and Systems Development.

Towards usable and relevant model checking techniques for the analysis of dependable interactive systems

Karsten Loer, Michael D. Harrison, 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.

An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation

Karsten Loer, Michael D. Harrison, 2006, Automated Software Engineering.