关注
Angela Pappagallo
Angela Pappagallo
Italian National Statistics Institute
在 istat.it 的电子邮件经过验证
标题
引用次数
引用次数
年份
Monte carlo based statistical model checking of cyber-physical systems: A review
A Pappagallo, A Massini, E Tronci
Information 11 (12), 588, 2020
182020
Statistical Model Checking for the Analysis of Mission-and Safety-Critical Cyber-Physical Systems.
A Pappagallo
OVERLAY@ GandALF, 55-59, 2021
22021
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
12021
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
系统目前无法执行此操作,请稍后再试。
文章 1–7