Adaptive Architectural Model for Future Internet Applications. - Marina Mongiello; Luigi Alfredo Grieco; Massimo Sciancalepore; Elvis Vogli (ESOCC Workshops, 2015)

AC-Contract: Run-Time Verification of Context-Aware Applications. - Marina Mongiello; Patrizio Pelliccione; Massimo Sciancalepore (SEAMS@ICSE, 2015)

Formal Verification of the On-the-Fly Vehicle Platooning Protocol. - Piergiuseppe Mallozzi; Massimo Sciancalepore; Patrizio Pelliccione (SERENE, 2016)