io-port.net

io-port 06059130 Valero, Valentín; Macià, Hermenegilda; Pardo, Juan José; Cambronero, María Emilia; Díaz, Gregorio

Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets. (English)

Sci. Comput. Program. 77, No. 3, 290-313 (2012).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06087582 Cambronero, M.Emilia; Valero, Valentín; Martínez, Enrique

Design and generation of web services choreographies with time constraints. (English)

J. UCS 17, No. 13, 1800-1829, electronic only (2011).

2

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05987272 Martínez, Enrique; Díaz, Gregorio; Cambronero, M.Emilia

Contractually compliant service compositions. (English)

Kappel, Gerti (ed.) et al., Service-oriented computing. 9th international conference, ICSOC 2011, Paphos, Cyprus, December 5‒8, 2011 Proceedings. Berlin: Springer (ISBN 978-3-642-25534-2/pbk). Lecture Notes in Computer Science 7084, 636-644 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05924161 Andrés, César; Cambronero, M.Emilia; Núñez, Manuel

Passive testing of web services. (English)

Bravetti, Mario (ed.) et al., Web services and formal methods. 7th international workshop, WS-FM 2010, Hoboken, NJ, USA, September 16‒17, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19588-4/pbk). Lecture Notes in Computer Science 6551, 56-70 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05833476 Cambronero, M.Emilia; Díaz, Gregorio; Valero, Valentín; Martínez, Enrique

Validation and verification of web services choreographies by using timed automata. (English)

J. Log. Algebr. Program. 80, No. 1, 25-49 (2011).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70000102 Martínez, Enrique; Cambronero, María-Emilia; Díaz, Gregorio; Schneider, Gerardo

Timed automata semantics for visual e-contracts (English)

FLACOS, 7-21 (2011).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70380098 Martínez, Enrique; Díaz, Gregorio; Cambronero, María-Emilia

Contractually compliant service compositions (English)

ICSOC, 636-644 (2011).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05742643 Cambronero, María-Emilia; Ruiz, Valentín Valero; Díaz, Gregorio

Verification of real-time systems design. (English)

Softw. Test., Verif. Reliab. 20, No. 1, 3-37 (2010).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70240752 Andrés, César; Cambronero, María-Emilia; Núñez, Manuel

Passive testing of web services (English)

WS-FM, 56-70 (2010).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70423043 Martínez, Enrique; Díaz, Gregorio; Cambronero, María-Emilia; Schneider, Gerardo

A model for visual specification of E-contracts (English)

IEEE SCC, 1-8 (2010).

10

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70423530 Andrés, César; Cambronero, María-Emilia; Núñez, Manuel

Formal passive testing of service-oriented systems (English)

IEEE SCC, 610-613 (2010).

11

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05624927 Valero, Valentín; Díaz, Gregorio; Cambronero, María Emilia; Macià, Hermenegilda

A barred operational semantics for a subset of WS-CDL with time restrictions. (English)

J. Log. Algebr. Program. 78, No. 8, 730-748 (2009).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05580680 Valero, Valentín; Cambronero, M.Emilia; Díaz, Gregorio; Macià, Hermenegilda

A Petri net approach for the design and analysis of web services choreographies. (English)

J. Log. Algebr. Program. 78, No. 5, 359-380 (2009).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70198683 Martínez, Enrique; Cambronero, María-Emilia; Díaz, Gregorio; Valero, Valentin

Design and verification of web services compositions (English)

ICIW, 395-400 (2009).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70426917 Martínez, Enrique; Díaz, Gregorio; Martínez, Carmen Rosa; Cambronero, María-Emilia; Ruiz, Valentín Valero

Time ordering architecture in SCA (English)

TAMoCo, 117-126 (2009).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 71034875 Cambronero, María-Emilia; Díaz, Gregorio; Martínez, Enrique; Valero, Valentin

A comparative study between WSCI, WS-CDL, and OWL-S (English)

ICEBE, 377-382 (2009).

16

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70426930 Díaz, Gregorio; Cambronero, María-Emilia; Tobarra, M. Llanos; Ruiz, Valentín Valero; Pelayo, Fernando L.

Enhancing the expressivity of PADL for specifying web services architectures (English)

TAMoCo, 99-110 (2008).

17

PDF XML AMS-TeX TEXT BIBTeX

io-port 50123820 Díaz, Gregorio; Cambronero, María-Emilia; Pardo, Juan José; Valero, Valentin; Cuartero, Fernando

Model checking techniques applied to the design of web services (English)

CLEI Electron. J. 10, No. 2 (2007).

18

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70198506 Cambronero, María-Emilia; Díaz, Gregorio; Pardo, Juan José; Valero, Valentin

Using UML diagrams to model real-time web services (English)

ICIW, 24 (2007).

19

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70201111 Díaz, Gregorio; Navarro, Elena; Cambronero, María-Emilia; Valero, Valentin; Cuartero, Fernando

Testing time goal-driven requirements with model checking techniques (English)

ECBS, 503-514 (2007).

20

PDF XML AMS-TeX TEXT BIBTeX DOI