José Antonio Mateo

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 5

Top Topics

Workflow Models

Wireless Sensor Networks

Top Venues

J. Log. Algebraic Methods Program.

Fundam. Informaticae

Publications

Pablo Rabanal, José Antonio Mateo, Ismael Rodríguez, Gregorio Díaz
Data-aware automatic derivation of choreography-conforming systems of services. Comput. Stand. Interfaces 53 (2017)
M. Carmen Ruiz, Hermenegilda Macià, José Antonio Mateo, Francisco Javier Calleja
Formal Analysis of an Energy-aware Collision Resolution Protocol for Wireless Sensor Networks. ICCS (2016)
Hermenegilda Macià, M. Carmen Ruiz, José Antonio Mateo, Javier L. Calleja
Petri nets-based model for the analysis of NORIA protocol. Concurr. Comput. Pract. Exp. 27 (17) (2015)
José Antonio Mateo, Jirí Srba, Mathias Grund Sørensen
Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics. Fundam. Informaticae 140 (1) (2015)
José Antonio Mateo, Hermenegilda Macià, M. Carmen Ruiz, Javier L. Calleja, Fernando Royo
Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation. Int. J. Distributed Sens. Networks 11 (2015)
José Antonio Mateo, M. Carmen Ruiz, Hermenegilda Macià, Juan José Pardo
Formal Study of Routing Protocols for Wireless Sensor Networks. J. Univers. Comput. Sci. 20 (9) (2014)
José Antonio Mateo, Valentín Valero Ruiz, Hermenegilda Macià, Gregorio Díaz
A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF. SEFM Workshops (2014)
José Antonio Mateo, Jirí Srba, Mathias Grund Sørensen
Soundness of Timed-Arc Workflow Nets. Petri Nets (2014)
José Antonio Mateo, Hermenegilda Macià, M. Carmen Ruiz, Juan José Pardo, A. M. Ortiz
Formal Study of a Novel Network Role-based Routing Intelligent Algorithm. ICCS (2013)
Pablo Rabanal, Ismael Rodríguez, José Antonio Mateo, Gregorio Díaz
Improving the Automatic Derivation of Choreography-conforming Web Services Systems. ICCS (2012)
José Antonio Mateo, Valentín Valero, Gregorio Díaz
BPEL-RF: A formal framework for BPEL orchestrations integrating distributed resources CoRR (2012)
Gregorio Díaz, Luis Llana, Valentín Valero Ruiz, José Antonio Mateo
Conformance Verification of Normative Specifications using C-O Diagrams FLACOS (2012)
Ismael Rodríguez, Gregorio Díaz, Pablo Rabanal, José Antonio Mateo
A centralized and a decentralized method to automatically derive choreography-conforming web service systems. J. Log. Algebraic Methods Program. 81 (2) (2012)
José Antonio Mateo, Valentín Valero, Gregorio Díaz
An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework. WS-FM (2011)
Pablo Rabanal, José Antonio Mateo, Ismael Rodríguez, Gregorio Díaz
DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems. ICWS (2011)