Curriculum vitae

José María Troya Linero Febrero 2005

Apellidos: Troya Linero Nombre: José María D.N.I.: 28.398.462-V Fecha de nacimiento: 26-11-52 Sexo: V

Situación profesional actual Organismo: Universidad de Málaga Facultad, Escuela o Instituto: E.T.S.I. Informática Depto./Secc./Unidad estr.: Depto. Lenguajes y Ciencias de la Computación Dirección postal: Complejo Tecnológico. Campus de Teatinos. 29071 - Málaga Teléfono (indicar prefijo, número y extensión): 95 - 213 13 98 Fax: 95 - 213 13 97 Correo electrónico: troya@lcc.uma.es Especialización (Códigos UNESCO): 120323 Categoría profesional: Catedrático de Universidad Fecha de inicio: 12-01.89 Situación administrativa Plantilla 3 Contratado � Interino � Becario � Otras situaciones � especificar: Dedicación A tiempo completo 3 A tiempo parcial �

Formación Académica Titulación Superior Centro Fecha Licenciado en C. Físicas Facultad de C. Físicas Junio- 1974

(Universidad Complutense de Madrid) Doctorado Centro Fecha Doctor en C. Físicas Facultad de C. Físicas Junio-1980

(Universidad Complutense de Madrid)

Actividades anteriores de carácter científico profesional

Puesto Institución Fechas Beca FPI Ministerio de Educ. y Ciencia 1975-77 Profesor Colaborador Universidad Complutense de Madrid 1976-80 Adjunto Interino “ 1980-84 Titular de Universidad “ 1984-88 Catedrático de Universidad Universidad de Málaga 1989-

Idiomas (R = regular, B = bien, C = correctamente) Idioma Habla Lee Escribe Inglés B B B Francés R B R

Actividad investigadora financiada (últimos 10 años) ________________________________________________________________________

a) Redes y proyectos de ámbito europeo (financiación pública)

- Red Europea Compulog. . Coordinador del nodo la Universidad de Málaga.(93- 98).

- Thermohydraulic Code Parallelization (PACOTE). Proyecto ESPRIT PACOS en colaboracion con la empresa TECNATOM S.A. Responsable por la Universidad de Málaga : José M. Troya Linero. 1995-96. 6 participantes.

- Red Europea EVONET. Proyecto europeo. Nodo asociado. 1994-98.

- Lenguajes y modelos para la interacción de componentes software. Acción Integrado

Hispano-Italiana. Univ. Málaga-Univ. de Pisa. Ref.: HI1998-0181. Investigador Principal. 1999-2000.

- Infraestructures for Legal Binding in Electronic Commerce. Acción Integrado Hispano-

Alemana. Univ. Málaga-Univ. de Essen. Ref.: HA2000-0064. Investigador Principal. 2001-2002.

- CASENET: Computer-Aided Solutions to Secure Electronic Commerce Transactions.

Proyecto Europeo IST 2001-32446. Investigador Principal. 2001-2003.

b) Redes y proyectos de ámbito nacional (finaciación pública)

- Desarrollo de un sistema de programación lógica para arquitecturas distribuidas. Proyecto CICYT. Dpto. de Lenguajes y C. de la Computación. Universidad de Málaga. Investigador

principal. 1991-1993. 8 participantes. - Terminal Multimedia de Banda Ancha (Tarea 7.4) Proyecto Planba - CICYT. Departamento de

Lenguajes y C. de la Computación. Universidad de Málaga. Investigador Principal. 1992-1995. 10 participantes.

- Validación de protocolos relativos a TEMA. Proyecto PLANBA concertado con Telefónica I+D,

Labein, AEQ y APD. Dpt. de Lenguajes y Ciencias de la Computación. Universidad de Málaga. Investigador principal. 1992-1995. 10 participantes.

- Un entorno de Desarrollo para Sistemas Distribuidos. Proyecto coordinado CICYT entre Dpt. de

Lenguajes y Sistemas Informáticos de la Univ. de Granada y Dpt. de Lenguajes y Ciencias de la Computación de la Univ. de Málaga. Coordinador e Investigador principal del subproyecto 1 José M. Troya Linero. 1994-97. 17 participantes

- IDEAS: Ingeniería de Ambientes Software. Proyecto Coordinado CITED. Investigador Principal del

grupo de investigación Univ. Málaga.. 1997-98.

- Arquitectura Software de Sistemas Abiertos. Un enfoque basado en el paradigma de la coordinación. Proyecto CICYT TIC98-1049-C02-01. Investigador Principal. 1998-99.

- Desarrollo de un Marco de Trabajo para la comunicación segura entre las

Administraciones Públicas y los ciudadanos a través de Internet. Proyecto cofinanciado con fondos FEDER. 1FD97-0850. Investigador Principal .1999-2001.

- Diseño software basado en componentes. Metodologías y herramientas para el desarrollo de aplicaciones distribuidas. Proyecto coordinado CICYT TIC99-1083-C02-01.Coordinador e Investigador Principal. 1999-2002.

- Entornos distribuidos geográficamente: Métodos Híbridos. Proyecto coordinado CICYT

TIC99-0754-C03-03. Investigador. 1999-2002

- E-ticket: Arquitectura de Aplicaciones de Tarjetas Inteligentes para el Sector Servicios. Proyecto cofinanciado con fondos FEDER 1FD97-1269-C02-02. Investigador. 2000-2001.

- Metodologías y herramientas para el desarrollo de aplicaciones basado en componentes

y aspectos. Proyecto CICYT coordinado TIC2002-04309-C02-02. Coordinador e Investigador Principal .2003-2005.

- Desarrollo de software para sistemas distribuidos P2P. Proyecto TIN coordinado

TIN2005-09405-C02-01. 2006 - 2008.

c) Otras actividades financiadas en convocatorias públicas

- Ayuda a los Grupos de Investigación. Junta de Andalucia. Investigador Principal del grupo TIC 136. Convocatorias bianuales.

- Infraestructura: SISTEMA MULTIPROCESADOR. Subvención CICYT, Junta de Andalucia y

fondos FEDER. Participante. 1994. 8 grupos de investigación. - Elaboración de Propuestas a Proyectos Europeos. Acción Especial. TIC95-1292-E

- Coordinación de Grupos de Investigación en el Área de Medición y Experimentación en Ingeniería

del Software. Acción Especial CICYT TIC98-1179-E. Participante. (Responsable: Javier Dolado, Univ. Pais Vasco). 1998-99.

- Organización de la Information Security Conference. Oct. 2000, Málaga. Acción especial TIC2000-3017-E. Responsible, 2000.

- Ayuda complementaria a proyecto europeo CASENET IST-2001-32446. Acción especial TIC2001-5468-E.

- Organiación XVI ECOOP 2002. Junio 2002, Málaga. Acción Especial TIC2001-4742-E.Responable, 2002

d) Proyectos con Empresas (financiación privada)

- Gestión Automática de Ubicaciones de Componentes SMD en el Taller de PBAs. Alcatel Citesa Dpt. De Lenguajes y C. Computacion-Universidad de Málaga. Investigador

principal..1994-1995. 2 participantes - Desarrollo de servicios multimedia en el marco del proyecto ASTERIX. Telefónica I+D. Dpt. De Lenguajes y C. Computacion-Universidad de Málaga Investigador principal

por la Univ. de Malaga 1995. 3 participantes.

- Desarrollo de un conmutador RELAP/TRACPWR.

Tecnatom S.A.. Dpt. De Lenguajes y C. Computacion-Universidad de Málaga Investigador principal. 1995-96. 5 participantes.

- Aplicación de una metodología de Diseño Otientado a Objetos al desarrollo de sistemas CT0. Alcatel-Citesa. Dpt. De Lenguajes y C. Computacion-Universidad de Málaga. Investigador principal.

1996-98. 5 participantes. - Desarrollo de una base de datos para el análisis de datos y el seguimiento integral de pacientes. Fundación Carlos Haya. Dpt. Lenguajes y C. Computación-Universidad de Málaga. Investigador

Principal. 1997-98. 4 participantes.

- Sistema Automático de Reconocimiento de la Voz en la Inspección Técnica de Vehículos. IVESUR- Dpt. Lneguajes y C. Computación. Univ. Málaga.Investigador principal.. 4 personas. 1998-

99.

- Desarrollo de una herramienta software interactiva de ayuda a la simulación. TECNATOM S.A. – Dpt. Lenguajes y C. Computación. Investigador principal. 5 personas. 1999. - Simulador Gráfico Interactivo para la CN Trillo. TECNATOM S.A. – Dpt. Lenguajes y C. Computación. Investigador principal.. 4 personas. 2000-

2002.

- TRACOM: Diseño de un Entorno de Trabajo Cooperativo y Multimedia. Fundación Retevisión. Dpto. Lenguajes y Ciencias de la Computación en colaboración con Dept. de Tecnología Electrónica. Investigador Principal. 6 personas. 2000-01. - MIS: Mejora del Proceso de Ingeniería del Software. TECNATOM S.A. – Dpt. Lenguajes y C. Computación. Investigador principal.. 3 personas. 2001-

2002. - Desarrollo de un Núcleo de Infraestructura de Clave Pública. Banesto – FGUM – Dpt. Lenguajes y Ciencias de la Computación. Investigador principal.. 4 personas.

2001. - Soporte al Desarrollo de Proyectos sobre tarjetas Inteligentes. Banesto – FGUM – Dpt. Lenguajes y Ciencias de la Computación. Investigador principal.. 4 personas.

2001. - Formación de un grupo estable de apoyo tecnológico a Tecnatom. Investigador principal.

2005 - Investigación en comunicaciones móviles: AFP/ACP y otros problemas. Investigador

principal. 2005 - Mejora continua de procesos de ingeniería del Software 2005 (MIS 2005). Investigador

principal. 2005 - Monitorización de calidad de servicio en comunicaciones móviles (TARTESSOS

TECHNOLOGIES S.L./OPTIMI) Investigador principal. 2005 - Comunicaciones y lectura de ficheros array y ultrasónico multi 2000 - M2M. Investigador

principal. 2005 - Automatización del análisis ultrasónico de indicaciones en la cadena de producción de

combustible nuclear en entornos de computación de bajo coste. Investigador principal. 2005

- Actividades de apoyo tecnológico 2005. Investigador principal. 2005

- Herramientas y metodologías de generación y verificación de código en sistemas de

comunicaciones. Investigador principal. 2005/2006 - Acceso móvil a la información de transporte y turismo de la Costa el Sol, generada en el

proyecto de información sobre transportes en la Costa del Sol a través de Internet - PROYECTO EMIRES Investigador principal. 2005/2006

- Actividades de apoyo tecnológico en Ingeniería de Software para sistemas de inspección.

Investigador principal. 2006 - Integración del código Panacea en el entorno Aides. Investigador principal. 2006

Publicaciones o Documentos Científico-Técnicos

(últimos 10 años)

a) Artículos en revistas internacionales

M. Capel, J.M. Troya and A. Palma. “Distributed Active Objects: A methodological Proposal and Tool for Distributed Programming with Transputer Systems”. Microprocessor and Microprogramming, 38, 1993, pp. 197-204. M. Díaz and J.M. Troya. “A Parlog based real-time distributed logic environment”. Future Generation Computer Systems, 9, 1993, pp. 201-208. M. Capel and J. M. Troya . “An Object Based Tool and Methodological Approach for Distributed Programming”. Software-Concepts and Tools, 15, Dec. 1994., pp.:177-194. M. Diaz, E. Pimentel and J.M. Troya. “DROL: A Distributed and Realtime Object-Oriented Logic Environment”. The Computer Journal, vol. 37, no. 5. 1994, pp.: 407-421. V. Benjumea, M. Roldán and J.M. Troya. “Implementation and Evaluation of OR-Parallel Prolog Models on distributed Systems”. Journal of Programming Languages, vol. 2, no. 2. 1994, pp. 109-124. P. Merino, B. Rubio and J.M. Troya. “A Distributed Implementation of a Concurrent Logic Language”. Transputer Communications, 3(2), 117-135, April 1996. M. Díaz, B. Rubio and J.M. Troya, “Distributed Programming with a Logic Channel-based Coordination Model”. The Computer Journal. Vol. 39, no. 10, 1996, pp. 876-889. M. Díaz, B. Rubio and J.M. Troya. “DRL: A Distributed Real-time Logic Language”. Computer Languages, Vol. 23, No. 2-4, pp. 87-120, 1997. P. Merino and J.M. Troya “Modelling and Verification of the MCS Layer with SPIN” DIMACS Series in Discrete Mathematics and Theoretical Computer Science. Vol. 32, Pags. 101-111, 1997 C. Cotta and J.M. Troya. “Genetic Forma Recombination in Permutation Flowshop Problems” Evolutionary Computation. 6(1):25-44, 1998 E. Alba and J. M. Troya “A Survey of Parallel Distributed Genetic Algorithms” Complexity, Vol. 4, Nº 4, pp. 31-52. March/April 1999

E. Alba, C. Cotta and J.M. Troya “Evolutionary Design of Fuzzy Logic Controllers using Strongly-Typed GP” Mathware and Soft Computing, 6:1-16, 1999

A.J. Nebro, E. Pimentel and J.M. Troya “Distributed Objects: An Approach based on Replication and Migration” Journal of Object-Oriented Programming. Vol. 12, Nº 1, 1999. pp 22-27

L. Fuentes y J. M. Troya “A Java Framework for Web-based Multimedia and Collaborative Applications” IEEE Internet Computing. Vol. 3, No. 2, Mrch/April 1999 Págs: 55 - 65 E. Alba, J.M. Troya “Influence of the Migration Policy in Parallel Distributed GAs with Structured and Panmictic Populations” Applied Intelligence, 12(3):163-181, 2000

C. Cotta, E. Alba, J.M. Troya “On The Computational Power of Adaptive Systems” Computers and Artificial Intelligence, 19(1):3-18, 2000

L. Fuentes y J. M. Troya “Towards an Open Multimedia Service Framework” ACM Computing Surveys . Symposium on Object-Oriented Application Frameworks. Vol: 32, No. 1, 7 págs. (Artículo no. 24) .March 2000.

E. Alba, J.M. Troya “Analyzing Synchronous and Asynchronous Parallel Distributed Genetic Algorithms“ Future Generation Computer Systems, 17(4):451-465, January 2001 E. Alba, J.M. Troya “Gaining New Fields of Application for OOP: the Parallel Evolutionary Algorithm Case“ The Journal of Object-Oriented Programming, (web version only) December 2001

L. Fuentes y J. M. Troya “Coordinating Distributed Components on the Web: An Integrated Development Environment”.

Software Practice & Experience, 31(3): 209–233. Marzo 2001 C. Canal, E. Pimentel and J.M. Troya “Compatibility and Inheritance in Software Architectures “ Science of Computer Programming 41(2):105-138. 2001. J.M. Troya, A. Vallecillo. “Controllers: Reusable Wrappers to Adapt Software Components”. Information and Software Technology, 43(3):189—202, Marzo 2001. C. Canal, L. Fuentes, E. Pimentel, J.M. Troya, A. Vallecillo. “Extending CORBA Interfaces with Protocols”. The Computer Journal 44(5):448-462, October 2001. L. Fuentes, J.M. Troya and A. Vallecillo. “Documenting Web-based Application Frameworks”. Annals of Software Engineering, Vol 13, 249-264. Enero 2002. M. Díaz, B. Rubio, E. Soler and J.M. Troya, “A border-based coordination language for integrating task and data parallelism”. Journal of Parallel and Distributed Computing, 62(4); 715-740. 2002

E. Alba, J.M. Troya “Improving Flexibility and Efficiency by Adding Parallelism to Genetic Algorithms” Statistics and Computing, 12:91-114, 2002

E. Alba, A.J. Nebro, J.M. Troya “Heterogeneous Computing and Parallel Genetic Algorithms” Journal of Parallel and Distributed Computing, 62(9): 1362-1385. Sept. 2002.

J. M. Álvarez, M. Díaz, L. Llopis, E. Pimentel, J. M. Troya. “Integrating Schedulability Analysis and Design Techniques in SDL”. Real Time Systems Journal, 24, 267-302, 2003 J. M. Álvarez, M. Díaz, L. Llopis, E. Pimentel, J. M. Troya. “A Methodology for Real-Time Embedded Systems”. The Computer Journal, vol. 46, no. 2, 123-145, 2003.

C. Canal, L. Fuentes, E. Pimentel, J.M. Troya, A. Vallecillo. “Adding Roles to CORBA Objects”. IEEE Transactions on Software Engineering 29(1):1-19, Jan. 2003. C.Cotta and J.M. Troya “Embeding Branch and Bound in Evolutionary Algorithms” Applied Intelligence, 18: 137-153. 2003 J. López, A. Maña, J.J. Ortega, J.M. Troya, M.I. Yagüe. “Integrating PMIm Services in CORBA applications” Computers Standards & Interfaces, 25, 391-409, 2003 C. Cotta and J.M. Troya “Information Processing in Transmitting Recombination” Computers & Mathematics with Applications, 16, 945-948, 2003. M. Pinto, M. Amor, L. Fuentes, and J.M. Troya. “Analaizing Architectural Evolution Issues of Multimedia Frameworks”. Multimedia Tools and Applications, 22, 31-51, 2004. E. Alba, G. Luque, J.M. Troya “Parallel LAN/WAN heuristics for optimization” Parallel Computing, 30, 611-628, 2004. C.Cotta and J.M. Troya. “Reverse engineering of temporal Boolean networks from noisy data using evolutionary algorithms”. Neurocomputing, 62, 111-129. 2004. E. Alba, F. Luna, A.J. Nebro, J.M. Troya “Parallelheterogeneous genetic algorithms for continuous optimization” Parallel Computing, 30, 699-719, 2004. Juan Jose Ortega Daza, Francisco Javier Lopez Muñoz, Jose Maria Troya Linero Security Protocol analysis: a SDL-based approach Computer standards & interfaces 0920-5489, 2005 Monica Pinto Alarcon, Lidia Fuentes Fernandez, Jose María Troya Linero A dynamic Component and aspect-oriented platform Computer journal 0010-4620, 2005

Vicente Benjumea Garcia, Francisco Javier Lopez Muñoz, Jose Maria Troya Linero Specification of a framework for the anonymous use of privileges: developing a culture of privacy in the global village Telematics and informatics, 2006 M.F. Bertoa, Jose Maria Troya Linero, A. Vallecillo.

"Measuring the Usability of Software Components". Journal of Systems and Software, 79(3): 427-439, March 2006. Vicente Benjumea Garcia, Francisco Javier Lopez Muñoz, Jose Maria Troya Linero Anonymous attribute certificates based on traceable signatures Internet research 1066-2243, 2006

b) Capítulos de libro.

L. Fuentes y J. M. Troya “MultiTel: Multimedia Telecommunication Service Framework.” In Domain-Specific Application Frameworks: Manufacturing, Networking, Distributed Systems, and Software Development (Edts.: Mohamed Fayad & Douglas Schmidt & Ralph Johnson). ISBN 0-471-332801. Cap. 21, Págs: 437-467, Octubre 1999. Wiley & Sons. EEUU. V. Benjumea and J.M. Troya “A Static Implementation of the Basic Andorra Model for Distributed Memory Systems” In Parallelism and Implementation of Logic and Constraint Logic Programming Ed. Ines de Castro, Vitor Santos, Gopal Gupta, Enrico Pontelli, Fernado Silva). ISBN 1-56072-673-3). Pags. 179-197. Nova Science Publishers, Inc. New York. EEUU. 1999. L. Fuentes y J. M. Troya “Building Internet-Based Collaborative Multimedia Applications With Plug-And-Play Components.” In Handbook of Internet Computing (Ed. Borko Furht) ISBN 084930086X. Cap.: 9 Páginas: 23 Agosto 2000. IEEE & CRC Press . EEUU L. Iribarne, J.M. Troya, A. Vallecillo. "Trading for COTS Components to Fulfill Architectural Requirements". Chapter 4 of The Development of Component-Based Information Systems (Mark G. Lycett, Sergio de Cesare and Robert Duncan Macredie, eds.), pp. 200-222, M.E. Sharpe, Inc., July 2005. ISBN: 0-7656-1248-8. L. Iribarne, J.M. Troya, A. Vallecillo. "Describing Architectural Requirements of COTS Components". Chapter 2 of Component-based Software Development: Case Studies (Kung-Kiu Lau ed.), pp. 35-56. World Scientific Press, March 2004, ISBN 981-238-828-1.

c) Publicaciones correspondientes a comunicaciones en Congresos Internacionales

(con ISBN y/o ISSN). V. Benjumea, M. Roldan and J.M. Troya -”A Prolog Interpreter for OR Parallelism Evaluation on Distributed Systems”. Euromicro Workshop on Parallel and Distributed Processing. IEEE Computer Society Press, pp. 105-112. Gran Canaria, Spain, January 27-29, 1993. E. Alba, J. Aldana and J.M. Troya -”Genetic Algorithms as Heuristics for Optimizing ANN Design” Artificial Neural Nets and Genetic Algorithms (edits.: R.F. Albretch, C.R. Reeves and N.C. Steele). Springer-Verlag, pp. 683-690. Proc. of the International Conference. 12-17 April. Innsbruck Austria. 1993 J.F. Aldana, L. Fuente and J.M. Troya -”URANO: An Object-Oriented Artificial Neural Network Simulation Tool”.

New Trends in NeuraL Artificial Networks (edits.: J. Mira, J. Cabestany and A. Prieto). Lecture Notes in Computer Science, 686, Springer-Verlag, 1993. pp.: 364-369. E. Alba, J. F. Aldana and J.M. Troya -”Full Automatic ANN Design: A Genetic Approach”. New Trends in NeuraL Artificial Networks (edits.: J. Mira, J. Cabestany and A. Prieto). Lecture Notes in Computer Science, 686, Springer-Verlag. 1993. pp.: 399-404. E. Pimentel and J.M. Troya -”Compositionality Issues of Concurrent Object-Oriented Logic Languages”, PARLE'93. Parallel Architectures and Languages Europe, (Edit. A. Bode, M. Reeve and G. Wolf) LNCS, 694. Springer-Verlag. 1993, 529-540. V. Benjumea and J.M. Troya -”An OR Parallel prolog Model for Distributed Memory systems” Programming Language Implementation and Logic Programming, (Edit. M. Bruynooghe And J. Penjam), LNCS, 714. Springer-Verlag. 1993, 291-301. P. Merino, B. Rubio and J.M. Troya -”Implementation of a Concurrent Logic Language on Transputers” Transputer Applications and Systems'93. Vol. 2, (Editrs.: R. Grebe, J. Hecktor, S.C. Hilton, M.R. Jane P.H. Welch).IOS Press. 1993, 1137-1153. M. Capel and J.M. Troya -”A Methodological Scheme and Tool for Program Transformation with Transputer Systems” Parallel Computing: Trends and Applications, (Editrs.: G.R. Joubert, D. Trystram, F.J. Peters and D.J. Evans), Elsevier Science B.V., 1994, pp.: 585-588. J.F Aldana, E. Alba and J.M. Troya, “Load Balancing and Query Optimization in Dataflow Parallel Evaluation of Datalog Programs” ICPADS'94 . IEEE Press. 1994. pp. 682-690 E. Alba, J.F. Aldana, and J.M. Troya, “A genetic Algorithm for Load Balancing in Parallel Query Evaluation for Deductive Ralational Databases”, Artificial Neural Nets and Genetic Algorithms. (Edtrs. D.W.Pearson, N.C. Steele and R.F. Albrecht).LNCS Springer-Verlag, 1995. pp. 479-483. M.M. Gallardo and J.M. Troya, “Studying the cost of logic languages in an abstract interpretation framework for granurality analysis” Logic Program Synthesis and Transformation. 5th International Workshop. LNCS, Springer-Verlag. 1995 C. Cotta, J.F. Aldana, A. Nebro and J.M. Troya, “Hybridizing Genetic Algorithms with Branch and bound Techniques for the Resolution of the TSP”, Artificial Neural Nets and Genetic Algorithms 2. D.W.Pearson, N.C. Steele and R.F. Albrecht (eds.). LNCS, Springer-Verlag, 1995. pp. 277-281. P. Merino and J.M. Troya, “ EVP: Integration of FDTs for analysis and verification of communication protocols” Computer Aided Verification. (8th International Conference on New Brunswick 29-31 July 1996. N.J. USA). R.Alur and T.A. Henzing (EDS) Lecture Notes in Computer Science 1102, pp. 401-411. 1996. E. Alba, C. Cotta and J.M. Troya, “Type-Constrained Genetic Programming for Rule-Base Definition in Fuzzy Logic Controllers”

Genetic Programming 1996. Proc. of the First Annual Conference. J.R. Koza, D.E.Goldberg, D.B. Fogel and R.L. Riolo (edits). The MIT Press, pp. 255-260. 1996. E. Alba and J.M. Troya “Genetic Algorithms for Protocol Validation”, Parallel Problem Solving from Nature - PPSN IV. Int. Conf. on Evolutionary Computation. Berlin, Germany Spt. 1996. H.M. Voigt, W. Ebeling, I. Rechenberg and H.P. Schwefel (Edts). Lecture Notes in Computer Science, 1141, Springer-Verlag, pp.870-879. 1996. C. Cotta, E. Alba and J.M. Troya, “Evolutionary Design of Fuzzy Logic Controllers” IEEE International Symposium on Intelligent Control. Dearborn, MI. Sept.1996. IEEE Press, pp.127-132. 1996. J.F.Aldana and J.M. Troya “Data Flow Evaluation of Datalog Queries” Deductive Databases and Logic Programming. (4th Workshop, Bonn, Spt. 5-6 1996) en ISCLP'96. GMD-Studien Nr. 295. pp. 69-78. C. Cotta, J.M. Troya, “A Hybrid Genetic Algorithm for the 0-1 Multiple Knapsack Problem”, Artificial Neural Networks and Genetic Algorithms 3, G.D. Smith, N.C. Steele, R.F. Albrecht (eds.).LNCS, Springer-Verlag, Wien pp. 251-255, 1997

L. Fuentes and J.M. Troya “Component Oriented Service Architecture as a Flexible Service Creation Framework” Communication Networks and Distributed Systems Modeling and Simulation Conference. Phoenix, Arizona, January . SCS, 1997. 68-73 M. Díaz, B. Rubio and J.M. Troya “Logic Channels: A Coordination Approach to Distributed Programming”. International Parallel Processing Symposium. IPPS'97. Geneva 1-5 April, IEEE Comp. Soc. Press, 436-442.1997.

L. Fuentes and J.M. Troya. “Designing Multimedia Telecommunication Services with an Extensible Component-Oriented Framework”. 4 International Conference on Telecommunications, ConTEL’97. June, Zagreb, Croatia. (Edit. M. Kunstic), 183-192, 1997. M. Díaz, B. Rubio and J.M. Troya. “The Tuple Channel Coordination Model”. Softawre Engineering for Parallel and Distributed Systems. 2nd Int. Workshop, Boston, May . IEEE Comp.Soc. Press. 95-106. 1997 L. Fuentes and J.M. Troya “A Component-Oriented Architecture to Design Multimedia Services on a Distributed Platform”. Worldwide Computing ans its Applications. Int. Conference, WWCA`97, Tsukuba, Japón, March 1997. (T. Masuda, Y. Masunaga, M. Tsukamoto, Edits.) Lecture Notes in Computer Science, 1274, Springer-Verlag, 90-105, 1997. M. Díaz, B. Rubio and J.M. Troya “A Logic-based Coordination Model”. Logic-based Composition of Software. Workshop in the ICLP`97. Leuven, July, 1997. 73-83. A.J. Nebro, E. Pimentel and J.M. Troya “Integrating an Entry Consistency Memory Model and Concurrent Object-Oriented Programming”.

Euro-Par’97 Parallel Processing. Passau, Germany, August 1997. (Edits. C. Lengauer, M Griebl and S. Gorlatch). Lecture Notes in Computer Science, Springer-Verlag, Vol. 1300, 567-572, 1997. A.J. Nebro, E. Pimentel and J.M. Troya “Aplying Distributed Shared Memory Techniques for Implementing Distributed Objects”. ECOOP'97 Workshop on Object-Orientation and Operating Systems. Jyväskylä, Finlandia. Lecture Notes in Computer Science, Springer-Verlag, Vol. 1357, 499-506. 1997. A.J. Nebro, E. Pimentel and J.M. Troya “Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages”. ISCOPE'98. Santa Fe (Nuevo Mexico), Estados Unidos. Lecture Notes in Computer Science, Springer-Verlag, Vol. 1505.167-174. 1998. C. Cotta, J.M. Troya, On Decision-Making in Strong Hybrid Evolutionary Algorithms, Tasks and Methods in Applied Artificial Intelligence, Del Pobil A.P., Mira J., Ali M. (eds.), Lecture Notes in Artificial Intelligence 1415, pp. 418-427, Springer-Verlag, Berlin, 1998 M. Díaz, B. Rubio y J.M. Troya. “Multilingual and Multiparadigm Integration of a Tuple Channel-Based Coordination Model”, Proceedings 13th Annual Symposium on Applied Computing (SAC’98) , ACM Press, pp. 194-196, 1998. C. Cotta, E. Alba, J.M. Troya “Improving the Scalability of Dynastically Optimal Forma Recombination by Tuning the Granularity of the Representation” Proceedings of the GECCO, W. Banzhaf et al. (eds.), Morgan Kaufmann, pp. 783, 1999 C. Cotta, E. Alba, J.M. Troya “Stochastic Reverse Hillclimbing and Iterated Local Search” Proceedings of the IEEE Conference on Evolutionary Computing (CEC), Volume 2, IEEE Press, pp. 1558-1565, 1999 M. Pinto, A. Pinilla, L. Fuentes, J. M. Troya. “Middleware support for Multimedia Collaborative applications over the Web: a case study”. Interactive Distributed Multimedia Systems and Telecommunication Services (IDMS’99), LNCS No. 1718, pages 219-234, October 1999. Springer Verlag. C. Cotta, J.M. Troya, “Tackling Epistatic Problems using Dynastically Optimal Recombination”, Computational Intelligence. Theory and Applications, Reusch B. (ed.), Lecture Notes in Computer Science 1625, pp. 197-205, Springer-Verlag, Berlin, 1999 C. Cotta, J.M. Troya, “Optimal Discrete Recombination: Hybridising Evolution Strategies with the A* Algorithm”, Engineering Applications of Bio-Inspired Artificial Neural Networks, Mira J., Sánchez- Andrés J.V. (eds.), Lecture Notes in Computer Science 1607, pp. 58-67, Springer-Verlag, Berlin, 1999

J.M. Troya and A. Vallecillo “Specifying Reusable Controllers for Software Components”. Formal Methods for Open Object-Based Distributed Systems” (Edts.: P. Ciancarino, A. Fantechi and R. Gorrieri).Kluwer Academic Publishers. 131-148. 1999. C. Canal, E. Pimentel and J.M. Troya. “Specification and Refinement of Dynamic Software Architectures”. Software Architecture. (Edit.: Patrick Donohoe). Kluwer Academic Publishers.107-126. 1999. J. M. Álvarez, M. Díaz, L.M. Llopis, E. Pimentel, J.M. Troya

“An Analyzable SDL Execution Model For Embedded Real-Time Systems” 23th IFAC/IFIP Workshop on Real Time Programming. Elsevier, pp. 117-122, Germany, 1999. E. Alba, C. Cotta, J.M. Troya “Numerical and Real-Time Analysis of Parallel Distributed GAs with Structured and Panmictic Populations“ Proceedings of the IEEE Conference on Evolutionary Computing (CEC), Volume 2, IEEE Press, pp. 1019-1026, 1999 E. Alba, J.M. Troya “Tackling Epistasis with Panmictic and Structured Genetic Algorithms“ Late Breaking Papers Book, S. Brave, A.S. Wu (eds.), pp. 1-7, 1999 E. Alba, C. Cotta, Online Tutorial on Evolutionary Computation, Advances in Soft Computing, Roy R., Furuhashi T., Chawdhry P.K. (eds.), pp. 603-604, Springer-Verlag, London, 1999 E. Alba, C. Cotta, J.M. Troya “Entropic and Real-Time Analysis of the Search with Panmictic, Structured, and Parallel Distributed Genetic Algorithms“ Proceedings of the GECCO, W. Banzhaf et al. (eds.), Morgan Kaufmann, pp. 773, 1999 E. Alba, J.M. Troya “An Analysis of Synchronous and Asynchronous Parallel Distributed Genetic Algorithms with Structured and Panmictic Islands“ Parallel and Distributed Processing, J. Rolim et al. (eds.), Lecture Notes in Computer Science 1586, pp. 248-256. Springer-Verlag, 1999

J. M. Álvarez, M. Díaz, L.M. Llopis, E. Pimentel, J.M. Troya “Embedded Real-Time Systems Development using SDL” IEEE Real Time Systems Symposium. IEEE Computer Press. Phoenix, EEUU, 1999. J. López, A. Maña, J. J. Ortega, J. M. Troya “Cert'eM: Certification System Based on Electronic Mail Service Structure” Secure Networking - CQRE'99, Lecture Notes in Computer Science - LNCS 1740 December 1999, pp. 109-118. Springer-Verlag.

J. Dávila, L. Fuentes, J. López, J. M. Troya, A. Vallecillo “Internet Secure Communications Between Citizens and Public Administrations” IFIP Conference on Advances in Electronic Government,Elsevier, February 2000, pp. 109-120 J. M. Álvarez, M. Díaz, L.M. Llopis, E. Pimentel, J.M. Troya “Schedulability Analysis in Real-Time Embedded Systems Specified in SDL” 25th IFAC/IFIP Workshop on Real Time Programming. Elsevier, pp. 125-131, Germany, 2000 L. Amor, M. Pinto, L. Fuentes, J.M. Troya. “Combining Software Components and Mobile Agents”. Engineering Societies in Agents World (ESAW’00), LNAI, Springer-Verlag, August 2000. C. Canal, L. Fuentes, J.M. Troya, A. Vallecillo. “Extending CORBA Interfaces with pi-calculus for Protocol Compatibility”. TOOLS Europe’2000, pages 208-225, France, June 2000. IEEE Press. J. Dávila, J. López, A. Maña, J. J. Ortega, J. M. Troya “Development of Secure Internet Applications for Governmental Environments” IEEE International Workshop on Electronic Government (in DEXA'00) September 2000, pp. 362-365

J. López, A. Maña, J. J. Ortega, J. M. Troya “Distributed Storage and Revocation in Digital Certificate Databases“ 11th International Conference on Database and Expert Systems Applications (DEXA'00) Lecture Notes in Computer Science (LNCS) Nº1873, Springer-Verlag, September 2000, pp. 930-938 M. Díaz, B. Rubio, E. Soler, J.M. Troya. BCL: A Border-based Coordination Language. The 2000 Intl. Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA’2000), pp. 753-760, 2000 E. Alba, J.M. Troya “Cellular Evolutionary Algorithms: Evaluating the Influence of Ratio“ Proceedings of the Parallel Problem Solving from Nature VI, Schoenauer M. et al. (eds.) LNCS, Springer-Verlag, pp. 29-38, 2000 M. Díaz, B. Rubio, E. Soler, J.M. Troya Integration of Task and Data Parallelism: A Coordination-based Approach The 7th Intl. Conference on High Performance Computing (HiPC’2000), LNCS vol. 1970, Springer-Verlag, pp. 173-182, 2000 C. Cotta, J.M. Troya, “Using Dynastic Exploring Recombination to Promote Diversity in Genetic Search”, Parallel Problem Solving from Nature VI, M. Schoenauer, K. Deb, G. Rudolph, X. Yao, E. Lutton, J.J. Merelo, H.-P. Schwefel (eds.), Lecture Notes in Computer Science 1917, pp. 325-334, Springer-Verlag Berlin, 2000

C. Cotta, J.M. Troya, “Using a Hybrid Evolutionary-A* Approach for Learning Reactive Behaviours”, Real-World Applications of Evolutionary Computing, S. Cagnoni et al. (eds.), Lecture Notes in Computer Science 1803, pp. 347-356, Springer-Verlag, Berlin, 2000 A. Vallecillo, J. Hernández, J.M. Troya. “New Issues in Object Interoperability”. Object-Oriented Technology: ECOOP’2000 Workshop Reader, LNCS 1964, Springer-Verlag, 2000. C. Cotta, J.M. Troya, “On the Influence of the Representation Granularity in Heuristic Forma Recombination”, ACM Symposium on Applied Computing 2000, J. Carroll, E. Damiani, H. Haddad, D. Oppenheim (eds.), ACM Press, pp. 433-439, 2000 C. Cotta, J.M. Troya, “Analyzing Directed Acyclic Graph Recombination”, Computational Intelligence: Theory and Applications, B. Reusch (ed.), Lecture Notes in Computer Science 2206, pp. 739-748, Springer-Verlag Berlin, 2001 J. M. Álvarez, M. Díaz, L. Llopis, E. Pimentel, J. M. Troya. “Deriving Real Time System Implementations directly from SDL specifications”. 9th International Symposium on Hardware/Software Codesign. Copenhagen, April 2001. C. Cotta, J.M. Troya, “A Comparison of Several Evolutionary Heuristics for the Frequency Assignment Problem”, Connectionist Models of Neurons, Learning Processes, and Artificial Intelligence, J. Mira, A. Prieto (eds.), Lecture Notes in Computer Science 2084, pp. 709-716, Springer- Verlag Berlin, 2001

M. Díaz, B. Rubio, E. Soler, J.M. Troya. “DIP: a Pattern-based Approach for Task and Data Parallelism Integration”. 16th ACM Symposium on Applied Computing (SAC'2001). Special Track on Coordination Models, Languages and Applications. Las Vegas, Nevada (USA), March 2001. M. Díaz, B. Rubio, E. Soler y J.M. Troya. “Integrating Task and Data Parallelism by means of Coordination Patterns”. The 6th Intl. Workshop on High-Level Parallel Programming Models and Supportive Environmets (HIPS’2001). LNCS vol. 2026, Springer-Verlag, pp. 16-27, 2001. L. Iribarne, J.M. Troya, A. Vallecillo. “Trading for COTS components in Open Environments”. 27th Euromicro Conference. Warsaw, Poland, September 2001. IEEE CS Press.

M.Pinto, M. Amor, L. Fuentes y J.M. Troya. “Supporting Heterogeneous Users in Collaborative Virtual Environments using AOP”. 6th Conference on Cooperative Information Systems (CoopIS’01), LNCS No. 2172, 226 – 238, Springer-Verlag, September 2001. M. Pinto, M. Amor, L. Fuentes y J.M. Troya. “Collaborative Virtual Environment Development: An Aspect-Oriented Approach”. 21st International Conference on Distributed Computing Systems (ICDCS). pp. 97-102. IEEE Computer Society Press. April 2001.

J. Dávila, J. López, R. Peralta, J. M. Troya “A First Approach to Latin Electronic Notary Public Services” IFIP Conference on Security & Control of IT in Security, Elsevier, June 2001, pp. 49-60

M. Pinto, L. Fuentes, J.M. Troya and M.E. Fayad. “Towards an Aspect-Oriented Framework in the Design of Collaborative Virtual Environments”, Actas de la conferencia, Future Trends of Distributed Computing Systems (FTDCS'01), pp. 9 - 15, IEEE Computer Society Press. Nov, 2001. M. Pinto, L. Fuentes, M.E. Fayad and J.M. Troya. “Separation of Coordination in a Dynamic Aspect Oriented Framework”. 1st Conference on Aspect Oriented Software Development (AOSD).pp. 134-140. ACM Press. Abril 2002. J. López, A. Maña, J. Montenegro, J. Ortega and J.M. Troya “Towards s Trustful and Flexible Environment for Secure Communications with Public Administrations” Electronic Government. First International Conference, EGOV 2002. France, Sept. 2002. LNCS 2456. Springer, pp. 211-214. 2002. Manuel Diaz Rodriguez, Daniel Garrido Marquez, Luis Manuel Llopis, Jose Maria Troya Linero Integrating RT-CORBA in SDL SDL2005: Model-Driven Design Lecture notes in Computer Science 0302-9743, 2005 Manuel Diaz Rodriguez, Daniel Garrido Marquez, Bartolome Rubio Muñoz, Enrique Soler Castillo, Jose Maria Troya Linero A CCA-Compliant nuclear power plant simulator kernel Component-based software engineering 2005 Lecture notes in Computer Science 0302-9743, 2005

d) Otras publicaciones

M.M. Gallardo and J. M. Troya. -”Parlog Programs Non-Termination Analysis” 8º Cong. Programazione Logica. GULP'93. Pisa Italia. 1993. M.M. Gallardo and J.M. Troya, Granurality Analysis of Concurrent Logic Languages GULP-PRODE, Peñiscola , Sept. 1994. pp. 342-357. J.F. Aldana, E. Alba and J.M. Troya, D2: A Model for Datalog Parallel Evaluation GULP-PRODE, Peñíscola, Spt. 1994, pp. 60-75. M. Díaz, B. Rubio and J.M. Troya, Implementation Issues on a Distributed Real-time Logic Language Workshop on Integration in ICLP´94, Saarbrücken, Germany, 1994, pp. 106-120.

P. Merino and J.M. Troya, “Modeling and Verification of the ITU-T multipoint communication service with SPIN” SPIN Verification System (2nd International Workshop), SPIN96. DIMACS, New Brunswick, August 5, NJ. 1996. pp. 60-72.

Tesis Doctorales dirigidas

“Un estudio sobre la paralelización del método de ramificación y acotación”. Manuel Ortega Ortiz de Apodaca Dpto. de Informática y Automática. Fac. de C. Físicas. Univ. Complutense de Madrid. Septiembre 1987. “Una metodología basada en objetos para la programación de sistemas distribuidos” Manuel Capel Tuñon. Dept. de Lenguajes y Sistemas Informáticos. Universidad de Granada. Diciembre 1992. “L2||O2: Un Lenguaje Lógico Concurrente Orientado a Objetos” Ernesto Pimentel Sánchez. Dept. de Lenguajes Y Ciencias de la Computación. Universidad de Málaga. Abril 1993.

“DRL: Un Lenguaje Lógico Distribuido de Tiempo Real”. Manuel Díaz Rodríguez. Dpto. de Lenguajes y Ciencias de la Computación. Universidad de Málaga. Mayo 1995. “Análisis de Lenguajes Lógicos Concurrentes mediante Interpretación Abstracta” María del Mar Gallardo Melgarejo. Dept. de Lenguajes y Ciencias de la Computación. Univ. de Málaga Diciembre 1997. “Un modelo basado en flujo de datos para la evaluación de consultas en bases de datos deductivas” José Francisco Aldana Montes. Dept. de Lenguajes y Ciencias de la Computación. Univ. de Málaga Mayo 1998.

“Un estudio de las técnicas de hibridación y su aplicación al diseño de algoritmos evolutivos” Carlos Cotta Porras. Dpto. de Lenguajes y Ciencias de la Computación. Univ. de Málaga Mayo 1998. “Una arquitectura software para el desarrollo de servicios avanzados de telecomunicación” Lidia Fuentes Fernández. Dpto. de Lenguajes y Ciencias de la Computación. Univ. de Málaga. Julio 1998. “Observadores lineales: Un lenguaje de especificación de propiedades para verificación de protocolos”. Pedro Merino Gómez. Dpto. de Lenguajes y Ciencias de la Computación. Univ. de Málaga. Septiembre de 1998. “TCM: Un modelo de coordinacion basado en canales de tuplas”. Bartolomé Rubio Muñoz. Dpto. de Lenguajes y Ciencias de la Computación. Univ. de Málaga. Septiembre 1998. “Un sistema de ejecución distribuido para lenguajes orientados a objetos concurrentes”. Antonio Jesús Nebro Urbaneja Dpto. de Lenguajes y Ciencias de la Computación. Univ. de Málaga. Febrero 1999.

“Análisis y diseño de algoritmos genéticos paralelos distribuidos”. Enrique Alba Torres. Dpto. de Lenguajes y Ciencias de la Computación. Univ. de Málaga. Marzo 1999

“Un modelo de componentes para el desarrollo de aplicaciones distribuidas” Antonio Vallecillo Moreno Dpto. de Lenguajes y Ciencias de la Computación. Univ. de Málaga. Mayo 1999. “Sistema de Tipos Puros con Universos” Blas Carlos Ruiz Jiménez Dpto. de Lenguajes y Ciencias de la Computación. Univ. de Málaga.

Julio 1999. “Diseño de una infraestructura de notarización para Comercio electrónico” Javier López Muñoz.

Dpto. de Lenguajes y Ciencias de la Computación. Univ. De Malaga. (Co-dirigida con Prof. Rene Peralta. Univ. de Yale. Estados Unidos). Noviembre 2000.

“Un lenguaje para la especificación y validación de arquitecturas de software” Carlos Canal Velasco.

Dpto. de Lenguajes y Ciencias de la Computación. Univ. De Malaga. (Co-dirigida con Prof. Ernesto Pimentel Sánchez. Univ. de Málaga). Diciembre 2000.

“Un lenguaje de coordinación para la resolución de problemas basados en descomposición de dominios” Enrique Soler Castillo

Dpto. de Lenguajes y Ciencias de la Computación. Univ. De Malaga. (Co-dirigida con Prof. Juan Ignacio Ramos Sobrados. Univ. de Málaga). Septiembre 2001.

“Integración de Análisis de Tiempo Real en la Técnica de Descripción Formal SDL” Luis Manuel Llopis Torres Dpto. de Lenguajes y Ciencias de la Computación. Univ. de Málaga (Co-dirigida con el Prof. Manuel Díaz Rodríguez. Univ. de Málaga) Noviemnbre 2002

“Modelo basado en metadatos para la integración semántica en entornos distribuidos. Aplicación al escenario de control de acceso” Maria Inmaculada Yagüe Valle Dpto. de Lenguajes y Ciencias de la Computación. Univ. de Málaga 2003 “Un modelo de mediación para el desarrollo de software basado en componentes COTS” Luis F. Iribarne Martínez Universidad: Almería, Escuela Politécnica Superior Julio de 2003

PATENTES Y MODELOS DE UTILIDAD

INVENTORES (p.o. de firma): ANTONIO MAÑA GOMEZ; FRANCISCO JAVIER LOPEZ MUÑOZ; JUAN JOSE ORTEGA DAZA; JOSE MARIA TROYA LINERO; TITULO: SISTEMA PARA LA PROTECCIÓN CONTRA EL USO ILEGÍTIMO Y GESTIÓN DE LICENCIAS DE SOFTWARE BASADO EN DISPOSITIVOS PROCESADORES AUTÓNOMOS Y CRIPTOGRAFÍA Nº DE SOLICITUD: 200101022 FECHA DE SOLICITUD: 04/05/2001 INVENTORES (p.o. de firma): JOSE ANTONIO ONIEVA GONZALEZ; FRANCISCO JAVIER LOPEZ MUÑOZ; FENG BAO; ROBERT DENG; JOSE MARIA TROYA LINERO; TITULO: A MULTI-PARTY NON-REPUDIATION PROTOCOL FOR EXCHANGE OF DIFFERENT MESSAGES Nº DE SOLICITUD: P2002049 FECHA DE SOLICITUD: 10/10/2002

Participaciónes en comités de programa y ponencias invitadas en congresos

Miembro del Comité de Programa del 5 Congreso de Informática y Automática. Madrid 1982. Ponencia invitada en “International Congress for Data Processing and Information Processing” IKD´82. Organizado por AMK en cooperación con ACM. Berlin Agosto 1982. (Publicación referenciada). Ponencia invitada en “IV Jornadas Hispano-francesas sobre Informática Teorica y Programación”. Toledo, España. Mayo 1984. Ponencia invitada “Intelligent Tools for an Authoring Environment to Produce Courseware”. (con A. Vaquero y J. Ayuso). European Seminar on Intelligent Tutoring Systems. Commission of the European Communities. Tubingen, 25-31 Octubre. 1987. Miembro del Comité de Programas del VI Congreso de Informática y Automática. Madrid, 15-18 Octubre, 1985. Miembro del Comité de Programa del Primer Congreso Nacional sobre Programación Declarativa, celebrado en Madrid 28-30 de Septiembre de 1992. Ponencia invitada en Reunión de la Red Iberoamericana en Tecnología del Software, celebrada en La Paz, Bolivia, del 12 al 17 de Abril de 1993. Presidente de sesión. 6th Euromicro Workshop on Parallel and Distributed Systems. Torremolinos Málaga. Enero 1994

Presidente del Comité de Programa de las I Jornadas de Informática. Univ. La Laguna. Tenerife. 18-22 JULIO 1995. Miembro del Comité de Programa de las II Jornadas de Informática. Almuñecar. Granada. Julio 1996. Conferencia invitada en II Jornadas de Informática. Almuñecar, Granada. Julio 1996.

Presidente del Comité de Programa de las III Jornadas de Ingeniería del Software. Murcia. 1998. Miembro del Comité de Programa del Euromicro Workshop on Software Process and Product Improvement. 1998 y 1999 Miembro del Comité de Programa del Argentine Object Oriented Symposium. ASOO´98.y ASOO´99. Miembre del Comité de Programa del congreso iberoamericano, “Congreso Iberoamericano de Telemática”, Septiembre 2002. Miembro del Comité de Programa de las JISBD, años 99,00,01 y 02.

Experiencia en organización de actividades de I+D Organización de congresos, seminarios, jornadas, etc., científicos-tecnológicos

Presidente del Comité de Organización de las “Jornadas sobre Programación Declarativa” celebradas en Torremolinos, Málaga en Octubre de 1991. Director-Organizador de la XV Escuela de Verano de Informática. La Manga, Murcia, 19-30 de Julio, 1993. Director-Organizador de la XVI Escuela de Verano de Informática. Oviedo Julio 1994. Director-Organizador de la XVII Escuela de Verano de Informática. Tenerife. Julio 1995. Presidente Comité de Organización. V Reunión Española de Criptología y Seguridad de la Información. Málaga. Septiembre 1998 Conference Chair. International Information Security Conference. Málaga, Octubre 2001 Presidente Comité de Organización. I Simposio Español de Negocio Electrónico. Málaga. Octubre 2001 Presidente de XVI European Conference on Object Oriented Programming, ECOOP2002. Málaga, Junio 2002.

Otros méritos

Miembro de la Comisión de Contratación. Facultad de Físicas. Univ. Complutense. 1978.79. Secretario de la Comisión de Investigación. Fac. De C. Físicas. Univ. Complutense. 1983-1984. Miembro del Consejo Editorial de la Revista “Informática y Automática”. Miembro del Consejo Directivo de la Asociación Española de Informática y Automática. 1990- Director del Departamento de Lenguajes y Ciencias de la Computación. Universidad de Málaga. 1989 - 1998. Miembro del Claustro. Universidad de Málaga. Desde 1990 hasta la fecha. Miembro de la Comisión de Investigación. Universidad de Málaga. Desde 1993 -1997 Vicepresidente de la Asociación Española de Informática y Automática. 1995-97. Miembro de la Junta de Gobierno. Universidad de Málaga. Desde 1994 hasta la fecha Director General de Campus e Infraestructura. Universidad de Málaga. 1998-2003.

Director E.T.S.I. Informática. Universidad de Málaga. 2004- hasta la fecha