FERUS: Um Ambiente de Desenvolvimento de Especificações CASL. - Gleydson Lima; Anamaria Martins Moreira; David Déharbe; David Ricardo Do Vale Pereira; Demóstenes Sena; Jorgiano Vidal (SBES, 2002)

AGraphs: Definition, implementation and tools. - David Déharbe; Anamaria Martins Moreira; Demóstenes Sena (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

Investigating the safe evolution of software product lines. - Laís Neves; Leopoldo Teixeira; Demóstenes Sena; Vander Alves; Uirá Kulesza; Paulo Borba (GPCE, 2011)

Squid: an extensible infrastructure for analyzing software product line implementations. - Alexandre Vianna; Felipe Pinto; Demóstenes Sena; Uirá Kulesza; Roberta Coelho; Jadson Santos; Jalerson Lima; Gleydson Lima (SPLC (2), 2012)

Conditional execution: a pattern for the implementation of fine-grained variabilities in software product lines. - Jadson Santos; Gleydson Lima; Uirá Kulesza; Demóstenes Sena; Felipe Pinto; Jalerson Lima; Alexandre Vianna; David Ricardo Do Vale Pereira; Victor H. Fernandes (SugarLoafPLoP, 2012)

Modularization of variabilities from software product lines of web information systems (in Portuguese). - Demóstenes Sena; Felipe Pinto; Gleydson Lima; Jadson Santos; Jalerson Lima; Uirá Kulesza; David Ricardo Do Vale Pereira; Victor H. Fernandes; Alexandre Vianna (SugarLoafPLoP, 2012)

In-depth characterization of exception flows in software product lines: an empirical study. - Hugo Melo; Roberta Coelho; Uirá Kulesza; Demóstenes Sena (J. Softw. Eng. Res. Dev., 2013)

An investigation on the evolutionary nature of exception handling violations in software product lines. - Demóstenes Sena; Roberta Coelho; Uirá Kulesza (SAC, 2015)

Safe evolution templates for software product lines. - Laís Neves; Paulo Borba; Vander Alves; Lucinéia Turnes; Leopoldo Teixeira; Demóstenes Sena; Uirá Kulesza (J. Syst. Softw., 2015)

Understanding the exception handling strategies of Java libraries: an empirical study. - Demóstenes Sena; Roberta Coelho; Uirá Kulesza; Rodrigo Bonifácio (MSR, 2016)

Integrated analysis of exception flows and handler actions in Java libraries: an empirical study. - Demóstenes Sena; Roberta Coelho; Uirá Kulesza (SAC, 2016)