| 2006 |
|---|
| 7 | EE | 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): 469-496 (2006) |
| 2005 |
|---|
| 6 | EE | Karsten Loer,
Michael D. Harrison:
Analysing User Confusion in Context Aware Mobile Applications.
INTERACT 2005: 184-197 |
| 2004 |
|---|
| 5 | | Karsten Loer,
Michael Hildebrandt,
Michael D. Harrison:
Analysing Dynamic Function Scheduling Decisions.
Human Error, Safety and Systems Development 2004: 45-60 |
| 4 | EE | Michael Hildebrandt,
Karsten Loer,
Michael D. Harrison:
Time design: analysing human temporal control behaviour in dynamic real-time systems.
SMC (1) 2004: 879-885 |
| 3 | | José Creissac Campos,
Michael D. Harrison,
Karsten Loer:
Verifying user interface behaviour with model checking.
VVEIS 2004: 87-96 |
| 2002 |
|---|
| 2 | EE | Karsten Loer,
Michael D. Harrison:
Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems.
ASE 2002: 223-226 |
| 2000 |
|---|
| 1 | EE | Karsten Loer,
Michael D. Harrison:
Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds?
DSV-IS 2000: 169-190 |
