Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review. - Angela Pappagallo; Annalisa Massini; Enrico Tronci (Inf., 2020)

Statistical Model Checking as an Effective Technology to Formally Analyze Industry-Relevant Cyber-Physical Systems. - Angela Pappagallo (IPS-RCRA@AI*IA, 2021)

Effective Analysis of Industry-Relevant Cyber-Physical Systems via Statistical Model Checking. - Angela Pappagallo (AI*IA, 2021)

Statistical Model Checking for the Analysis of Mission- and Safety-Critical Cyber-Physical Systems. - Angela Pappagallo (OVERLAY@GandALF, 2021)

Empowering Time-Series Forecasting in Official Statistics through Transformers. - Alberico Emanuele; Francesco Pugliese; Massimo De Cubellis; Angela Pappagallo (Ital-IA, 2024)

Deep Learning for the Classification of Ports in Maritime Transport Statistics via AIS Data. - Angela Pappagallo; Francesco Ortame; Giulio Massacci; Francesco Sisti; Francesco Pugliese (LION, 2024)