21 citations · 78 across the 18 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.SE2018
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt +13
Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime…
cs.LO2018★ 9 cited
Monitoring Data Minimisation
Srinivas Pinisetty, Thibaud Antignac, David Sands +1
Data minimisation is a privacy enhancing principle, stating that personal data collected should be no more than necessary for the specific purpose consented by the user. Checking t…