Characterizing safe and partially safe evolution scenarios in product lines: An Empirical Study. - Karine Gomes; Leopoldo Teixeira; Thayonara Alves; Márcio Ribeiro 001; Rohit Gheyi (VaMoS, 2019)

Porting the Software Product Line Refinement Theory to the Coq Proof Assistant. - Thayonara Alves; Leopoldo Teixeira; Vander Alves; Thiago M. Castro (SBMF, 2020)