Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation. - Alessio Coletta; Roberta Gori; Francesca Levi (FBTC@ICALP, 2008)

State-Based Firewall for Industrial Protocols with Critical-State Prediction Monitor. - Igor Nai Fovino; Andrea Carcano; Alessio Coletta; Michele Guglielmi; Marcelo Masera; Alberto Trombetta (CRITIS, 2010)

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)

Measuring Name System Health. - Emiliano Casalicchio; Marco Caselli; Alessio Coletta; Salvatore Di Blasi; Igor Nai Fovino (Critical Infrastructure Protection, 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)

DNS as critical infrastructure, the energy system case study. - Emiliano Casalicchio; Marco Caselli; Alessio Coletta; Igor Nai Fovino (Int. J. Crit. Infrastructures, 2013)

Measuring the global domain name system. - Emiliano Casalicchio; Marco Caselli; Alessio Coletta (IEEE Netw., 2013)

Security Monitoring for Industrial Control Systems. - Alessio Coletta; Alessandro Armando (CyberICS/WOS-CPS@ESORICS, 2015)

Specification-based Predictive Continuous Monitoring for Cyber Physical Systems with Unobservables. - Alessio Coletta (2018)