default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMartin A. Musicante
Martin Alejandro Musicante
Person information
- affiliation: Federal University of Rio Grande do Norte, Natal, Brazil
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c43]Genoveva Vargas-Solar, Jérôme Darmont, Alejandro Adorjan, Javier-Alfonso Espinosa-Oviedo, Carmem S. Hara, Sabine Loudcher, Regina Motz, Martin A. Musicante, José-Luis Zechinelli-Martini:
Dataversifying Earth Sciences: Pioneering a Data Lake Architecture for Curated Data-Centric Experiments in Life and Earth Sciences. EDBT/ICDT Workshops 2024- [i5]Genoveva Vargas-Solar, Jérôme Darmont, Alejandro Adorjan, Javier A. Espinosa-Oviedo, Carmem S. Hara, Sabine Loudcher, Regina Motz, Martin A. Musicante, José-Luis Zechinelli-Martini:
Dataversifying Natural Sciences: Pioneering a Data Lake Architecture for Curated Data-Centric Experiments in Life \& Earth Sciences. CoRR abs/2403.20063 (2024) - 2022
- [j26]João Batista de Souza Neto
, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante:
A two-level formal model for Big Data processing programs. Sci. Comput. Program. 215: 102764 (2022) - [j25]João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante:
TRANSMUT-Spark: Transformation mutation for Apache Spark. Softw. Test. Verification Reliab. 32(8) (2022) - [j24]Ciro M. Medeiros, Martin A. Musicante, Umberto Souza da Costa:
Querying graph databases using context-free grammars. J. Comput. Lang. 68: 101089 (2022) - [c42]Umberto Souza da Costa, Javier-Alfonso Espinosa-Oviedo, Martin A. Musicante, Genoveva Vargas-Solar, José-Luis Zechinelli-Martini:
Using Provenance in Data Analytics for Seismology: Challenges and Directions. ADBIS (Short Papers) 2022: 311-322 - [i4]Aderson Farias do Nascimento, Martin A. Musicante, Umberto Souza da Costa, Bruno M. Carvalho, Marcus Alexandre Nunes, Genoveva Vargas-Solar:
Data Centred Intelligent Geosciences: Research Agenda and Opportunities, Position Paper. CoRR abs/2209.02384 (2022) - 2021
- [j23]Marcos Aurélio Carrero, Martin A. Musicante, Aldri Luiz dos Santos, Carmem S. Hara:
A DSL for WSN software components coordination. Inf. Syst. 98: 101461 (2021) - [c41]Ciro M. Medeiros, Umberto Souza da Costa, Martin A. Musicante:
Standard Matching-Choice Expressions for Defining Path Queries in Graph Databases. ADBIS (Short Papers) 2021: 97-108 - [c40]Ciro M. Medeiros, Martin A. Musicante, Mírian Halfeld Ferrari:
The Formal-Language-Constrained Graph Minimization Problem. ADBIS (Short Papers) 2021: 139-145 - [c39]Aderson Farias do Nascimento, Martin A. Musicante, Umberto Souza da Costa, Bruno M. Carvalho, Marcus Alexandre Nunes, Genoveva Vargas-Solar:
Data Centred Intelligent Geosciences: Research Agenda and Opportunities Position Paper. ICSOC Workshops 2021: 244-251 - [i3]João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante:
An Abstract View of Big Data Processing Programs. CoRR abs/2108.02582 (2021) - [i2]João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante:
TRANSMUT-SPARK: Transformation Mutation for Apache Spark. CoRR abs/2108.02589 (2021) - 2020
- [j22]Rafael Ferreira Toledo, Umberto Souza da Costa, Martin A. Musicante, Genoveva Vargas-Solar:
Self-healing of web service compositions: a specification rewriting approach. Int. J. Web Grid Serv. 16(2): 172-199 (2020) - [c38]Ciro M. Medeiros, Umberto Souza da Costa, Semyon V. Grigorev, Martin A. Musicante:
Recursive Expressions for SPARQL Property Paths. ADBIS/TPDL/EDA Workshops 2020: 72-84 - [c37]João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin Alejandro Musicante:
Mutation Operators for Large Scale Data Processing Programs in Spark. CAiSE 2020: 482-497 - [c36]Ciro M. Medeiros, Martin A. Musicante, Umberto Souza da Costa:
An Algorithm for Context-Free Path Queries over Graph Databases. SBLP 2020: 40-47 - [c35]João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante:
Modeling Big Data Processing Programs. SBMF 2020: 101-118 - [i1]Ciro M. Medeiros, Martin A. Musicante, Umberto Souza da Costa:
An Algorithm for Context-Free Path Queries over Graph Databases. CoRR abs/2004.03477 (2020)
2010 – 2019
- 2019
- [j21]Ciro M. Medeiros, Martin A. Musicante, Umberto Souza da Costa:
LL-based query answering over RDF databases. J. Comput. Lang. 51: 75-87 (2019) - [c34]Alexandre R. Ordakowski, Marcos Aurélio Carrero, Martin A. Musicante, Aldri L. dos Santos, Carmem S. Hara:
Desenvolvimento de Modelos de Armazenamento em Sensores com Reutilização de Código. SBBD 2019: 247-252 - [c33]Diego de Azevedo Oliveira, Valério Medeiros Jr., David Déharbe, Martin A. Musicante:
BTestBox: A Tool for Testing B Translators and Coverage of B Models. TAP@FM 2019: 83-92 - 2018
- [j20]João Batista de Souza Neto, Anamaria Martins Moreira, Martin A. Musicante:
Semantic Web Services testing: A Systematic Mapping study. Comput. Sci. Rev. 28: 140-156 (2018) - [j19]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:
πSOD-M: building SOC applications in the presence of non-functional requirements. Int. J. Web Grid Serv. 14(4): 400-431 (2018) - [c32]Fred C. Santos, Umberto Souza da Costa, Martin A. Musicante:
A Bottom-Up Algorithm for Answering Context-Free Path Queries in Graph Databases. ICWE 2018: 225-233 - [c31]Ciro M. Medeiros, Martin A. Musicante, Umberto Souza da Costa:
Efficient evaluation of context-free path queries for graph databases. SAC 2018: 1230-1237 - [c30]Marcos Aurélio Carrero, Martin A. Musicante, Aldri Luiz dos Santos, Carmem S. Hara:
SLEDS: A DSL for Data-Centric Storage on Wireless Sensor Networks. BiDU@VLDB 2018: 74-89 - 2017
- [c29]Regina Motz, Genoveva Vargas-Solar, Umberto Souza da Costa, Javier-Alfonso Espinosa-Oviedo, Martin A. Musicante, José-Luis Zechinelli-Martini, Alberto Pardo:
Automating systematic mappings, adding quality to quantity: poster. ICSE (Companion Volume) 2017: 167-168 - [c28]Laurent DOrazio, Mirian Halfeld Ferrari Alves, Carmem Satie Hara, Nádia P. Kozievitch, Martin A. Musicante:
Graph Constraints in Urban Computing: Dealing with Conditions in Processing Urban Data. iThings/GreenCom/CPSCom/SmartData 2017: 1118-1124 - [c27]Marcos Aurélio Carrero, Martin Alejandro Musicante, Aldri Luiz dos Santos, Carmem Satie Hara:
A Reusable Component-Based Model for WSN Storage Simulation. Q2SWinet@MSWiM 2017: 31-38 - 2016
- [j18]Cheikh Ba, Thiago Cerqueira, Umberto Souza da Costa, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Sophie Robert:
Experiments on service composition refinement on the basis of preference-driven recommendation. Int. J. Web Grid Serv. 12(2): 182-214 (2016) - [j17]Plácido A. Souza Neto, Genoveva Vargas-Solar, Umberto Souza da Costa, Martin A. Musicante:
Designing service-based applications in the presence of non-functional properties: A mapping study. Inf. Softw. Technol. 69: 84-105 (2016) - [j16]Simone de Oliveira Santos, Martin A. Musicante, Mirian Halfeld Ferrari Alves:
Linguagens de consulta para bases de dados em grafos: um mapeamento sistemático. RITA 23(1): 10-68 (2016) - 2015
- [c26]Fabio Leal, Martin A. Musicante:
Using SLA to guide database transition to NoSQL on the cloud: A systematic mapping study. AICCSA 2015: 1-8 - [c25]Márcio A. Macêdo, Daniel A. S. Carvalho, Martin A. Musicante, Alberto Pardo, Umberto Souza da Costa:
An abstract machine for integrating heterogeneous web applications. AICCSA 2015: 1-8 - [c24]Nadia Bennani, Chirine Ghedira Guégan, Genoveva Vargas-Solar, Martin A. Musicante:
Towards a Secure Database Integration Using SLA in a Multi-cloud Context. COMPSAC Workshops 2015: 4-9 - 2014
- [j15]Genoveva Vargas-Solar, Valeria de Castro, Plácido A. Souza Neto, Javier-Alfonso Espinosa-Oviedo, Esperanza Marcos, Martin A. Musicante, José-Luis Zechinelli-Martini, Christine Collet:
Reliable Web Services Composition: An MDD Approach. Polibits 49: 17-27 (2014) - [c23]Nadia Bennani, Chirine Ghedira Guégan, Martin A. Musicante, Genoveva Vargas-Solar:
SLA-Guided Data Integration on Cloud Environments. IEEE CLOUD 2014: 934-935 - [c22]Cheikh Ba, Umberto Souza da Costa, Mírian Halfeld Ferrari, Rémy Ferré, Martin A. Musicante, Verónika Peralta, Sophie Robert:
Preference-driven Refinement of Service Compositions. CLOSER 2014: 268-275 - [c21]Valeria de Castro, Martin A. Musicante, Umberto Souza da Costa, Plácido A. Souza Neto, Genoveva Vargas-Solar:
Supporting Non-functional Requirements in Services Software Development Process: An MDD Approach. SOFSEM 2014: 199-210 - 2013
- [j14]Jacques Chabin, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Pierre Réty:
Conservative Type Extensions for XML Data. Trans. Large Scale Data Knowl. Centered Syst. 9: 65-94 (2013) - [c20]Umberto Souza da Costa, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Sophie Robert:
Automatic Refinement of Service Compositions. ICWE 2013: 400-407 - [c19]Marcelo Guerra Hahn, Regina Motz, Alberto Pardo, Martin A. Musicante:
Formal semantics and expressiveness of a web service composition language. SAC 2013: 1667-1673 - 2012
- [j13]Julio Cesar Teodoro Silva, Aurora Trinidad Ramirez Pozo, Silvia Regina Vergilio, Martin A. Musicante:
Search-Based Evolution of XML Schemas. Comput. Informatics 31(3): 573- (2012) - [j12]Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto:
JCML: A specification language for the runtime verification of Java Card programs. Sci. Comput. Program. 77(4): 533-550 (2012) - 2011
- [c18]Cheikh Ba, Mírian Halfeld Ferrari, Martin A. Musicante:
PEWS platform: a web services composition environment. WEWST 2011: 1-8 - 2010
- [c17]Jacques Chabin, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Pierre Réty:
Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution. ICTAC 2010: 60-75
2000 – 2009
- 2009
- [c16]André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante:
An Implementation of Object-Oriented Action Semantics in Maude. Semantics and Algebraic Specification 2009: 81-105 - 2008
- [j11]Elias Procópio Duarte Jr., Martin A. Musicante, Henrique Denes H. Fernandes:
ANEMONA: a programming language for network monitoring applications. Int. J. Netw. Manag. 18(4): 295-302 (2008) - [c15]Martin A. Musicante, Edinardo Potrich, Marcos Aurélio Carrero:
A programming environment for web services. SAC 2008: 2363-2367 - [c14]Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto:
Specification and Runtime Verification of Java Card Programs. SBMF 2008: 61-78 - 2007
- [j10]Béatrice Bouchou, Ahmed Cheriat, Mírian Halfeld Ferrari, Dominique Laurent, Maria Adriana Lima, Martin A. Musicante:
Efficient Constraint Validation for Updated XML Database. Informatica (Slovenia) 31(3): 285-309 (2007) - [j9]Robson da Luz, Mirian Halfeld Ferrari Alves, Martin A. Musicante:
Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator). J. Algorithms 62(3-4): 148-167 (2007) - [j8]Roberto da Silva Bigonha, Martin A. Musicante:
Selected Papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages. J. Univers. Comput. Sci. 13(6): 679-681 (2007) - [j7]André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante:
Using Visitor Patterns in Object-Oriented Action Semantics. J. Univers. Comput. Sci. 13(6): 891-919 (2007) - [c13]Julio C. T. da Silva, Martin A. Musicante, Aurora Trinidad Ramirez Pozo, Silvia Regina Vergilio:
XML Schema Evolution by Context Free Grammar Inference. SEKE 2007: 444- - [c12]André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante:
Maude Object-Oriented Action Tool. LSFA 2007: 105-121 - 2006
- [j6]Martin A. Musicante, Edinardo Potrich:
Expressing Workflow Patterns for Web Services: The Case of PEWS. J. Univers. Comput. Sci. 12(7): 903-921 (2006) - [c11]Cheikh Ba, Mirian Halfeld Ferrari Alves, Martin A. Musicante:
Composing Web Services with PEWS: A Trace-Theoretical Approach. ECOWS 2006: 65-74 - 2005
- [j5]Martin A. Musicante, Ricardo Massa Ferreira Lima:
The 9th Brazilian Symposium on Programming Languages J.UCS Special Issue. J. Univers. Comput. Sci. 11(7): 1115-1116 (2005) - [j4]Cheikh Ba, Marcos Aurélio Carrero, Mirian Halfeld Ferrari Alves, Martin A. Musicante:
PEWS: A New Language for Building Web Service Interfaces. J. Univers. Comput. Sci. 11(7): 1215-1233 (2005) - 2004
- [j3]Elias P. Duarte Jr., Martin A. Musicante, Diógenes Cogo Furlan:
Formal specification of SNMPv3 entities using action semantics. Int. J. Netw. Manag. 14(5): 295-303 (2004) - [c10]Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante:
Schema Evolution for XML: A Consistency-Preserving Approach. MFCS 2004: 876-888 - [c9]Marcelo Araújo, Martin A. Musicante:
LFL: A Library of Generic Classes for Object-Oriented Action Semantics. SCCC 2004: 39-47 - [c8]Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante:
Conservative Extensions of Regular Languages . SCCC 2004: 99-109 - [c7]Maria Adriana Abrão, Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante:
Incremental Constraint Checking for XML Documents. XSym 2004: 112-127 - 2003
- [j2]Cláudio Carvilhe, Martin A. Musicante:
Object-Oriented Action Semantics Specifications. J. Univers. Comput. Sci. 9(8): 910-934 (2003) - [c6]Henrique Denes H. Fernandes, Martin A. Musicante, Elias Procópio Duarte Jr.:
ANEMONA: A language for programming NEtwork MONitoring Applications. LANOMS 2003: 157-164 - [c5]Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Martin A. Musicante:
Tree Automata to Verify XML Key Constraints. WebDB 2003: 37-42 - 2001
- [c4]Décio Krause, Emerson Faria Nobre, Martin A. Musicante:
Bibel's Matrix Connection Method in Paraconsistent Logic: General Concepts and Implementation. SCCC 2001: 161-167
1990 – 1999
- 1999
- [c3]Elias Procópio Duarte Jr., Martin A. Musicante:
Formal Specification of SNMP MIB's Using Action Semantics: The Routing Proxy Case Study. Integrated Network Management 1999: 417-430 - 1994
- [c2]Peter D. Mosses, Martin A. Musicante:
An Action Semantics for ML Concurrency Primitives. FME 1994: 461-479 - 1991
- [j1]Martin A. Musicante, Rafael Dueire Lins:
GM-C: A graph multi-combinator machine. Microprocessing and Microprogramming 31(1-5): 81-84 (1991) - [c1]Silvio Romero de Lemos Meira, Martin A. Musicante, André Santos:
O Projeto e Implementação da Linguagem A. SBES 1991: 237-256
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
