Alessio Coletta

According to our database, Alessio Coletta authored at least 9 papers between 2008 and 2018.

Collaborative distances:

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

2018

Specification-based Predictive Continuous Monitoring for Cyber Physical Systems with Unobservables.

Alessio Coletta

PhD thesis, 2018

2015

Security Monitoring for Industrial Control Systems.

Alessio Coletta, Alessandro Armando

Proceedings of the Security of Industrial Control Systems and Cyber Physical Systems, 2015

2013

Measuring the global domain name system.

Emiliano Casalicchio, Marco Caselli, Alessio Coletta

IEEE Netw., 2013

DNS as critical infrastructure, the energy system case study.

Emiliano Casalicchio, Marco Caselli, Alessio Coletta, Igor Nai Fovino

Int. J. Crit. Infrastructures, 2013

2012

Critical State-Based Filtering System for Securing SCADA Network Protocols.

Igor Nai Fovino, Alessio Coletta, Andrea Carcano, Marcelo Masera

IEEE Trans. Ind. Electron., 2012

Measuring Name System Health.

Emiliano Casalicchio, Marco Caselli, Alessio Coletta, Salvatore Di Blasi, Igor Nai Fovino

Proceedings of the Critical Infrastructure Protection VI, 2012

2011

A Multidimensional Critical State Analysis for Detecting Intrusions in SCADA Systems.

Andrea Carcano, Alessio Coletta, Michele Guglielmi, Marcelo Masera, Igor Nai Fovino, Alberto Trombetta

IEEE Trans. Ind. Informatics, 2011

2010

State-Based Firewall for Industrial Protocols with Critical-State Prediction Monitor.

Igor Nai Fovino, Andrea Carcano, Alessio Coletta, Michele Guglielmi, Marcelo Masera, Alberto Trombetta

Proceedings of the Critical Information Infrastructures Security, 2010

2008

Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation.

Alessio Coletta, Roberta Gori, Francesca Levi

Proceedings of the Second Workshop From Biology to Concurrency and Back, 2008