1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SE2014
Engineering Adaptive Digital Investigations using Forensics Requirements
Liliana Pasquale. Yijun Yu, Luca Cavallaro, Mazeiar Salehie +2
A digital forensic investigation aims to collect and analyse the evidence necessary to demonstrate a potential hypothesis of a digital crime. Despite the availability of several di…
cs.LO2010★ 1 cited
SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability
Marcello M. Bersani, Luca Cavallaro, Achille Frigeri +2
An important problem that arises during the execution of service-based applications concerns the ability to determine whether a running service can be substituted with one with a d…