José Antonio Mateo

According to our database, José Antonio Mateo authored at least 15 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

Data-aware automatic derivation of choreography-conforming systems of services.

Pablo Rabanal, José Antonio Mateo, Ismael Rodríguez, Gregorio Díaz

Comput. Stand. Interfaces, 2017

2016

Formal Analysis of an Energy-aware Collision Resolution Protocol for Wireless Sensor Networks.

M. Carmen Ruiz, Hermenegilda Macià, José Antonio Mateo, Francisco Javier Calleja

Proceedings of the International Conference on Computational Science 2016, 2016

2015

Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation.

José Antonio Mateo, Hermenegilda Macià, M. Carmen Ruiz, Javier L. Calleja, Fernando Royo

Int. J. Distributed Sens. Networks, 2015

Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics.

José Antonio Mateo, Jirí Srba, Mathias Grund Sørensen

Fundam. Informaticae, 2015

Petri nets-based model for the analysis of NORIA protocol.

Hermenegilda Macià, M. Carmen Ruiz, José Antonio Mateo, Javier L. Calleja

Concurr. Comput. Pract. Exp., 2015

2014

Formal Study of Routing Protocols for Wireless Sensor Networks.

José Antonio Mateo, M. Carmen Ruiz, Hermenegilda Macià, Juan José Pardo

J. Univers. Comput. Sci., 2014

A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF.

José Antonio Mateo, Valentín Valero Ruiz, Hermenegilda Macià, Gregorio Díaz

Proceedings of the Software Engineering and Formal Methods, 2014

Soundness of Timed-Arc Workflow Nets.

José Antonio Mateo, Jirí Srba, Mathias Grund Sørensen

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013

Formal Study of a Novel Network Role-based Routing Intelligent Algorithm.

José Antonio Mateo, Hermenegilda Macià, M. Carmen Ruiz, Juan José Pardo, A. M. Ortiz

Proceedings of the International Conference on Computational Science, 2013

2012

Improving the Automatic Derivation of Choreography-conforming Web Services Systems.

Pablo Rabanal, Ismael Rodríguez, José Antonio Mateo, Gregorio Díaz

Proceedings of the International Conference on Computational Science, 2012

A centralized and a decentralized method to automatically derive choreography-conforming web service systems.

Ismael Rodríguez, Gregorio Díaz, Pablo Rabanal, José Antonio Mateo

J. Log. Algebraic Methods Program., 2012

Conformance Verification of Normative Specifications using C-O Diagrams

Gregorio Díaz, Luis Llana, Valentín Valero Ruiz, José Antonio Mateo

Proceedings of the Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2012

BPEL-RF: A formal framework for BPEL orchestrations integrating distributed resources

José Antonio Mateo, Valentín Valero, Gregorio Díaz

CoRR, 2012

2011

An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework.

José Antonio Mateo, Valentín Valero, Gregorio Díaz

Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems.

Pablo Rabanal, José Antonio Mateo, Ismael Rodríguez, Gregorio Díaz

Proceedings of the IEEE International Conference on Web Services, 2011