6 citations · 6 across the 3 of their papers we have counts for
3 papers
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1
Wolfgang Ahrendt, Cyrille Artho, Christian Colombo +9
This report presents the activities of the first working group of the COST Action ArVI, Runtime Verification beyond Monitoring. The report aims to provide an overview of some of th…
Data Minimisation: a Language-Based Approach (Long Version)
Thibaud Antignac, David Sands, Gerardo Schneider
Data minimisation is a privacy-enhancing principle considered as one of the pillars of personal data regulations. This principle dictates that personal data collected should be no…
A CNL for Contract-Oriented Diagrams
John J. Camilleri, Gabriele Paganelli, Gerardo Schneider
We present a first step towards a framework for defining and manipulating normative documents or contracts described as Contract-Oriented (C-O) Diagrams. These diagrams provide a v…