| 2015 | ICCSA | A Classification of Test Purposes Based on Testable Properties. | Simone Hanazumi, Ana Cristina Vieira de Melo |
| 2015 | SEFM | On the Testability of Properties Patterns. | Simone Hanazumi, Ana Cristina Vieira de Melo |
| 2014 | BPM | Business Rules: From SBVR to Information Systems. | Jandisson Soares de Jesus, Ana Cristina Vieira de Melo |
| 2014 | COMPSAC | Testing Java Exceptions: An Instrumentation Technique. | Alexandre Locci Martins, Simone Hanazumi, Ana Cristina Vieira de Melo |
| 2014 | ICCSA | Exercising Java Exceptions Using Java Pathfinder and Program Instrumentation. | Alexandre Locci Martins, Simone Hanazumi, Ana Cristina Vieira de Melo |
| 2013 | ISSTA | Generation of Java programs properties from test purposes. | Simone Hanazumi, Ana Cristina Vieira de Melo |
| 2012 | QUATIC | Coordinating Exceptions of Java Systems: Implementation and Formal Verification. | Simone Hanazumi, Ana Cristina Vieira de Melo |
| 2012 | QUATIC | Modelling Websites Navigation Elements According to Usability Aspects. | Hamilton Fernandes de-Moraes Junior, Fabia Lika Nishida, Ana Cristina Vieira de Melo |
| 2012 | QUATIC | Testing the Adherence of Enterprise Web Applications to Transactional Patterns. | Paulo R. F. Nunes, Ana Cristina Vieira de Melo |
| 2009 | ICWE | Exploring XML Perturbation Techniques for Web Services Testing. | Paulo Silveira, Ana Cristina Vieira de Melo |
| 2008 | SAC | Towards verification and testing of Java programs. | Ana Cristina Vieira de Melo, Paulo R. F. Nunes, Kleber S. Xavier |
| 2008 | SAC | A formal architectural model for exception handling coordination. | David P. Pereira, Ana Cristina Vieira de Melo |
| 2008 | SEFM | Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs. | Kleber S. Xavier, Simone Hanazumi, Ana Cristina Vieira de Melo |
| 2007 | FASE | A Simulation-Oriented Formalization for a Psychological Theory. | Paulo Salem da Silva, Ana Cristina Vieira de Melo |
| 2005 | ICINCO | Intelligent mobile multi-robotic systems: some challenges and possible solutions. | Flvio S. Corra da Silva, Renata Wassermann, Ana Cristina Vieira de Melo, Leliane Nunes de Barros, Marcelo Finger |
| 2005 | SEFM | A Strategy for the Formal Composition of Frameworks. | Walter Mesquita, Augusto Sampaio, Ana Cristina Vieira de Melo |
| 2005 | SOFSEM | Bayesian Networks in Software Maintenance Management. | Ana Cristina Vieira de Melo, Adilson de J. Sanchez |
| 2003 | SAC | On the Composition of Java Frameworks Control-flows. | Ana Cristina Vieira de Melo, Bruno Martins Moutinho |