Probabilistic models for the verification of human-computer interaction

Date

2009

Authors

Wagner, M.
Beckert, B.

Editors

Mertsching, B.
Hund, M.

Advisors

Journal Title

Journal ISSN

Volume Title

Type:

Conference paper

Citation

KI 2009: Advances in Artificial Intelligence: 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009, Proceedings (KI2009), 2009 / B. Mertsching, M. Hund, Z. Aziz (eds.): pp.687-694

Statement of Responsibility

Bernhard Beckert and Markus Wagner

Conference Name

Annual German Conference on Artificial Intelligence (32nd : 2009 : Paderborn, Germany)

Abstract

In this paper, we present a method for the formalization of probabilistic models of human-computer interaction (HCI) including user behavior. These models can then be used for the analysis and verification of HCI systems with the support of model checking tools. This method allows to answer probabilistic questions like "what is the probability that the user will unintentionally send confidential information to unauthorized recipients." And it allows to compute average interaction costs and answer questions like "how much time does a user on average need to send an email?" © 2009 Springer Berlin Heidelberg.

School/Discipline

Dissertation Note

Provenance

Description

Access Status

Rights

© Springer-Verlag Berlin Heidelberg 2009

License

Grant ID

Call number

Persistent link to this record