CURRICULUM VITAE
Ernesto Pimentel Sánchez
El abajo firmante, D. Ernesto Pimentel Sánchez, con DNI 25.095.535M, se responsabiliza de la veracidad de los datos contenidos en el presente currículo:
 Málaga, Marzo de 2010
Fdo.: Ernesto Pimentel Sánchez
APELLIDOS: PIMENTEL SANCHEZ
NOMBRE: ERNESTO SEXO: V
D.N.I.: 25.095.535 FECHA NACIMIENTO: 29-11-65 Nº FUNC.: 2509553535 A0504
DIRECCION PARTICULAR: C/ Murillo, 6. Urb. El Cantal. La Cala del Moral
CIUDAD: MALAGA DISTRITO POSTAL: 29720 TELEFONO: +34 95 2970832
ESPECIALIZACION (CODIGO UNESCO): 120323
FORMACIÓN ACADÉMICA
LICENCIATURA CENTRO FECHA
Matemáticas Facultad de Ciencias (Univ. de Málaga) 7-7-88
DOCTORADO
Informática Facultad de Informática (Univ. de Málaga) 21-4-93
DIRECTOR DE TESIS: José Mª Troya Linero
ORGANISMO: Universidad de Málaga
CENTRO: E.T.S.I. Informática
DEPT.: Dpto. de Lenguajes y Ciencias de la Computación
CATEGORIA PROFESIONAL Y FECHA DE INICIO: Catedrático de Universidad, 06-02-2003
DIRECCION POSTAL: Campus de Teatinos. 29071 Málaga
TELEFONO: +34 (9) 5 213 1396 FAX: +34 (9) 5 213 1397
PLANTILLA: SI DEDICACION: TIEMPO COMPLETO
SEXENIOS DE INVESTIGACIÓN: 2 (1992-1997, 1998-2003)
ACTIVIDADES ANTERIORES DE CARÁCTER CIENTÍFICO O PROFESIONAL
FECHAS PUESTO INSTITUCION
06/02/03 - Catedrático de Universidad Universidad de Málaga
23/05/95 – 05/02/03 Profesor T.U. Universidad de Málaga
26/01/92 - 22/05/95 Profesor T.E.U. Universidad de Málaga
01/10/90 - 25/01/92 Profesor T.E.U. Interino Universidad de Málaga
14/02/89 - 30/09/90 Profesor Asociado a T.C. Universidad de Málaga
01/01/89 - 13/02/89 Becario de FPI Ministerio de Educ. y Ciencia
IDIOMAS DE INTERÉS CIENTÍFICO (R=regular, B=bien, C=correctamente)
IDIOMA HABLA LEE ESCRIBE
INGLES C C C
FRANCES R B R
ITALIANO R R
FECHA DE CUMPLIMENTACION: FIRMA:
PROYECTOS DE INVESTIGACION FINANCIADOS
TITULO DEL PROYECTO:
Entorno para el Desarrollo de una Nueva Generación de Redes Sociales Móviles
basadas en Android
ENTIDAD FINANCIADORA: Ministerio de Industria. TSI-020100-2009-342
DURACION DESDE: 2009 HASTA: 2009
FINANCIACIÓN: 54.000 €
INVESTIGADOR PRINCIPAL: ÁNDAGO INGENIERÍA, S.L. / Ernesto Pimentel Sánchez
TITULO DEL PROYECTO:
ReSCUE: Composición de Software Fiable en Entornos Ubicuos
ENTIDAD FINANCIADORA: Ministerio de Educación y Ciencia. TIN2008-05932
DURACION DESDE: 2009 HASTA: 2011
FINANCIACIÓN: 284.000 €
INVESTIGADOR PRINCIPAL: Ernesto Pimentel Sánchez
TITULO DEL PROYECTO:
Entorno para el Desarrollo de una Nueva Generación de Redes Sociales Móviles
basadas en Android
ENTIDAD FINANCIADORA: Ministerio de Industria. TSI-020100-2008-528
DURACION DESDE: 2008 HASTA: 2008
FINANCIACIÓN: 24.000 €
INVESTIGADOR PRINCIPAL: ÁNDAGO INGENIERÍA, S.L. / Ernesto Pimentel Sánchez
TITULO DEL PROYECTO:
Formal Verification of Object-Oriented Software
ENTIDAD FINANCIADORA: COST Action. Unión Europea. IC0701
DURACION DESDE: 2008 HASTA: 2009
FINANCIACIÓN: 105.000 €
INVESTIGADOR PRINCIPAL: Bernhard Beckert / Ernesto Pimentel Sánchez
TITULO DEL PROYECTO:
CARESS: Construcción y Adaptación de Servicios Software Fiables
ENTIDAD FINANCIADORA: Ministerio de Educación y Ciencia. TIN2007-67134
DURACION DESDE: 2007 HASTA: 2008
FINANCIACIÓN: 55.000 €
INVESTIGADOR PRINCIPAL: Ernesto Pimentel Sánchez
TITULO DEL PROYECTO:
Técnicas para mejorar la fiabilidad y las prestaciones de los servicios de Internet sobre Telefonía Móvil
ENTIDAD FINANCIADORA: Junta de Andalucía. P07-TIC03131
DURACION DESDE: 2008 HASTA: 2011
FINANCIACIÓN: 293.418
INVESTIGADOR PRINCIPAL: Pedro Merino Gómez
PARTICIPANTES: 23 FINANCIACIÓN: 170.536,30 €
TITULO DEL PROYECTO:
PICASSO: Propuesta Integrada para la CAlidad de Sistemas SOftware
ENTIDAD FINANCIADORA: Junta de Andalucía. Proyecto de Excelencia. P06-TIC-02250
DURACION DESDE: 2007 HASTA: 2010
FINANCIACIÓN: 170.536,30 €
INVESTIGADOR PRINCIPAL: Ernesto Pimentel Sánchez
PARTICIPANTES: 23 FINANCIACIÓN: 170.536,30 €
TITULO DEL PROYECTO:
TIC136: Grupo de Ingeniería del Software de la Universidad de Málaga
ENTIDAD FINANCIADORA: Junta de Andalucía
DURACION DESDE: 2006 HASTA: 2008
FINANCIACIÓN:
INVESTIGADOR PRINCIPAL: José María Troya
PARTICIPANTES: 34
TITULO DEL PROYECTO:
SMEPP: Secure Middleware for Embedded Peer to Peer Systems
ENTIDAD FINANCIADORA: Unión Europea. 6th Framework STREP Project. IST-033563
DURACION DESDE: 2006 HASTA: 2009
FINANCIACIÓN: 2.899.167 €
INVESTIGADOR PRINCIPAL: Manuel Díaz Rodríguez
PARTICIPANTES: 6 FINANCIACIÓN: 2.899.167 €
TITULO DEL PROYECTO:
Desarrollo e Implementación de Sistemas P2P seguros
ENTIDAD FINANCIADORA: Junta de Andalucía. Proyecto de excelencia P06-TIC0522
DURACION DESDE: 2006 HASTA: 2008
FINANCIACIÓN: 118.000 €
INVESTIGADOR PRINCIPAL: José María Troya
PARTICIPANTES: 34 FINANCIACIÓN: 118.000 €
TITULO DEL PROYECTO:
SELF: Ingeniería del Software y Métodos Formales Ágiles
ENTIDAD FINANCIADORA: Ministerio de Educación y Ciencia. TIN2004-07943-C04-01
DURACION DESDE: 2005 HASTA: 2007
FINANCIACIÓN: 134.000 €
INVESTIGADOR PRINCIPAL: Ernesto Pimentel Sánchez
PARTICIPANTES: 14 FINANCIACIÓN: 134.000 €
TITULO DEL PROYECTO:
TIC136: Grupo de Ingeniería del Software de la Universidad de Málaga
ENTIDAD FINANCIADORA: Junta de Andalucía
DURACION DESDE: 2003 HASTA: 2005
INVESTIGADOR PRINCIPAL: José María Troya
PARTICIPANTES: 34
TITULO DEL PROYECTO:
SpaRCIM: Spanish Research Consortium for Informatics and Mathematics
ENTIDAD FINANCIADORA: Acción Especial. Ministerio de Ciencia y Tecnología
DURACION DESDE: 2003 HASTA: 2005
INVESTIGADOR PRINCIPAL: Esperanza Marcos (Univ. Rey Juan Carlos)
TITULO DEL PROYECTO:
WEST: Web Oriented SoftwareTechnology
ENTIDAD FINANCIADORA: CYTED
DURACION DESDE: 2002 HASTA: 2004
INVESTIGADOR PRINCIPAL: Óscar Pastor
TITULO DEL PROYECTO:
COLOGNET: Network of Excellence in Computational Logic
ENTIDAD FINANCIADORA: Junta de Andalucía
DURACION DESDE: 2002 HASTA: 2004
INVESTIGADOR PRINCIPAL: Jörg Siekmann
TITULO DEL PROYECTO:
STREAM: Herramientas Software Formales. Una Aproximación Multiparadigma
ENTIDAD FINANCIADORA: Ministerio de Ciencia y Tecnología. TIN2001-2705-C03-02
DURACION DESDE: 2002 HASTA: 2004
FINANCIACIÓN: 91.119 €
INVESTIGADOR PRINCIPAL: Ernesto Pimentel Sánchez
PARTICIPANTES: 8 FINANCIACIÓN: 15.161.000 ptas.
TITULO DEL PROYECTO:
RITOS2: Red Iberoamericana de Tecnología del Software 2000
ENTIDAD FINANCIADORA: C.Y.T.E.D.
DURACION DESDE: 2000 HASTA: 2002
INVESTIGADOR PRINCIPAL: Nieves Rodríguez / Ernesto Pimentel Sánchez (Univ. de Málaga)
PARTICIPANTES: 7
TITULO DEL PROYECTO:
West: Web Oriented Software Technology
ENTIDAD FINANCIADORA: C.Y.T.E.D.
DURACION DESDE: 2000 HASTA: 2002
INVESTIGADOR PRINCIPAL: Óscar Pastor / José Mª Troya Linero
PARTICIPANTES: 6
TITULO DEL PROYECTO:
Lenguajes y Modelos para la Interacción de Componentes Software
ENTIDAD FINANCIADORA: Acción Integrada Hispano-Italiana
DURACION DESDE: 1999 HASTA: 2001
INVESTIGADOR PRINCIPAL: José Mª Troya Linero
PARTICIPANTES: 5
TITULO DEL PROYECTO:
Red Piloto de Medida de Radiación Ultravioleta-Fotosintética y Fotoprotección
ENTIDAD FINANCIADORA: Proyecto FEDER. 1FD97-0824
DURACION DESDE: 1999 HASTA: 2001
INVESTIGADOR PRINCIPAL: Félix López Figueroa / Ernesto Pimentel Sánchez
PARTICIPANTES: 3 FINANCIACIÓN: 4.572.200 ptas.
TITULO DEL PROYECTO:
TREND: Técnicas Avanzadas para el Desarrollo de Entornos Declarativos
Proyecto Coordinado
ENTIDAD FINANCIADORA: C.I.C.Y.T. TIC98-0445-C03-03
DURACION DESDE: 1998 HASTA: 2001
INVESTIGADOR PRINCIPAL: Ernesto Pimentel Sánchez
PARTICIPANTES: 7 FINANCIACIÓN: 5.533.000 ptas.
TITULO DEL PROYECTO:
Modularización, Concurrencia y Orientación a Objetos en Lenguajes Declarativos
Proyecto Coordinado
ENTIDAD FINANCIADORA: C.I.C.Y.T. TIC95-0433-C03-02
DURACION DESDE: 1995 HASTA: 1998
INVESTIGADOR PRINCIPAL: Ernesto Pimentel Sánchez
PARTICIPANTES: 4 FINANCIACIÓN: 8.030.000 ptas.
TITULO DEL PROYECTO:
IDEAS: Ingeniería de Ambientes Software
ENTIDAD FINANCIADORA: C.Y.T.E.D.. Proyecto VII.11
DURACION DESDE: 1997 HASTA: 1998
INVESTIGADOR PRINCIPAL: José Mª Troya Linero
PARTICIPANTES: 6
TITULO DEL PROYECTO:
Un Entorno de Desarrollo de Sistemas Heterogéneos Distribuidos
ENTIDAD FINANCIADORA: C.I.C.Y.T. TIC94-0930-C02-01
DURACION DESDE: 1994 HASTA: 1997
INVESTIGADOR PRINCIPAL: José Mª Troya Linero
PARTICIPANTES: 10
TITULO DEL PROYECTO:
Un lenguaje para selección de clases
ENTIDAD FINANCIADORA: Comunidad Autónoma de Murcia
INVESTIGADOR PRINCIPAL: Jesús García Molina
PARTICIPANTES: 4
TITULO DEL PROYECTO:
TEMA: Terminal Multimedia de Banda Ancha (Tarea T7.4)
ENTIDAD FINANCIADORA: C.I.C.Y.T. TIC92-1301-PB
DURACION DESDE: 1992 HASTA: 1995
INVESTIGADOR PRINCIPAL: José Mª Troya Linero
PARTICIPANTES: 12
TITULO DEL PROYECTO:
Desarrollo de un Sistema de Programación Lógica para Arquitecturas Distribuidas.
ENTIDAD FINANCIADORA: C.I.C.Y.T. TIC 340-90
DURACION DESDE: 1991 HASTA: 1993
INVESTIGADOR PRINCIPAL: José Mª Troya Linero
PARTICIPANTES: 9
TITULO DEL PROYECTO:
Sistema Informático para Programación Lógica Paralela
ENTIDAD FINANCIADORA: Proyecto PETRI
DURACION DESDE: 1990 HASTA: 1991
INVESTIGADOR PRINCIPAL: José Mª Troya Linero
PARTICIPANTES: 9
TITULO DEL PROYECTO:
Ejecución Paralela de Programas Lógicos
ENTIDAD FINANCIADORA: Acción Integrada Hispano-Británica nº 238
DURACION DESDE: 1990 HASTA: 1991
INVESTIGADOR PRINCIPAL: José Mª Troya Linero
PARTICIPANTES: 3
PUBLICACIONES EN REVISTAS
(sin incluir actas de congresos)
Indicar volumen, páginas inicial y final (año) y clave.
CLAVE: L=libro completo, CL=capítulo de libro, A=artículo, R=review, E=editor
AUTORES: M. Katrib, J.L. Pastrana y E. Pimentel
TITULO: QoS-enabled and Self-Adaptative Connectors for Web Services Composition and Coordination
REF. REVISTA: Computer Languages, Systems and Structures.2010 CLAVE: A
Aceptado para su publicación
AUTORES: E. Pimentel y Jean-Marie Jacquet
TITULO: Special Issue on the 5th International Workshop on Foundations on Coordination Languages and Software Architectures
REF. REVISTA: Science of Computer Programming, 74(1):669-670. 2009. CLAVE: E
AUTORES: A. Brogi, E. Pimentel y A. M. Roldán
TITULO: Software Composition with Linda
REF. REVISTA: Computer Languages, Systems and Structures, CLAVE: A
35(4):395-405. 2008.
AUTORES: M. Katrib, J.L. Pastrana y E. Pimentel
TITULO: Composition of Self-Adapting Components for Customizable Systems
REF. REVISTA: Computer Journal, 51(4):481-496. 2008. CLAVE: A
AUTORES: M. Alpuente, M.M. Gallardo, E. Pimentel y A. Villanueva
TITULO: Verifying Real-Time Properties of tccp Programs
REF. REVISTA: J. of Universal Computer Science, 12(11):1551-1573. 2007. CLAVE: A
AUTORES: M.M. Gallardo, J. Martínez, P. Merino, P. Núñez y E. Pimentel
TITULO: PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols.
REF. REVISTA: Science of Computer Programming, 65(1):57-69. 2006 CLAVE: A
AUTORES: S. Amaro, E. Pimentel y A. Roldán
TITULO: Coordinating Behavioural Description of Components
REF. REVISTA: J. of Universal Computer Science, 11(10):1676-1694. 2005. CLAVE: A
Special Issue on Compositional Construction and
Reasoning Techniques for Software
AUTORES: A. Brogi, C. Canal y E. Pimentel
TITULO: Component adaptation through flexible subservicing
REF. REVISTA: Science of Computer Programming, 63:39–56, 2006. CLAVE: A
Special Issue on Security Issues in Coordination Models.
AUTORES: A. Brogi, C. Canal y E. Pimentel
TITULO: On the semantics of software adaptation
REF. REVISTA: Science of Computer Programming, 61(2):136–151, 2006. CLAVE: A
Special Issue on Foundations of Coordination Languages and
Software Architectures.
AUTORES: A. Brogi, J.M. Jacquet y E. Pimentel
TITULO: Special Issue on Foundations of Coordination Languages
and Software Architectures.
REF. REVISTA: Science of Computer Programming, 61(2), 2006. CLAVE: E
AUTORES: M. Alpuente, M.M. Gallardo, E. Pimentel y A. Villanueva
TITULO: A Semantic Framework for the Abstract Model Checking of tccp programs
REF. REVISTA: Theoretical Computer Science, 346(1):58-95, 2005. CLAVE: A
Special issue on Quantitative Aspects of Programming Languages
AUTORES: A. Maña, J. López, J.J. Ortega, E. Pimentel y J.M. Troya
TITULO: A Framework for secure execution of software
REF. REVISTA: Int. Journal on Information Security, 3(2): 99-112. 2004 CLAVE: A
Springer.
AUTORES: M.M. Gallardo, P. Merino y E. Pimentel
TITULO: A Generalized Semantics of PROMELA for Abstract Model Checking
REF. REVISTA: Formal Aspects of Computing, 16(3):166-193. 2004. CLAVE: A
AUTORES: M.M. Gallardo, J. Martínez, P. Merino y E. Pimentel
TITULO: A Tool for Abstract Model Checking
REF. REVISTA: Software Tools for Technology Transfer, 5(2-3):165-184. CLAVE: A
2004
AUTORES: M.I. Yagüe, A. Maña, J. López, E. Pimentel y J.M. Troya
TITULO: A Secure Solution for Commercial Digital Libraries
REF. REVISTA: Online Information Review Journal, 27(3): 147-159. 2003 CLAVE: A
Emerald Publishers.
AUTORES: C. Canal, L. Fuentes, E. Pimentel, A. Vallecillo y J.M. Troya
TITULO: Adding Roles to CORBA Objects
REF. REVISTA: IEEE Trans. on Software Engineering, 29(3): 242-260. 2003. CLAVE: A
AUTORES: J.M. Álvarez, M. Díaz, L. Llopis, E. Pimentel y J.M. Troya
TITULO: Integrating Schedulability Analysis and Design Techniques in SDL
REF. REVISTA: Journal of Real-Time Systems, 24(3): 267 – 302. 2003. CLAVE: A
AUTORES: J.M. Álvarez, M. Díaz, L. Llopis, E. Pimentel y J.M. Troya
TITULO: An Object Oriented Methodology for Embedded Real-Time Systems
REF. REVISTA: The Computer Journal, 46(2):123-145. 2003 CLAVE: A
AUTORES: J.M. Molina y E. Pimentel
TITULO: Composing Programs in a Rewriting Logic for Declarative Programming
REF. REVISTA: Theory and Practice of Logic Programming, 3(2):189-221. CLAVE: A
Cambridge University Press,. Marzo 2003
AUTORES: M.M. Gallardo, P. Merino y E. Pimentel
TITULO: Debugging UML Designs with Model Checking
REF. REVISTA: Journal of Object Technology 1(2):101-117. 2002 CLAVE: A
AUTORES: C. Canal, L. Fuentes, E. Pimentel, A. Vallecillo y J.M. Troya
TITULO: Extending CORBA Interfaces with Protocols
REF. REVISTA: The Computer Journal 44 (5):448 - 462. Octubre 2001. CLAVE: A
AUTORES: C. Canal, E. Pimentel y J.M. Troya
TITULO: Compatibility and Inheritance in Software Architectures
REF. REVISTA: Science of Computer Programming, 41(2):105-138. 2001. CLAVE: A
AUTORES: A.J. Nebro, E. Pimentel y J.M. Troya
TITULO: Distributed Objects: An Approach based on Replication and Migration
REF. REVISTA: Journal of Object Oriented Programming, 12(1):22-27, 1999 CLAVE: A
AUTORES: M. Carrillo, J. García, E. Pimentel e I. Repiso
TITULO: Design by Contract in Smalltalk
REF. REVISTA: Journal of Object Oriented Programming 9(7):23-28, 1996 CLAVE: A
AUTORES: M. Díaz, E. Pimentel y J.M. Troya
TITULO: DROL: A Distributed and Real-Time Object-Oriented Logic Environment
REF. REVISTA: The Computer Journal 37(5):407-421, 1994 CLAVE: A
|
