Formal Specification of Evolving Distributed Software Architectures. - George R. Ribeiro-Justo; Virginia C. Carneiro de Paula; Paulo R. F. Cunha (DEXA Workshop, 1998)

Specifying Dynamic Distributed Software Architectures. - Virginia C. Carneiro de Paula; George R. Ribeiro-Justo; Paulo R. F. Cunha (SBES, 1998)

Formal Specification of Dynamic Architectural Styles. - Virginia C. Carneiro de Paula; George R. Ribeiro-Justo; Paulo R. F. Cunha (PDPTA, 1999)

Specifying and Verifying Reconfigurable Software Architectures. - Virginia C. Carneiro de Paula; George R. Ribeiro-Justo; Paulo R. F. Cunha (PDSE, 2000)

Um Meta-Modelo para Especificação de Arquiteturas de Software em Camadas. - Lyrene Fernandes da Silva; Virginia C. Carneiro de Paula (SBES, 2001)

Mapping an ADL to a Component-Based Application Development Environment. - Virginia C. Carneiro de Paula; Thaís Vasconcelos Batista (FASE, 2002)

Comparative Analysis of Architectural Views Based on UML. - Lyrene Fernandes da Silva; Virginia C. Carneiro de Paula (SC@ETAPS, 2002)

Reusing Families Design. - Virginia C. Carneiro de Paula (Software Engineering Research and Practice, 2006)

Revisiting a Formal Framework for Modeling Aspects in the Design Phase. - Virginia C. Carneiro de Paula; Thaís Batista (EA@ICSE, 2007)

Computer Programming is More than to Program Computers. - Virginia C. Carneiro de Paula (SIGITE, 2018)