Variable Ordering of BDDs with Parallel Genetic Algorithms. - Umberto Souza da Costa; David Déharbe; Anamaria Martins Moreira (PDPTA, 2000)

Explicit-Symbolic Modelling for Formal Verification. - Umberto Souza da Costa; Sérgio Vale Aguiar Campos; Newton Vieira; David Déharbe (SBMF, 2004)

Um verificador de modelos explícito-simbólico. - Umberto Souza da Costa (2005)

Specification and Runtime Verification of Java Card Programs. - Umberto Souza da Costa; Anamaria Martins Moreira; Martin A. Musicante; Plácido A. Souza Neto (SBMF, 2008)

Specification and Verification of a MPI Implementation for a MP-SoC. - Umberto Souza da Costa; Ivan Soares de Medeiros Júnior; Marcel Vinícius Medeiros Oliveira (ICTAC, 2010)

JCML: A specification language for the runtime verification of Java Card programs. - Umberto Souza da Costa; Anamaria Martins Moreira; Martin A. Musicante; Plácido A. Souza Neto (Sci. Comput. Program., 2012)

Automatic Refinement of Service Compositions. - Umberto Souza da Costa; Mirian Halfeld Ferrari Alves; Martin A. Musicante; Sophie Robert 001 (ICWE, 2013)

Evaluating the Propagation of Exceptions in the Service Oriented Architecture in .NET. - Jose Alex Medeiros de Lima; Eliezio Soares de Sousa Neto; Jose Sueney de Lima; Nelio Alessandro Azevedo Cacho; Roberta de Souza Coelho; Umberto Souza da Costa (SBCARS, 2013)

Preference-driven Reﬁnement of Service Compositions. - Cheikh Ba; Umberto Souza da Costa; Mírian Halfeld Ferrari; Rémy Ferré; Martin A. Musicante; Verónika Peralta; Sophie Robert 001 (CLOSER, 2014)

Supporting Non-functional Requirements in Services Software Development Process: An MDD Approach. - Valeria de Castro; Martin A. Musicante; Umberto Souza da Costa; Plácido A. Souza Neto; Genoveva Vargas-Solar (SOFSEM, 2014)

An abstract machine for integrating heterogeneous web applications. - Márcio A. Macêdo; Daniel A. S. Carvalho; Martin A. Musicante; Alberto Pardo; Umberto Souza da Costa (AICCSA, 2015)

Experiments on service composition refinement on the basis of preference-driven recommendation. - Cheikh Ba; Thiago Cerqueira; Umberto Souza da Costa; Mirian Halfeld Ferrari Alves; Martin A. Musicante; Sophie Robert 001 (Int. J. Web Grid Serv., 2016)

Designing service-based applications in the presence of non-functional properties: A mapping study. - Plácido A. Souza Neto; Genoveva Vargas-Solar; Umberto Souza da Costa; Martin A. Musicante (Inf. Softw. Technol., 2016)

Automating systematic mappings, adding quality to quantity: poster. - Regina Motz; Genoveva Vargas-Solar; Umberto Souza da Costa; Javier-Alfonso Espinosa-Oviedo; Martin A. Musicante; José-Luis Zechinelli-Martini; Alberto Pardo (ICSE (Companion Volume), 2017)

A Bottom-Up Algorithm for Answering Context-Free Path Queries in Graph Databases. - Fred C. Santos; Umberto Souza da Costa; Martin A. Musicante (ICWE, 2018)

Efficient evaluation of context-free path queries for graph databases. - Ciro M. Medeiros; Martin A. Musicante; Umberto Souza da Costa (SAC, 2018)

πSOD-M: building SOC applications in the presence of non-functional requirements. - Khalid Belhajjame; Valeria de Castro; Javier-Alfonso Espinosa-Oviedo; Martin A. Musicante; Umberto Souza da Costa; Plácido A. Souza Neto; Genoveva Vargas-Solar; José-Luis Zechinelli-Martini (Int. J. Web Grid Serv., 2018)

LL-based query answering over RDF databases. - Ciro M. Medeiros; Martin A. Musicante; Umberto Souza da Costa (J. Comput. Lang., 2019)

Recursive Expressions for SPARQL Property Paths. - Ciro M. Medeiros; Umberto Souza da Costa; Semyon V. Grigorev; Martin A. Musicante (ADBIS/TPDL/EDA Workshops, 2020)

An Algorithm for Context-Free Path Queries over Graph Databases. - Ciro M. Medeiros; Martin A. Musicante; Umberto Souza da Costa (SBLP, 2020)

Self-healing of web service compositions: a specification rewriting approach. - Rafael Ferreira Toledo; Umberto Souza da Costa; Martin A. Musicante; Genoveva Vargas-Solar (Int. J. Web Grid Serv., 2020)

Standard Matching-Choice Expressions for Defining Path Queries in Graph Databases. - Ciro M. Medeiros; Umberto Souza da Costa; Martin A. Musicante (ADBIS (Short Papers), 2021)

Data Centred Intelligent Geosciences: Research Agenda and Opportunities Position Paper. - Aderson Farias do Nascimento; Martin A. Musicante; Umberto Souza da Costa; Bruno M. Carvalho 001; Marcus Alexandre Nunes; Genoveva Vargas-Solar (ICSOC Workshops, 2021)

Using Provenance in Data Analytics for Seismology: Challenges and Directions. - Umberto Souza da Costa; Javier-Alfonso Espinosa-Oviedo; Martin A. Musicante; Genoveva Vargas-Solar; José-Luis Zechinelli-Martini (ADBIS (Short Papers), 2022)

Querying graph databases using context-free grammars. - Ciro M. Medeiros; Martin A. Musicante; Umberto Souza da Costa (J. Comput. Lang., 2022)