Giovanni Dipoppa

According to our database, Giovanni Dipoppa authored at least 5 papers between 1998 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Ontology-Based Critical Infrastructure Modeling and Simulation.

Vincenzo Masucci, Francesco Adinolfi, Paolo Servillo, Giovanni Dipoppa, Alberto Tofani

Proceedings of the Critical Infrastructure Protection III, 2009

2004

Electric Power System Anomaly Detection Using Neural Networks.

Marco Martinelli, Enrico Tronci, Giovanni Dipoppa, Claudio Balducelli

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2004

2003

Dependability and Survivability of Large Complex Critical Infrastructures.

Sandro Bologna, Claudio Balducelli, Giovanni Dipoppa, Giordano Vicoli

Proceedings of the Computer Safety, 2003

2001

Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design.

Giovanni Dipoppa, Giovanni D'Alessandro, Roberto Semprini, Enrico Tronci

Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

1998

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

Proceedings of the Computer Safety, 1998