io-port.net

io-port 06059140 da Costa, Umberto Souza; Moreira, Anamaria Martins; Musicante, Martin A.; Souza Neto, Plácido A.

JCML: A specification language for the runtime verification of Java card programs. (English)

Sci. Comput. Program. 77, No. 4, 533-550 (2012).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05776705 Chabin, Jacques; Halfeld-Ferrari, Mirian; Musicante, Martin A.; Réty, Pierre

Minimal tree language extensions: A keystone of XML type compatibility and evolution. (English)

Cavalcanti, Ana (ed.) et al., Theoretical aspects of computing ‒ ICTAC 2010. 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1‒3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14807-1/pbk). Lecture Notes in Computer Science 6255, 60-75 (2010).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70251707 Chabin, Jacques; Alves, Mirian Halfeld Ferrari; Musicante, Martin A.; Réty, Pierre

Minimal tree language extensions: A keystone of XML type compatibility and evolution (English)

ICTAC, 60-75 (2010).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05749023 Da Costa, Umberto Souza; Moreira, Anamaria Martins; Musicante, Martin A.; Neto, Plácido A.Souza

Specification and runtime verification of Java card programs. (English)

Electron. Notes Theor. Comput. Sci. 240, 61-78 (2009).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05619453 Maidl, André Murbach; Carvilhe, Cláudio; Musicante, Martin A.

An implementation of object-oriented action semantics in Maude. (English)

Palsberg, Jens (ed.), Semantics and algebraic specification. Essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-04163-1/pbk). Lecture Notes in Computer Science 5700, 81-105 (2009).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70702254 Maidl, André Murbach; Carvilhe, Cláudio; Musicante, Martin A.

An implementation of object-oriented action semantics in maude (English)

Semantics and Algebraic Specification, 81-105 (2009).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05418077 Maidl, André Murbach; Carvilhe, Cláudio; Musicante, Martin A.

Maude object-oriented action tool. (English)

Electron. Notes Theor. Comput. Sci. 205, 105-121 (2008).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50370187 Jr., Elias Procópio Duarte; Musicante, Martin A.; Fernandes, Henrique Denes H.

ANEMONA: a programming language for network monitoring applications (English)

Int. Journal of Network Management 18, No. 4, 295-302 (2008).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70324745 Musicante, Martin A.; Potrich, Edinardo; Carrero, Marcos Aurélio

A programming environment for web services (English)

SAC, 2363-2367 (2008).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05310810 Bouchou, Béatrice; Cheriat, Ahmed; Ferrari, Mírian Halfeld; Laurant, Dominique; Lima, Maria Adriana; Musicante, Martin A.

Efficient constraint validation for updated XML databases. (English)

Informatica, Ljubl. 31, No. 3, 285-309 (2007).

10

PDF XML AMS-TeX TEXT BIBTeX

io-port 05221006 Maidl, A.Murbach; Carvilhe, C.; Musicante, M.A.

Using visitor patterns in object-oriented action semantics. (English)

J. UCS 13, No. 6, 891-919, electronic only (2007).

11

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216480 da Luz, Robson; Halfeld Ferrari, Mírian; Musicante, Martin A.

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

J. Algorithms 62, No. 3-4, 148-167 (2007).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70745797 Da Silva, Julio C. T.; Musicante, Martin A.; Pozo, Aurora Trinidad Ramirez; Vergilio, Silvia Regina

XML schema evolution by context free grammar inference (English)

SEKE, 444- (2007).

13

PDF XML AMS-TeX TEXT BIBTeX

io-port 05216818 Musicante, M.A.; Potrich, E.

Expressing workflow patterns for web services: the case of pews. (English)

J. UCS 12, No. 7, 903-921, electronic only (2006).

Classification: C.2.4 D.3.m

14

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70083881 Ba, Cheikh; Alves, Mirian Halfeld Ferrari; Musicante, Martin A.

Composing web services with PEWS: A trace-theoretical approach (English)

ECOWS, 65-74 (2006).

15

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05217341 Ba, C.; Carrero, M.A.; Ferrari, M.Halfeld; Musicante, M.A.

PEWS: A new language for building web service interfaces. (English)

J. UCS 11, No. 7, 1215-1233, electronic only (2005).

16

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05217335 Musicante, M.A.; Lima, R.M.F.

The 9th Brazilian symposium on programming languages. (English)

J. UCS 11, No. 7, 1115-1116, electronic only (2005).

17

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02196829 Bouchou, Béatrice; Duarte, Denio; Halfeld Ferrari Alves, Mírian; Laurent, Dominique; Musicante, Martin A.

Schema evolution for XML: A consistency-preserving approach. (English)

Fiala, Jiří (ed.) et al., Mathematical foundations of computer Science 2004. 29th international symposium, MFCS 2004, Prague, Czech Republic, August 22‒27, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22823-3/pbk). Lecture Notes in Computer Science 3153, 876-888 (2004).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50370486 Jr., Elias Procópio Duarte; Musicante, Martin A.; Furlan, Diógenes Cogo

Formal specification of snmpv3 entities using action semantics (English)

Int. Journal of Network Management 14, No. 5, 295-303 (2004).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70297838 Bouchou, Béatrice; Duarte, Denio; Alves, Mirian Halfeld Ferrari; Laurent, Dominique; Musicante, Martin A.

Schema evolution for XML: A consistency-preserving approach (English)

MFCS, 876-888 (2004).

20

PDF XML AMS-TeX TEXT BIBTeX DOI