Manuela Berg

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Artifact Centric

Reactive Systems

Ordered Binary Decision Diagrams

Temporal Properties

Top Venues

Inf. Process. Lett.

Publications

Clemens Dubslaff, Christel Baier, Manuela Berg
Model checking probabilistic systems against pushdown specifications. Inf. Process. Lett. 112 (8-9) (2012)
Katrin Borcea-Pfitzmann, Andreas Pfitzmann, Manuela Berg
Privacy 3.0 : = Data Minimization + User Control + Contextual Integrity (Privatheit 3.0 : = Datenminimierung + Nutzerkontrolle + Kontextuelle Integrität). it Inf. Technol. 53 (1) (2011)
Manuela Berg, Katrin Borcea-Pfitzmann
Implementability of the Identity Management Part in Pfitzmann/Hansen's Terminology for a Complex Digital World. PrimeLife (2010)