Lucas Bressan

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 8

Top Topics

Distributed Systems

Sequence Diagrams

Top Venues

Digit. Investig.

Publications

Barbara Gallina, Leonardo Montecchi, André Luíz de Oliveira, Lucas Bressan
Multiconcern, Dependability-Centered Assurance Via a Qualitative and Quantitative Coanalysis. IEEE Softw. 39 (4) (2022)
Lucas Bressan, André Luíz de Oliveira, Fernanda C. A. Campos, Leonardo Montecchi, Rafael Capilla, David Parker, Koorosh Aslansefat, Yiannis Papadopoulos
Modeling the Variability of System Safety Analysis Using State-Machine Diagrams. IMBSA (2022)
Lucas Bressan, André Luíz de Oliveira, Fernanda Campos, Rafael Capilla
A variability modeling and transformation approach for safety-critical systems. VaMoS (2021)
Lucas Bressan, André Luíz de Oliveira, Fernanda Campos, Yiannis Papadopoulos, David Parker
An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems. IMBSA (2020)
Lucas Bressan, André Luíz de Oliveira, Fernanda Campos
An Approach to Support Variant Management on Safety Analysis using CHESS Error Models. EDCC (2020)
Lucas Bressan, Laércio Pioli, Mario A. R. Dantas, Fernanda Campos, André Luíz de Oliveira
An Approach to Support the Design and the Dependability Analysis of High Performance I/O Intensive Distributed Systems. 3PGCIC (2020)
Lucas Bressan, André Luíz de Oliveira, Leonardo Montecchi, Barbara Gallina
A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence. EDCC (2018)
James Wagner, Alexander Rasin, Boris Glavic, Karen Heart, Jacob D. Furst, Lucas Bressan, Jonathan Grier
Carving database storage to detect and trace security breaches. Digit. Investig. (2017)