Links em um Sistema de Hipertexto. - Alexandre M. L. de Vasconcelos; Ana Cristina Vieira de Melo; Silvio Romero Lemos de Meira (SBES, 1988)

Hipertexto: O Projeto do Sistema H. - Silvio Meira 001; Judith Kelner; Carlos Eduardo Albuquerque da Cunha; José Martins; Ana C. V. de Melo; Alexandre M. L. de Vasconcelos (SBES, 1989)

A foundation for formal reuse of hardware. - Ana Cristina Vieira de Melo; Howard Barringer (CHARME, 1995)

Minimising communications of synchronous hardware. - Ana C. V. de Melo (ICECS, 1999)

Why Ontologies Are Not Enough for Knowledge Sharing. - Flávio S. Corrêa da Silva; Jaume Agustí-Cullell; Ana Cristina Vieira de Melo; Wamberto Weber Vasconcelos; David Stuart Robertson 001 (IEA/AIE, 1999)

A Lightweight Capability Communication Mechanism. - David Stuart Robertson 001; Flávio S. Corrêa da Silva; Wamberto Weber Vasconcelos; Ana Cristina Vieira de Melo (IEA/AIE, 2000)

Composição de Fluxo de Controle em Frameworks Java. - Bruno Martins Moutinho; Ana Cristina Vieira de Melo (SBES Companion, 2000)

Especificação de um Protocolo de Comunicação Comercial em Join-Calculus. - Lucy Mari Tabuti; Ana Cristina Vieira de Melo (SBES Companion, 2000)

On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions. - Flávio S. Corrêa da Silva; Wamberto Weber Vasconcelos; David Stuart Robertson 001; Virgínia V. B. Biris Brilhante; Ana Cristina Vieira de Melo; Marcelo Finger; Jaume Agustí-Cullell (Knowl. Based Syst., 2002)

A Study On The Potential Active Names of pi-Agents. - Ana Cristina Vieira de Melo (WMF, 2003)

From Active Names to pi-calculus Rewriting Rules. - Ana Cristina Vieira de Melo (SBMF, 2004)

On the composition of Java frameworks control-flows. - Ana Cristina Vieira de Melo; Bruno Martins Moutinho (Inf. Softw. Technol., 2004)

Intelligent mobile multi-robotic systems: some challenges and possible solutions. - Flávio S. Corrêa da Silva; Renata Wassermann; Ana Cristina Vieira de Melo; Leliane Nunes de Barros; Marcelo Finger (ICINCO, 2005)

An Ontology for Mobile Agents in the Context of Formal Verification. - Paulo Salem da Silva; Ana Cristina Vieira de Melo (OTM Conferences (2), 2005)

A Strategy for the Formal Composition of Frameworks. - Walter Mesquita; Augusto Sampaio 001; Ana Cristina Vieira de Melo (SEFM, 2005)

Bayesian Networks in Software Maintenance Management. - Ana Cristina Vieira de Melo; Adilson de J. Sanchez (SOFSEM, 2005)

A Simulation-Oriented Formalization for a Psychological Theory. - Paulo Salem da Silva; Ana Cristina Vieira de Melo (FASE, 2007)

Reusing models in multi-agent simulation with software components. - Paulo Salem da Silva; Ana Cristina Vieira de Melo (AAMAS (2), 2008)

Towards verification and testing of Java programs. - Ana Cristina Vieira de Melo; Paulo R. F. Nunes; Kleber S. Xavier (SAC, 2008)

A formal architectural model for exception handling coordination. - David P. Pereira; Ana Cristina Vieira de Melo (SAC, 2008)

Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs. - Kleber S. Xavier; Simone Hanazumi; Ana Cristina Vieira de Melo (SEFM, 2008)

Model Checking Merged Program Traces. - Paulo Salem da Silva; Ana Cristina Vieira de Melo (SBMF, 2008)

Software maintenance project delays prediction using Bayesian Networks. - Ana Cristina Vieira de Melo; Adilson de J. Sanchez (Expert Syst. Appl., 2008)

Exploring XML Perturbation Techniques for Web Services Testing. - Paulo Silveira; Ana Cristina Vieira de Melo (ICWE, 2009)

OConGraX - Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems. - Paulo R. F. Nunes; Simone Hanazumi; Ana Cristina Vieira de Melo (TestCom/FATES, 2009)

A Formal Environment Model for Multi-Agent Systems. - Paulo Salem da Silva; Ana Cristina Vieira de Melo (SBMF, 2010)

Formalization of an architectural model for exception handling coordination based on CA action concepts. - David P. Pereira; Ana Cristina Vieira de Melo (Sci. Comput. Program., 2010)

PiStache: Implementing π-Calculus in Scala. - Pedro Matiello; Ana Cristina Vieira de Melo (SBMF, 2011)

On-the-fly verification of discrete event simulations by means of simulation purposes. - Paulo Salem da Silva; Ana Cristina Vieira de Melo (SpringSim (TMS-DEVS), 2011)

Improving data perturbation testing techniques for Web services. - Ana Cristina Vieira de Melo; Paulo Silveira (Inf. Sci., 2011)

Coordinating Exceptions of Java Systems: Implementation and Formal Verification. - Simone Hanazumi; Ana Cristina Vieira de Melo (QUATIC, 2012)

Modelling Websites Navigation Elements According to Usability Aspects. - Hamilton Fernandes de-Moraes Junior; Fabia Lika Nishida; Ana Cristina Vieira de Melo (QUATIC, 2012)

Testing the Adherence of Enterprise Web Applications to Transactional Patterns. - Paulo R. F. Nunes; Ana Cristina Vieira de Melo (QUATIC, 2012)

Behaviorist Agent Architecture. - Paulo Salem da Silva; Ana Cristina Vieira de Melo (IAT, 2013)

An Approach for the Verification of Multi-agent Systems by Formally Guided Simulations. - Paulo Salem da Silva; Ana Cristina Vieira de Melo (IAT, 2013)

Generation of Java programs properties from test purposes. - Simone Hanazumi; Ana Cristina Vieira de Melo (ISSTA, 2013)

On-the-fly verification of discrete event simulations by means of simulation purposes: Extended version. - Paulo Salem da Silva; Ana Cristina Vieira de Melo (Simul., 2013)

Business Rules: From SBVR to Information Systems. - Jandisson Soares de Jesus; Ana Cristina Vieira de Melo (Business Process Management Workshops, 2014)

Testing Java Exceptions: An Instrumentation Technique. - Alexandre Locci Martins; Simone Hanazumi; Ana Cristina Vieira de Melo (COMPSAC Workshops, 2014)

Exercising Java Exceptions Using Java Pathfinder and Program Instrumentation. - Alexandre Locci Martins; Simone Hanazumi; Ana Cristina Vieira de Melo (ICCSA (1), 2014)

A Classification of Test Purposes Based on Testable Properties. - Simone Hanazumi; Ana Cristina Vieira de Melo (ICCSA (1), 2015)

On the Testability of Properties Patterns. - Simone Hanazumi; Ana Cristina Vieira de Melo (SEFM, 2015)

An Architectural Pattern to Implement Business Rules in Information Systems. - Jandisson S. de Jesus; Ana C. V. de Melo (CBI (2), 2015)

From Test Purposes to Formal JPF Properties. - Simone Hanazumi; Ana Cristina Vieira de Melo; Corina S. Pasareanu (ACM SIGSOFT Softw. Eng. Notes, 2015)

Towards MC/DC Coverage of Properties Specification Patterns. - Ana C. V. de Melo; Corina S. Pasareanu; Simone Hanazumi (ICTAC, 2016)

Can you certify your software to MC/DC?: A static analysis approach to account for the number test cases. - Alexandre Locci Martins; Ana C. V. de Melo (SAST, 2016)

Technical Debt and the Software Project Characteristics. A Repository-Based Exploratory Analysis. - Jandisson Soares de Jesus; Ana Cristina Vieira de Melo (CBI (1), 2017)

A Formal Approach to implement java exceptions in cooperative systems. - Simone Hanazumi; Ana C. V. de Melo (J. Syst. Softw., 2017)

On Structuring Functional Programs with Monoidal Profunctors. - Alexandre Garcia de Oliveira; Mauro Jaskelioff; Ana Cristina Vieira de Melo (MSFP@ETAPS, 2022)

A Formal Model for Startups Financial Transactions. - Rodrigo Stevaux; Ana C. V. de Melo (SBMF, 2023)

Technical Debt Management in Agile Context: A new framework and case study in a large financial institution. - Gisela M. Q. M. Archela; Ana C. V. de Melo; Vagner Luiz Gava (SAC, 2024)