Ana Cristina Vieira de Melo

44 papers A 1B 6C 3Misc 6Journal 7Unranked 21
YearRankTypeTitle / Venue / Authors
2022 — conf
On Structuring Functional Programs with Monoidal Profunctors.
MSFP@ETAPS
Alexandre Garcia de Oliveira, Mauro Jaskelioff, Ana Cristina Vieira de Melo
2017 — conf
Technical Debt and the Software Project Characteristics. A Repository-Based Exploratory Analysis.
CBI (1)
Jandisson Soares de Jesus, Ana Cristina Vieira de Melo
2015 — conf
A Classification of Test Purposes Based on Testable Properties.
ICCSA (1)
Simone Hanazumi, Ana Cristina Vieira de Melo
2015 J jnl
From Test Purposes to Formal JPF Properties.
ACM SIGSOFT Softw. Eng. Notes
Simone Hanazumi, Ana Cristina Vieira de Melo, Corina S. Pasareanu
2015 B conf
On the Testability of Properties Patterns.
SEFM
Simone Hanazumi, Ana Cristina Vieira de Melo
2014 — conf
Business Rules: From SBVR to Information Systems.
Business Process Management Workshops
Jandisson Soares de Jesus, Ana Cristina Vieira de Melo
2014 — conf
Exercising Java Exceptions Using Java Pathfinder and Program Instrumentation.
ICCSA (1)
Alexandre Locci Martins, Simone Hanazumi, Ana Cristina Vieira de Melo
2014 — conf
Testing Java Exceptions: An Instrumentation Technique.
COMPSAC Workshops
Alexandre Locci Martins, Simone Hanazumi, Ana Cristina Vieira de Melo
2013 — conf
An Approach for the Verification of Multi-agent Systems by Formally Guided Simulations.
IAT
Paulo Salem da Silva, Ana Cristina Vieira de Melo
2013 — conf
Behaviorist Agent Architecture.
IAT
Paulo Salem da Silva, Ana Cristina Vieira de Melo
2013 A conf
Generation of Java programs properties from test purposes.
ISSTA
Simone Hanazumi, Ana Cristina Vieira de Melo
2013 J jnl
On-the-fly verification of discrete event simulations by means of simulation purposes: Extended version.
Simul.
Paulo Salem da Silva, Ana Cristina Vieira de Melo
2012 Misc conf
Coordinating Exceptions of Java Systems: Implementation and Formal Verification.
QUATIC
Simone Hanazumi, Ana Cristina Vieira de Melo
2012 Misc conf
Modelling Websites Navigation Elements According to Usability Aspects.
QUATIC
Hamilton Fernandes de-Moraes Junior, Fabia Lika Nishida, Ana Cristina Vieira de Melo
2012 Misc conf
Testing the Adherence of Enterprise Web Applications to Transactional Patterns.
QUATIC
Paulo R. F. Nunes, Ana Cristina Vieira de Melo
2011 J jnl
Improving data perturbation testing techniques for Web services.
Inf. Sci.
Ana Cristina Vieira de Melo, Paulo Silveira
2011 — conf
On-the-fly verification of discrete event simulations by means of simulation purposes.
SpringSim (TMS-DEVS)
Paulo Salem da Silva, Ana Cristina Vieira de Melo
2011 — conf
PiStache: Implementing π-Calculus in Scala.
SBMF
Pedro Matiello, Ana Cristina Vieira de Melo
2010 — conf
A Formal Environment Model for Multi-Agent Systems.
SBMF
Paulo Salem da Silva, Ana Cristina Vieira de Melo
2010 J jnl
Formalization of an architectural model for exception handling coordination based on CA action concepts.
Sci. Comput. Program.
David P. Pereira, Ana Cristina Vieira de Melo
2009 B conf
Exploring XML Perturbation Techniques for Web Services Testing.
ICWE
Paulo Silveira, Ana Cristina Vieira de Melo
2009 — conf
OConGraX - Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems.
TestCom/FATES
Paulo R. F. Nunes, Simone Hanazumi, Ana Cristina Vieira de Melo
2008 Misc conf
A formal architectural model for exception handling coordination.
SAC
David P. Pereira, Ana Cristina Vieira de Melo
2008 — conf
Model Checking Merged Program Traces.
SBMF
Paulo Salem da Silva, Ana Cristina Vieira de Melo
2008 — conf
Reusing models in multi-agent simulation with software components.
AAMAS (2)
Paulo Salem da Silva, Ana Cristina Vieira de Melo
2008 J jnl
Software maintenance project delays prediction using Bayesian Networks.
Expert Syst. Appl.
Ana Cristina Vieira de Melo, Adilson de J. Sanchez
2008 Misc conf
Towards verification and testing of Java programs.
SAC
Ana Cristina Vieira de Melo, Paulo R. F. Nunes, Kleber S. Xavier
2008 B conf
Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs.
SEFM
Kleber S. Xavier, Simone Hanazumi, Ana Cristina Vieira de Melo
2007 B conf
A Simulation-Oriented Formalization for a Psychological Theory.
FASE
Paulo Salem da Silva, Ana Cristina Vieira de Melo
2005 B conf
A Strategy for the Formal Composition of Frameworks.
SEFM
Walter Mesquita, Augusto Sampaio, Ana Cristina Vieira de Melo
2005 — conf
An Ontology for Mobile Agents in the Context of Formal Verification.
OTM Conferences (2)
Paulo Salem da Silva, Ana Cristina Vieira de Melo
2005 B conf
Bayesian Networks in Software Maintenance Management.
SOFSEM
Ana Cristina Vieira de Melo, Adilson de J. Sanchez
2005 C conf
Intelligent mobile multi-robotic systems: some challenges and possible solutions.
ICINCO
Flávio S. Corrêa da Silva, Renata Wassermann, Ana Cristina Vieira de Melo, Leliane Nunes de Barros, Marcelo Finger
2004 — conf
From Active Names to pi-calculus Rewriting Rules.
SBMF
Ana Cristina Vieira de Melo
2004 J jnl
On the composition of Java frameworks control-flows.
Inf. Softw. Technol.
Ana Cristina Vieira de Melo, Bruno Martins Moutinho
2003 — conf
A Study On The Potential Active Names of pi-Agents.
WMF
Ana Cristina Vieira de Melo
2003 Misc conf
On the Composition of Java Frameworks Control-flows.
SAC
Ana Cristina Vieira de Melo, Bruno Martins Moutinho
2002 J jnl
On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions.
Knowl. Based Syst.
Flávio S. Corrêa da Silva, Wamberto Weber Vasconcelos, David Stuart Robertson, Virgínia V. B. Biris Brilhante, Ana Cristina Vieira de Melo, Marcelo Finger, Jaume Agustí-Cullell
2000 C conf
A Lightweight Capability Communication Mechanism.
IEA/AIE
David Stuart Robertson, Flávio S. Corrêa da Silva, Wamberto Weber Vasconcelos, Ana Cristina Vieira de Melo
2000 — conf
Composição de Fluxo de Controle em Frameworks Java.
SBES Companion
Bruno Martins Moutinho, Ana Cristina Vieira de Melo
2000 — conf
Especificação de um Protocolo de Comunicação Comercial em Join-Calculus.
SBES Companion
Lucy Mari Tabuti, Ana Cristina Vieira de Melo
1999 C conf
Why Ontologies Are Not Enough for Knowledge Sharing.
IEA/AIE
Flávio S. Corrêa da Silva, Jaume Agustí-Cullell, Ana Cristina Vieira de Melo, Wamberto Weber Vasconcelos, David Stuart Robertson
1995 — conf
A foundation for formal reuse of hardware.
CHARME
Ana Cristina Vieira de Melo, Howard Barringer
1988 — conf
Links em um Sistema de Hipertexto.
SBES
Alexandre M. L. de Vasconcelos, Ana Cristina Vieira de Melo, Silvio Romero Lemos de Meira