Mining Shape Expressions with ShapeIt. - Ezio Bartocci; Jyotirmoy Deshmukh; Cristinel Mateis; Eleonora Nesterini; Dejan Nickovic; Xin Qin (SEFM, 2021)

Survey on mining signal temporal logic specifications. - Ezio Bartocci; Cristinel Mateis; Eleonora Nesterini; Dejan Nickovic (Inf. Comput., 2022)

Mining Specification Parameters for Multi-class Classification. - Edgar A. Aguilar; Ezio Bartocci; Cristinel Mateis; Eleonora Nesterini; Dejan Nickovic (RV, 2023)

Mining Hyperproperties using Temporal Logics. - Ezio Bartocci; Cristinel Mateis; Eleonora Nesterini; Dejan Nickovic (ACM Trans. Embed. Comput. Syst., 2023)

Mining Specifications for Predictive Safety Monitoring. - Eleonora Nesterini; Ezio Bartocci; Alessio Gambi; Dejan Nickovic; Sanjit A. Seshia; Hazem Torfah (ICCPS, 2025)