 |
 |
| Publications of 2006 |
 |
Analysis of the SET e-commerce protocol using a true concurrency process algebra M.Carmen Ruiz, D.Cazorla,F.Cuartero,J.J. Pardo Proceedings of the 21th ACM Symposium on Applied Computing (SAC 2006) Dijon(France), April,2006 Draft Version (PostScript) Bibtex Entry |
|
|
Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra M.C.Ruiz, D.Cazorla, F.Cuartero, J.J.Pardo Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation (CIMCA'06)(To appear) Sydney (Australia), November 2006 Draft Version (PostScript) Bibtex Entry |
|
|
Process Algebra Specification of Flexible Manufacturing Systems M.C. Ruiz, D. Cazorla, F. Cuartero and J.J. Pardo Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'06)(To appear) Timisoara (Romania), September 2006. Draft Version (PostScript) Bibtex Entry |
|
|
A Bounded True Concurrency Process Algebra for Automated Verification M.C.Ruiz, D.Cazorla, F.Cuartero, J.J.Pardo Electronic Notes in Theoretical Computer Science (To appear) Presented at Fifth International Workshop on Automated Verification of Infinite-State Systems (AVIS'06) Draft Version (PostScript) Bibtex Etry |
|
Aplying and Developing Formal Techniques in the design of E-Commerce Oriented Web Services with Strong Time Constraints. Gregorio Diaz Phd. Thesis June,2006 Draft Version (Pdf) Bibtex Entry |
|
|
Automatic Generation of Correct Web Services Choreographies and Orchestrations with Model-Checking G. Diaz, M.E.Cambronero, J.J. Pardo, V.Valero, F.Cuartero Proceedings of International Conference on Internet and Web Applications and Services (ICIW 2006) Guadeloupe (French Caribbean), February,2006 Draft Version (PostScript) Bibtex Entry |
|
|
Modeling WS-BPEL with RT-UML Diagrams M.E. Cambronero, J.J.Pardo, G. Diaz, V.Valero, Proceedings of International workshop on Modeling and Analysis of Real-Time and Embedded Systems (MARTES'2006) Genova (Italy), October 2006. Draft Version (PostScript) Bibtex Entry |
|
|
Analysis and Verification of Time Requirements Applied to the Web Services Composition G. Diaz, M.E. Cambronero, Ll. Tobarra, V.Valero, F. Cuartero Proceedings of Web Services and Formal Methods LNCS-4184 Viena (Austria), September 2006. Draft Version (Pdf) Bibtex Entry |
|
|
WST: A tool for the Translation of WS-CDL into Timed Automata M.E. Cambronero, V.Valero, I. Aparicio, G. Diaz, J.J.Pardo Actas de XIV Jornadas de Concurrencia y Sistemas Distribuidos San Sebastian (Spain), June 2006. Draft Version (PostScript) Bibtex Entry |
|
|
Traduccion de una Especificacion WS-CDL en Automatas Temporizados M.E. Cambronero, I.Aparicio, V. Valero, G. Diaz, J.J. Pardo Proceedings of the Conference IADIS IWWW/internet Ibero-Americana 2006 Murcia (Spain) October 2006. Draft Version (PostScript) Bibtex Entry |
|
|
Discussion on Formal Specification Method for Systems Automation V.Valero, M.E.Cambronero European Journal of Control (To appear) Draft Version (PostScript) Bibtex Entry |
|
|
Formal Verification of TLS Handshake and Extensions for Wireless Networks Ll. Tobarra, D. Cazorla, F. Cuartero , G. Diaz Proceedings of the IADIS International Conference on Applied Computing (IADIS-AC'06), pages 57-64 San Sebastián (Spain), February 2006. Draft Version (Pdf) Bibtex Entry |
|
|
Computación de Altas Prestaciones en el grupo de Sistemas Concurrentes y de Tiempo Real E. Arias, D. Cazorla, V. Guijarro, J. Cruz Actas de XIV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD'06) (in Spanish) San Sebastián (Spain), June 2006 Draft Version (PostScript) Bibtex Entry |
|
|
A user interface for the representation of the dynamic results on the pantograph-catenary interactions David Cebrian, Tomás Rojo, Angelines Alberto, Enrique Arias, Fernando Cuartero Proceedings of Tenth International Conference on Computer System Design and Operation in the Railway and Other Transit Systems (Comprail, 2006) Draft Version (PostScript) Bibtex Entry |
|
|
A High Performance Algorithm to Solve the Static Stiffness Problem onf a Catenary Angelines Alberto, E. Arias, David Cebrian , Tomás Rojo, Fernando Cuartero and Jesús benet Proceedings Proceedings of the Seventh International Conference on Computational Structures Technologies (CST'06) Draft Version (PostScript) Bibtex Entry |
|
|
An efficient method for study of the pantogrpah-catenary dynamic interaction Jesús Benet, Enrique Arias, Angelines Alberto y David Cebrian Revista Internacional Información Tecnológica, 2006 Draft Version (PostScript) Bibtex Entry |
|
|
Optimized derivation of transfer functions and a software living it. Application to biological systems R. Varón, M. García-Moreno, E. Valero, M. E. Fuentes, M. LL. Amo, E. Arias, E. Arribas and F. García-Sevilla Applied Mathematics and Computation, 2006 Draft Version (PostScript) Bibtex Entry |
|
|
A Fixed-Point based BDF Method for Solving Differential Equations E. Arias, V. Hernández, J. J. Ibáñez and J. Peinado Applied Mathematics and Computation, 2006 Draft Version (PostScript) Bibtex Entry |
|
|
General solution of the set of differential equations describing the time invariant linear dynamic systems. Application to enzyme systems R. Varón, M. Picazo, A. Alberto, E. Arribas, J. Masia-Pérez, E. Arias Applied Mathematical Sciences, 2006. Draft Version (PostScript) Bibtex Entry |
|
|
An efficient method to solve the static stiffness problem on a catenary with equal spans A. Alberto, E. Arias, D. Cebrian, T. Rojo and F. Cuartero Proceedings of 14th European Conference on Mathematics for Industry (ECMI 2006) Leganés (Spain), July, 2006. Draft Version (PostScript) Bibtex Entry |
|
|
Obtención de funciones de transferencia en procesos enzimáticos: desarrollo de una implementación basada en Matlab con interfaz gráfico E. Arias, M. Picazo, F. García-Sevilla, A. Alberto, E. Arribas, R. Varón Actas de XXIX Congreso de la Sociedad Española de Bioquímica y Biología Molecular Elche (Spain) September 2006. Draft Version (PostScript) Bibtex Entry |
|
|
Evaluation of the kinetic parameters and inicial enzyme concentration in enzyme systems fitting to the simple Michaelis-Menten mechanism M. García-Moreno, R. Varón, J. Masiá-Pérez, F. García-Molina, F. García-Cánovas, E. Arias, E. Arribas, F. García-Sevilla Actas de XXIX Congreso de la Sociedad Española de Bioquímica y Biología Molecular Elche (Spain) September 2006. Draft Version (PostScript) Bibtex Entry |
|
|
Un método para la determinación de los parámetros cinéticos en sistemas enzimáticos inestables R. Varón, A. Sotos-Lomas, M. J. García Meseguer, M. García-Moreno, E. Arribas , E. Arias, J. Masiá-Pérez Actas de XXIX Congreso de la Sociedad Española de Bioquímica y Biología Molecular Elche (Spain) September 2006. Draft Version (PostScript) Bibtex Entry |
|
|
Solving ODEs and DAEs: A non singular jacobian approach of the piecewise linearizarion method E. Arias, V. Hernández and J. J. Ibáñez Proceedings of 6th Internacional Conference on Computacional and Mathematical Methods in Science and Engineering (CMMSE06) Madrid (Spain), September 2006 Draft Version (PostScript) Bibtex Entry |