37 citations · 38 across the 4 of their papers we have counts for
4 papers
Probabilistic Formal Modelling to Uncover and Interpret Interaction Styles
Oana Andrei, Muffy Calder, Matthew Chalmers +1
We present a study using new computational methods, based on a novel combination of machine learning for inferring admixture hidden Markov models and probabilistic model checking,…
Probabilistic Formal Analysis of App Usage to Inform Redesign
Oana Andrei, Muffy Calder, Matthew Chalmers +2
This paper sets out a process of app analysis intended to support understanding of use but also redesign. From usage logs we infer activity patterns - Markov models - and employ pr…
Probabilistic Model Checking of DTMC Models of User Activity Patterns
Oana Andrei, Muffy Calder, Matthew Higgs +1
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…
PORGY: Strategy-Driven Interactive Transformation of Graphs
Oana Andrei, Maribel Fernández, Hélène Kirchner +3
This paper investigates the use of graph rewriting systems as a modelling tool, and advocates the embedding of such systems in an interactive environment. One important application…