Martin Alejandro Musicante

  • Endereço para acessar este CV: http://lattes.cnpq.br/6034405930958244
  • Última atualização do currículo em 19/10/2018


Martin é professor titular da UFRN, possui graduação em Informática pela Esculela Superior Latino-Americana de Informatica (ESLAI, Argentina, 1988), mestrado em mestrado em Ciência da Computação pela Universidade Federal de Pernambuco (1990) e doutorado em Ciência da Computação pela Universidade Federal de Pernambuco (1996). É sócio efetivo da Sociedade Brasileira de Computação desde 1990, tendo sido coordenador da Comissão Especial de Linguagens de Programação (2005-2006). Tem experiência na área de Ciência da Computação, com ênfase em Linguagens de Programação, atuando principalmente nos seguintes temas: Semântica de linguagens de programação, linguagens de consultas a bancos de dados de grafos. (Texto informado pelo autor)


Identificação


Nome
Martin Alejandro Musicante
Nome em citações bibliográficas
MUSICANTE, M. A.;MUSICANTE, M;Musicante, Martin A.

Endereço


Endereço Profissional
Universidade Federal do Rio Grande do Norte, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.
Campus Universitario
Lagoa Nova
59000000 - Natal, RN - Brasil
Telefone: (84) 32153815
Ramal: 230
Fax: (84) 32153813
URL da Homepage: http://www.dimap.ufrn.br/~mam


Formação acadêmica/titulação


1992 - 1996
Doutorado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: On the relational Semantics of Interleaving Constructors, Ano de obtenção: 1996.
Orientador: Silvio Romero de Lemos Meira e Peter D.Mosses.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Semântica de Linguagens de Programação.
1989 - 1990
Mestrado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: GM-C: Uma Máquina de Redução de Grafos para Multi-Combinadores Categóricos,Ano de Obtenção: 1990.
Orientador: Rafael Dueire Lins.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
1983 - 1988
Graduação em Licenciatura en Informática.
Esculela Superior Latino-Americana de Informatica, ESLAI, Argentina.
Bolsista do(a): Esculela Superior Latino-Americana de Informatica, ESLAI, Argentina.


Pós-doutorado


2014 - 2015
Pós-Doutorado.
Université Lille 1 - Sciences et Technologies, USTL, França.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra
2008 - 2009
Pós-Doutorado.
Université d'Orléans, UNIV-ORLEANS, França.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: XML e bancos de dados semiestruturados.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação.
2002 - 2003
Pós-Doutorado.
Universite de Tours (Universite Francois Rabelais), U.T., França.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.


Atuação Profissional



Centre National de la Recherche Scientifique, CNRS, França.
Vínculo institucional

2013 - 2013
Vínculo: Professor Visitante, Enquadramento Funcional: Professor visitante (Contrato curta duracao), Regime: Dedicação exclusiva.
Outras informações
Equipe HADAS, Laboratoire d'Informatique de Grenoble (LIG).


Université d'Orléans, UNIV-ORLEANS, França.
Vínculo institucional

2002 - 2003
Vínculo: Professor Visitante, Enquadramento Funcional: professor visitante, Regime: Dedicação exclusiva.
Outras informações
Bolsista de Pos-doutorado CAPES (Balcão).


Aarhus University, AU, Dinamarca.
Vínculo institucional

1991 - 1992
Vínculo: Aluno Doutorado (Sanduiche), Enquadramento Funcional: Bolsa CNPq, Regime: Dedicação exclusiva.


Universidade Federal do Paraná, UFPR, Brasil.
Vínculo institucional

1997 - 2005
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

1997 - 1997
Vínculo: Professor Visitante, Enquadramento Funcional: professor visitante, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

03/1999 - 09/2006
Ensino, Informática, Nível: Pós-Graduação

Disciplinas ministradas
Teoria da Computação
Tópicos em Métodos Formais
05/2002 - 09/2005
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Construção de Compiladores
Tópicos em Compiladores
1998 - 2005
Pesquisa e desenvolvimento , Setor de Ciências Exatas, Departamento de Informática.

06/2002 - 09/2003
Conselhos, Comissões e Consultoria, Reitoria, Comissão Central de Informática de UFPR.

Cargo ou função
membro.
05/2000 - 03/2003
Outras atividades técnico-científicas , Setor de Ciências Exatas, Setor de Ciências Exatas.

Atividade realizada
Curso de especialização - Tema: Data Warehousing.
03/2001 - 04/2002
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Estruturas de Linguagens de Programação
Construção de Compiladores
12/1999 - 12/2001
Direção e administração, Setor de Ciências Exatas, Departamento de Informática.

Cargo ou função
Coordenador de Curso de Bacharelado em Ciência da Computação.
1999 - 2001
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introducao a teoria da computacao
08/1998 - 06/2000
Conselhos, Comissões e Consultoria, Reitoria, Comissão Central de Informática de UFPR.

Cargo ou função
Membro da CCI/UFPR.
06/1998 - 06/2000
Pesquisa e desenvolvimento , Setor de Ciências Exatas, Departamento de Informática.
1999 - 2000
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Matematica Discreta
12/1997 - 12/1999
Direção e administração, Setor de Ciências Exatas, Departamento de Informática.

Cargo ou função
Vice-Coordenador da Pos-Graduacao.
1998 - 1999
Ensino, Informática, Nível: Pós-Graduação

Disciplinas ministradas
Semantica de Linguagens de programacao
1997 - 1998
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Estruturas de Linguagens de Programacao
1997 - 1997
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Semantica de linguajens de programacao
1997 - 1997
Ensino, Informática, Nível: Pós-Graduação

Disciplinas ministradas
Logica e Teoria de linguajens

Universite de Tours (Universite Francois Rabelais), U.T., França.
Vínculo institucional

2004 - 2005
Vínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante (nivel: Maitre de Conf), Carga horária: 40
Outras informações
Programa PAST - Invitation Triennale d'Enseignant-Chercheur.

Vínculo institucional

2002 - 2003
Vínculo: Bolsista d Pós-doutorado, Enquadramento Funcional: Pesquisador visitante, Regime: Dedicação exclusiva.
Outras informações
Bolsa de pós-doutorado da CAPES, Associada a projeto CAPES-COFECUB.


Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Vínculo institucional

2005 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: professor associado, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Professor adjunto de 2005 a 2007. Professor associado de 2007 ao presente Vice-Coordenador do Curso de Graduação em Ciência da Computação (Jul 2006-Nov 2007). Coordenador do Curso de Graduação em Ciência da Computação (Nov 2007-Dec 2008). Coordenador do Programa de Pós-Graduação em Sistemas e Computação (Jul 2010-presente).

Atividades

07/2010 - Atual
Direção e administração, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.

Cargo ou função
Coordenador de Programa.
09/2005 - Atual
Ensino, Ciências da COmputação, Nível: Graduação

Disciplinas ministradas
Compiladores II
Compiladores I
08/2005 - Atual
Pesquisa e desenvolvimento , Centro de Ciências Exatas, .

08/2005 - Atual
Ensino, Engenharia da COmputação, Nível: Graduação

Disciplinas ministradas
Compiladores
01/2008 - 11/2008
Direção e administração, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.

Cargo ou função
Coordenador de Curso.
04/2006 - 12/2007
Direção e administração, Centro de Ciências Exatas, .

Cargo ou função
Vice coordenador de curso de graduação.


Linhas de pesquisa


1.
Semantica de Protocolos de Gerencia de Redes de Computadores

Objetivo: Especificar formalmente os elementos que compoem o protocolo SNPMv3..
Palavras-chave: Semântica de Ações.
2.
Linguagens de Programação - Linguagens para a Web


Projetos de pesquisa


2014 - 2016
Semantic Web Analytics: Processing Big Data on Energy Consumption
Descrição: SWANS proposes a big data processing service-based framework for supporting experts and non-experts analysis on energy consumption. Building big data collections implies analyzing intranets, deep web and open web data, to discover events that cause different energy consumption behaviors, for example, high consumption of energy. SWANS main challenges are the efficient manipulation of huge amounts of data on the cloud with data coming from heterogeneous data sources producing different types of data, smart me- ters, sensors, home and personal utilities. The main objective in SWANS is to address the theoretical aspects of the semantic analytics service?based framework on the cloud thanks to the complementary expertise of all partners and to begin a fruitful col- laboration around Energy Information Systems for energy-care through the development of some big data analysis tools. The Energy Semantics Web Analytic framework will incorporate: (1) the automatic and semi- automatic extraction of meta-data from semantically heterogeneous collections; and (2) analytical pro- cessing that exploits domain ontologies and associated knowledge bases, with new implementations of map-reduce algorithms on the cloud..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (2) .
Integrantes: Martin Alejandro Musicante - Coordenador / Mirian Halfeld Ferrari Alves - Integrante / Maria Adriana Lima - Integrante / Plácido Souza Neto - Integrante / Alberto Pardo - Integrante / Genoveva Vargas-Solar - Integrante / José Luis Zechinelli-Martini - Integrante.
2010 - 2013
Um ambiente de programacao distribuida usando a linguagem PEWS
Descrição: Neste projeto, estamos interessados no problema da construcao de sistemas de componentes (atraves de uma combinacao adequada de modulos) e da verificacao de propriedades dessas composicoes. Em particular, visamos a formulacao de uma plataforma de apoio a construcao e verificacao da composicao de servicos web. Projeto implementado como parte da bolsa de produtividade em pesquisa (Nivel 2) do CNPq..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Mestrado acadêmico: (3) / Doutorado: (2) .
Integrantes: Martin Alejandro Musicante - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2010 - 2012
WISE: Web Intelligence Service Environment
Descrição: Neste projeto, estamos interessados no problema da construção e validação de aplicações web. Em particular, visamos estudar e propor soluções ao problema do descobrimento, adaptação e composição de serviços web. Para isto, usaremos recursos da web semântica na adaptação de serviços web, de forma a alargar o leque de opções, na hora da descoberta dos possíveis participantes de uma determinada composição. Visamos, também, a formulação de uma plataforma de apoio à construção e verificação da composição de componentes, usando a linguagem PEWS como base desta plataforma. Este projeto 'e de cooperacao internacional, no ambito do programa CAPES-UdelaR. Regina Motz e Alberto Pardo sao professores (grau 5, equivalente ao ptofessor Titular no Brasil) do INCO - Instituto de COmputacao da Universidad de la Republica, Montevideu, Uruguai..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (6) / Doutorado: (2) .
Integrantes: Martin Alejandro Musicante - Coordenador / Alberto Pardo - Integrante / Regina Motz - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Cooperação.
2009 - 2013
e-ClouDss : building e-governement Clouds using Distributed semantic services
Descrição: A mashup is an application that presents content available from different sources by reusing the contents provided by third parties (e.g Web pages, Web services). A service is an autonomous software that offers some functionality through a network. Services coordination can be used for mashing up services and thereby specifying application logic by (i) capturing the interactions and dependencies among services; and (ii) by specifying reliability properties that the system must ensure such as connection, security, availability, persistency, etc. e-ClouDS focusses on reliability of mashed up systems represented as non functional properties that describe how the execution must be done with respect to some observable attributes. Such properties conduct to built reliable mashups. Although numerous systems, models and languages have been proposed for supporting non functional properties, they are ad-hoc solutions that weave application logic with non functional properties. This results into mashup-up services difficult to evolve and maintain. We believe that this limitation can be avoided be promoting separation of concerns such that reliability can be finely grained personalized for given mashed-up services: some services in the mash-up might need to run under secure connection conditions, others might need authentication, etc. Web Services Description Language (WSDL) enables to describe WS by specifying their locations and their operations. However, such a description leaves unspecified behavioural aspects or the order in which operations should be invoked to achieve certain goals. Hence, the notion of Semantic WebService (SWS) [Martin04] has arosen recently making it possible to automatize dicovering, selection and composition of WS by adding meta-data to WS descriptions. Semantic descriptions permit also the comparison of WS functionality. There exist different approaches to giving semantics to WS: OWL-S [Martin04] and Web Service Modeling Ontology (WSMO), which desc.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (1) .
Integrantes: Martin Alejandro Musicante - Coordenador / Plácido Souza Neto - Integrante / Paulo de Figueiredo Pires - Integrante / Alberto Pardo - Integrante / Regina Motz - Integrante / Genoveva Vargas-Solar - Integrante / José Luis Zechinelli-Martini - Integrante.Financiador(es): Latin American and Caribbean Collaborative ICT Research - Cooperação.Número de orientações: 1
2008 - 2010
Codex - Efficiency, Dynamicity and Composition for XML Models, Algorithms, and Systems.
Descrição: Órgão financiador: ANR (Agence Nationale de la Recherche - França). Vigência: Novembro 2008 a novembro 2010 Coordenador: Ioana Manolescu (Inria Saclay, França) Participante: Martin Musicante (UFRN, como parte da equipe da Universidade de Tours, campus de Blois). Resumo: The research work we propose to undertake seeks to push the frontier of XML technology innovation in three interconnected directions. First, we propose to study languages, algorithms, and develop prototypes for efficient and expressive XML processing, in particular advancing towards massively distributed XML repositories. Second, we will consider models for describing, controlling, and reacting to the dynamic behavior of XML corporas and XML schemas with time. Third, we propose theories, models and prototypes for composing XML programs for richer interactions, and XML schemas into rich, expressive, yet formally grounded type descriptions. Instituições participantes: Saclay (Gemo group of INRIA), Lille (Mostrare group of INRIA), Paris Sud (Paris Sud, Sorbonne), Paris 7 (PPS), Grenoble (Centre de recherche Grenoble-Rh?one-Alpes, LIF Marseille), Blois (LI - Université François Rabelais Tours), Innovimax (Innovimax SARL)..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) .
Integrantes: Martin Alejandro Musicante - Integrante / Ioana Manolescu - Coordenador.
2007 - 2009
Especificação e Implementação de Serviços Web usando a Linguagem PEWS
Descrição: Órgão financiador: CNPq - Edital Universal 2007 Vigência: Novembro 2007 a novembro 2009 Coordenador: Martin Musicante (UFRN) Resumo: Serviços Web são sistemas de software acessíveis via Internet e capazes de intermediar a comunicação entre o usuário do serviço e o servidor (computador) que executa a aplicação. Serviços web trocam mesangens XML e, muitas vezes, precisam reconciliar não só a estrutura ou tipo das differentes mensagens mas a ordem em que estas mensagens devem ser enviadas ou recebidas. Este processo deve ser executado em um ambiente distribuído. Diversas liguagens para a descrição de interfaces de serviços web já foram propostas. Poucas dentre elas tentaram conciliar a capacidade de descrever o comportamento da interface a um formalismo que permita a verificação da correção das especificações. PEWS é uma linguagem de especificação de interfaces de serviços web que se enquadra neste novo contexto. Programas em PEWS definem padrões de controle, de forma a especificar a ordem em que as operações de um serviço web podem ser executadas, ou melhor, a ordem a respeitar para garantir a interação entre as mensagens do serviço com outros serviços externos. Nossos primieros trabalhos nesta área propõem uma primeira definição de PEWS assim como a utilização da teoria das traces como formalismo para verificações de especificações. Contamos atualmente com um protótipo na forma de um plug-in do ambiente Eclipse. Neste projeto visamos continuar com o dsenvolvimento da linguagem, assim como do ferramental teórico necessário para o raciocínio sobre programas escritos em PEWS, visando o desenvolvimento de serviços web que cumpram com a sua especificação..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (1) .
Integrantes: Martin Alejandro Musicante - Coordenador / Mirian Halfeld Ferrari Alves - Integrante.
2004 - 2007
EEXML - Extensao de Esquemas para XML
Descrição: Órgão financiador: CNPq - PDPG (Pequenos Grupos) Vigência: Decembro 2004 a junho 2007 Coordenador: Martin Musicante (UFRN) Resumo: A crescente informatização das organizações tem provocado uma grande demanda por aplicações web. A troca de dados entre aplicações na Internet hoje faz parte do cotidiano de industrias, comércios, laboratórios de pesquisa e repartições públicas. Neste contexto, é comum que o administrador dos dados não seja um especialista em computação mas alguém com formação no domínio de aplicação dos dados a serem compartilhados. Este administrador possui, em geral, conhecimento tecnológico sobre XML e sobre algumas das ferramentas de software usadas no tratamento de documentos XML, assim como sobre a forma (ou esquema) dos dados que estão sendo trocados. O problema a ser abordado no presente projeto consiste na proposta de uma ferramenta que auxilie o administrador dos dados a efetuar a mudança do esquema, de forma a garantir a preservação da consistência de documentos antigos. Para isto, vamos supor que o administrador conta com a definição do esquema antigo, que deve ser mudado, e com um documento que não verifica esse esquema mas que deve verificar o novo esquema a ser proposto pela ferramenta. O documento em questão deve ser o resultado de uma sequência de modificações em um documento válido (em relação ao esquema original). Este projeto visa a solução do problema exposto acima mediante a aplicação de técnicas de aprendizado de máquina ainda não exploradas no contexto acima descrito, tais como Computação Evolucionária (Programação Genética, Programação Evolucionária). Instituições participantes: UFRN, UFPR, Unicentro (Guarapuava-PR), Universidade de Tours (Campus de Blois, França).
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (5) .
Integrantes: Martin Alejandro Musicante - Coordenador / Mirian Halfeld Ferrari Alves - Integrante / Maria Adriana Abrão - Integrante / Marcos Aurelio Carrero - Integrante / Edinardo Potrich - Integrante / Cheikh Ba - Integrante / Robson da Luz - Integrante / Julio Cesar Teodoro da Silva - Integrante / Ahmed Cheriat - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 9 / Número de orientações: 4


Outros Projetos


2010 - 2011
Organizacao do Congresso da Sociedade Brasileira de Computacao 2011
Situação: Concluído; Natureza: Outra.
Alunos envolvidos: Graduação: (50) / Especialização: (0) / Mestrado acadêmico: (10) / Mestrado profissional: (0) / Doutorado: (4) .
Integrantes: Martin Alejandro Musicante - Coordenador / Thais Vasconcellos Batista - Integrante.
2007 - 2007
Organizacao do Simposio Brasileiro de Linguagens de Programacao 2007
Situação: Concluído; Natureza: Outra.
Alunos envolvidos: Graduação: (15) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Martin Alejandro Musicante - Coordenador.
2001 - 2001
Organizacao do Simposio Brasileiro de Linguagens de Programacao 2001
Situação: Concluído; Natureza: Outra.
Alunos envolvidos: Graduação: (10) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Martin Alejandro Musicante - Coordenador.


Membro de corpo editorial


2008 - Atual
Periódico: SBC Horizontes


Revisor de periódico


2002 - Atual
Periódico: REIC. Revista Eletrônica de Iniciação Científica
2002 - 2003
Periódico: Journal of the Brazilian Computer Society (0104-6500)
2013 - 2013
Periódico: Concurrency: Practice and Experience


Revisor de projeto de fomento


2010 - Atual
Agência de fomento: Agencia Nacional de Investigación e Innovación


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: XML e bancos de dados semiestruturados.


Idiomas


Espanhol
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2015
Best Student Paper, IEEE / AICSSA 2015.
1991
Concurso de Teses e Dissertacoes (Primeiro Lugar), SBC - Sociedade Brasileira de Computacao.


Produções



Produção bibliográfica
Citações

Web of Science
Total de trabalhos:114
Total de citações:46
Fator H:3
Musicante, Martin A  Data: 19/10/2018

SCOPUS
Total de trabalhos:48
Total de citações:132
Musicante, Martin A.  Data: 19/10/2018

Outras
Total de trabalhos:83
Total de citações:371
Martin A. Musicante  Data: 19/10/2018

Artigos completos publicados em periódicos

1.
DE SOUZA NETO, JOÃO B.2018DE SOUZA NETO, JOÃO B. ; MOREIRA, ANAMARIA M. ; Musicante, Martin A. . Semantic Web Services testing: A Systematic Mapping study. Computer Science Review, v. 28, p. 140-156, 2018.

2.
Khalid Belhajjame2018Khalid Belhajjame ; de Castro, Valeria ; ESPINOSA-OVIEDO, J. A. ; Musicante, Martin A. ; da Costa, Umberto Souza ; Souza Neto, Plácido A. ; Vargas Solar, Genoveva ; Zechinelli-Martini, José Luis . πSOD-M: building SOC applications in the presence of non-functional requirements. International Journal of Web and Grid Services (Online), v. 14, p. 400, 2018.

3.
BA, C.2016BA, C. ; Thiago Cerqueira ; da Costa, Umberto Souza ; Mirian Halfeld-Ferrari ; Musicante, Martin A. ; ROBERT, S. . Experiments on service composition refinement on the basis of preference-driven recommendation. International Journal of Web and Grid Services (Print), v. 12, p. 182-214, 2016.

4.
S.Santos2016S.Santos ; Musicante, Martin A. ; Mirian Halfeld-Ferrari . Linguagens de consulta para bases de dados em grafos: um mapeamento sistemático. Revista de Informática Teórica e Aplicada: RITA, v. 23, p. 10-68, 2016.

5.
Souza Neto, Plácido A.2016Souza Neto, Plácido A. ; Vargas-Solar, Genoveva ; da Costa, Umberto Souza ; Musicante, Martin A. . Designing service-based applications in the presence of non-functional properties: A mapping study. INFORMATION AND SOFTWARE TECHNOLOGY, v. 69, p. 84-105, 2016.

6.
Vargas-Solar, Genoveva2014Vargas-Solar, Genoveva ; de Castro, Valeria ; SOUZA NETO, P. A. ; ESPINOSA-OVIEDO, J. A. ; Marcos, Esperanza ; MUSICANTE, M. A. ; Zechinelli-Martini, J. L. ; Collet, Christine . Reliable Web Services Composition: An MDD Approach. Polibits, v. 49, p. 17-27, 2014.

7.
Jacques Chabin2013Jacques Chabin ; Mirian Halfeld-Ferrari ; Musicante, Martin A. ; RETY, P. . Conservative Type Extensions for XML Data. Transactions on Large-Scale Data and Knowledge-Centered Systems, v. 9, p. 65-94, 2013.

8.
Julio Cesar Teodoro da Silva2012Julio Cesar Teodoro da Silva ; POZO, A. T. R. ; VERGILIO, S. ; Musicante, Martin A. . SEARCH-BASED EVOLUTION OF XML SCHEMAS. Computing and Informatics, v. 31, p. 573-595, 2012.

9.
COSTA, U. S.2012COSTA, U. S. ; da Costa, Umberto Souza ; Moreira, Anamaria Martins ; MUSICANTE, M. A. ; Souza Neto, Plácido A. . JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming (Print), v. 77, p. 533-550, 2012.

10.
da Costa, Umberto Souza2009da Costa, Umberto Souza ; Moreira, Anamaria Martins ; Musicante, Martin A. ; Neto, Plácido A. Souza . Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science, v. 240, p. 61-78, 2009.

11.
DUARTE JR., Elias Procopio2008DUARTE JR., Elias Procopio ; MUSICANTE, M. A. ; FERNANDES, H. D. H. . ANEMONA: a programming language for network monitoring applications. International Journal of Network Management, v. 18, p. 293-300, 2008.

12.
MAIDL, A2008MAIDL, A ; CARVILHE, C ; MUSICANTE, M. A. . Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science, v. 205, p. 105-121, 2008.

13.
Robson da Luz2007 Robson da Luz ; ALVES, M. H. F. ; MUSICANTE, M. A. . Regular Expression Transformations to Extend Regular Languages (With Application to a Datalog XML Schema Validator). Journal of Algorithms, v. 623, p. 148-167, 2007.

14.
Andre Murbach Maidl2007Andre Murbach Maidl ; CARVILHE, C. ; MUSICANTE, M. A. . Using Visitor Patterns in Object-Oriented Action Semantics. Journal of Universal Computer Science, v. 13, p. 891-919, 2007.

15.
MUSICANTE, M. A.;MUSICANTE, M;Musicante, Martin A.2007MUSICANTE, M. A.; BOUCHOU, B. ; Ahmed Cheriat ; ALVES, M. H. F. ; LAURENT, D. ; Maria Adriana Lima . Efficient Constraint Validation for Updated XML Databases. Informatica (Ljubljana), v. 31, p. 285-309, 2007.

16.
MUSICANTE, M. A.;MUSICANTE, M;Musicante, Martin A.2006MUSICANTE, M. A.; POTRICH, E. . Expressing Workflow Patterns for Web Services: The case of PEWS. Journal of Universal Computer Science, v. 12, p. 903-921, 2006.

17.
BA, C.2005BA, C. ; CARRERO, M. A. ; ALVES, M. H. F. ; MUSICANTE, M. A. . PEWS: A New Language for Building Web Service Interfaces. Journal of Universal Computer Science, 2005.

18.
DUARTE JR., Elias Procopio2004DUARTE JR., Elias Procopio ; MUSICANTE, M. A. ; FURLAN, D. C. . Formal Specification of SNMPv3 Entities Using Action Semantics. International Journal of Network Management, v. 14, n.5, p. 295-303, 2004.

19.
CARVILHE, C.2003CARVILHE, C. ; MUSICANTE, M. A. . Object-Oriented Action Semantics Specifications. Journal of Universal Computer Science, Austria, v. 9, n.8, p. 910-934, 2003.

20.
HAUAGGE, J. M.2002HAUAGGE, J. M. ; MUSICANTE, M. A. . Uso de Semântica de Ações na Especificação de um Sistema de Data Warehousing.. Revista de Ciências Exatas e Naturais, Guarapuava-Paraná-Brasil, v. 4, n.1, p. 43-58, 2002.

Livros publicados/organizados ou edições
1.
Roberto da Silva Bigonha (Org.) ; MUSICANTE, M. A. (Org.) . Selected Papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages. Graz: Springer, 2007. v. 13. 240p .

2.
Roberto da Silva Bigonha (Org.) ; MUSICANTE, M. A. (Org.) . SBLP 2007 - XI Simpósio Brasileiro de Linguagens de Programação. Natal e Porto Alegre: EDUFRN e SBC, 2007. v. 1. 248p .

3.
LIMA, R. M. F. (Org.) ; MUSICANTE, M. A. (Org.) . SBLP 2005 - 9th Brazilian Symposium on Programming Languages. , 2005.

4.
LIMA, R. M. F. (Org.) ; MUSICANTE, M. A. (Org.) . The 9th Brazilian Symposium on Programming Languages. 1. ed. Viena: Springer, 2005. v. 11-7. 213p .

5.
MUSICANTE, M. A.; HAEUSLER, E. H. (Org.) . Anais do SBLP 2001 - V Simpósio Brasileiro de Linguagens de Programação. Curitiba: Universidade Federal do Paraná, 2001. v. 01. 324p .

6.
MUSICANTE, M. A.; SILVA, F. Q. B. . Construção de Ambientes de Programação No Sistema Asf+Sdf.. Brasil: Sociedade Brasileira de Computação, 1994. v. 1. 40p .

Capítulos de livros publicados
1.
BOUCHOU, B. ; DUARTE, D. ; Mirian Halfeld-Ferrari ; Musicante, Martin A. . Extending XML Types Using Updates. In: Patrick Hung. (Org.). Services and Business Computing Solutions with XML: Applications for Quality Management and Best Processes. Hershey, USA: Information Science Reference, 2009, v. , p. 1-21.

Trabalhos completos publicados em anais de congressos
1.
C. M. Medeiros ; Musicante, Martin A. ; da Costa, Umberto Souza . Efficient Evaluation of Context-Free Path Queries for Graph Databases. In: SAC 2018 - The 33rd ACM/SIGAPP Symposium On Applied Computing, 2018, Pau, France. SAC 2018 The 33rd ACM/SIGAPP Symposium On Applied Computing, 2018.

2.
Fred Santos ; da Costa, Umberto Souza ; Musicante, Martin A. . A Bottom-Up Algorithm for Answering Context-Free Path Queries in Graph Databases. In: 18th International Conference on Web Engineering (ICWE), 2018, Cáceres, Espanha. Lecture Notes in Computer Science - 18 ICWE. Chennai, India: Springer Nature, 2018. v. 10845. p. 8 páginas.

3.
D'ORAZIO, L. ; Halfeld Ferrari, Mirian ; HARA, C. S. ; Musicante, Martin A. . Graph Constraints in Urban Computing: Dealing with conditions in processing urban data. In: International workshop on Data Analytics solutions for Real-LIfe Applications (DARLI-AP), 2017, Exceter, UK. International workshop on Data Analytics solutions for Real-LIfe Applications (DARLI-AP), 2017.

4.
CARRERO, M. A. ; Musicante, Martin A. ; SANTOS, A. ; HARA, C. S. . A Reusable Component-based Model for WSN Storage Simulation. In: 13-th ACM Symposium on QoS and Security for Wireless and Mobile Networks (Q2SWinet 2017), 2017, Miami Beach - EUA. 13-th ACM Symposium on QoS and Security for Wireless and Mobile Networks (Q2SWinet 2017), 2017.

5.
BENNANI, NADIA ; GHEDIRA-GUEGAN, CHIRINE ; Vargas-Solar, Genoveva ; Musicante, Martin A. . Towards a Secure Database Integration Using SLA in a Multi-cloud Context. In: 2015 IEEE 39th Annual Computer Software and Applications Conference (COMPSAC), 2015, Taichung. 2015 IEEE 39th Annual Computer Software and Applications Conference. v. 3. p. 4-9.

6.
Macedo, Marcio A. ; Carvalho, Daniel A. ; Musicante, Martin A. ; PARDO, A. ; da Costa, Umberto Souza . An Abstract Machine for Integrating Heterogeneous Web Applications. In: 12th ACS/IEEE International Conference on Computer Systems and Applications, 2015, Marrakesh. 12th ACS/IEEE International Conference on Computer Systems and Applications. USA: IEEE, 2015.

7.
Leal, Fabio ; Musicante, Martin A. . Using SLA to guide database transition to NoSQL on the cloud: a systematic mapping study. In: 12th ACS/IEEE International Conference on Computer Systems and Applications, 2015, Marrakesh. 12th ACS/IEEE International Conference on Computer Systems and Applications. USA: IEEE, 2015.

8.
Valeria de Castro ; Musicante, Martin A. ; da Costa, Umberto Souza ; Souza Neto, Plácido A. ; Vargas Solar, Genoveva . Supporting Non-functional Requirements in Services Software Development Process: An MDD Approach. In: SOFSEM 2014: Theory and Practice of Computer Science, 2014, Nový Smokovec, Eslováquia. Lecture Notes in Computer Science (SOFSEM 2014). Suiça: Springer International Publishing, 2014. v. 8327. p. 199-210.

9.
BA, C. ; da Costa, Umberto Souza ; Mirian Halfeld-Ferrari ; Ferre, Rémy ; Musicante, Martin A. ; Peralta, Veronika ; ROBERT, S. . Preference-driven Re nement of Service Compositions. In: 4th International Conference on Cloud Computing and Services Science, 2014, Barcelona. Proceedings of the 4th International Conference on Cloud Computing and Services Science. p. 268.

10.
HAHN, M. G. ; MOTZ, R. ; MUSICANTE, M ; PARDO, A. . Formal Semantics and Expressiveness of a Web Service Composition Language. In: SAC 2013 - 28th Symposium On Applied Computing, 2013, Coimbra, Portugal. PROCEEDINGS OF THE 2013 ACM SYMPOSIUM ON APPLIED COMPUTING, 2013. v. 2. p. 1667-1673.

11.
da Costa, Umberto Souza ; Mirian Halfeld-Ferrari ; Musicante, Martin A. ; ROBERT, S. . Automatic Refinement of Service Compositions. In: ICWE 2013: International Conference on Web Engineering, 2013, Aarhus, Dinamarca. ICWE 2013: International Conference on Web Engineering, 2013. p. 8 paginas.

12.
BA, C. ; ALVES, M. H. F. ; Musicante, Martin A. . PEWS platform: a web services composition environment. In: WEWST '11 - 6th International Workshop on Enhanced Web Service Technologies, 2011, Lugano, Suiça. WEWST '11 Proceedings of the 6th International Workshop on Enhanced Web Service Technologies. New York - EUA: The Association for Computing Machinery, 2011. p. 1-8.

13.
Mirian Halfeld-Ferrari ; Jacques Chabin ; Musicante, Martin A. ; RETY, P. . Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution. In: ICTAC 2010 - 7th International Colloquium on Theoretical Aspects of Computing, 2010, Natal, Brasil. Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, 2010. v. 6255. p. 60-75.

14.
Neto, Plácido A. Souza ; Musicante, Martin A. ; Vargas Solar, Genoveva ; Zechinelli-Martini, José Luis . Adding Contracts to a Web Service Composition Language. In: 4th Workshop on Languages and Tools for Multithreaded, Parallel and Distributed Programming, 2010, Salvador - BA. 4th Workshop on Languages and Tools for Multithreaded, Parallel and Distributed Programming, 2010.

15.
MAIDL, A ; CARVILHE, C. ; MUSICANTE, M. A. . An Implementation of Object-Oriented Action Semantics in Maude. In: Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, 2009, Udine, Italia. Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday. Berlin: Springer, 2009. v. 5700. p. 81-105.

16.
MUSICANTE, M. A.; POTRICH, E. ; CARRERO, M. A. . A Programming Environment for Web Services. In: 23rd Annual ACM Symposium on Applied Computing, 2008, Fortaleza. APPLIED COMPUTING 2008 - Proceedings of the 23rd Annual ACM Symposium on Applied Computing. New York: ACM Press, 2008. p. 2363-2367.

17.
COSTA, U. S. ; MOREIRA, A. M. ; MUSICANTE, M. A. ; SOUZA NETO, P. . Specification and Runtime Verification of Java Card Programs. In: SBMF 2008 - Brazilian Symposium on Formal Methods, 2008, Salvador. SBMF 2008 - Brazilian Symposium on Formal Methods, 2008.

18.
Andre Murbach Maidl ; MUSICANTE, M. A. ; CARVILHE, C. . Using Visitor Patterns in Object-Oriented Action Semantics. In: SBLP 2007 - XI Simpósio Brasileiro de Linguagens de Programação, 2007, Natal - RN - Brasil. XI Brazilian Simposyum on Programming Languages. Natal: EDUFRN e SBC, 2007. v. unico. p. 179-192.

19.
Andre Murbach Maidl ; CARVILHE, C. ; MUSICANTE, M. A. . Maude Object-Oriented Action Tool. In: LSFA'07 - Second Workshop on Logical and Semantic Frameworks, with Applications, 2007, Ouro Preto - MG. LSFA'07 - Second Workshop on Logical and Semantic Frameworks, with Applications, 2007. v. 205. p. 105-121.

20.
Julio Cesar Teodoro da Silva ; VERGILIO, S. ; MUSICANTE, M. A. ; POZO, A. T. R. . XML Schema Evolution by Context-Free Grammar Inference. In: SEKE2007 - The Nineteenth International Conference on Software Engineering and Knowledge Engineering, 2007, Boston - EUA. SEKE2007 - The Nineteenth International Conference on Software Engineering and Knowledge Engineering. Skokie, IL - EUA: Knowledge Systems Institute Graduate School, 2007. v. 1. p. 444-449.

21.
MUSICANTE, M. A.; POTRICH, E. . Expressing Workflow Patterns for Web Services: The case of PEWS. In: SBLP 2006 - X Brasilian Symposium on Programming Languages, 2006, Itatiaia - RJ. SBLP 2006 - X Brasilian Symposium on Programming Languages, 2006.

22.
BA, C. ; ALVES, M. H. F. ; MUSICANTE, M. A. . Composing Web Services with PEWS: a trace-theoretical approach. In: The 4th IEEE European Conference on Web Services, 2006, Zurich. The 4th IEEE European Conference on Web Services.

23.
Robson da Luz ; MUSICANTE, M. A. . Regular Expression Transformations to Extend Regular Languages. In: LSFA'06 - First Brazilian Workshop on Logical and Semantic Frameworks, with Applications, 2006, Natal - RN. First Brazilian Workshop on Logical and Semantic Frameworks, with Applications (Pre-Proceedings), 2006. p. 56-64.

24.
BA, C. ; ALVES, M. H. F. ; MUSICANTE, M. A. . Building Web Service Interfaces using Predicate Path Expressions. In: SBLP 2005 - 9th Brasilian Symposium on Programming Languages, 2005, Recife - PR. SBLP 2005 - 9th Brasilian Symposium on Programming Languages, 2005.

25.
BOUCHOU, B. ; DUARTE, D. ; ALVES, M. H. F. ; LAURENT, D. ; MUSICANTE, M. A. . Schema Evolution for XML: A Consistency-preserving Approach. In: 29th International Symposium on Mathematical Foundations of Computer Science, 2004, Praga. Lecture Notes in Computer Science, 2004.

26.
ABRAO, M. A. ; BOUCHOU, B. ; ALVES, M. H. F. ; LAURENT, D. ; MUSICANTE, M. A. . Incremental Constraint Checking for XML Documents. In: Xsym?04 - Second International XML Database Symposium, 2004, Toronto. Lecture Notes In Computer Science, 2004.

27.
ARAÚJO, M. ; MUSICANTE, M. A. . LFL: A Library of Generic Classes for Object-Oriented Action Semantics. In: XXIV Conferencia Internacional de la Sociedad Chilena de Ciencia de la Computación., 2004, Arica. Proceedings of SCCC 2004, 2004.

28.
BOUCHOU, B. ; DUARTE, D. ; ALVES, M. H. F. ; LAURENT, D. ; MUSICANTE, M. A. . Conservative Extensions of Regular Languages. In: XXIV Conferencia Internacional de la Sociedad Chilena de Ciencia de la Computación., 2004, Arica. Proceedings of SCCC 2004, 2004.

29.
BOUCHOU, B. ; ALVES, M. H. F. ; MUSICANTE, M. A. . Tree Automata to Verify XML Key Constraints. In: WebDB 2003 - Sixth International Workshop on Web and Databases, 2003, San Diego - EUA. Proceedings of the Sixth International Workshop on Web and Databases, 2003. p. 37-42.

30.
FERNANDES, H. D. H. ; MUSICANTE, M. A. ; DUARTE JR., Elias Procopio . ANEMONA: A language for programming NEtwork MONitor Applications. In: LANOMS - Third IEEE LatinAmerican Network Operations and Management, 2003, Foz do Iguacu - PR - Brasil. LANOMS 2003: Future Trends in Network Management, 2003. v. Único. p. 157-164.

31.
CARVILHE, C. ; MUSICANTE, M. A. . Object-Oriented Action Semantics Specifications. In: SBLP 2003 - VII Simpósio Brasileiro de Linguagens de Programacao, 2003, Ouro Preto - MG. VII Simposio Brasileiro de Linguagens de Programacao, 2003. v. Único.

32.
FERNANDES, H. D. H. ; DUARTE JR., Elias Procopio ; MUSICANTE, M. A. . Anemona: Uma linguagem de configuração para aplicações práticas de Gerência Distribuída. In: SBRC 2002 - Simpósio Brasileiro de Redes de Computadores, 2002, Buzios - RJ. Anais do SBRC 2002, 2002.

33.
FERREIRA, S. N. M. ; MUSICANTE, M. A. . Using Operational Semantics for the developement of a Paralog Environment. In: V Simpósio Brasileiro de Linguagens de Programação, 2001, Curitiba - PR. Anais do SBLP 2001 - V Simpósio Brasileiro de Linguagens de Programação. Curitiba: Universidade Federal do Paraná, 2001. v. Unico. p. C-16-C-31.

34.
KRAUSE, D. ; NOBRE, E. F. ; MUSICANTE, M. A. . Bibel´s Matrix Connection Method for Paraconsistent Logic: General Concepts and Implementation. In: SCCC 2001, 2001, Punta Arenas. Proceedings of SCCC 2001. Los Alamitos - EUA: IEEE Computer Society, 2001. p. 161-167.

35.
RODRIGUES, E. ; POZO, A. T. R. ; VERGILIO, S. ; MUSICANTE, M. A. . Chameleon: Uma ferramenta de Indução de Programas. In: II Workshop de Inteligencia Artificial, 2001, Punta Arenas - Chile. Anais das Jornadas Chilenas de Computación 2001, 2001.

36.
FURLAN, D. C. ; MUSICANTE, M. A. ; DUARTE JR., Elias Procopio . An Action Semantics Description of the SNMPv3 Dispatcher. In: IV Simposio Brasileiro de Linguagens de Programacao, 2000, Recife - PE. Anais do IV SBLP, 2000. v. 1.

37.
FURLAN, D. C. ; MUSICANTE, M. A. ; DUARTE JR., Elias Procopio . A Formal Description of SNMPv3 Standard Applications. In: III Int'l Workshop on Action Semantics, 2000, Recife- Brazil. Annals of the III Int'l Workshop on Action Semantics, 2000.

38.
DUARTE JR., Elias Procopio ; MUSICANTE, M. A. . Formal Specification Of Snmp Mib'S Using Action Semantics: The Routing Proxy Case Study. In: IM'99: Sixth IFIP/IEEE International Symposium on Integrated Network Management, 1999, Boston. Proceedings of IM'99. Boston, EUA, 1999.

39.
MUSICANTE, M. A.. Formal Semantics of Interleaving. In: Simposio Brasileiro de Linguagens de Programacao, 1999, Porto Alegre. Anais do III Simp. Bras. de Ling. de Prog.. Porto Alegre: Grafica da UFRGS, 1999. v. Unico. p. 139-154.

40.
LUCERO, G. ; PALMA, M. A. ; MUSICANTE, M. A. . A Novel Formal Semantics For A Parallel Object-Oriented Language. In: XV International Conference of the Chilean Society in Information Science, 1995. Proceedings of the XV International Conference of the Chilean Society in Information Science. Arica - Chile. v. 1.

41.
MOSSES, P. D. ; MUSICANTE, M. A. . An Action Semantics For ML Concurrency Primitives.. In: Formal Methods Europe'94, 1994. Lecture Notes in Computer Science. Alemanha: Springer-Verlag. v. 1. p. 461-479.

42.
MUSICANTE, M. A.. The Sun RPC Language Semantics. In: PANEL'92 - XIX Conferencia Latinoamericana de Informática, 1992, Las Palmas de Gran Canária. Panel 92, 1992.

43.
MEIRA, S. R. L. ; MUSICANTE, M. A. ; SANTOS, A. L. M. . O Projeto e Implementação da Linguagem A. In: VI Simposio Brasileiro de Engenharia de Software, 1991, Ouro Preto. Anais do VI Simposio Brasileiro de Engenharia de Software, 1991.

44.
MUSICANTE, M. A.; MEIRA, S. R. L. ; LINS, R. D. . A Semântica de Ações de GM-C. In: X Congresso da Sociedade Brasileira de Computação, 1990, Vitória - ES. Anais do X Congresso da Sociedade Brasileira de Computação, 1990.

45.
MUSICANTE, M. A.; LINS, R. D. . GM-C: Uma Máquina de Redução de Grafos de Multi-Combinadores Categóricos. In: IX Congresso da Sociedade Brasileira de Computação, 1989, Uberlândia - MG. Anais do IX Congresso da Sociedade Brasileira de Computação, 1989.

46.
MUSICANTE, M. A.; LINS, R. D. . Implementación de Una Máquina de Multi-Combinadores Categóricos. In: XV Conferência Latino-Americana de Informática, 1988, Buenos Aires. Anais da XV Conferência Latino-Americana de Informática, 1988.

Resumos expandidos publicados em anais de congressos
1.
MOTZ, REGINA ; Vargas-Solar, Genoveva ; COSTA, UMBERTO SOUZA DA ; ESPINOSA-OVIEDO, JAVIER A. ; Musicante, Martin A. ; ZECHINELLI-MARTINI, JOSE LUIS ; PARDO, ALBERTO . Automating systematic mappings, adding quality to quantity. In: 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSEC), 2017, Buenos Aires. 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), 2017. p. 167-168.

2.
BENNANI, NADIA ; GUEGAN, CHIRINE GHEDIRA ; Musicante, Martin A. ; SOLAR, GENOVEVA VARGAS . SLA-Guided Data Integration on Cloud Environments. In: 2014 IEEE 7th International Conference on Cloud Computing (CLOUD), 2014, Anchorage. 2014 IEEE 7th International Conference on Cloud Computing, 2014. p. 934.

3.
CARVILHE, C. ; MUSICANTE, M. A. . Object-Oriented Action Semantics Specifications. In: AS2002 - IV International Workshop on Action Semantics, 2002, Copenhaguem. AS2002 - Proceedings of the Fourth International Workshop on Action Semantics. Aarhus, Dinamarca: BRICS - Aarhus University, 2002. p. 45-64.

4.
FURLAN, D. C. ; DUARTE JR., Elias Procopio ; MUSICANTE, M. A. . Especificação Formal da Entidade SNMPv3 usando Semântica de Ações. In: 5th WORKSHOP ON FORMAL METHODS (WMF'2002), 2002, Gramado - RS. Anais do 5th WORKSHOP ON FORMAL METHODS (WMF'2002), 2002.

Resumos publicados em anais de congressos
1.
ZAMBONI, A. R. ; MUSICANTE, M. A. . Semantica Formal de Linguagens de Programacao. In: XI Seminario de Pesquisa e VI Semana de Iniciacao Cientifica da UNICENTRO, 1999, Guarapuava - PR. XI Seminario de Pesquisa e VI Semana de Iniciacao Cientifica da UNICENTRO. Guarapuava: Grafica da Unicentro, 1999. v. unico. p. 92-92.

2.
MUSICANTE, M. A.; TEIXEIRA, J. ; SUGA, N. . Custo, Prazo e qualidade na administracao de pequenos projetos de software. In: III workshop de teses em engenharia de software, 1998, Maringa - PR. XII SIMPOSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 1998. v. unico. p. 21-24.

3.
MUSICANTE, M. A.. Redução de Grafos para Multi-Combinadores Categóricos Usando GM-C. In: IV Concurso de Teses e Dissertações, 1991, Santos. Anais do XI Congresso da Sociedade Brasileira de Computação, 1991.

Resumos publicados em anais de congressos (artigos)
1.
MUSICANTE, M. A.;MUSICANTE, M;Musicante, Martin A.1991MUSICANTE, M. A.; LINS, R. D. . GM-C: A Graph Multi-Combinators Machine. Microprocessors and Microprogramming, v. 31, p. 81-84, 1991.

Outras produções bibliográficas
1.
MUSICANTE, M. A.; MOSSES, P. D. . Communicative Action Notation with Shared Storage. Aarhus: BRICS - Center for Basic Research in Computer Science, Aarhus University, 1993 (Relatório).

2.
MUSICANTE, M. A.; LINS, R. D. . GM-C: A Graph Categorical Multi-Combinator Machine. Canterbury: University of Kent at Canterbury, 1992 (Relatório).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
Musicante, Martin A.. Participação em banca de Samuel Lincoln Magalhaes Barrocas. JCircus 2.0: Uma Extensao da ferramenta de traducao de Circus para Java. 2011. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

2.
Musicante, Martin A.. Participação em banca de André Luiz da Silva Solino. Teste baseado em defeitos de web services. 2008. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

3.
Musicante, Martin A.. Participação em banca de Isanio Lopes Araújo Santos. Uma Abordagem baseada em Aspectos e Composição Dinâmica para a Construção de Aplicações Adaptativas Cientes ao Contexto. 2008. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

4.
MUSICANTE, M. A.; VERGILIO, S.; S.Santos. Participação em banca de Igor Fernando Nazar. X-Tool: uma ferramenta para testes de esquemas de estruturas de dados. 2007. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

5.
VERGILIO, S.; MUSICANTE, M. A.; POZO, A. T. R.; A. del Re. Participação em banca de Julio Cesar Teodoro da Silva. Uma ferramenta para aprendizado de gramáticas livres de contexto. 2007. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

6.
Musicante, Martin A.; VERGILIO, S.. Participação em banca de Igor Fabiano Nazar. Uma ferramenta para testes de esquemas de estruturas de dados. 2007. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

7.
MOREIRA, A. M.; Musicante, Martin A.; BORBA, P. H. M.. Participação em banca de Placido Antonio de Souza Neto. JCML - JavaCard Modelling Language: Definicao e Implementacao. 2007. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

8.
POZO, A. T. R.; Musicante, Martin A.; VERGILIO, S.. Participação em banca de Julio Cesar Teodoro da Silva. Um algoritmo de evolucao de gramaticas livres de contexto. 2007. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

9.
Musicante, Martin A.. Participação em banca de Andre Murbach Maidl. Uma implementacao da semantica de acoes orientada a objetos em maude. 2007. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

10.
Musicante, Martin A.. Participação em banca de Robson Joao Padilha da Luz. Um algoritmo para a evolucao incremental de esquemas para XML. 2007. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

11.
MUSICANTE, M. A.; CARVALHO, A. C. P. L. F.; GUEDES, A. L. P.. Participação em banca de Evandro Nunes Regolin. Programacao genetica e algoritmos de estimacao de distribuicao. 2004. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

12.
VERGILIO, S.; MUSICANTE, M. A.; SPOTO, E. S.. Participação em banca de Luciano Petinati Ferreira. TDSGEN - UMA FERRAMENTA DE GERAÇÃO DE DADOS DE TESTE BASEADA E ALGORITMOS GENÉTICOS. 2003. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

13.
MUSICANTE, M. A.; BOUCHOU, B.; ALVES, M. H. F.. Participação em banca de Ould Zein Saadna, Ould Mohameden Ahmed, Mint Sint Ahmed Vadi. Extension des automates d'arbre aux modeles de validation XML en tenant compte des contraintes sur les éléments et attributs. Implementation en JAVA avec DOM et SAX.. 2003. Dissertação (Mestrado em DESS (Master Professionnel IUP)) - Universite de Tours (Universite Francois Rabelais).

14.
POZO, A. T. R.; MUSICANTE, M. A.; FREITAS, A. A.. Participação em banca de Andréa de Fátima Cavalheiro. GADBMS - Um Algoritmo Genético Minerador de Dados para Base de Dados Relacionais. 2002. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

15.
POZO, A. T. R.; VERGILIO, S.; MUSICANTE, M. A.; CARVALHO, A. C. P. L. F.. Participação em banca de Ernesto Luis Malta Rodrigues. Evolução de Funções em Programação Genética Orientada a Gramática. 2002. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

16.
MUSICANTE, M. A.. Participação em banca de Ivan Jose Varzinczac. Causalidade e Dependencia em Raciocinio sobre Acoes. 2002. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

17.
VERGILIO, S.; MUSICANTE, M. A.; SPOTO, E. S.. Participação em banca de Leonardo Brodbeck Chaves. Uma Avaliação Empírica de Métricas para Programas Orientados a Objeto no Contexto de Teste de Software. 2001. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

18.
POZO, A. T. R.; MUSICANTE, M. A.; BARRETO, J. M.. Participação em banca de Eléia Gisele Mueller. Agentes Mediadores. 2001. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

19.
VERGILIO, S.; MUSICANTE, M. A.; MARTINS, E.. Participação em banca de Lisiane Maes Volpi. "Uma Estratégia de Teste de Software para Ambiente Cliente Servidor. 2001. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

20.
DUARTE JR., Elias Procopio; MUSICANTE, M. A.; SANTI, P.. Participação em banca de Aluno Luiz Carlos Pessoa Albini. Um Algoritmo Baseado em Comparações para Diagnóstico Distribuído Hierárquico. 2000. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

21.
VERGILIO, S.; MUSICANTE, M. A.; JINO, M.. Participação em banca de Luciane Telinski Wiedermann Agner. Manutenção Incremental de Visões Materializadas em Ambientes Datawarehousing. 2000. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

22.
MOURA, H. P.; MUSICANTE, M. A.; BORBA, P. H. M.. Participação em banca de Luis Carlos de Souza Menezes. Uso de Orientacao a Objetos na Prototipacao de Semantica de Acoes. 1998. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Teses de doutorado
1.
MOURA, H. P.; RAMALHO, G. L.; MUSICANTE, M. A.; BORBA, P. H. M.. Participação em banca de Luis Carlos de Sousa Menezes. Uma Notação Extensível Para Semântica de Ações e sua Aplicação aos Componentes de Raciocínio de Linguages Orientadas a Agentes. 2002. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Qualificações de Doutorado
1.
Musicante, Martin A.. Participação em banca de Placido Antonio de Souza Neto. Uma Proposta de Metodologia para o Desenvolvimento de Aplicaço?es Web Baseadas em PEWS. 2010. Exame de qualificação (Doutorando em Doutorado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte.

Qualificações de Mestrado
1.
Musicante, Martin A.. Participação em banca de DANIEL AGUIAR DA SILVA CARVALHO. Uma Maquina de Reducao de Grafos para Servicos Web. 2012. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

2.
Musicante, Martin A.. Participação em banca de Samuel Lincoln Magalhaes Barrocas. JCIRCUS++: Uma Versão do Aplicativo JCIRCUS com uma Estratégia de Tradução de CIRCUS para Java mais Robusta. 2011. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

3.
Musicante, Martin A.. Participação em banca de Isanio Lopes Araujo Santos. Usando Aspectos e composicao dinamica para prover adaptcao ciente ao contexto em sistemas ubiquos. 2008. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

4.
Musicante, Martin A.. Participação em banca de André Luiz de Souza Brito. Definição e Implementação de contratos para Serviços Web em PEWS. 2008. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Trabalhos de conclusão de curso de graduação
1.
Musicante, Martin A.. Participação em banca de Samuel Lincoln Magalhaes Barrocas.Geracao de codigo de grafos de dependencias para PEWS. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte.

2.
MOREIRA, A. M.; Musicante, Martin A.. Participação em banca de Eberton da Silva Marinho.BatCave: Uma ferramenta de suporte a verificacao formal para o metodo B. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte.

3.
David Deharbe; Musicante, Martin A.. Participação em banca de Valerio Gutemberg de Medeiros Junior.Aplicacao do metodo B para a construcao de programas de assemblagem. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte.

4.
HARA, C. S.; MUSICANTE, M. A.; DUARTE JR., Elias Procopio. Participação em banca de Rodrigo Cordeiro do Santos.XKeyDiff - Um algoritmo para detecao de mudancas entre documentos XML. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Paraná.

5.
VERGILIO, S.; MUSICANTE, M. A.; SUGA, N.. Participação em banca de Fabricio R. dos Santos.Resultados da avaliacao de qualidade de un software industrial. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Paraná.

6.
HARA, C. S.; MUSICANTE, M. A.; VERGILIO, S.. Participação em banca de A.A.Androczevecz, B.Rebesco Neto, L.A.de Souza Bueno.X-Lib : um sistema bibliotecario que utiliza o banco de dados Tamino XML server. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Paraná.

7.
VERGILIO, S.; MUSICANTE, M. A.; POZO, A. T. R.. Participação em banca de E.F.Silva, G.Gama Jr..Um modulo gerador de resricoes para automatizar o teste baseado em predicados. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Paraná.



Participação em bancas de comissões julgadoras
Concurso público
1.
Musicante, Martin A.. Concurso para professor adjunto. 2008. Universidade Federal do Rio Grande do Norte.

2.
MUSICANTE, M. A.. Banca de concurso publico para Professor Adjunto. 2002. Universidade Federal do Paraná.

3.
MUSICANTE, M. A.. Banca de concurso publico para Professor Adjunto. 2002. Universidade Federal do Paraná.

4.
MUSICANTE, M. A.. Concurso Publico para professor nao titular. 2002. Universidade Estadual do Centro-Oeste.

5.
MUSICANTE, M. A.. Concurso Publico para professor nao titular. 1997. Universidade Estadual do Centro-Oeste.

Outras participações
1.
MUSICANTE, M. A.. Banca Examinadora do 11 Evento de Iniciacao Cientifica da UFPR - EVINCI 2003. 2003. Universidade Federal do Paraná.

2.
MUSICANTE, M. A.. Banca Examinadora do 7 Evento de Iniciacao Cientifica da UFPR - EVINCI 99. 1999. Universidade Federal do Paraná.

3.
MUSICANTE, M. A.. Banca Examinadora do 5to Evento de Iniciacao Cientifica da UFPR - EVINCI 97. 1997. Universidade Federal do Paraná.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
SBLP 2006 - 10th Brazilian symposium on Programming Languages.Membro do Comitê de Programa. 2006. (Simpósio).

2.
SBLP 2005 - 9th Brazilian symposium on Programming Languages.SBLP 2005 - Presidente do Comite de Programa. 2005. (Simpósio).

3.
XXIV Concurso de Trabalhos de Iniciação Científica.XXIV CTIC - Membro do Comitê de avaliação. 2005. (Outra).

4.
SBLP 2004 - VIII Simpósio Brasileiro de Linguagens de Programação.SBLP 2004 - Membro do Comitê de Programa. 2004. (Simpósio).

5.
SBLP 2005 - IX Simpósio Brasileiro de Linguagens de Programação.SBLP 2005 - Chairman do Comitê de Programa. 2004. (Simpósio).

6.
XVII CTD - Concurso de Teses e Dissertações.XVIICTD - Membro do Comitê de Programa. 2004. (Outra).

7.
XXIII CTIC - Concurso de Trabalhos de Iniciação Científica.XXIII CTIC - Membro da Comissão Julgadora. 2004. (Outra).

8.
SBLP 2003 - VII Simpósio Brasileiro de Linguagens de Programação.SBLP 2003 - Membro do Comitê de Programa. 2003. (Simpósio).

9.
SBLP 2002 - VI Simpósio Brasileiro de Linguagens de Programação.SBLP 2002 - Membro do Comitê de Programa. 2002. (Simpósio).

10.
SBLP 2001 - V Simpósio Brasileiro de Linguagens de Programação.SBLP 2001 - Coordenador Geral - Membro do Comitê de Programa. 2001. (Simpósio).

11.
SBLP 2000 - IV Simpósio Brasileiro de Linguagens de Programação.SBLP 2000 - Membro do Comitê de Programa. 2000. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
Musicante, Martin A.; BATISTA, T. V. . Organizacao do Congresso da Sociedade Brasileira de Computacao 2011. 2011. (Congresso).

2.
MUSICANTE, M. A.. SBLP 2007 - XI Simpósio Brasileiro de Libguagens de Programação. 2007. (Congresso).

3.
MUSICANTE, M. A.. LSFA 2006 - First Workshop on Logical and Semantic Frameworks, With Applications. 2006. (Congresso).

4.
MUSICANTE, M. A.. SBLP 2001 - V Simpósio Brasileiro de Libguagens de Programação. 2001. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Ciro Morais Medeiros. Estudo de linguagens nao regulares para consulta a bancos de dados em grafos. Início: 2016. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Fabio de Souza Leal. SLA-Based Guidelines for Database Transitioning. 2016. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Martin Alejandro Musicante.

2.
Marcio Alves de Macêdo. Uma Máquina de Redução de Grafos Extensível para a Implementação de Fluxos de Trabalho. 2015. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Martin Alejandro Musicante.

3.
Daniel Aguiar da Silva Carvalho. PEWS-AM: Uma máquina de redução de grafos para Serviços Web. 2013. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Martin Alejandro Musicante.

4.
Handerson Bezerra Madeiros. PEWS-RT: Um sistema de tempo de execução para a linguagem PEWS. 2013. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Martin Alejandro Musicante.

5.
Marcelo Guerra. Implementing an Extension of PEWS. 2010. Dissertação (Mestrado em Posgrado en Ciencia de la Computación) - Universidad de la Republica Uruguay, . Orientador: Martin Alejandro Musicante.

6.
Robson Padilha da Luz. Um algoritmo para a evolucao de Esquemas para XML. 2007. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Martin Alejandro Musicante.

7.
Andre Murbach Maidl. Uma Implementação da Semântica de Ações orientada a objetos em Maude. 2007. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Martin Alejandro Musicante.

8.
Julio Cesar Teodoro da Silva. Aprendizado de esquemas para XML. 2007. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Coorientador: Martin Alejandro Musicante.

9.
Marcos Aurelio Carrero. O back-end de PEWS, uma linguagem para a composicao de serviços web.. 2006. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Martin Alejandro Musicante.

10.
Edinardo Potrich. O front-end de PEWS, uma linguagem para composicao de servicos web. 2006. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Martin Alejandro Musicante.

11.
Sandra Mara Gusse Venske. Verificação Estática de Tipos de XQuery - Um Protótipo em ASF+SDF. 2004. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Martin Alejandro Musicante.

12.
Marcelo Araújo. Language Features Library - Uma biblioteca de classes para Semântica de Ações Orientada a Objetos. 2004. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Martin Alejandro Musicante.

13.
Claudio Carvilhe. Semântica de Ações Orientada a Objetos. 2002. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Martin Alejandro Musicante.

14.
Simone Nasser Matos Ferreira. Projeto e Implementação de um Protótipo para a linguagem ParaLog. 2001. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Martin Alejandro Musicante.

15.
Emerson Faria Nobre. O Método das Conexões de Bibel para Lógica Anotada. 2001. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Coorientador: Martin Alejandro Musicante.

16.
Henrique Denes Hilgenberg Fernandes. Anemona: Uma linguagem de configuração para aplicações de monitoração de redes. 2001. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Martin Alejandro Musicante.

17.
Diógenes Cogo Furlan. Especificação Formal do SNMPv3 usando Semântica de Ações. 2000. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Martin Alejandro Musicante.

18.
Josiane Michalak Hauagge. Especificação formal de data warehousing usando semantica de acoes. 2000. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Martin Alejandro Musicante.

19.
Jaylson Teixeira. Prazo, Custo e Qualidade no desenvolvimento de pequenos projetos de software. 2000. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Martin Alejandro Musicante.

Tese de doutorado
1.
Evando Carlos Pessini. Certificação de Composições de Servi ̧cos Web Semânticos. 2014. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Martin Alejandro Musicante.

2.
Plácido Souza Neto. Uma contribuição ao desenvolvimento de serviços web habilitados por tokens eletronicos.. 2012. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, . Orientador: Martin Alejandro Musicante.

Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
Luis Aparecido da Costa. Metadados no ambiente de Data warehousing: caracterizacao e uso. 2002. Monografia. (Aperfeiçoamento/Especialização em Especializacao em Informatica) - Universidade Federal do Paraná. Orientador: Martin Alejandro Musicante.

2.
Ilson Lins da Silva. Como projetar um Data Warehouse. 2002. Monografia. (Aperfeiçoamento/Especialização em Especializacao em Informatica) - Universidade Federal do Paraná. Orientador: Martin Alejandro Musicante.

3.
Esther Yokosawa. Data Warehousing. 2001. Monografia. (Aperfeiçoamento/Especialização em Especializacao em Informatica) - Universidade Federal do Paraná. Orientador: Martin Alejandro Musicante.

4.
Roseli S. Leger. Implantacao de Data Warehouses dentro das organizacoes. 2001. Monografia. (Aperfeiçoamento/Especialização em Especializacao em Informatica) - Universidade Federal do Paraná. Orientador: Martin Alejandro Musicante.

5.
Gilberto Bino. Data Warehousing : aspectos praticos. 2000. Monografia. (Aperfeiçoamento/Especialização em Especializacao em Informatica) - Universidade Federal do Paraná. Orientador: Martin Alejandro Musicante.

Trabalho de conclusão de curso de graduação
1.
Thiago Anselmo Abreu Montenegro de Cerqueira. Um Iterador para Refinamento Automático de Composições de Serviços Web. 2014. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Martin Alejandro Musicante.

2.
Samuel Lincoln Magalhaes Barrocas. Geracao de grafos de dependencia para PEWS. 2008. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Martin Alejandro Musicante.

3.
André Luis de Souza Brito. Provando Propriedades de PEWS. 2006. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Martin Alejandro Musicante.

4.
Aldo M. Do Nascimento, Maverson E. S. Rosa, Luciano Sytnik. Implementação de um editor para Semântica de Ações Orientada a Objetos usando Eclipse. 2004. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Paraná. Orientador: Martin Alejandro Musicante.

5.
C.J. Andreazza, G.L. Barizon Martins, R.L. Aoto. Conversao da disciplina de Programacao de computadores em Pascal para Ensino a distancia. 2002. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Paraná. Orientador: Martin Alejandro Musicante.

6.
Alessandro Rodrigues Zamboni. Semântica de Ações de parte de um sistema da Data Warehousing. 2001. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Paraná. Orientador: Martin Alejandro Musicante.

7.
A. de J. Voitena, T.Y.Diniz. Propostas de planos pedagogicos para os cursos de Ciencia da Computacao e Sistemas de Informacao na UFPR. 2001. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Paraná. Orientador: Martin Alejandro Musicante.

8.
F.Shimisu, G.da S. Antonio, V.A.B.Cit. Um sistema de matriculas com interface WEB para o setor de Ciencias Exatas da UFPR. 2001. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Paraná. Orientador: Martin Alejandro Musicante.

9.
M.R.Braz, M. dos S. Hidalgo. Construcao de relatorios para o curso de Informatica da UFPR usando a ferramenta Business Objects. 2000. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Paraná. Orientador: Martin Alejandro Musicante.

10.
Fabio H. Wasilewski, Jailton A. Cordeiro. Projeto e Implementacao do back-end de uma ferramenta OLAP. 1999. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Paraná. Orientador: Martin Alejandro Musicante.

11.
Annelisa P. Pereira, Lisiane Stoltz, Mariana N. Garay. Projeto de sistemas OLAP: Interface e Comunicacao com o Back-end. 1999. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Paraná. Orientador: Martin Alejandro Musicante.

Iniciação científica
1.
Thiago Anselmo Abreu Montenegro de Cerqueira. Refinamento de Composicoes de Serviços web. 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Martin Alejandro Musicante.

2.
Mariana N. Gusmão. Manipulação de programas e programação genética. 2001. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Paraná. Orientador: Martin Alejandro Musicante.

3.
Alessandro Rodrigues Zamboni. Semântica Formal de Linguagens de Programação. 1999. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Paraná. Orientador: Martin Alejandro Musicante.

Orientações de outra natureza
1.
A. R. Zamboni, H. D. H. Fernandes, L. H. Watter. Monitoria em Programacao de Computadores. 1998. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal do Paraná. Orientador: Martin Alejandro Musicante.



Outras informações relevantes


- Coordenador Geral do SBLP 2001 - V Simposio
 Brasileiro de Lingugens de Programacao
-Coordenador Geral do SBLP 2007 - XI Simposio
 Brasileiro de Lingugens de Programacao

- Membro do Comitê de Programa do SBLP 2000.
- Membro do Comitê de Programa do SBLP 2001.
- Membro do Comitê de Programa do SBLP 2002.
- Membro do Comitê de Programa do SBLP 2003.
- Membro do Comitê de Programa do SBLP 2004.
- Chairman do Comitê de Programa do SBLP 2005.
- Membro do Comitê de Programa do SBLP 2006.
- Membro do Comitê de Programa do SBLP 2007.
- Membro do Comitê de Programa do SBLP 2008.

- Membro do Comitê de Programa do CTD 2004.
- Membro do Comitê de Programa do CTIC 2004.

- Membro do Comitê de Programa do Webmidia 2006.

- Membro do Comitê de programa da Conferência Ibero-Americana IASK InterTic
2007 (InterTIC'07).



Página gerada pelo Sistema Currículo Lattes em 20/10/2018 às 17:11:15