Martin A. Musicante

75 papers B 5C 5Misc 3Journal 32Unranked 30
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
2025 B conf
Lazy Prediction in Querying Graph Databases.
CoopIS
Jacques Chabin, Cristina Dutra de Aguiar Ciferri, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Lingchen Wang
2024 — conf
Dataversifying Earth Sciences: Pioneering a Data Lake Architecture for Curated Data-Centric Experiments in Life and Earth Sciences.
EDBT/ICDT Workshops
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
2024 J jnl
Dataversifying Natural Sciences: Pioneering a Data Lake Architecture for Curated Data-Centric Experiments in Life \& Earth Sciences.
CoRR
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
2022 J jnl
A two-level formal model for Big Data processing programs.
Sci. Comput. Program.
João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante
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 J jnl
TRANSMUT-Spark: Transformation mutation for Apache Spark.
Softw. Test. Verification Reliab.
João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante
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 J jnl
A DSL for WSN software components coordination.
Inf. Syst.
Marcos Aurélio Carrero, Martin A. Musicante, Aldri Luiz dos Santos, Carmem S. Hara
2021 J jnl
An Abstract View of Big Data Processing Programs.
CoRR
João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante
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
2021 J jnl
TRANSMUT-SPARK: Transformation Mutation for Apache Spark.
CoRR
João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante
2021 — conf
The Formal-Language-Constrained Graph Minimization Problem.
ADBIS (Short Papers)
Ciro M. Medeiros, Martin A. Musicante, Mírian Halfeld Ferrari
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
Modeling Big Data Processing Programs.
SBMF
João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante
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 — conf
BTestBox: A Tool for Testing B Translators and Coverage of B Models.
TAP@FM
Diego de Azevedo Oliveira, Valério Medeiros Jr., David Déharbe, Martin A. Musicante
2019 — conf
Desenvolvimento de Modelos de Armazenamento em Sensores com Reutilização de Código.
SBBD
Alexandre R. Ordakowski, Marcos Aurélio Carrero, Martin A. Musicante, Aldri L. dos Santos, Carmem S. Hara
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 — conf
SLEDS: A DSL for Data-Centric Storage on Wireless Sensor Networks.
BiDU@VLDB
Marcos Aurélio Carrero, Martin A. Musicante, Aldri Luiz dos Santos, Carmem S. Hara
2018 J jnl
Semantic Web Services testing: A Systematic Mapping study.
Comput. Sci. Rev.
João Batista de Souza Neto, Anamaria Martins Moreira, Martin A. Musicante
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
2017 — conf
Graph Constraints in Urban Computing: Dealing with Conditions in Processing Urban Data.
iThings/GreenCom/CPSCom/SmartData
Laurent d'Orazio, Mirian Halfeld Ferrari Alves, Carmem Satie Hara, Nádia P. Kozievitch, Martin A. Musicante
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
2016 J jnl
Linguagens de consulta para bases de dados em grafos: um mapeamento sistemático.
RITA
Simone de Oliveira Santos, Martin A. Musicante, Mirian Halfeld Ferrari Alves
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
2015 — conf
Towards a Secure Database Integration Using SLA in a Multi-cloud Context.
COMPSAC Workshops
Nadia Bennani, Chirine Ghedira Guegan, Genoveva Vargas-Solar, Martin A. Musicante
2015 C conf
Using SLA to guide database transition to NoSQL on the cloud: A systematic mapping study.
AICCSA
Fábio Leal, Martin A. Musicante
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 J jnl
Reliable Web Services Composition: An MDD Approach.
Polibits
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
2014 — conf
SLA-Guided Data Integration on Cloud Environments.
IEEE CLOUD
Nadia Bennani, Chirine Ghedira Guegan, Martin A. Musicante, Genoveva Vargas-Solar
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 J jnl
Conservative Type Extensions for XML Data.
Trans. Large Scale Data Knowl. Centered Syst.
Jacques Chabin, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Pierre Réty
2013 Misc conf
Formal semantics and expressiveness of a web service composition language.
SAC
Marcelo Guerra Hahn, Regina Motz, Alberto Pardo, Martin A. Musicante
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
2012 J jnl
Search-Based Evolution of XML Schemas.
Comput. Informatics
Julio Cesar Teodoro Silva, Aurora Trinidad Ramirez Pozo, Silvia Regina Vergilio, Martin A. Musicante
2011 — conf
PEWS platform: a web services composition environment.
WEWST
Cheikh Ba, Mírian Halfeld Ferrari, Martin A. Musicante
2010 C conf
Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution.
ICTAC
Jacques Chabin, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Pierre Réty
2009 — conf
An Implementation of Object-Oriented Action Semantics in Maude.
Semantics and Algebraic Specification
André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante
2008 Misc conf
A programming environment for web services.
SAC
Martin A. Musicante, Edinardo Potrich, Marcos Aurélio Carrero
2008 J jnl
ANEMONA: a programming language for network monitoring applications.
Int. J. Netw. Manag.
Elias Procópio Duarte Jr., Martin A. Musicante, Henrique Denes H. Fernandes
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
2007 J jnl
Efficient Constraint Validation for Updated XML Database.
Informatica (Slovenia)
Béatrice Bouchou, Ahmed Cheriat, Mírian Halfeld Ferrari, Dominique Laurent, Maria Adriana Lima, Martin A. Musicante
2007 — conf
Maude Object-Oriented Action Tool.
LSFA
André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante
2007 J jnl
Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator).
J. Algorithms
Robson da Luz, Mirian Halfeld Ferrari Alves, Martin A. Musicante
2007 J jnl
Selected Papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages.
J. Univers. Comput. Sci.
Roberto da Silva Bigonha, Martin A. Musicante
2007 J jnl
Using Visitor Patterns in Object-Oriented Action Semantics.
J. Univers. Comput. Sci.
André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante
2007 C conf
XML Schema Evolution by Context Free Grammar Inference.
SEKE
Julio C. T. da Silva, Martin A. Musicante, Aurora Trinidad Ramirez Pozo, Silvia Regina Vergilio
2006 — conf
Composing Web Services with PEWS: A Trace-Theoretical Approach.
ECOWS
Cheikh Ba, Mirian Halfeld Ferrari Alves, Martin A. Musicante
2006 J jnl
Expressing Workflow Patterns for Web Services: The Case of PEWS.
J. Univers. Comput. Sci.
Martin A. Musicante, Edinardo Potrich
2005 J jnl
PEWS: A New Language for Building Web Service Interfaces.
J. Univers. Comput. Sci.
Cheikh Ba, Marcos Aurélio Carrero, Mirian Halfeld Ferrari Alves, Martin A. Musicante
2005 J jnl
The 9
J. Univers. Comput. Sci.
Martin A. Musicante, Ricardo Massa Ferreira Lima
2004 — conf
Conservative Extensions of Regular Languages .
SCCC
Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante
2004 J jnl
Formal specification of SNMPv3 entities using action semantics.
Int. J. Netw. Manag.
Elias P. Duarte Jr., Martin A. Musicante, Diógenes Cogo Furlan
2004 — conf
Incremental Constraint Checking for XML Documents.
XSym
Maria Adriana Abrão, Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante
2004 — conf
LFL: A Library of Generic Classes for Object-Oriented Action Semantics.
SCCC
Marcelo Araújo, Martin A. Musicante
2004 B conf
Schema Evolution for XML: A Consistency-Preserving Approach.
MFCS
Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante
2003 — conf
ANEMONA: A language for programming NEtwork MONitoring Applications.
LANOMS
Henrique Denes H. Fernandes, Martin A. Musicante, Elias Procópio Duarte Jr.
2003 J jnl
Object-Oriented Action Semantics Specifications.
J. Univers. Comput. Sci.
Cláudio Carvilhe, Martin A. Musicante
2003 — conf
Tree Automata to Verify XML Key Constraints.
WebDB
Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Martin A. Musicante
2001 — conf
Bibel's Matrix Connection Method in Paraconsistent Logic: General Concepts and Implementation.
SCCC
Décio Krause, Emerson Faria Nobre, Martin A. Musicante
1999 — conf
Formal Specification of SNMP MIB's Using Action Semantics: The Routing Proxy Case Study.
Integrated Network Management
Elias Procópio Duarte Jr., Martin A. Musicante
1994 — conf
An Action Semantics for ML Concurrency Primitives.
FME
Peter D. Mosses, Martin A. Musicante
1991 J jnl
GM-C: A graph multi-combinator machine.
Microprocessing and Microprogramming
Martin A. Musicante, Rafael Dueire Lins
1991 — conf
O Projeto e Implementação da Linguagem A.
SBES
Silvio Romero de Lemos Meira, Martin A. Musicante, André Santos