Publications of 2007 Model Checking Techniques applied to the design of Web Services Gregorio Diaz, M.E.Cambronero, J.J.Pardo, V. Valero Clei Electronic Journal To Appear Draft Version (PostScript)     Bibtex Entry Using RT-UML for Modeling Web Services M.E. Cambronero, J.J. Pardo, G. Diaz, V, Valero Proceedings of the 20th ACM Symposioum on Applied Computing SAC'2007 Seoul (Korea), March 2007 Draft Version (PostScript)     Bibtex Entry Using UML Diagrams to Model Real-Time Web Services M.E. Cambronero, G. Diaz, J.J. Pardo, V, Valero Proceedings of Advanced International Conference on Telecommunicationos and International Conference on Internet and Web Applications and Services (AICT/ICIW 2007) Mauritius, May 2007. Draft Version (PostScript)     Bibtex Entry Analisis y Verificación de un sistema de Servicios Web para la mejora de regadios J.J. Pardo, G. Diaz, M.C.Ruiz M.E. Cambronero, V. Valero XV Jornadas de Concurrencia y Sistemas Distribuidos Torremolinos (Spain), June, 2007 Draft Version (PostScript)     Bibtex Entry A Bounded True Concurrent Process Algebra and Flexible Manufacturing Systems M. C. Ruiz, D. Cazorla, F. Cuartero, H. Macia XV Jornadas de Concurrencia y Sistemas Distribuidos Torremolinos (Spain), June, 2007 Draft Version (PostScript)     Bibtex Entry Automation of Avionic Systems Testing David Cebrian, Valentín Valero and Fernando Cuartero TestCom 2007 Tallin (Estonia), June, 2007 Draft Version (PostScript)     Bibtex Entry Model Checking Wireless Sensor Network Security Protocols: TinySec + LEAP Ll. Tobarra, D. Cazorla, F. Cuartero, G. Díaz, M.E. Cambronero First IFIP International Conference on Wireless Sensor and Actor Networks (WSAN 2007) Albacete (Spain), September, 2007 Draft Version (PostScript)     Bibtex Entry Analysis ofWeb Services Secure Conversation with Formal Methods Ll. Tobarra, D. Cazorla, F. Cuartero, G. Díaz Second International Conference on Internet and Web Applications and Services Morne (Mauritious Island) , May, 2007 Draft Version (PostScript)     Bibtex Entry Formal Analysis of Sensor Network Encryption Protocol (SNEP) Ll. Tobarra, D. Cazorla, F. Cuartero 3rd IEEE International Workshop on Wireless and Sensor Networks Security (IEEE WSNS 2007) Pisa(Italy), October, 2007 Draft Version (PostScript)     Bibtex Entry Analysis of security protocol MiniSec for Wireless Sensor Networks Ll. Tobarra, D. Cazorla, F. Cuartero IV Congreso Iberoamericado de Seguridad Informática (CIBSI 2007) Mar de la Plata (Argentina), November, 2007 Draft Version (PostScript)     Bibtex Entry