Concepedia

Javier Cubo

JC

13

Publications

486

Citations

13

H-Index

2006

Active since

Affiliations

Universidad de Málaga(Current)

University of Pisa

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

Top concepts

EngineeringComputer ScienceSystems EngineeringSoftware DesignSoftware AnalysisSoftware EngineeringSystem SoftwareProgram AnalysisFormal VerificationFormal Methods

Publications per year

2006–2021

13

Publications

13

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

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

Formalizing WSBPEL Business Processes Using Process Algebra

Javier Cámara, Carlos Canal, Javier Cubo et al. · Electronic Notes in Theoretical Computer Science · 2006 · 49 citations · Full text

Web Service Specification, Engineering, Verification +22

A Model-Based Approach to the Verification and Adaptation of WF/.NET Components

Javier Cubo, Gwen Salaün, Carlos Canal et al. · Electronic Notes in Theoretical Computer Science · 2008 · 42 citations · Full text

Software Maintenance, Engineering, Verification +25

SeaClouds

Antonio Brogi, Ahmad Ibrahim, Jacopo Soldani et al. · ACM SIGSOFT Software Engineering Notes · 2014 · 42 citations

Complex Applications, Cluster Computing, Adaptive Management +12

Rows per page

1–5 of 13