Giovanni Dipoppa

Publication Activity (10 Years)

Years Active: 1998-2009
Publications (10 Years): 0

Publications

Vincenzo Masucci, Francesco Adinolfi, Paolo Servillo, Giovanni Dipoppa, Alberto Tofani
Ontology-Based Critical Infrastructure Modeling and Simulation. Critical Infrastructure Protection (2009)
Marco Martinelli, Enrico Tronci, Giovanni Dipoppa, Claudio Balducelli
Electric Power System Anomaly Detection Using Neural Networks. KES (2004)
Sandro Bologna, Claudio Balducelli, Giovanni Dipoppa, Giordano Vicoli
Dependability and Survivability of Large Complex Critical Infrastructures. SAFECOMP (2003)
Giovanni Dipoppa, Giovanni D'Alessandro, Roberto Semprini, Enrico Tronci
Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design. HASE (2001)
Sandro Bologna, Rocco Bove, Giovanni Dipoppa, Giorgio Mongardi, Gino Biondi, Carmen Porzia, Benny Graft Mortensen, Niels Kirkegaard
Applying Formal Methods in Industry The UseGat Project. SAFECOMP (1998)