Martin A. Musicante

According to our database, Martin A. Musicante authored at least 71 papers between 1991 and 2024.

Collaborative distances:

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

2024

Dataversifying Natural Sciences: Pioneering a Data Lake Architecture for Curated Data-Centric Experiments in Life \& Earth Sciences.

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

CoRR, 2024

Dataversifying Earth Sciences: Pioneering a Data Lake Architecture for Curated Data-Centric Experiments in Life and Earth Sciences.

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

Proceedings of the Workshops of the EDBT/ICDT 2024 Joint Conference co-located with the EDBT/ICDT 2024 Joint Conference, 2024

2022

Querying graph databases using context-free grammars.

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

J. Comput. Lang., 2022

TRANSMUT-Spark: Transformation mutation for Apache Spark.

João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante

Softw. Test. Verification Reliab., 2022

A two-level formal model for Big Data processing programs.

João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante

Sci. Comput. Program., 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

A DSL for WSN software components coordination.

Marcos Aurélio Carrero, Martin A. Musicante, Aldri Luiz dos Santos, Carmem S. Hara

Inf. Syst., 2021

An Abstract View of Big Data Processing Programs.

João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante

CoRR, 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

The Formal-Language-Constrained Graph Minimization Problem.

Ciro M. Medeiros, Martin A. Musicante, Mírian Halfeld Ferrari

Proceedings of the New Trends in Database and Information Systems, 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

Modeling Big Data Processing Programs.

João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante

Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 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

Mutation Operators for Large Scale Data Processing Programs in Spark.

João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin Alejandro Musicante

Proceedings of the Advanced Information Systems Engineering, 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

BTestBox: A Tool for Testing B Translators and Coverage of B Models.

Diego de Azevedo Oliveira, Valério Medeiros Jr., David Déharbe, Martin A. Musicante

Proceedings of the Tests and Proofs - 13th International Conference, 2019

Desenvolvimento de Modelos de Armazenamento em Sensores com Reutilização de Código.

Alexandre R. Ordakowski, Marcos Aurélio Carrero, Martin A. Musicante, Aldri L. dos Santos, Carmem S. Hara

Proceedings of the 34th Brazilian Symposium on Databases, 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

Semantic Web Services testing: A Systematic Mapping study.

João Batista de Souza Neto, Anamaria Martins Moreira, Martin A. Musicante

Comput. Sci. Rev., 2018

SLEDS: A DSL for Data-Centric Storage on Wireless Sensor Networks.

Marcos Aurélio Carrero, Martin A. Musicante, Aldri Luiz dos Santos, Carmem S. Hara

Proceedings of the Big Social Data and Urban Computing, 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

A Reusable Component-Based Model for WSN Storage Simulation.

Marcos Aurélio Carrero, Martin Alejandro Musicante, Aldri Luiz dos Santos, Carmem Satie Hara

Proceedings of the 13th ACM Symposium on QoS and Security for Wireless and Mobile Networks, 2017

Graph Constraints in Urban Computing: Dealing with Conditions in Processing Urban Data.

Laurent DOrazio, Mirian Halfeld Ferrari Alves, Carmem Satie Hara, Nádia P. Kozievitch, Martin A. Musicante

Proceedings of the 2017 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 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

Linguagens de consulta para bases de dados em grafos: um mapeamento sistemático.

Simone de Oliveira Santos, Martin A. Musicante, Mirian Halfeld Ferrari Alves

RITA, 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

Towards a Secure Database Integration Using SLA in a Multi-cloud Context.

Nadia Bennani, Chirine Ghedira Guégan, Genoveva Vargas-Solar, Martin A. Musicante

Proceedings of the 39th Annual Computer Software and Applications Conference, 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

Using SLA to guide database transition to NoSQL on the cloud: A systematic mapping study.

Fabio Leal, Martin A. Musicante

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

2014

Reliable Web Services Composition: An MDD Approach.

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

Polibits, 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

SLA-Guided Data Integration on Cloud Environments.

Nadia Bennani, Chirine Ghedira Guégan, Martin A. Musicante, Genoveva Vargas-Solar

Proceedings of the 2014 IEEE 7th International Conference on Cloud Computing, Anchorage, AK, USA, June 27, 2014

2013

Conservative Type Extensions for XML Data.

Jacques Chabin, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Pierre Réty

Trans. Large Scale Data Knowl. Centered Syst., 2013

Formal semantics and expressiveness of a web service composition language.

Marcelo Guerra Hahn, Regina Motz, Alberto Pardo, Martin A. Musicante

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 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

Search-Based Evolution of XML Schemas.

Julio Cesar Teodoro Silva, Aurora Trinidad Ramirez Pozo, Silvia Regina Vergilio, Martin A. Musicante

Comput. Informatics, 2012

2011

PEWS platform: a web services composition environment.

Cheikh Ba, Mírian Halfeld Ferrari, Martin A. Musicante

Proceedings of the 6th Workshop on Emerging Web Services Technology, 2011

2010

Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution.

Jacques Chabin, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Pierre Réty

Proceedings of the Theoretical Aspects of Computing, 2010

2009

An Implementation of Object-Oriented Action Semantics in Maude.

André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante

Proceedings of the Semantics and Algebraic Specification, 2009

2008

ANEMONA: a programming language for network monitoring applications.

Elias Procópio Duarte Jr., Martin A. Musicante, Henrique Denes H. Fernandes

Int. J. Netw. Manag., 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

A programming environment for web services.

Martin A. Musicante, Edinardo Potrich, Marcos Aurélio Carrero

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

2007

Using Visitor Patterns in Object-Oriented Action Semantics.

André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante

J. Univers. Comput. Sci., 2007

Selected Papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages.

Roberto da Silva Bigonha, Martin A. Musicante

J. Univers. Comput. Sci., 2007

Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator).

Robson da Luz, Mirian Halfeld Ferrari Alves, Martin A. Musicante

J. Algorithms, 2007

Efficient Constraint Validation for Updated XML Database.

Béatrice Bouchou, Ahmed Cheriat, Mírian Halfeld Ferrari, Dominique Laurent, Maria Adriana Lima, Martin A. Musicante

Informatica (Slovenia), 2007

Maude Object-Oriented Action Tool.

André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante

Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, 2007

XML Schema Evolution by Context Free Grammar Inference.

Julio C. T. da Silva, Martin A. Musicante, Aurora Trinidad Ramirez Pozo, Silvia Regina Vergilio

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

2006

Expressing Workflow Patterns for Web Services: The Case of PEWS.

Martin A. Musicante, Edinardo Potrich

J. Univers. Comput. Sci., 2006

Composing Web Services with PEWS: A Trace-Theoretical Approach.

Cheikh Ba, Mirian Halfeld Ferrari Alves, Martin A. Musicante

Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006

2005

The 9_th Brazilian Symposium on Programming Languages J.UCS Special Issue.

Martin A. Musicante, Ricardo Massa Ferreira Lima

J. Univers. Comput. Sci., 2005

PEWS: A New Language for Building Web Service Interfaces.

Cheikh Ba, Marcos Aurélio Carrero, Mirian Halfeld Ferrari Alves, Martin A. Musicante

J. Univers. Comput. Sci., 2005

2004

Formal specification of SNMPv3 entities using action semantics.

Elias P. Duarte Jr., Martin A. Musicante, Diógenes Cogo Furlan

Int. J. Netw. Manag., 2004

Incremental Constraint Checking for XML Documents.

Maria Adriana Abrão, Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante

Proceedings of the Database and XML Technologies, 2004

Conservative Extensions of Regular Languages .

Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante

Proceedings of the XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), 2004

LFL: A Library of Generic Classes for Object-Oriented Action Semantics.

Marcelo Araújo, Martin A. Musicante

Proceedings of the XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), 2004

Schema Evolution for XML: A Consistency-Preserving Approach.

Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante

Proceedings of the Mathematical Foundations of Computer Science 2004, 2004

2003

Object-Oriented Action Semantics Specifications.

Cláudio Carvilhe, Martin A. Musicante

J. Univers. Comput. Sci., 2003

Tree Automata to Verify XML Key Constraints.

Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Martin A. Musicante

Proceedings of the International Workshop on Web and Databases, 2003

ANEMONA: A language for programming NEtwork MONitoring Applications.

Henrique Denes H. Fernandes, Martin A. Musicante, Elias Procópio Duarte Jr.

Proceedings of the 3rd Latin American Network Operations and Management Symposium, 2003

2001

Bibel's Matrix Connection Method in Paraconsistent Logic: General Concepts and Implementation.

Décio Krause, Emerson Faria Nobre, Martin A. Musicante

Proceedings of the 21st International Conference of the Chilean Computer Science Society (SCCC 2001), 2001

1999

Formal Specification of SNMP MIB's Using Action Semantics: The Routing Proxy Case Study.

Elias Procópio Duarte Jr., Martin A. Musicante

Proceedings of the 1999 IEEE/IFIP International Symposium on Integrated Network Management, 1999

1994

An Action Semantics for ML Concurrency Primitives.

Peter D. Mosses, Martin A. Musicante

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1991

GM-C: A graph multi-combinator machine.

Martin A. Musicante, Rafael Dueire Lins

Microprocessing and Microprogramming, 1991

O Projeto e Implementação da Linguagem A.

Silvio Romero de Lemos Meira, Martin A. Musicante, André Santos

Proceedings of the 5th Brazilian Symposium on Software Engineering, 1991