Probabilistic models for the verification of human-computer interaction

Simple item page
dc.contributor.authorWagner, M.
dc.contributor.authorBeckert, B.
dc.contributor.conferenceAnnual German Conference on Artificial Intelligence (32nd : 2009 : Paderborn, Germany)
dc.contributor.editorMertsching, B.
dc.contributor.editorHund, M.
dc.date.issued2009
dc.description.abstractIn 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.
dc.description.statementofresponsibilityBernhard Beckert and Markus Wagner
dc.identifier.citationKI 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
dc.identifier.doi10.1007/978-3-642-04617-9_86
dc.identifier.isbn9783642046162
dc.identifier.issn0302-9743
dc.identifier.issn1611-3349
dc.identifier.orcidWagner, M. [0000-0002-3124-0061]
dc.identifier.urihttp://hdl.handle.net/2440/77093
dc.language.isoen
dc.publisherSpringer-Verlag
dc.publisher.placeGermany
dc.relation.ispartofseriesLecture Notes in Computer Science ; 5803
dc.rights© Springer-Verlag Berlin Heidelberg 2009
dc.source.urihttps://doi.org/10.1007/978-3-642-04617-9_86
dc.titleProbabilistic models for the verification of human-computer interaction
dc.typeConference paper
pubs.publication-statusPublished

Files

Collections

Computer Science publications