• Publications
  • Influence
Using event calculus to formalise policy specification and analysis
TLDR
We present a method for transforming both policy and system behaviour specifications into a formal notation that is based on event calculus. Expand
  • 204
  • 16
  • PDF
A goal-based approach to policy refinement
TLDR
This work presents an approach by which a formal representation of a system, based on the event calculus, can be used in conjunction with abductive reasoning techniques to derive the sequence of operations that will allow a given system to achieve a desired goal. Expand
  • 192
  • 10
  • PDF
Adaptive Model-Driven User Interface Development Systems
TLDR
A set of criteria is established to evaluate the strengths and shortcomings of the state of the art, which is categorized under architectures, techniques, and tools. Expand
  • 96
  • 7
  • PDF
Expressive policy analysis with enhanced system dynamicity
TLDR
We present a logic-based policy analysis framework which satisfies these requirements, showing how many significant policy-related properties can be analysed, and we give details of a prototype implementation. Expand
  • 81
  • 6
  • PDF
A Survey of Policy Specification Approaches
Policies are rules governing the choices in behaviour of a system. They are often used as a means of implementing flexible and adaptive systems for management of internet services, distributedExpand
  • 128
  • 5
  • PDF
In the best families: tracking and relationships
TLDR
We describe how, by fostering misperceptions and 'nudging' behaviors, location-tracking technology can generate anxieties and conflicts even in close relationships. Expand
  • 42
  • 5
  • PDF
Educating the Internet-of-Things Generation
TLDR
The Open University's My Digital Life course offers a learning infrastructure that allows complete novices to experiment with, and learn about, Internet-of-Things technologies by engaging in a range of activities that include collaborative and collective programming of real-world sensing applications. Expand
  • 124
  • 4
  • PDF
Privacy-by-Design Framework for Assessing Internet of Things Applications and Platforms
TLDR
We propose a privacy-by-design framework that can guide software engineers to systematically assess the privacy capabilities of IoT applications and middleware platforms. Expand
  • 64
  • 4
  • PDF
Contravision: exploring users' reactions to futuristic technology
TLDR
We show that the use of two systematically comparable representations of the same technology can elicit a wider spectrum of reactions than a single representation can. Expand
  • 75
  • 4
  • PDF
On the impact of real-time feedback on users' behaviour in mobile location-sharing applications
TLDR
We explored the role of real-time feedback as a mechanism for incorporating these features of social translucence in location-sharing applications in order to help users make better privacy decisions. Expand
  • 47
  • 4
  • PDF