Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Ana Cristina Vieira de Melo

Ana C. V. de Melo

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2017
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/HanazumiM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/HanazumiM17
Simone Hanazumi, Ana C. V. de Melo:
A Formal Approach to implement java exceptions in cooperative systems. J. Syst. Softw. 131: 475-490 (2017)
2015
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/HanazumiMP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/HanazumiMP15
Simone Hanazumi, Ana Cristina Vieira de Melo, Corina S. Pasareanu:
From Test Purposes to Formal JPF Properties. ACM SIGSOFT Softw. Eng. Notes 40(1): 1-5 (2015)
2013
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/simulation/SilvaM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/simulation/SilvaM13
Paulo Salem da Silva, Ana Cristina Vieira de Melo:
On-the-fly verification of discrete event simulations by means of simulation purposes: Extended version. Simul. 89(8): 977-1008 (2013)
2011
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/MeloS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/MeloS11
Ana Cristina Vieira de Melo, Paulo Silveira:
Improving data perturbation testing techniques for Web services. Inf. Sci. 181(3): 600-619 (2011)
2010
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/PereiraM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/PereiraM10
David P. Pereira, Ana Cristina Vieira de Melo:
Formalization of an architectural model for exception handling coordination based on CA action concepts. Sci. Comput. Program. 75(5): 333-349 (2010)
2008
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/eswa/MeloS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eswa/MeloS08
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)
2004
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/MeloM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/MeloM04
Ana Cristina Vieira de Melo, Bruno Martins Moutinho:
On the composition of Java frameworks control-flows. Inf. Softw. Technol. 46(5): 301-307 (2004)
2002
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/kbs/SilvaVRBMFA02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/kbs/SilvaVRBMFA02
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)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/ArchelaMG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/ArchelaMG24
Gisela M. Q. M. Archela, Ana C. V. de Melo, Vagner Luiz Gava:
Technical Debt Management in Agile Context: A new framework and case study in a large financial institution. SAC 2024: 826-833
2023
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/StevauxM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/StevauxM23
Rodrigo Stevaux, Ana C. V. de Melo:
A Formal Model for Startups Financial Transactions. SBMF 2023: 3-19
2022
[c42]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-00852
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-00852
Alexandre Garcia de Oliveira, Mauro Jaskelioff, Ana Cristina Vieira de Melo:
On Structuring Functional Programs with Monoidal Profunctors. MSFP@ETAPS 2022: 134-150
2017
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/wecwis/JesusM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wecwis/JesusM17
Jandisson Soares de Jesus, Ana Cristina Vieira de Melo:
Technical Debt and the Software Project Characteristics. A Repository-Based Exploratory Analysis. CBI (1) 2017: 444-453
2016
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/MeloPH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/MeloPH16
Ana C. V. de Melo, Corina S. Pasareanu, Simone Hanazumi:
Towards MC/DC Coverage of Properties Specification Patterns. ICTAC 2016: 158-175
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/sast/MartinsM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sast/MartinsM16
Alexandre Locci Martins, Ana C. V. de Melo:
Can you certify your software to MC/DC?: A static analysis approach to account for the number test cases. SAST 2016: 3:1-3:7
2015
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/iccsa/HanazumiM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsa/HanazumiM15
Simone Hanazumi, Ana Cristina Vieira de Melo:
A Classification of Test Purposes Based on Testable Properties. ICCSA (1) 2015: 418-430
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/HanazumiM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/HanazumiM15
Simone Hanazumi, Ana Cristina Vieira de Melo:
On the Testability of Properties Patterns. SEFM 2015: 148-155
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/wecwis/JesusM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wecwis/JesusM15
Jandisson S. de Jesus, Ana C. V. de Melo:
An Architectural Pattern to Implement Business Rules in Information Systems. CBI (2) 2015: 80-87
2014
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/JesusM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/JesusM14
Jandisson Soares de Jesus, Ana Cristina Vieira de Melo:
Business Rules: From SBVR to Information Systems. Business Process Management Workshops 2014: 489-503
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/MartinsHM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/MartinsHM14
Alexandre Locci Martins, Simone Hanazumi, Ana Cristina Vieira de Melo:
Testing Java Exceptions: An Instrumentation Technique. COMPSAC Workshops 2014: 626-631
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/iccsa/MartinsHM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsa/MartinsHM14
Alexandre Locci Martins, Simone Hanazumi, Ana Cristina Vieira de Melo:
Exercising Java Exceptions Using Java Pathfinder and Program Instrumentation. ICCSA (1) 2014: 671-682
2013
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/SilvaM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/SilvaM13
Paulo Salem da Silva, Ana Cristina Vieira de Melo:
Behaviorist Agent Architecture. IAT 2013: 187-194
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/SilvaM13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/SilvaM13a
Paulo Salem da Silva, Ana Cristina Vieira de Melo:
An Approach for the Verification of Multi-agent Systems by Formally Guided Simulations. IAT 2013: 266-273
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/HanazumiM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/HanazumiM13
Simone Hanazumi, Ana Cristina Vieira de Melo:
Generation of Java programs properties from test purposes. ISSTA 2013: 362-365
2012
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/quatic/HanazumiM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/quatic/HanazumiM12
Simone Hanazumi, Ana Cristina Vieira de Melo:
Coordinating Exceptions of Java Systems: Implementation and Formal Verification. QUATIC 2012: 108-113
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/quatic/JuniorNM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/quatic/JuniorNM12
Hamilton Fernandes de-Moraes Junior, Fabia Lika Nishida, Ana Cristina Vieira de Melo:
Modelling Websites Navigation Elements According to Usability Aspects. QUATIC 2012: 299-302
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/quatic/NunesM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/quatic/NunesM12
Paulo R. F. Nunes, Ana Cristina Vieira de Melo:
Testing the Adherence of Enterprise Web Applications to Transactional Patterns. QUATIC 2012: 307-312
2011
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/MatielloM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/MatielloM11
Pedro Matiello, Ana Cristina Vieira de Melo:
PiStache: Implementing π-Calculus in Scala. SBMF 2011: 76-91
[c25]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/springsim/SilvaM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/springsim/SilvaM11
Paulo Salem da Silva, Ana Cristina Vieira de Melo:
On-the-fly verification of discrete event simulations by means of simulation purposes. SpringSim (TMS-DEVS) 2011: 238-247
2010
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/SilvaM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/SilvaM10
Paulo Salem da Silva, Ana Cristina Vieira de Melo:
A Formal Environment Model for Multi-Agent Systems. SBMF 2010: 64-79
2009
[c23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/icwe/SilveiraM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icwe/SilveiraM09
Paulo Silveira, Ana Cristina Vieira de Melo:
Exploring XML Perturbation Techniques for Web Services Testing. ICWE 2009: 355-369
[c22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/pts/NunesHM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/NunesHM09
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
2008
[c21]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/SilvaM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/SilvaM08
Paulo Salem da Silva, Ana Cristina Vieira de Melo:
Reusing models in multi-agent simulation with software components. AAMAS (2) 2008: 1137-1144
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/PereiraM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/PereiraM08
David P. Pereira, Ana Cristina Vieira de Melo:
A formal architectural model for exception handling coordination. SAC 2008: 114-118
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/MeloNX08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/MeloNX08
Ana Cristina Vieira de Melo, Paulo R. F. Nunes, Kleber S. Xavier:
Towards verification and testing of Java programs. SAC 2008: 730-734
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/XavierHM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/XavierHM08
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
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SilvaM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SilvaM09
Paulo Salem da Silva, Ana Cristina Vieira de Melo:
Model Checking Merged Program Traces. SBMF 2008: 97-112
2007
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/SilvaM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/SilvaM07
Paulo Salem da Silva, Ana Cristina Vieira de Melo:
A Simulation-Oriented Formalization for a Psychological Theory. FASE 2007: 42-56
2005
[c15]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icinco/SilvaWMBF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icinco/SilvaWMBF05
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
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/otm/SilvaM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/otm/SilvaM05
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
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/MesquitaSM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/MesquitaSM05
Walter Mesquita, Augusto Sampaio, Ana Cristina Vieira de Melo:
A Strategy for the Formal Composition of Frameworks. SEFM 2005: 404-413
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/MeloS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/MeloS05
Ana Cristina Vieira de Melo, Adilson de J. Sanchez:
Bayesian Networks in Software Maintenance Management. SOFSEM 2005: 394-398
2004
[c11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Melo05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Melo05
Ana Cristina Vieira de Melo:
From Active Names to pi-calculus Rewriting Rules. SBMF 2004: 169-185
2003
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/MeloM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/MeloM03
Ana Cristina Vieira de Melo, Bruno Martins Moutinho:
On the Composition of Java Frameworks Control-flows. SAC 2003: 1099-1103
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Melo04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Melo04
Ana Cristina Vieira de Melo:
A Study On The Potential Active Names of pi-Agents. WMF 2003: 269-286
2000
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ieaaie/RobertsonSVM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieaaie/RobertsonSVM00
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
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sbes/TabutiM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/TabutiM00
Lucy Mari Tabuti, Ana Cristina Vieira de Melo:
Especificação de um Protocolo de Comunicação Comercial em Join-Calculus. SBES Companion 2000: 35-38
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sbes/MoutinhoM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/MoutinhoM00
Bruno Martins Moutinho, Ana Cristina Vieira de Melo:
Composição de Fluxo de Controle em Frameworks Java. SBES Companion 2000: 75-78
1999
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icecsys/Melo99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icecsys/Melo99
Ana C. V. de Melo:
Minimising communications of synchronous hardware. ICECS 1999: 271-274
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ieaaie/SilvaAMVR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieaaie/SilvaAMVR99
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
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/charme/MeloB95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/MeloB95
Ana Cristina Vieira de Melo, Howard Barringer:
A foundation for formal reuse of hardware. CHARME 1995: 124-145
1989
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sbes/0001KCMMV89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/0001KCMMV89
Silvio Meira, Judith Kelner, Carlos Eduardo Albuquerque da Cunha, José Martins, Ana C. V. de Melo, Alexandre M. L. de Vasconcelos:
Hipertexto: O Projeto do Sistema H. SBES 1989: 152-170
1988
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sbes/VasconcelosMM88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/VasconcelosMM88
Alexandre M. L. de Vasconcelos, Ana Cristina Vieira de Melo, Silvio Romero Lemos de Meira:
Links em um Sistema de Hipertexto. SBES 1988: 75-85

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.