Ernesto Pimentel

Citado por

	Todos	Desde 2016
Citações	2661	592
Índice h	24	12
Índice i10	63	14

200

100

150

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202111 17 24 61 81 122 142 163 174 190 183 152 154 136 134 128 142 116 155 136 91 93 1

Coautores

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

Ernesto Pimentel

Full Professor of Computer Science, University of Malaga

Email confirmado em uma.es - Página inicial

Service-Oriented Computing Cloud Computing Software Engineering Formal Methods


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
Formalizing web service choreographies A Brogi, C Canal, E Pimentel, A Vallecillo Electronic notes in theoretical computer science 105, 73-94, 2004	314	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	118	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	90	2003
Debugging UML designs with model checking M del Mar Gallardo, P Merino, E Pimentel Journal of Object Technology 1 (2), 101-117, 2002	84	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	81	2009
Extending CORBA interfaces with protocols C Canal, L Fuentes, E Pimentel, JM Troya, A Vallecillo The Computer Journal 44 (5), 448-462, 2001	73	2001
Programación orientada a objetos con Java F Durán, F Gutiérrez, E Pimentel Editorial Paraninfo, 2007	66	2007
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
Automatic generation of adaptation contracts JA Martín, E Pimentel Electronic Notes in Theoretical Computer Science 229 (2), 115-131, 2009	54	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	52	2008
Behavioural types and component adaptation A Brogi, C Canal, E Pimentel International Conference on Algebraic Methodology and Software Technology, 42-56, 2004	52	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	45	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	33	2004

O sistema não pode efectuar a operação agora. Tente novamente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Carregar PDF

Seguir este autor

Citado por

Coautores