Concepedia

Ernesto Pimentel

EP

32

Publications

1.2K

Citations

19

H-Index

1996

Active since

Affiliations

Universidad de Málaga(Current)

University of Pisa

Institut national de recherche en sciences et technologies du numérique

Universitat Politècnica de València

Ernesto Pimentel is an author at Universidad de Málaga specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringComputer ScienceSystems EngineeringSoftware AnalysisSoftware EngineeringFormal MethodsSystem SoftwareSoftware DesignProgram AnalysisFormal Verification

Publications per year

1996–2018

32

Publications

32

Formalizing Web Service Choreographies

Antonio Brogi, Carlos Canal, Ernesto Pimentel et al. · Electronic Notes in Theoretical Computer Science · 2004 · 218 citations · Full text

Web Service Specification, Engineering, Verification +17

A Cloud-Based Internet of Things Platform for Ambient Assisted Living

Javier Cubo, Adrián Nieto, Ernesto Pimentel · Sensors · 2014 · 126 citations · Full text

Engineering, Lightweight Model, Wearable Technology +19

Compatibility and inheritance in software architectures

Carlos Canal, Ernesto Pimentel, José M. Troya · Science of Computer Programming · 2001 · 108 citations

Software Maintenance, Architectural Design, Software Architecture Modeling +10

Adding roles to CORBA objects

Carlos Canal, Lidia Fuentes, Ernesto Pimentel et al. · IEEE Transactions on Software Engineering · 2003 · 64 citations

Engineering, Traditional Idls, Verification +19

ITACA: An integrated toolbox for the automatic composition and adaptation of Web services

Javier Cámara, José Antonio Martín, Gwen Salaün et al. · 2009 · 53 citations

Web Service Specification, Engineering, Verification +27

Rows per page

1–5 of 32