Carving database storage to detect and trace security breaches J Wagner, A Rasin, B Glavic, K Heart, J Furst, L Bressan, J Grier Digital Investigation 22, S127-S136, 2017 | 39 | 2017 |
A systematic process for applying the chess methodology in the creation of certifiable evidence L Bressan, AL de Oliveira, L Montecchi, B Gallina 2018 14th European Dependable Computing Conference (EDCC), 49-56, 2018 | 16 | 2018 |
A variability modeling and transformation approach for safety-critical systems L Bressan, AL de Oliveira, F Campos, R Capilla Proceedings of the 15th International Working Conference on Variability …, 2021 | 6 | 2021 |
Multiconcern, dependability-centered assurance via a qualitative and quantitative coanalysis B Gallina, L Montecchi, AL De Oliveira, L Bressan IEEE Software 39 (4), 39-47, 2022 | 4 | 2022 |
An integrated approach to support the process-based certification of variant-intensive systems L Bressan, AL de Oliveira, F Campos, Y Papadopoulos, D Parker Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020 …, 2020 | 4 | 2020 |
Modeling the variability of system safety analysis using state-machine diagrams L Bressan, AL de Oliveira, FC Campos, L Montecchi, R Capilla, D Parker, ... International Symposium on Model-Based Safety and Assessment, 43-59, 2022 | 3 | 2022 |
An approach to support variant management on safety analysis using CHESS error models L Bressan, AL de Oliveira, F Campos 2020 16th European Dependable Computing Conference (EDCC), 135-142, 2020 | 2 | 2020 |
Educational Software and Security Vulnerabilities: an experimental study D Rossi, L Bressan, F Campos, A Oliveira, V Ströele Anais do XXXIV Simpósio Brasileiro de Informática na Educação, 264-276, 2023 | | 2023 |
An Approach to Support the Design and the Dependability Analysis of High Performance I/O Intensive Distributed Systems L Bressan, L Pioli, MAR Dantas, F Campos, AL de Oliveira Advances on P2P, Parallel, Grid, Cloud and Internet Computing: Proceedings …, 2021 | | 2021 |
An Approach to Support the Design and the Dependability Analysis of High Performance I/O Intensive Distributed Systems AL de Oliveira Advances on P2P, Parallel, Grid, Cloud and Internet Computing: Proceedings …, 2020 | | 2020 |
An ontology-based approach to support the certification of Safety-Critical Software Product Lines L Bressan, R Braga, F Campos, A Oliveira Anais do XLVII Seminário Integrado de Software e Hardware, 81-92, 2020 | | 2020 |