3 papers
cs.CR2024
Towards an Enforceable GDPR Specification
François Hublet, Alexander Kvamme, Srđan Krstić
While Privacy by Design (PbD) is prescribed by modern privacy regulations such as the EU's GDPR, achieving PbD in real software systems is a notoriously difficult task. One emergin…
cs.SE2014
Offline Trace Checking of Quantitative Properties of Service-Based Applications
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic +1
Service-based applications are often developed as compositions of partner services. A service integrator needs precise methods to specify the quality attributes expected by each pa…
cs.SE2014
Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic
Modern complex software systems produce a large amount of execution data, often stored in logs. These logs can be analyzed using trace checking techniques to check whether the syst…