 | 2009 |
|---|
| 21 |       | Paulo Silveira,
Ana Cristina Vieira de Melo:
Exploring XML Perturbation Techniques for Web Services Testing.
ICWE 2009: 355-369 |
| 20 | | Paulo R. F. Nunes,
Simone Hanazumi,
Ana Cristina Vieira de Melo:
OConGraX - Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems.
TestCom/FATES 2009: 229-234 |
| 19 | | Paulo Salem da Silva,
Ana Cristina Vieira de Melo:
Model Checking Merged Program Traces.
Electr. Notes Theor. Comput. Sci. 240: 97-112 (2009) |
| 2008 |
|---|
| 18 | | Paulo Salem da Silva,
Ana Cristina Vieira de Melo:
Reusing models in multi-agent simulation with software components.
AAMAS (2) 2008: 1137-1144 |
| 17 | | David P. Pereira,
Ana Cristina Vieira de Melo:
A formal architectural model for exception handling coordination.
SAC 2008: 114-118 |
| 16 | | Ana Cristina Vieira de Melo,
Paulo R. F. Nunes,
Kleber S. Xavier:
Towards verification and testing of Java programs.
SAC 2008: 730-734 |
| 15 | | Kleber S. Xavier,
Simone Hanazumi,
Ana Cristina Vieira de Melo:
Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs.
SEFM 2008: 181-190 |
| 14 | | Ana Cristina Vieira de Melo,
Adilson de J. Sanchez:
Software maintenance project delays prediction using Bayesian Networks.
Expert Syst. Appl. 34(2): 908-919 (2008) |
| 2007 |
|---|
| 13 | | Paulo Salem da Silva,
Ana Cristina Vieira de Melo:
A Simulation-Oriented Formalization for a Psychological Theory.
FASE 2007: 42-56 |
| 2005 |
|---|
| 12 |  | Flávio S. Corrêa da Silva,
Renata Wassermann,
Ana Cristina Vieira de Melo,
Leliane Nunes de Barros,
Marcelo Finger:
Intelligent mobile multi-robotic systems: some challenges and possible solutions.
ICINCO 2005: 479-485 |
| 11 | | Paulo Salem da Silva,
Ana Cristina Vieira de Melo:
An Ontology for Mobile Agents in the Context of Formal Verification.
OTM Conferences (2) 2005: 1500-1516 |
| 10 | | Walter Mesquita,
Augusto Sampaio,
Ana Cristina Vieira de Melo:
A Strategy for the Formal Composition of Frameworks.
SEFM 2005: 404-413 |
| 9 | | Ana Cristina Vieira de Melo,
Adilson de J. Sanchez:
Bayesian Networks in Software Maintenance Management.
SOFSEM 2005: 394-398 |
| 8 | | Ana Cristina Vieira de Melo:
From Active Names to pi-calculus Rewriting Rules.
Electr. Notes Theor. Comput. Sci. 130: 169-185 (2005) |
| 2004 |
|---|
| 7 | | Ana Cristina Vieira de Melo:
A Study On The Potential Active Names of pi-Agents.
Electr. Notes Theor. Comput. Sci. 95: 269-286 (2004) |
| 6 | | Ana Cristina Vieira de Melo,
Bruno M. Moutinho:
On the composition of Java frameworks control-flows.
Information & Software Technology 46(5): 301-307 (2004) |
| 2003 |
|---|
| 5 | | Ana Cristina Vieira de Melo,
Bruno M. Moutinho:
On the Composition of Java Frameworks Control-flows.
SAC 2003: 1099-1103 |
| 2002 |
|---|
| 4 | | 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:
On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions.
Knowl.-Based Syst. 15(3): 147-167 (2002) |
| 2000 |
|---|
| 3 | | David Stuart Robertson,
Flávio S. Corrêa da Silva,
Wamberto Weber Vasconcelos,
Ana Cristina Vieira de Melo:
A Lightweight Capability Communication Mechanism.
IEA/AIE 2000: 660-670 |
| 1999 |
|---|
| 2 | | Flávio S. Corrêa da Silva,
Jaume Agustí-Cullell,
Ana Cristina Vieira de Melo,
Wamberto Weber Vasconcelos,
David Stuart Robertson:
Why Ontologies Are Not Enough for Knowledge Sharing.
IEA/AIE 1999: 520-529 |
| 1995 |
|---|
| 1 | | Ana Cristina Vieira de Melo,
Howard Barringer:
A foundation for formal reuse of hardware.
CHARME 1995: 124-145 |
