Concepedia

Carlos Canal

CC

Statistics

Publications

33

Citations

1.7K

H-Index

19

Active since

2001

Affiliations

Universidad de Málaga(Current)

Universidad de Extremadura

University of Pisa

Informatique, BioInformatique, Systèmes Complexes

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

Carlos Canal is an author at Universidad de Málaga specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringSoftware DesignComputer ScienceSoftware EngineeringSystem SoftwareSoftware AnalysisSystems EngineeringFormal MethodsProgram AnalysisFormal Verification

Publications per year

2001–2022

33

Publications

33

A formal approach to component adaptation

Andrea Bracciali, Antonio Brogi, Carlos Canal · Journal of Systems and Software · 2004 · 244 citations

Artificial Intelligence, Engineering, Machine Learning +7

From the Internet of Things to the Internet of People

Javier Miranda, Niko Mäkitalo, José García-Alonso et al. · IEEE Internet Computing · 2015 · 224 citations

Web Of Thing, Engineering, Smart City +16

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

Model-Based Adaptation of Behavioral Mismatching Components

Carlos Canal, Pascal Poizat, Gwen Salaün · IEEE Transactions on Software Engineering · 2008 · 124 citations · Full text

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

1–5 of 33