An extension of the ADVISE Meta modeling framework and its application for an early-stage security analysis of a public transport supervision system
Mariotti, Francesco, Bondavalli, Andrea, Lollini, Paolo, Montecchi, Leonardo, Nardi, Simone
Published in Journal of reliable intelligent environments (01.09.2023)
Published in Journal of reliable intelligent environments (01.09.2023)
Get full text
Journal Article
Stochastic modeling and analysis of vapor cloud explosions domino effects in chemical plants
Sierra, Diego, Montecchi, Leonardo, Mura, Ivan
Published in Journal of the Brazilian Computer Society (01.10.2019)
Published in Journal of the Brazilian Computer Society (01.10.2019)
Get full text
Journal Article
Continuous and Transparent User Identity Verification for Secure Internet Services
Ceccarelli, Andrea, Montecchi, Leonardo, Brancati, Francesco, Lollini, Paolo, Marguglio, Angelo, Bondavalli, Andrea
Published in IEEE transactions on dependable and secure computing (01.05.2015)
Published in IEEE transactions on dependable and secure computing (01.05.2015)
Get full text
Journal Article
SafeConcert: A Metamodel for a Concerted Safety Modeling of Socio-Technical Systems
Get full text
Book Chapter
Conference Proceeding
Towards a Structured Specification of Coding Conventions
Rodrigues, Elder, Montecchi, Leonardo
Published in 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC) (01.12.2019)
Published in 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC) (01.12.2019)
Get full text
Conference Proceeding
PrivAPP: An integrated approach for the design of privacy‐aware applications
Basso, Tania, Montecchi, Leonardo, Moraes, Regina, Jino, Mario, Bondavalli, Andrea
Published in Software, practice & experience (01.03.2018)
Published in Software, practice & experience (01.03.2018)
Get full text
Journal Article
Model-Driven Fault Injection in Java Source Code
Rodrigues, Elder, Montecchi, Leonardo, Ceccarelli, Andrea
Published in 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE) (01.10.2020)
Published in 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE) (01.10.2020)
Get full text
Conference Proceeding
Modeling QoE in Dependable Tele-Immersive Applications: A Case Study of World Opera
Veeraragavan, Narasimha Raghavan, Montecchi, Leonardo, Nostro, Nicola, Vitenberg, Roman, Meling, Hein, Bondavalli, Andrea
Published in IEEE transactions on parallel and distributed systems (01.09.2016)
Published in IEEE transactions on parallel and distributed systems (01.09.2016)
Get full text
Journal Article
Executable Models to Support Automated Software FMEA
Bonfiglio, Valentina, Montecchi, Leonardo, Rossi, Francesco, Lollini, Paolo, Pataricza, Andras, Bondavalli, Andrea
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Get full text
Conference Proceeding