Karsten Loer

Publication Activity (10 Years)

Years Active: 2000-2006
Publications (10 Years): 0

University of York, UK (PHD)

Education History

University of York, UK

PHD

Publications

Karsten Loer, Michael D. Harrison
An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation. Autom. Softw. Eng. 13 (4) (2006)
Karsten Loer, Michael D. Harrison
Analysing User Confusion in Context Aware Mobile Applications. INTERACT (2005)
Michael Hildebrandt, Karsten Loer, Michael D. Harrison
Time design: analysing human temporal control behaviour in dynamic real-time systems. SMC (1) (2004)
José Creissac Campos, Michael D. Harrison, Karsten Loer
Verifying user interface behaviour with model checking. VVEIS (2004)
Karsten Loer, Michael Hildebrandt, Michael D. Harrison
Analysing Dynamic Function Scheduling Decisions. Human Error, Safety and Systems Development (2004)
Karsten Loer, Michael D. Harrison
Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems. ASE (2002)
Karsten Loer, Michael D. Harrison
Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds? DSV-IS (2000)