Login / Signup
Angela Pappagallo
ORCID
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 4
Top Topics
Cyber Physical Systems
Model Checking
Temporal Logic
Timed Automata
Top Venues
Inf.
AI*IA
IPS-RCRA@AI*IA
OVERLAY@GandALF
</>
Publications
</>
Angela Pappagallo
Statistical Model Checking for the Analysis of Mission- and Safety-Critical Cyber-Physical Systems.
OVERLAY@GandALF
(2021)
Angela Pappagallo
Statistical Model Checking as an Effective Technology to Formally Analyze Industry-Relevant Cyber-Physical Systems.
IPS-RCRA@AI*IA
(2021)
Angela Pappagallo
Effective Analysis of Industry-Relevant Cyber-Physical Systems via Statistical Model Checking.
AI*IA
(2021)
Angela Pappagallo
,
Annalisa Massini
,
Enrico Tronci
Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review.
Inf.
11 (12) (2020)