Carving database storage to detect and trace security breaches. - James Wagner; Alexander Rasin; Boris Glavic; Karen Heart; Jacob D. Furst; Lucas Bressan; Jonathan Grier (Digit. Investig., 2017)

A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence. - Lucas Bressan; André Luíz de Oliveira; Leonardo Montecchi; Barbara Gallina (EDCC, 2018)

An Approach to Support the Design and the Dependability Analysis of High Performance I/O Intensive Distributed Systems. - Lucas Bressan; Laércio Pioli; Mario A. R. Dantas; Fernanda Campos; André Luíz de Oliveira (3PGCIC, 2020)

An Approach to Support Variant Management on Safety Analysis using CHESS Error Models. - Lucas Bressan; André Luíz de Oliveira; Fernanda Campos (EDCC, 2020)

An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems. - Lucas Bressan; André Luíz de Oliveira; Fernanda Campos; Yiannis Papadopoulos; David Parker 002 (IMBSA, 2020)

A variability modeling and transformation approach for safety-critical systems. - Lucas Bressan; André Luíz de Oliveira; Fernanda Campos; Rafael Capilla (VaMoS, 2021)

Modeling the Variability of System Safety Analysis Using State-Machine Diagrams. - Lucas Bressan; André Luíz de Oliveira; Fernanda C. A. Campos; Leonardo Montecchi; Rafael Capilla; David Parker 002; Koorosh Aslansefat; Yiannis Papadopoulos (IMBSA, 2022)

Multiconcern, Dependability-Centered Assurance Via a Qualitative and Quantitative Coanalysis. - Barbara Gallina; Leonardo Montecchi; André Luíz de Oliveira; Lucas Bressan (IEEE Softw., 2022)