Umberto Souza da Costa

29 papers B 3C 3Misc 2Journal 10Unranked 10
YearRankTypeTitle / Venue / Authors
2025 — conf
Experiversum: An Environment for Curating Data-Driven Experimental Sciences.
ADBIS (Short Papers)
Genoveva Vargas-Solar, Umberto Souza da Costa, Jérôme Darmont, Javier A. Espinosa-Oviedo, Carmem S. Hara, Sabine Loudcher, Regina Motz, Martin A. Musicante, José-Luis Zechinelli-Martini
2025 J jnl
Experiversum: an Ecosystem for Curating and Enhancing Data-Driven Experimental Science.
CoRR
Genoveva Vargas-Solar, Umberto Souza da Costa, Jérôme Darmont, Javier A. Espinosa-Oviedo, Carmem S. Hara, Sabine Loudcher, Regina Motz, Martin A. Musicante, José-Luis Zechinelli-Martini
2022 J jnl
Data Centred Intelligent Geosciences: Research Agenda and Opportunities, Position Paper.
CoRR
Aderson Farias do Nascimento, Martin A. Musicante, Umberto Souza da Costa, Bruno M. Carvalho, Marcus Alexandre Nunes, Genoveva Vargas-Solar
2022 J jnl
Querying graph databases using context-free grammars.
J. Comput. Lang.
Ciro M. Medeiros, Martin A. Musicante, Umberto Souza da Costa
2022 — conf
Using Provenance in Data Analytics for Seismology: Challenges and Directions.
ADBIS (Short Papers)
Umberto Souza da Costa, Javier-Alfonso Espinosa-Oviedo, Martin A. Musicante, Genoveva Vargas-Solar, José-Luis Zechinelli-Martini
2021 — conf
Data Centred Intelligent Geosciences: Research Agenda and Opportunities Position Paper.
ICSOC Workshops
Aderson Farias do Nascimento, Martin A. Musicante, Umberto Souza da Costa, Bruno M. Carvalho, Marcus Alexandre Nunes, Genoveva Vargas-Solar
2021 — conf
Standard Matching-Choice Expressions for Defining Path Queries in Graph Databases.
ADBIS (Short Papers)
Ciro M. Medeiros, Umberto Souza da Costa, Martin A. Musicante
2020 — conf
An Algorithm for Context-Free Path Queries over Graph Databases.
SBLP
Ciro M. Medeiros, Martin A. Musicante, Umberto Souza da Costa
2020 J jnl
An Algorithm for Context-Free Path Queries over Graph Databases.
CoRR
Ciro M. Medeiros, Martin A. Musicante, Umberto Souza da Costa
2020 — conf
Recursive Expressions for SPARQL Property Paths.
ADBIS/TPDL/EDA Workshops
Ciro M. Medeiros, Umberto Souza da Costa, Semyon V. Grigorev, Martin A. Musicante
2020 J jnl
Self-healing of web service compositions: a specification rewriting approach.
Int. J. Web Grid Serv.
Rafael Ferreira Toledo, Umberto Souza da Costa, Martin A. Musicante, Genoveva Vargas-Solar
2019 J jnl
LL-based query answering over RDF databases.
J. Comput. Lang.
Ciro M. Medeiros, Martin A. Musicante, Umberto Souza da Costa
2018 B conf
A Bottom-Up Algorithm for Answering Context-Free Path Queries in Graph Databases.
ICWE
Fred C. Santos, Umberto Souza da Costa, Martin A. Musicante
2018 Misc conf
Efficient evaluation of context-free path queries for graph databases.
SAC
Ciro M. Medeiros, Martin A. Musicante, Umberto Souza da Costa
2018 J jnl
πSOD-M: building SOC applications in the presence of non-functional requirements.
Int. J. Web Grid Serv.
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
2017 — conf
Automating systematic mappings, adding quality to quantity: poster.
ICSE (Companion Volume)
Regina Motz, Genoveva Vargas-Solar, Umberto Souza da Costa, Javier-Alfonso Espinosa-Oviedo, Martin A. Musicante, José-Luis Zechinelli-Martini, Alberto Pardo
2016 J jnl
Designing service-based applications in the presence of non-functional properties: A mapping study.
Inf. Softw. Technol.
Plácido A. Souza Neto, Genoveva Vargas-Solar, Umberto Souza da Costa, Martin A. Musicante
2016 J jnl
Experiments on service composition refinement on the basis of preference-driven recommendation.
Int. J. Web Grid Serv.
Cheikh Ba, Thiago Cerqueira, Umberto Souza da Costa, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Sophie Robert
2015 C conf
An abstract machine for integrating heterogeneous web applications.
AICCSA
Márcio A. Macêdo, Daniel A. S. Carvalho, Martin A. Musicante, Alberto Pardo, Umberto Souza da Costa
2014 C conf
Preference-driven Refinement of Service Compositions.
CLOSER
Cheikh Ba, Umberto Souza da Costa, Mírian Halfeld Ferrari, Rémy Ferré, Martin A. Musicante, Verónika Peralta, Sophie Robert
2014 B conf
Supporting Non-functional Requirements in Services Software Development Process: An MDD Approach.
SOFSEM
Valeria de Castro, Martin A. Musicante, Umberto Souza da Costa, Plácido A. Souza Neto, Genoveva Vargas-Solar
2013 B conf
Automatic Refinement of Service Compositions.
ICWE
Umberto Souza da Costa, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Sophie Robert
2013 — conf
Evaluating the Propagation of Exceptions in the Service Oriented Architecture in .NET.
SBCARS
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
2012 J jnl
JCML: A specification language for the runtime verification of Java Card programs.
Sci. Comput. Program.
Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto
2010 C conf
Specification and Verification of a MPI Implementation for a MP-SoC.
ICTAC
Umberto Souza da Costa, Ivan Soares de Medeiros Júnior, Marcel Vinícius Medeiros Oliveira
2008 — conf
Specification and Runtime Verification of Java Card Programs.
SBMF
Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto
2005 — —
Um verificador de modelos explícito-simbólico.
Umberto Souza da Costa
2004 — conf
Explicit-Symbolic Modelling for Formal Verification.
SBMF
Umberto Souza da Costa, Sérgio Vale Aguiar Campos, Newton Vieira, David Déharbe
2000 Misc conf
Variable Ordering of BDDs with Parallel Genetic Algorithms.
PDPTA
Umberto Souza da Costa, David Déharbe, Anamaria Martins Moreira