Probabilistic models for the verification of human-computer interaction

Bernhard Beckert, Markus Wagner

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2 Citations (Scopus)


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?"

Original languageEnglish
Title of host publicationKI 2009
Subtitle of host publicationAdvances in Artificial Intelligence - 32nd Annual German Conference on AI, Proceedings
Number of pages8
ISBN (Print)3642046169, 9783642046162
Publication statusPublished - 2009
Externally publishedYes
EventGerman Conference on Artificial Intelligence 2009 - Paderborn, Germany
Duration: 15 Sept 200918 Sept 2009
Conference number: 32nd (Website)

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5803 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceGerman Conference on Artificial Intelligence 2009
Abbreviated titleKI 2009
Internet address

Cite this