Modeling and Verification for Probabilistic Properties in Software Product Lines. - Genaína Nunes Rodrigues; Vander Alves; Vinicius Nunes; André Lanna; Maxime Cordy; Pierre-Yves Schobbens; Amir Molzam Sharifloo; Axel Legay (HASE, 2015)

Feature-family-based reliability analysis of software product lines. - André Lanna; Thiago M. Castro; Vander Alves; Genaína Nunes Rodrigues; Pierre-Yves Schobbens; Sven Apel (Inf. Softw. Technol., 2018)

All roads lead to Rome: Commuting strategies for product-line reliability analysis. - Thiago M. Castro; André Lanna; Vander Alves; Leopoldo Teixeira; Sven Apel; Pierre-Yves Schobbens (Sci. Comput. Program., 2018)