Karsten Loer

According to our database, Karsten Loer authored at least 9 papers between 2000 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2008

Connecting Rigorous System Analysis to Experience-Centered Design.

Michael D. Harrison, José Creissac Campos, Gavin J. Doherty, Karsten Loer

Proceedings of the Maturing Usability - Quality in Software, Interaction and Value, 2008

2006

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

Karsten Loer, Michael D. Harrison

Autom. Softw. Eng., 2006

2005

Analysing User Confusion in Context Aware Mobile Applications.

Karsten Loer, Michael D. Harrison

Proceedings of the Human-Computer Interaction, 2005

2004

Verifying user interface behaviour with model checking.

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

Proceedings of the Verification and Validation of Enterprise Information Systems, 2004

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

Michael Hildebrandt, Karsten Loer, Michael D. Harrison

Proceedings of the IEEE International Conference on Systems, 2004

Analysing Dynamic Function Scheduling Decisions.

Karsten Loer, Michael Hildebrandt, Michael D. Harrison

Proceedings of the Human Error, 2004

2003

Model-based automated analysis for dependable interactive systems.

Karsten Loer

PhD thesis, 2003

2002

Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems.

Karsten Loer, Michael D. Harrison

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

2000

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

Karsten Loer, Michael D. Harrison

Proceedings of the Interactive Systems: Design, 2000