A Systematic Review on Aspects in Software Architecture Design. - Kênia Santos de Oliveira; Michel dos Santos Soares (SCCC, 2012)

Modeling Aspects in Requirements using SysML Extensions. - Kênia Santos de Oliveira; Michel dos Santos Soares (ICEIS (2), 2013)

An Empirical Evaluation of Refactoring Crosscutting Concerns into Aspects Using Software Metrics. - Joyce M. S. França; Caio Augusto R. Dos Santos; Kênia Santos de Oliveira; Michel dos Santos Soares (ITNG, 2013)

Extensions of SysML for Modeling an Aspect Oriented Software Architecture with Multiple Views. - Kênia Santos de Oliveira; Joyce M. S. França; Michel S. Soares (ITNG, 2013)

A Linear Logic based Synchronization Rule for Deadlock Prevention in Web Service Composition. - Vinícius Ferreira de Oliveira; Stéphane Julia; Lígia Maria Soares Passos; Kênia Santos de Oliveira (ICEIS (2), 2017)

Using Linear Logic to Verify Requirement Scenarios in SOA Models based on Interorganizational WorkFlow Nets Relaxed Sound. - Kênia Santos de Oliveira; Vinícius Ferreira de Oliveira; Stéphane Julia (ICEIS (2), 2017)

Using Linear Logic to Verify Requirement Scenarios in Composite Web Service. - Kênia Santos de Oliveira; Stéphane Julia (SBMF, 2017)