Umberto Souza da Costa

According to our database, Umberto Souza da Costa authored at least 25 papers between 2000 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Querying graph databases using context-free grammars.

Ciro M. Medeiros, Martin A. Musicante, Umberto Souza da Costa

J. Comput. Lang., 2022

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

Proceedings of the New Trends in Database and Information Systems, 2022

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, Marcus Alexandre Nunes, Genoveva Vargas-Solar

Proceedings of the Service-Oriented Computing - ICSOC 2021 Workshops, 2021

Standard Matching-Choice Expressions for Defining Path Queries in Graph Databases.

Ciro M. Medeiros, Umberto Souza da Costa, Martin A. Musicante

Proceedings of the New Trends in Database and Information Systems, 2021

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

An Algorithm for Context-Free Path Queries over Graph Databases.

Ciro M. Medeiros, Martin A. Musicante, Umberto Souza da Costa

Proceedings of the SBLP '20: 24th Brazilian Symposium on Programming Languages, 2020

Recursive Expressions for SPARQL Property Paths.

Ciro M. Medeiros, Umberto Souza da Costa, Semyon V. Grigorev, Martin A. Musicante

Proceedings of the ADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortium, 2020

2019

LL-based query answering over RDF databases.

Ciro M. Medeiros, Martin A. Musicante, Umberto Souza da Costa

J. Comput. Lang., 2019

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

Efficient evaluation of context-free path queries for graph databases.

Ciro M. Medeiros, Martin A. Musicante, Umberto Souza da Costa

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

A Bottom-Up Algorithm for Answering Context-Free Path Queries in Graph Databases.

Fred C. Santos, Umberto Souza da Costa, Martin A. Musicante

Proceedings of the Web Engineering - 18th International Conference, 2018

2017

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

Proceedings of the 39th International Conference on Software Engineering, 2017

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

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

Int. J. Web Grid Serv., 2016

2015

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

Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015

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

Proceedings of the SOFSEM 2014: Theory and Practice of Computer Science, 2014

Preference-driven Refinement of Service Compositions.

Cheikh Ba, Umberto Souza da Costa, Mírian Halfeld Ferrari, Rémy Ferré, Martin A. Musicante, Verónika Peralta, Sophie Robert

Proceedings of the CLOSER 2014, 2014

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

Proceedings of the 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse, Brasília, DF, Brazil, September 29, 2013

Automatic Refinement of Service Compositions.

Umberto Souza da Costa, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Sophie Robert

Proceedings of the Web Engineering - 13th International Conference, 2013

2012

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

2010

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

Proceedings of the Theoretical Aspects of Computing, 2010

2008

Specification and Runtime Verification of Java Card Programs.

Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto

Proceedings of the Eleventh Brazilian Symposium on Formal Methods, 2008

2005

Um verificador de modelos explícito-simbólico.

Umberto Souza da Costa

PhD thesis, 2005

2004

Explicit-Symbolic Modelling for Formal Verification.

Umberto Souza da Costa, Sérgio Vale Aguiar Campos, Newton Vieira, David Déharbe

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

2000

Variable Ordering of BDDs with Parallel Genetic Algorithms.

Umberto Souza da Costa, David Déharbe, Anamaria Martins Moreira

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000