The Library
Probabilistic model checking of DTMC models of user activity patterns
Tools
Tools
Tools
Andrei, Oana, Calder, Muffy, Higgs, Matthew and Girolami, Mark (2014) Probabilistic model checking of DTMC models of user activity patterns. In: Norman, Gethin and Sanders, William, (eds.) Quantitative Evaluation of Systems : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings;. Lecture Notes in Computer Science, Volume 8657 . Springer International Publishing, pp. 138-153. ISBN 9783319106953
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Official URL: http://dx.doi.org/10.1007/978-3-319-10696-0_11
Abstract
Software developers cannot always anticipate how users will actually use their software as it may vary from user to user, and even from use to use for an individual user. In order to address questions raised by system developers and evaluators about software usage, we define new probabilistic models that characterise user behaviour, based on activity patterns inferred from actual logged user traces. We encode these new models in a probabilistic model checker and use probabilistic temporal logics to gain insight into software usage. We motivate and illustrate our approach by application to the logged user traces of an iOS app.
| Item Type: | Book Item | ||||
|---|---|---|---|---|---|
| Divisions: | Faculty of Science, Engineering and Medicine > Science > Statistics | ||||
| Series Name: | Lecture Notes in Computer Science | ||||
| Publisher: | Springer International Publishing | ||||
| ISBN: | 9783319106953 | ||||
| ISSN: | 0302-9743 | ||||
| Book Title: | Quantitative Evaluation of Systems : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings; | ||||
| Editor: | Norman, Gethin and Sanders, William | ||||
| Official Date: | 2014 | ||||
| Dates: |
|
||||
| Volume: | Volume 8657 | ||||
| Page Range: | pp. 138-153 | ||||
| DOI: | 10.1007/978-3-319-10696-0_11 | ||||
| Status: | Peer Reviewed | ||||
| Publication Status: | Published | ||||
| Access rights to Published version: | Restricted or Subscription Access | ||||
| Conference Paper Type: | Paper | ||||
| Title of Event: | QEST 11th International Conference 2014 | ||||
| Type of Event: | Conference | ||||
| Location of Event: | Florence, Italy | ||||
| Date(s) of Event: | 08-10 Sept 2014 |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
