Please use this identifier to cite or link to this item: https://hdl.handle.net/2440/77093
Citations
Scopus Web of Science® Altmetric
?
?
Type: Conference paper
Title: Probabilistic models for the verification of human-computer interaction
Author: Wagner, M.
Beckert, B.
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
Publisher: Springer-Verlag
Publisher Place: Germany
Issue Date: 2009
Series/Report no.: Lecture Notes in Computer Science ; 5803
ISBN: 3642046169
9783642046162
ISSN: 0302-9743
1611-3349
Conference Name: Annual German Conference on Artificial Intelligence (32nd : 2009 : Paderborn, Germany)
Editor: Mertsching, B.
Hund, M.
Statement of
Responsibility: 
Bernhard Beckert and Markus Wagner
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.
Rights: © Springer-Verlag Berlin Heidelberg 2009
DOI: 10.1007/978-3-642-04617-9_86
Published version: http://dx.doi.org/10.1007/978-3-642-04617-9_86
Appears in Collections:Aurora harvest 4
Computer Science publications

Files in This Item:
There are no files associated with this item.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.