José Antonio Mateo

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Data-aware automatic derivation of choreography-conforming systems of services.
Comput. Stand. Interfaces, 2017

2016
Formal Analysis of an Energy-aware Collision Resolution Protocol for Wireless Sensor Networks.
Proceedings of the International Conference on Computational Science 2016, 2016

2015
Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation.
Int. J. Distributed Sens. Networks, 2015

Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics.
Fundam. Informaticae, 2015

Petri nets-based model for the analysis of NORIA protocol.
Concurr. Comput. Pract. Exp., 2015

2014
Formal Study of Routing Protocols for Wireless Sensor Networks.
J. Univers. Comput. Sci., 2014

A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF.
Proceedings of the Software Engineering and Formal Methods, 2014

Soundness of Timed-Arc Workflow Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013
Formal Study of a Novel Network Role-based Routing Intelligent Algorithm.
Proceedings of the International Conference on Computational Science, 2013

2012
Improving the Automatic Derivation of Choreography-conforming Web Services Systems.
Proceedings of the International Conference on Computational Science, 2012

A centralized and a decentralized method to automatically derive choreography-conforming web service systems.
J. Log. Algebraic Methods Program., 2012

Conformance Verification of Normative Specifications using C-O Diagrams
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
CoRR, 2012

2011
An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework.
Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems.
Proceedings of the IEEE International Conference on Web Services, 2011


  Loading...