2008 |
18 | EE | Paulo Salem da Silva,
Ana Cristina Vieira de Melo:
Reusing models in multi-agent simulation with software components.
AAMAS (2) 2008: 1137-1144 |
17 | EE | David P. Pereira,
Ana Cristina Vieira de Melo:
A formal architectural model for exception handling coordination.
SAC 2008: 114-118 |
16 | EE | Ana Cristina Vieira de Melo,
Paulo R. F. Nunes,
Kleber S. Xavier:
Towards verification and testing of Java programs.
SAC 2008: 730-734 |
15 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Walter Mesquita,
Augusto Sampaio,
Ana Cristina Vieira de Melo:
A Strategy for the Formal Composition of Frameworks.
SEFM 2005: 404-413 |
9 | EE | Ana Cristina Vieira de Melo,
Adilson de J. Sanchez:
Bayesian Networks in Software Maintenance Management.
SOFSEM 2005: 394-398 |
8 | EE | Ana Cristina Vieira de Melo:
From Active Names to pi-calculus Rewriting Rules.
Electr. Notes Theor. Comput. Sci. 130: 169-185 (2005) |
2004 |
7 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |