Martin A. Musicante

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 34

Top Topics

Graph Databases

Web Service Compositions

Abstract Machine

Top Venues

Int. J. Web Grid Serv.

ADBIS (Short Papers)

Publications

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)
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 (2024)
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)
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 (2022)
Ciro M. Medeiros, Martin A. Musicante, Umberto Souza da Costa
Querying graph databases using context-free grammars. J. Comput. Lang. 68 (2022)
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)
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 (2022)
Marcos Aurélio Carrero, Martin A. Musicante, Aldri Luiz dos Santos, Carmem S. Hara
A DSL for WSN software components coordination. Inf. Syst. 98 (2021)
João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante
TRANSMUT-SPARK: Transformation Mutation for Apache Spark. CoRR (2021)
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)
Ciro M. Medeiros, Martin A. Musicante, Mírian Halfeld Ferrari
The Formal-Language-Constrained Graph Minimization Problem. ADBIS (Short Papers) (2021)
João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante
An Abstract View of Big Data Processing Programs. CoRR (2021)
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)
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) (2020)
Ciro M. Medeiros, Martin A. Musicante, Umberto Souza da Costa
An Algorithm for Context-Free Path Queries over Graph Databases. SBLP (2020)
João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante
Modeling Big Data Processing Programs. SBMF (2020)
Ciro M. Medeiros, Martin A. Musicante, Umberto Souza da Costa
An Algorithm for Context-Free Path Queries over Graph Databases. CoRR (2020)
Ciro M. Medeiros, Umberto Souza da Costa, Semyon V. Grigorev, Martin A. Musicante
Recursive Expressions for SPARQL Property Paths. ADBIS/TPDL/EDA Workshops (2020)
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)
Ciro M. Medeiros, Martin A. Musicante, Umberto Souza da Costa
LL-based query answering over RDF databases. J. Comput. Lang. 51 (2019)
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)
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)
Ciro M. Medeiros, Martin A. Musicante, Umberto Souza da Costa
Efficient evaluation of context-free path queries for graph databases. SAC (2018)
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) (2018)
João Batista de Souza Neto, Anamaria Martins Moreira, Martin A. Musicante
Semantic Web Services testing: A Systematic Mapping study. Comput. Sci. Rev. 28 (2018)
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)
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)
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)
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) (2016)
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 (2016)
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) (2016)
Fabio Leal, Martin A. Musicante
Using SLA to guide database transition to NoSQL on the cloud: A systematic mapping study. AICCSA (2015)
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)
Nadia Bennani, Chirine Ghedira Guegan, Genoveva Vargas-Solar, Martin A. Musicante
Towards a Secure Database Integration Using SLA in a Multi-cloud Context. COMPSAC Workshops (2015)
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 (2014)
Nadia Bennani, Chirine Ghedira Guegan, Martin A. Musicante, Genoveva Vargas-Solar
SLA-Guided Data Integration on Cloud Environments. IEEE CLOUD (2014)
Cheikh Ba, Umberto Souza da Costa, Mírian Halfeld Ferrari, Rémy Ferré, Martin A. Musicante, Verónika Peralta, Sophie Robert
Preference-driven Reﬁnement of Service Compositions. CLOSER (2014)
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)
Umberto Souza da Costa, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Sophie Robert
Automatic Refinement of Service Compositions. ICWE (2013)
Marcelo Guerra Hahn, Regina Motz, Alberto Pardo, Martin A. Musicante
Formal semantics and expressiveness of a web service composition language. SAC (2013)
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 (2013)
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) (2012)
Julio Cesar Teodoro Silva, Aurora Trinidad Ramirez Pozo, Silvia Regina Vergilio, Martin A. Musicante
Search-Based Evolution of XML Schemas. Comput. Informatics 31 (3) (2012)
Cheikh Ba, Mírian Halfeld Ferrari, Martin A. Musicante
PEWS platform: a web services composition environment. WEWST (2011)
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)
André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante
An Implementation of Object-Oriented Action Semantics in Maude. Semantics and Algebraic Specification (2009)
Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto
Specification and Runtime Verification of Java Card Programs. Electron. Notes Theor. Comput. Sci. 240 (2009)
Martin A. Musicante, Edinardo Potrich, Marcos Aurélio Carrero
A programming environment for web services. SAC (2008)
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) (2008)
André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante
Using Visitor Patterns in Object-Oriented Action Semantics. J. Univers. Comput. Sci. 13 (6) (2007)
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)
André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante
Maude Object-Oriented Action Tool. LSFA (2007)
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) (2007)
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) (2007)
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) (2007)
Martin A. Musicante, Edinardo Potrich
Expressing Workflow Patterns for Web Services: The Case of PEWS. J. Univers. Comput. Sci. 12 (7) (2006)
Cheikh Ba, Mirian Halfeld Ferrari Alves, Martin A. Musicante
Composing Web Services with PEWS: A Trace-Theoretical Approach. ECOWS (2006)
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) (2005)
Martin A. Musicante, Ricardo Massa Ferreira Lima
Brazilian Symposium on Programming Languages J.UCS Special Issue. J. Univers. Comput. Sci. 11 (7) (2005)
Maria Adriana Abrão, Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante
Incremental Constraint Checking for XML Documents. XSym (2004)
Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante
Conservative Extensions of Regular Languages . SCCC (2004)
Marcelo Araújo, Martin A. Musicante
LFL: A Library of Generic Classes for Object-Oriented Action Semantics. SCCC (2004)
Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante
Schema Evolution for XML: A Consistency-Preserving Approach. MFCS (2004)
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) (2004)
Cláudio Carvilhe, Martin A. Musicante
Object-Oriented Action Semantics Specifications. J. Univers. Comput. Sci. 9 (8) (2003)
Henrique Denes H. Fernandes, Martin A. Musicante, Elias Procópio Duarte Jr.
ANEMONA: A language for programming NEtwork MONitoring Applications. LANOMS (2003)
Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Martin A. Musicante
Tree Automata to Verify XML Key Constraints. WebDB (2003)
Décio Krause, Emerson Faria Nobre, Martin A. Musicante
Bibel's Matrix Connection Method in Paraconsistent Logic: General Concepts and Implementation. SCCC (2001)
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)
Peter D. Mosses, Martin A. Musicante
An Action Semantics for ML Concurrency Primitives. FME (1994)
Martin A. Musicante, Rafael Dueire Lins
GM-C: A graph multi-combinator machine. Microprocessing and Microprogramming 31 (1-5) (1991)
Silvio Romero de Lemos Meira, Martin A. Musicante, André Santos
O Projeto e Implementação da Linguagem A. SBES (1991)