Jose Antonio Mateo Cortes
Jose Antonio Mateo Cortes
Postdoctoral Researcher at University of Castilla-La Mancha
Verified email at
Cited by
Cited by
An operational semantics of BPEL orchestrations integrating web services resource framework
JA Mateo, V Valero, G Díaz
International Workshop on Web Services and Formal Methods, 79-94, 2011
Probabilistic model checking: one step forward in wireless sensor networks simulation
JA Mateo, H Macià, MC Ruiz, J Calleja, F Royo
International Journal of Distributed Sensor Networks 11 (5), 285396, 2015
A coloured Petri net approach to model and analyse stateful workflows based on WS-BPEL and WSRF
JA Mateo, V Valero, H Macià, G Díaz
Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops …, 2015
A centralized and a decentralized method to automatically derive choreography-conforming web service systems
I Rodríguez, G Díaz, P Rabanal, JA Mateo
The Journal of Logic and Algebraic Programming 81 (2), 127-159, 2012
Soundness of timed-arc workflow nets
JA Mateo, J Srba, MG Sørensen
Application and Theory of Petri Nets and Concurrency: 35th International …, 2014
Formal modelling and performance evaluation of a novel role-based Routing Algorithm for wireless sensor networks
MC Ruiz, JA Mateo, H Macia, JJ Pardo, T Olivares
2012 18th International Conference on Advanced Computing and Communications …, 2012
Petri nets‐based model for the analysis of NORIA protocol
H Macia, MC Ruiz, JA Mateo, JL Calleja
Concurrency and Computation: Practice and Experience 27 (17), 4704-4715, 2015
Soundness of timed-arc workflow nets in discrete and continuous-time semantics
JA Mateo, J Srba, MG Sørensen
Fundamenta Informaticae 140 (1), 89-121, 2015
Formal analysis of an energy-aware collision resolution protocol for wireless sensor networks
MC Ruiz, H Macià, JA Mateo, J Calleja
Procedia Computer Science 80, 1191-1201, 2016
BPEL-RF: a formal framework for BPEL orchestrations integrating distributed resources
JA Mateo, V Valero, G Dıaz
arXiv preprint arXiv:1203.1760, 2012
Data-aware automatic derivation of choreography-conforming systems of services
P Rabanal, JA Mateo, I Rodriguez, G Diaz
Computer Standards & Interfaces 53, 59-79, 2017
Improving the automatic derivation of choreography-conforming web services systems
P Rabanal, I Rodr’guez, JA Mateo, G D’az
Procedia Computer Science 9, 449-458, 2012
DIEGO: A tool for DerIving chorEoGraphy-cOnforming web service systems
P Rabanal, JA Mateo, I Rodríguez, G Díaz
2011 IEEE International Conference on Web Services, 187-194, 2011
Formal Study of Routing Protocols for Wireless Sensor Networks.
JA Mateo, MC Ruiz, H Macia, JJ Pardo
J. Univers. Comput. Sci. 20 (9), 1373-1401, 2014
Formal study of a novel network role-based routing intelligent algorithm
JA Mateo, H Macià, MC Ruiz, JJ Pardo, AM Ortiz
Procedia Computer Science 18, 2525-2528, 2013
Bpel-rf tool: An automatic translation from ws-bpel/wsrf specifications to petri nets
M Dıaz, V Valero, H Macia, JA Mateo, G Dıaz
ICSEA, 2012
Conformance Verification of Normative Specifications using CO Diagrams
G Díaz, L Llana, V Valero, JA Mateo
arXiv preprint arXiv:1209.2237, 2012
Modeling conference contribution management using Web Services
JA Mateo, G Díaz, E Martínez, ME Cambronero
2010 Fifth International Conference on Internet and Web Applications and …, 2010
A publication of the Department of Computer Science
JA Gámez
Analysis and Verification of Web Services Resource Framework (WSRF) Specifications Using Timed Automata
JA Mateo, V Valero, G Díaz
The system can't perform the operation now. Try again later.
Articles 1–20