Tool Support for the CircusRefinement Calculus. - Alessandro Cavalcante Gurgel; Cristiano Gurgel de Castro; Marcel Vinícius Medeiros Oliveira (ABZ, 2008)

CRefine: Support for the Circus Refinement Calculus. - Marcel Vinícius Medeiros Oliveira; Alessandro Cavalcante Gurgel; Cristiano Gurgel de Castro (SEFM, 2008)

Integrating SMT-Solvers in Z and B Tools. - Alessandro Cavalcante Gurgel; Valério Gutemberg de Medeiros; Marcel Vinícius Medeiros Oliveira; David Boris Paul Déharbe (ASM, 2010)

On-demand integration of product lines: a study of reuse and stability. - Alessandro Cavalcante Gurgel; Francisco Dantas; Alessandro F. Garcia 001 (PLEASE@ICSE, 2011)

Integrating Software Product Lines: A Study of Reuse versus Stability. - Alessandro Cavalcante Gurgel; Francisco Dantas; Alessandro Garcia 001; Cláudio Sant'Anna (COMPSAC, 2012)

Analysing the Impact of Feature Dependency Implementation on Product Line Stability: An Exploratory Study. - Bruno Barbieri Pontes Cafeo; Francisco Dantas; Alessandro Cavalcante Gurgel; Everton T. Guimarães; Elder Cirilo; Alessandro F. Garcia 001; Carlos José Pereira de Lucena (SBES, 2012)

Blending and reusing rules for architectural degradation prevention. - Alessandro Cavalcante Gurgel; Isela Macia Bertran; Alessandro Garcia 001; Arndt von Staa; Mira Mezini; Michael Eichberg; Ralf Mitschke (MODULARITY, 2014)