José Antonio Mateo

15 papers A 1B 1Misc 3Journal 7Unranked 3

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