29 citations · 163 across the 32 of their papers we have counts for
3 papers · 1 filter
Verifying Policy Enforcers
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani +1
Policy enforcers are sophisticated runtime components that can prevent failures by enforcing the correct behavior of the software. While a single enforcer can be easily designed fo…
Policy Enforcement with Proactive Libraries
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Software libraries implement APIs that deliver reusable functionalities. To correctly use these functionalities, software applications must satisfy certain correctness policies, fo…
Healing Data Loss Problems in Android Apps
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Android apps should be designed to cope with stop-start events, which are the events that require stopping and restoring the execution of an app while leaving its state unaltered.…