Angela Pappagallo

According to our database, Angela Pappagallo authored at least 5 papers between 2020 and 2024.

Collaborative distances:

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

2024

Empowering Time-Series Forecasting in Official Statistics through Transformers.

Alberico Emanuele, Francesco Pugliese, Massimo De Cubellis, Angela Pappagallo

Proceedings of the Ital-IA Intelligenza Artificiale, 2024

2021

Statistical Model Checking for the Analysis of Mission- and Safety-Critical Cyber-Physical Systems.

Angela Pappagallo

Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021

Effective Analysis of Industry-Relevant Cyber-Physical Systems via Statistical Model Checking.

Angela Pappagallo

Proceedings of the AIxIA 2021 - Advances in Artificial Intelligence, 2021

Statistical Model Checking as an Effective Technology to Formally Analyze Industry-Relevant Cyber-Physical Systems.

Angela Pappagallo

Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA'21) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021

2020

Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review.

Angela Pappagallo, Annalisa Massini, Enrico Tronci

Inf., 2020