Publications of 2005 A translation of TPALp into a class of timed-probabilistic Petri nets A. Bueno, V. Valero, F. Cuartero Theoretical Computer Science June,2005 Draft Version (PostScript)     Bibtex Entry Numerical Integration of the Differential Riccati Equation: A High Performance Computing Approach E. Arias, V. Hernández Proceedings of VECPAR'05. Lecture Notes in Computer Science-3402 2005 Draft Version (PostScript)     Bibtex Entry An approach to handle Real Time and Probabilistic behaviors in ecommerce:Validating the SET Protocol G. Diaz, K. Larsen, J.J. Pardo, F. Cuartero, V. Valero Proceedings of the 20th ACM Symposium on Applied Computing (SAC 2005) Santa Fe(U.S.A), 2005 Draft Version (PostScript)     Bibtex Entry Obtaining Probabilistic Dynamic State Graphs for TPPAL processes J.J. Pardo, V. Valero, M.C. Ruiz, F.Cuartero, G. Diaz Proceedings of the Australian Software Engineering Conference (ASWEC'2005) Brisbane (Australia), 2005 Draft Version (PostScript)     Bibtex Entry Using UPPAAL to analyze an MPEG-2 algorithm M.E.Cambronero,A.P.Ravn, V.Valero Proceedings of 23º Simpósio Brasileiro de Redes de Computadores (SBRC) and VII Workshop Brasileiro de Tempo Real Fortaleza (Brasil), 2005 Draft Version (PostScript)     Bibtex Entry Verification of Web Services with Timed Automata G.Diaz, J.J. Pardo, M.E. Cambronero, V. Valero, F. Cuartero Electronic Notes in theoretical Computer Science Presented in the 1st Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'05) Valencia( Spain),2005 Draft Version (PostScript)     Bibtex Entry Application of Formal Methods to the Analysis of Web Services Security LL. Tobarra, D. Cazorla, F. Cuartero, G. Diaz Proceedings of the 2nd International Workshop on Web Services and Formal Methods (WS-FM'2005) Versailles(France), September,2005 Draft Version (PostScript)     Bibtex Entry Automatic Translation of WS-CDL Choreographies to Timed Automata G.Diaz, J.J. Pardo, M.E. Cambronero, V. Valero, F. Cuartero Proceedings of the 2nd International Workshop on Web Services and Formal Methods (WS-FM'2005) Versailles(France), September,2005 Draft Version (Pdf)     Bibtex Entry A Measure of Simplicity for the Dynamics of an Economic/Biological Discrete Model F. Balibrea, J.L.G. Guirao, F.L. Pelayo WSEAS Transactions on BIOLOGY and BIOMEDICINE Draft Version (PostScript)     Bibtex Entry Generating the Syntactic and Semantics Graphs for a Markovian Process Algebra F.L. Pelayo, M.L. Pelayo, J.L.G. Guirao Journal of Computational and Applied Mathematics, 2005 Draft Version (PostScript)     Bibtex Entry A Graphical Approach to the Computability and the Undecidability of Identifying the Rationals among the Reals F. L. Pelayo, J. A. Aledo, J. C.Cortes Journal of Mathematical Modelling and Algorithms, 2005 Draft Version (PostScript)    Bibtex Entry Specifying the Memorization process with STOPA F. L. Pelayo, M. Nuñez, N. Lopez Proceedings of 4th International Conference on Cognitive Informatics (ICCI'2005) Irvine (USA), 2005 Draft Version (PostScript)    Bibtex Entry How does the Memory work? by Timed-Arc Petri Nets F.L. Pelayo, F. Cuartero, V. Valero, M.L. Pelayo, M.G. Merayo Proceedings of /4th International Conference on Cognitive Informatics (ICCI'2005) Irvine (USA), 2005 Draft Version (PostScript)     Bibtex Entry A Formal Methodology to Test Complex Embedded Systems: Application to the Interactive Driving System by GM M. Nuñez, F.L. Pelayo, I. Rodriguez Proceedings of 4th International Embedded Systems Symposium (IESS'2005) Manaus (Brasil), 2005 Draft Version (PostScript)    Bibtex Entry