Applying Formal Methods in Industry The UseGat Project. - Sandro Bologna; Rocco Bove; Giovanni Dipoppa; Giorgio Mongardi; Gino Biondi; Carmen Porzia; Benny Graft Mortensen; Niels Kirkegaard (SAFECOMP, 1998)

Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design. - Giovanni Dipoppa; Giovanni D'Alessandro; Roberto Semprini; Enrico Tronci (HASE, 2001)

Dependability and Survivability of Large Complex Critical Infrastructures. - Sandro Bologna; Claudio Balducelli; Giovanni Dipoppa; Giordano Vicoli (SAFECOMP, 2003)

Electric Power System Anomaly Detection Using Neural Networks. - Marco Martinelli 001; Enrico Tronci; Giovanni Dipoppa; Claudio Balducelli (KES, 2004)

Ontology-Based Critical Infrastructure Modeling and Simulation. - Vincenzo Masucci; Francesco Adinolfi; Paolo Servillo; Giovanni Dipoppa; Alberto Tofani (Critical Infrastructure Protection, 2009)