Follow
Carlos Canal
Carlos Canal
Verified email at lcc.uma.es
Title
Cited by
Cited by
Year
A formal approach to component adaptation
A Bracciali, A Brogi, C Canal
Journal of Systems and Software 74 (1), 45-54, 2005
3592005
Formalizing web service choreographies
A Brogi, C Canal, E Pimentel, A Vallecillo
Electronic notes in theoretical computer science 105, 73-94, 2004
3412004
From the Internet of Things to the Internet of People
J Miranda, N Mäkitalo, J Garcia-Alonso, J Berrocal, T Mikkonen, C Canal, ...
IEEE Internet Computing 19 (2), 40-47, 2015
3172015
Model-based adaptation of behavioral mismatching components
C Canal, P Poizat, G Salaün
IEEE Transactions on Software Engineering 34 (4), 546-563, 2008
1962008
Specification and refinement of dynamic software architectures
C Canal, E Pimentel, JM Troya
Working Conference on Software Architecture, 107-125, 1999
1791999
Compatibility and inheritance in software architectures
C Canal, E Pimentel, JM Troya
Science of Computer Programming 41 (2), 105-138, 2001
1492001
Software adaptation.
C Canal, JM Murillo, P Poizat
Obj. Logiciel Base données Réseaux 12 (1), 9-31, 2006
1442006
People as a service: a mobile-centric model for providing collective sociological profiles
J Guillen, J Miranda, J Berrocal, J Garcia-Alonso, JM Murillo, C Canal
IEEE software 31 (2), 48-53, 2013
1212013
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
962003
Itaca: An integrated toolbox for the automatic composition and adaptation of web services
J Cámara, JA Martín, G Salaun, J Cubo, M Ouederni, C Canal, E Pimentel
2009 IEEE 31st International Conference on Software Engineering, 627-630, 2009
852009
Extending CORBA interfaces with protocols
C Canal, L Fuentes, E Pimentel, JM Troya, A Vallecillo
The Computer Journal 44 (5), 448-462, 2001
812001
Synchronizing behavioural mismatch in software composition
C Canal, P Poizat, G Salaün
International Conference on Formal Methods for Open Object-Based Distributed …, 2006
792006
Formalizing wsbpel business processes using process algebra
J Cámara, C Canal, J Cubo, A Vallecillo
Electronic Notes in Theoretical Computer Science 154 (1), 159-173, 2006
712006
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
562008
A service-oriented framework for developing cross cloud migratable software
J Guillén, J Miranda, JM Murillo, C Canal
Journal of Systems and Software 86 (9), 2294-2308, 2013
502013
Behavioural types and component adaptation
A Brogi, C Canal, E Pimentel
International Conference on Algebraic Methodology and Software Technology, 42-56, 2004
482004
Early analysis of resource consumption patterns in mobile applications
J Berrocal, J Garcia-Alonso, C Vicente-Chicote, J Hernández, T Mikkonen, ...
Pervasive and Mobile Computing 35, 32-50, 2017
472017
Extending CORBA interfaces with/spl pi/-calculus for protocol compatibility
C Canal, L Fuentes, JM Troya, A Vallecillo
Proceedings 33rd International Conference on Technology of Object-Oriented …, 2000
462000
Component adaptation through flexible subservicing
A Brogi, C Canal, E Pimentel
Science of Computer Programming 63 (1), 39-56, 2006
452006
A UML Profile for modeling multicloud applications
J Guillén, J Miranda, JM Murillo, C Canal
European Conference on Service-Oriented and Cloud Computing, 180-187, 2013
412013
The system can't perform the operation now. Try again later.
Articles 1–20