Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems. - Frederico J. R. Barboza; Aline Maria Santos Andrade; Flávio Morais de Assis Silva; George Lima 001 (SBMF, 2006)

A development process for mechatronic products: Integrating software engineering and product engineering. - Ana Patrícia Magalhães; Aline Maria Santos Andrade; Leila Silva; Herman Lepikson (ETFA, 2007)

A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol. - Paul Regnier; George Lima 001; Aline Maria Santos Andrade (SBMF, 2008)

Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems. - André L. N. Muniz; Aline Maria Santos Andrade; George Lima 001 (Innov. Syst. Softw. Eng., 2010)

Improving Web Service Discovery by a Functional and Structural Approach. - Rodrigo Amorim; Daniela Barreiro Claro; Denivaldo Lopes; Patrick Albers; Aline Maria Santos Andrade (ICWS, 2011)

Abstract specification and formalization of an operating system kernel in Z. - Luciano Barreto; Aline Andrade; Adolfo Duran; Caique Lima; Ademilson Lima (ACM SIGOPS Oper. Syst. Rev., 2011)

Generating correct compositions of semantic web services with respect to temporal constraints. - Efraim Zalmoxis de Almeida Machado; Daniela Barreiro Claro; Aline Maria Santos Andrade (WebMedia, 2012)

MTP: Model Transformation Profile. - Ana Patrícia Fontes Magalhães; Aline Maria Santos Andrade; Rita Suzana Pitangueira Maciel (SBCARS, 2013)

Toward the Revision of CTL Models through Kripke Modal Transition Systems. - Paulo T. Guerra; Aline Andrade; Renata Wassermann (SBMF, 2013)

A Systematic Review of Software Requirements Selection and Prioritization Using SBSE Approaches. - Antônio Mauricio Pitangueira; Rita Suzana Pitangueira Maciel; Márcio de Oliveira Barros; Aline Maria Santos Andrade (SSBSE, 2013)

Interação de características na composição de serviços web: prevenindo a violação dos requisitos do usuário. - Roberto de Cerqueira Figueiredo; Daniela Barreiro Claro; Raimundo A. Macêdo 001; Aline Andrade (SBSI, 2014)

A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information. - Jandson S. Ribeiro; Aline Andrade (ICFEM, 2015)

On the Specification of Model Transformations through a Platform Independent Approach. - Ana Patrícia Magalhães; Aline Maria Santos Andrade; Rita Suzana Pitangueira Maciel (SEKE, 2015)

Towards a Metamodel Design Methodology: Experiences from a model transformation metamodel design. - Ana Patrícia Magalhães; Rita Suzana Pitangueira Maciel; Aline Maria Santos Andrade (SEKE, 2015)

A Model Driven Transformation Development Process for Model to Model Transformation. - Ana Patrícia Fontes Magalhães; Aline Maria Santos Andrade; Rita Suzana Pitangueira Maciel (SBES, 2016)

A Refinement Repair Algorithm Based on Refinement Game for KMTS Models. - Efraim Machado; Aline Andrade (SBMF, 2016)

Model driven transformation development (MDTD): An approach for developing model to model transformation. - Ana Patrícia Fontes Magalhães; Aline Maria Santos Andrade; Rita Suzana Pitangueira Maciel (Inf. Softw. Technol., 2019)

Developing Model Transformations: A Systematic Literature Review. - Ana Patrícia Magalhães; Rita Suzana Pitangueira Maciel; Aline Andrade (ICEIS (2), 2020)

An Investigation of Currently Used Aspects in Model Transformation Development. - Ana Patrícia Magalhães; Rita Suzana Pitangueira Maciel; Aline Maria Santos Andrade (ICEIS (Revised Selected Papers), 2020)

Education, Innovation and Software Production: The use of Reflective Practice. - Aline Andrade; Regina Albuquerque; Tania Mara Dors; Fabio Vinicius Binder; Andreia Malucelli; Sheila S. Reinehr (SBQS, 2021)

Education, Innovation and Software Production: the contributions of the Reflective Practice in a Software Studio. - Aline Andrade; Alessandro Maciel Schmidt; Tania Mara Dors; Regina Albuquerque; Fabio Vinicius Binder; Dilmeire Vosgerau; Andreia Malucelli; Sheila S. Reinehr (J. Softw. Eng. Res. Dev., 2023)