| 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 | 9 | 2011 |
| 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 | 8 | 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 | 8 | 2012 |
| 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 | 7 | 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 | 7 | 2015 |
| 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 | 7 | 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 | 6 | 2015 |
| Soundness of timed-arc workflow nets JA Mateo, J Srba, MG Sørensen Application and Theory of Petri Nets and Concurrency: 35th International …, 2014 | 6 | 2014 |
| BPEL-RF: a formal framework for BPEL orchestrations integrating distributed resources JA Mateo, V Valero, G Dıaz arXiv preprint arXiv:1203.1760, 2012 | 6 | 2012 |
| 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 | 5 | 2016 |
| 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 | 4 | 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 | 4 | 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 | 3 | 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 | 2 | 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 | 2 | 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 | 2 | 2012 |
| Conformance Verification of Normative Specifications using CO Diagrams G Díaz, L Llana, V Valero, JA Mateo arXiv preprint arXiv:1209.2237, 2012 | 1 | 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 | | 2010 |
| A publication of the Department of Computer Science JA Gámez | | 2005 |
| Analysis and Verification of Web Services Resource Framework (WSRF) Specifications Using Timed Automata JA Mateo, V Valero, G Díaz | | |
