Angela Pappagallo
Orcid: 0000-0003-2932-4423
According to our database1,
Angela Pappagallo
authored at least 4 papers
between 2020 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Statistical Model Checking for the Analysis of Mission- and Safety-Critical Cyber-Physical Systems.
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021
Effective Analysis of Industry-Relevant Cyber-Physical Systems via Statistical Model Checking.
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.
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
Inf., 2020