Martin A. Musicante

Marcelo Guerra Hahn, Regina Motz, Alberto Pardo, Martin A. Musicante: Formal semantics and expressiveness of a web service composition language. SAC 2013: 1667-1673

Julio Cesar Teodoro Silva, Aurora Trinidad Ramirez Pozo, Silvia Regina Vergilio, Martin A. Musicante: Search-Based Evolution of XML Schemas. Computing and Informatics 31(3): 573- (2012)

Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto: JCML: A specification language for the runtime verification of Java Card programs. Sci. Comput. Program. 77(4): 533-550 (2012)

Cheikh Ba, Mírian Halfeld Ferrari, Martin A. Musicante: PEWS platform: a web services composition environment. WEWST 2011: 1-8

Jacques Chabin, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Pierre Réty: Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution. ICTAC 2010: 60-75

Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto: Specification and Runtime Verification of Java Card Programs. Electr. Notes Theor. Comput. Sci. 240: 61-78 (2009)

André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante: An Implementation of Object-Oriented Action Semantics in Maude. Semantics and Algebraic Specification 2009: 81-105

André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante: Maude Object-Oriented Action Tool. Electr. Notes Theor. Comput. Sci. 205: 105-121 (2008)

Elias Procópio Duarte Jr., Martin A. Musicante, Henrique Denes H. Fernandes: ANEMONA: a programming language for network monitoring applications. Int. Journal of Network Management 18(4): 295-302 (2008)

Martin A. Musicante, Edinardo Potrich, Marcos Aurélio Carrero: A programming environment for web services. SAC 2008: 2363-2367

Béatrice Bouchou, Ahmed Cheriat, Mírian Halfeld Ferrari, Dominique Laurent, Maria Adriana Lima, Martin A. Musicante: Efficient Constraint Validation for Updated XML Database. Informatica (Slovenia) 31(3): 285-309 (2007)

Robson da Luz, Mirian Halfeld Ferrari Alves, Martin A. Musicante: Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator). J. Algorithms 62(3-4): 148-167 (2007)

Roberto da Silva Bigonha, Martin A. Musicante: Selected Papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages. J. UCS 13(6): 679-681 (2007)

André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante: Using Visitor Patterns in Object-Oriented Action Semantics. J. UCS 13(6): 891-919 (2007)

Julio C. T. da Silva, Martin A. Musicante, Aurora Trinidad Ramirez Pozo, Silvia Regina Vergilio: XML Schema Evolution by Context Free Grammar Inference. SEKE 2007: 444-

Martin A. Musicante, Edinardo Potrich: Expressing Workflow Patterns for Web Services: The Case of PEWS. J. UCS 12(7): 903-921 (2006)

Cheikh Ba, Mirian Halfeld Ferrari Alves, Martin A. Musicante: Composing Web Services with PEWS: A Trace-Theoretical Approach. ECOWS 2006: 65-74

Martin A. Musicante, Ricardo Massa Ferreira Lima: The 9_th Brazilian Symposium on Programming Languages J.UCS Special Issue. J. UCS 11(7): 1115-1116 (2005)

Cheikh Ba, Marcos Aurélio Carrero, Mirian Halfeld Ferrari Alves, Martin A. Musicante: PEWS: A New Language for Building Web Service Interfaces. J. UCS 11(7): 1215-1233 (2005)

Elias Procópio Duarte Jr., Martin A. Musicante, Diógenes Cogo Furlan: Formal specification of SNMPv3 entities using action semantics. Int. Journal of Network Management 14(5): 295-303 (2004)

Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante: Schema Evolution for XML: A Consistency-Preserving Approach. MFCS 2004: 876-888

Marcelo Araújo, Martin A. Musicante: LFL: A Library of Generic Classes for Object-Oriented Action Semantics. SCCC 2004: 39-47

Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante: Conservative Extensions of Regular Languages . SCCC 2004: 99-109

Maria Adriana Abrão, Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante: Incremental Constraint Checking for XML Documents. XSym 2004: 112-127

Cláudio Carvilhe, Martin A. Musicante: Object-Oriented Action Semantics Specifications. J. UCS 9(8): 910-934 (2003)

Henrique Denes H. Fernandes, Martin A. Musicante, Elias Procópio Duarte Jr.: ANEMONA: A language for programming NEtwork MONitoring Applications. LANOMS 2003: 157-164

Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Martin A. Musicante: Tree Automata to Verify XML Key Constraints. WebDB 2003: 37-42

Décio Krause, Emerson Faria Nobre, Martin A. Musicante: Bibel's Matrix Connection Method in Paraconsistent Logic: General Concepts and Implementation. SCCC 2001: 161-167

Elias Procópio Duarte Jr., Martin A. Musicante: Formal Specification of SNMP MIB's Using Action Semantics: The Routing Proxy Case Study. Integrated Network Management 1999: 417-430