Monte carlo based statistical model checking of cyber-physical systems: A review A Pappagallo, A Massini, E Tronci Information 11 (12), 588, 2020 | 18 | 2020 |
Statistical Model Checking for the Analysis of Mission-and Safety-Critical Cyber-Physical Systems. A Pappagallo OVERLAY@ GandALF, 55-59, 2021 | 2 | 2021 |
Statistical model checking as an effective technology to formally analyze industry-relevant cyber-physical systems A Pappagallo Proceedings http://ceur-ws. org ISSN 1613, 0073, 2021 | 1 | 2021 |
Unveiling New Insights From Textual Unstrructured Big Data in Politics Through Deep Learning U Caliskan, A Pappagallo, F Ortame, M Bruno, F Pugliese 6th International Conference on Advanced Research Methods and Analytics …, 2024 | | 2024 |
Empowering Time-Series Forecasting in Official Statistics through Transformers A Emanuele, F Pugliese, M De Cubellis, A Pappagallo | | 2024 |
Effective Analysis of Industry-Relevant Cyber-Physical Systems via Statistical Model Checking A Pappagallo International Conference of the Italian Association for Artificial …, 2021 | | 2021 |
Estimation of distribution parameters as a tool for model-based system engineering and model identification A Pappagallo Università degli Studi di Roma" La Sapienza", 2020 | | 2020 |