Orquestração de Serviços por Meio de Agentes de Software no Domínio de Vida Ambiente-Assistida. - Vinicius Nunes; Vander Alves (SBSI, 2010)

Variability Management of Reliability Models in Software Product Lines: An Expressiveness and Scalability Analysis. - Vinicius Nunes; Paula Fernandes; Vander Alves; Genaína Nunes Rodrigues (SBCARS, 2012)

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)