Ernesto Pimentel - Google Scholar

Cited by

	All	Since 2015
Citations	2612	702
h-index	24	14
i10-index	62	18

200

100

150

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202011 17 24 60 81 122 142 162 173 190 183 150 147 136 132 129 139 116 155 131 89 72

Co-authors

Carlos CanalUniversity of MalagaVerified email at lcc.uma.es
Javier CuboUniversidad Internacional de la RiojaVerified email at unir.net
Antonio BrogiUniversity of Pisa, ItalyVerified email at di.unipi.it
José María TroyaCatedratico de Universidad (UMA)Verified email at uma.es
María del Mar GallardoProfessor of Computer Science, University of MalagaVerified email at lcc.uma.es
Jose CarrascoUniversidad de MalagaVerified email at lcc.uma.es
Gwen SalaünUniversité Grenoble Alpes, LIG, InriaVerified email at inria.fr
Francisco DuránUniversidad de MálagaVerified email at lcc.uma.es
José Antonio MartínPhD Student, Universidad de MálagaVerified email at lcc.uma.es
Antonio VallecilloUniversidad de MalagaVerified email at lcc.uma.es
Lidia FuentesFull Professor of Computer Science, Universidad de MálagaVerified email at lcc.uma.es
Antonio MañaProfessor of Computer Science, University of MalagaVerified email at lcc.uma.es
Javier CámaraLecturer in Computer Science, University of YorkVerified email at york.ac.uk
Jesús MartínezUniversidad de MálagaVerified email at lcc.uma.es
José Luis Pastrana BrinconesUniversidad de MálagaVerified email at lcc.uma.es
Pedro MerinoUniversidad de MálagaVerified email at lcc.uma.es
Jacopo SoldaniUniversity of Pisa, ItalyVerified email at di.unipi.it
Manuel DiazProfessor Computer Science, Malaga UniversityVerified email at lcc.uma.es
Javier LopezProfessor of Computer Science, University of MalagaVerified email at lcc.uma.es
Meriem OuederniToulouse INP, IRIT, FranceVerified email at enseeiht.fr

Ernesto Pimentel

Full Professor of Computer Science, University of Malaga

Verified email at uma.es - Homepage

Service-Oriented Computing Cloud Computing Software Engineering Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Formalizing web service choreographies A Brogi, C Canal, E Pimentel, A Vallecillo Electronic notes in theoretical computer science 105, 73-94, 2004	312	2004
Specification and refinement of dynamic software architectures C Canal, E Pimentel, JM Troya Working Conference on Software Architecture, 107-125, 1999	162	1999
Compatibility and inheritance in software architectures C Canal, E Pimentel, JM Troya Science of Computer Programming 41 (2), 105-138, 2001	136	2001
A cloud-based Internet of Things platform for ambient assisted living J Cubo, A Nieto, E Pimentel Sensors 14 (8), 14070-14105, 2014	111	2014
Adding roles to CORBA objects C Canal, L Fuentes, E Pimentel, JM Troya, A Vallecillo IEEE Transactions on Software Engineering 29 (3), 242-260, 2003	89	2003
Debugging UML designs with model checking M del Mar Gallardo, P Merino, E Pimentel Journal of Object Technology 1 (2), 101-117, 2002	81	2002
Itaca: An integrated toolbox for the automatic composition and adaptation of web services J Cámara, JA Martin, G Salaun, J Cubo, M Ouederni, C Canal, E Pimentel 2009 IEEE 31st International Conference on Software Engineering, 627-630, 2009	80	2009
Extending CORBA interfaces with protocols C Canal, L Fuentes, E Pimentel, JM Troya, A Vallecillo The Computer Journal 44 (5), 448-462, 2001	71	2001
SeaClouds: a European project on seamless management of multi-cloud applications A Brogi, A Ibrahim, J Soldani, J Carrasco, J Cubo, E Pimentel, F D'Andria ACM SIGSOFT Software Engineering Notes 39 (1), 1-4, 2014	60	2014
Programación orientada a objetos con Java F Durán, F Gutiérrez, E Pimentel Editorial Paraninfo, 2007	60	2007
Automatic generation of adaptation contracts JA Martín, E Pimentel Electronic Notes in Theoretical Computer Science 229 (2), 115-131, 2009	52	2009
A model-based approach to the verification and adaptation of WF/. NET components J Cubo, G Salaün, C Canal, E Pimentel, P Poizat Electronic Notes in Theoretical Computer Science 215, 39-55, 2008	51	2008
Behavioural types and component adaptation A Brogi, C Canal, E Pimentel International Conference on Algebraic Methodology and Software Technology, 42-56, 2004	51	2004
An efficient software protection scheme A Mana, E Pimentel IFIP International Information Security Conference, 385-401, 2001	49	2001
Design by contract in Smalltalk M Carrillo-Castellon, J Garcia-Molina, E Pimentel, I Repiso	46	1996
Component adaptation through flexible subservicing A Brogi, C Canal, E Pimentel Science of Computer Programming 63 (1), 39-56, 2006	44	2006
A framework for secure execution of software A Maña, J Lopez, JJ Ortega, E Pimentel, JM Troya International Journal of Information Security 3 (2), 99-112, 2004	36	2004
QoS-enabled and self-adaptive connectors for Web Services composition and coordination JL Pastrana, E Pimentel, M Katrib Computer Languages, Systems & Structures 37 (1), 2-23, 2011	33	2011
On the semantics of software adaptation A Brogi, C Canal, E Pimentel Science of Computer Programming 61 (2), 136-151, 2006	33	2006
αSPIN: A tool for abstract model checking M del Mar Gallardo, J Martínez, P Merino, E Pimentel International Journal on Software Tools for Technology Transfer 5 (2-3), 165-184, 2004	32	2004

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors