Autoencoder with recurrent neural networks for video forgery detection. - Dario D'Avino; Davide Cozzolino; Giovanni Poggi; Luisa Verdoliva (Media Watermarking, Security, and Forensics, 2017)

Automated Test Case Generation for Safety-Critical Software in Scade. - Elson Kurian; Pietro Braione; Daniela Briola; Dario D'Avino; Matteo Modonato; Giovanni Denaro (ICSE-SEIP, 2023)